Trace number 3369231

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mt (fixed)? (TO) 4800.24 1202.85

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
MD5SUMc06088cac8521bfe72bbb4c9ad8d39fb
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables780
Number of clauses66810
Sum of the clauses size134348
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 266784
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 526

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369231-1305415164.cnf'
0.00/0.01	c -- header says num vars:            780
0.00/0.01	c -- header says num clauses:       66810
0.00/0.03	c -- clauses added:            0 learnts,        66810 normals,            0 xors
0.00/0.03	c -- vars added        780
0.00/0.03	c Parsing time:  0.02 s
0.00/0.03	c  N st     0         0       780        26     66784         0    134348         0   no data   no data  --
0.00/0.03	c asymm  cl-useful: 0/26/26 lits-rem:0 time: 0.00
3.54/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
3.54/0.90	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3.54/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3.54/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    780 time:  0.03 s
3.54/0.90	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.03 s
3.54/0.90	c lits-rem:       644  cl-subs:        0  v-elim:     26  v-fix:    0  time:  0.08 s
3.54/0.90	c Finding binary XORs  T:     0.01 s  found:       0
3.54/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.54/0.90	c calculated reachability. Time: 0.00
3.54/0.90	c Calc default polars -  time:   0.00 s pos:     390 undec:      26 neg:     364
3.54/0.90	c =========================================================================================
3.54/0.90	c types(t): F = full restart, N = normal restart
3.54/0.90	c types(t): S = simplification begin/end, E = solution found
3.54/0.90	c restart types(rt): st = static, dy = dynamic
3.54/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.54/0.90	c  B st     0         0       754      1613     64417         0    185680         0   no data   no data  --
3.54/0.90	c  N dy    11      4551       754      1613     64417      4426    185680    432612     11.36     12.02  --
3.94/1.00	c  N dy    24      8553       754      1613     64418      5896    185680    540621     12.06     14.03  --
5.93/1.55	c  N dy    43     12613       754      1613     64418      5717    185680    445002     12.31     12.98  --
8.73/2.26	c  N dy    58     16703       754      1613     64419      9667    185680    966755     12.06     14.79  --
11.52/2.94	c  N dy    65     21137       754      1613     64422      8524    185680    730160     11.60     12.23  --
14.72/3.71	c  F st    88     25001       754      1613     64426     12279    185680   1231705     11.89   no data  --
14.72/3.78	c  N st    89     25251       754      1613     64427     12526    185680   1243298     11.89   no data  --
17.12/4.38	c  N dy    94     30000       754      1613     64430     10421    185680    679928     11.89   no data  --
17.12/4.38	c  S st    94     30000       754      1613     64430     10421    185680    679928     11.89   no data  --
17.52/4.45	c  S st    94     30501       754      1613     64430     10920    185680    713250     11.89   no data  --
17.52/4.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
17.52/4.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.92/4.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     15 BRemL:      0 BRemN:      0 P:  5.9M T:  0.60
18.33/4.64	c bin-w-bin subsume rem            0 bins  time:  0.04 s
23.90/6.02	c subs with bin:      504  lits-rem:      1445  v-fix:    0  time:  5.51 s
23.90/6.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    754 time:  0.03 s
23.90/6.03	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.03 s
37.46/9.45	c lits-rem:      2318  cl-subs:      686  v-elim:      0  v-fix:    0  time: 13.64 s
38.26/9.61	c asymm  cl-useful: 1089/1587/1613 lits-rem:9652 time: 0.63
38.26/9.61	c calculated reachability. Time: 0.00
38.26/9.61	c  N dy    94     30501       754      1613     64445      9730    173092    658661     11.89   no data  --
40.69/10.24	c  N dy   114     34640       753      1613     64448     13743    173092   1058110     11.93     12.66  --
43.05/10.87	c  N dy   129     39703       753      1613     64449     10980    173092    733553     11.85     12.51  --
46.65/11.79	c  N dy   144     45751       753      1613     64452     16789    173092   1078059     11.61     10.60  --
46.65/11.79	c  S st   144     45751       753      1613     64452     16789    173092   1078059     11.61     10.60  --
47.04/11.88	c  S st   144     46251       753      1613     64452      8682    173092    559730     11.61   no data  --
47.04/11.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.04/11.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.84/12.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.0M T:  0.52
47.84/12.04	c bin-w-bin subsume rem            0 bins  time:  0.04 s
53.03/13.31	c subs with bin:      167  lits-rem:        59  v-fix:    0  time:  5.07 s
53.03/13.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    753 time:  0.03 s
53.03/13.32	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.02 s
58.62/14.74	c lits-rem:      1093  cl-subs:      262  v-elim:      0  v-fix:    0  time:  5.66 s
58.62/14.74	c vivif2 --  cl tried     1613 cl shrink      275 lits rem        283 time: 0.00
58.62/14.75	c vivif2 --  cl tried     8253 cl shrink      253 lits rem        260 time: 0.04
59.41/14.93	c asymm  cl-useful: 1/1613/1613 lits-rem:1 time: 0.70
59.41/14.93	c calculated reachability. Time: 0.00
59.41/14.93	c  N dy   144     46251       753      1613     64141      8253    171974    547340     11.61   no data  --
61.41/15.43	c  N dy   162     50369       753      1613     64153     12248    171974    896468     11.66     12.32  --
64.20/16.19	c  N dy   178     54516       753      1613     64155     16217    171974   1201226     11.64     12.45  --
67.39/16.92	c  N dy   186     58522       753      1613     64159     10469    171974    584817     11.52     14.73  --
69.80/17.50	c  N dy   201     62788       753      1613     64169     14594    171974    917770     11.45     12.21  --
72.58/18.24	c  N dy   222     66859       752      1613     64173     18534    171974   1286380     11.54     13.89  --
74.58/18.76	c  S st   234     69377       752      1613     64173     20977    171974   1512236     11.54      9.45  --
74.98/18.85	c  S st   234     69880       752      1613     64173     10877    171974    556321     11.54   no data  --
74.98/18.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
74.98/18.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.39/19.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P:  5.8M T:  0.58
75.81/19.03	c bin-w-bin subsume rem            0 bins  time:  0.04 s
80.56/20.28	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  5.00 s
80.56/20.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    752 time:  0.03 s
80.56/20.29	c Removed useless bin:       0  fixed:     0  props:   0.32M  time:  0.02 s
89.75/22.57	c lits-rem:       408  cl-subs:      101  v-elim:      0  v-fix:    0  time:  9.10 s
89.75/22.57	c vivif2 --  cl tried     1596 cl shrink        7 lits rem          7 time: 0.00
89.75/22.58	c vivif2 --  cl tried     8897 cl shrink      351 lits rem        394 time: 0.04
90.55/22.78	c asymm  cl-useful: 1/1596/1596 lits-rem:1 time: 0.78
90.55/22.78	c calculated reachability. Time: 0.00
90.55/22.78	c  N dy   234     69880       752      1596     63906      8896    171141    515260     11.54   no data  --
93.37/23.43	c  N dy   259     74365       751      1596     63947     13227    171141    904586     11.61     18.12  --
96.93/24.39	c  N dy   298     79118       750      1596     63951     17849    171141   1341496     11.87     30.92  --
101.73/25.54	c  N dy   325     84673       750      1596     63951     12584    171141    788369     11.92     12.64  --
103.71/26.02	c  F st   337     87500       750      1596     63953     15332    171141   1087473     11.98     10.36  --
106.55/26.72	c  N st   342     90801       750      1596     63353     17884    169870   1400235     11.98   no data  --
112.49/28.21	c  N dy   371     96771       750      1596     63354     11871    169870    700838     12.16     12.82  --
116.88/29.32	c  N dy   392    103596       750      1596     63363     18496    169870   1222407     12.07     12.73  --
117.68/29.58	c  S st   394    104821       750      1596     63366     19680    169870   1301646     12.04     10.84  --
118.08/29.69	c  S st   394    105322       750      1596     63366     20177    169870   1332828     12.04   no data  --
118.08/29.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
118.08/29.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
119.29/29.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 10.2M T:  1.14
119.71/30.03	c bin-w-bin subsume rem            0 bins  time:  0.04 s
125.66/31.51	c subs with bin:        0  lits-rem:        66  v-fix:    0  time:  5.90 s
125.66/31.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.03 s
125.66/31.52	c Removed useless bin:       0  fixed:     0  props:   0.31M  time:  0.03 s
134.04/33.69	c lits-rem:      1088  cl-subs:      720  v-elim:      0  v-fix:    0  time:  8.66 s
134.04/33.69	c vivif2 --  cl tried     1596 cl shrink        5 lits rem          5 time: 0.00
134.44/33.72	c vivif2 --  cl tried    19457 cl shrink      479 lits rem        513 time: 0.09
135.24/33.97	c asymm  cl-useful: 0/1165/1596 lits-rem:0 time: 1.03
135.24/33.98	c calculated reachability. Time: 0.00
135.24/33.98	c  N dy   394    105322       750      1596     63366     19457    169865   1304859     12.04   no data  --
142.42/35.73	c  N dy   417    112280       750      1596     63376     26159    169865   1845971     12.02     12.72  --
147.61/37.06	c  N dy   439    119568       749      1596     63386     20030    169865   1257854     11.97     12.79  --
155.19/38.99	c  N dy   476    127293       749      1596     63394     27482    169865   1812071     12.01     13.02  --
161.19/40.45	c  N dy   494    135854       748      1596     63400     21392    169865   1267427     11.89     12.59  --
168.76/42.39	c  N dy   527    144529       748      1596     63406     29770    169865   1914582     11.84     22.35  --
176.35/44.29	c  N dy   554    154158       747      1596     63428     23682    169865   1330088     11.74     12.67  --
179.94/45.18	c  S st   567    157984       747      1596     63431     27364    169865   1575405     11.71      8.36  --
180.34/45.30	c  S st   567    158486       747      1596     63431     27862    169865   1615050     11.71   no data  --
180.34/45.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
180.34/45.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
181.93/45.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P: 12.7M T:  1.33
182.33/45.70	c bin-w-bin subsume rem            0 bins  time:  0.04 s
187.51/47.07	c subs with bin:       62  lits-rem:       138  v-fix:    0  time:  5.45 s
187.51/47.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    747 time:  0.03 s
187.51/47.08	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
198.72/49.88	c lits-rem:      1811  cl-subs:     1621  v-elim:      0  v-fix:    0  time: 11.16 s
198.72/49.88	c vivif2 --  cl tried     1596 cl shrink        3 lits rem          3 time: 0.00
199.08/49.91	c vivif2 --  cl tried    24760 cl shrink      835 lits rem       1173 time: 0.12
199.88/50.15	c asymm  cl-useful: 0/1009/1596 lits-rem:0 time: 0.98
199.88/50.16	c calculated reachability. Time: 0.00
199.88/50.16	c  N dy   567    158486       747      1596     62555     24760    167976   1544029     11.71   no data  --
210.67/52.81	c  N dy   594    168796       746      1596     62584     19054    167976   1068977     11.62     12.36  --
220.25/55.23	c  N dy   637    179709       746      1596     62587     29630    167976   1903889     11.62     12.28  --
231.41/58.01	c  N dy   677    191934       746      1596     62597     24423    167976   1389023     11.62     12.45  --
244.18/61.28	c  N dy   721    204373       746      1596     62601     18326    167976    915086     11.61     12.30  --
256.15/64.23	c  N dy   757    217501       746      1596     62607     30925    167976   1815386     11.56     13.08  --
270.93/67.93	c  N dy   802    231473       745      1596     62619     25272    167976   1449723     11.53     21.76  --
277.32/69.58	c  S st   832    237731       745      1596     62623     31341    167976   1959158     11.57      7.93  --
278.11/69.73	c  S st   832    238232       745      1596     62623     31838    167976   1998693     11.57   no data  --
278.11/69.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
278.11/69.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
279.70/70.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 15.2M T:  1.71
280.10/70.24	c bin-w-bin subsume rem            0 bins  time:  0.04 s
286.11/71.72	c subs with bin:        0  lits-rem:         3  v-fix:    0  time:  5.91 s
286.11/71.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    745 time:  0.02 s
286.11/71.74	c Removed useless bin:       0  fixed:     0  props:   0.30M  time:  0.02 s
301.26/75.54	c lits-rem:      1634  cl-subs:     1462  v-elim:      0  v-fix:    0  time: 15.17 s
301.26/75.54	c vivif2 --  cl tried     1596 cl shrink        8 lits rem          8 time: 0.00
301.26/75.57	c vivif2 --  cl tried    28267 cl shrink      965 lits rem       1177 time: 0.14
302.05/75.76	c asymm  cl-useful: 0/587/1596 lits-rem:0 time: 0.75
302.05/75.76	c calculated reachability. Time: 0.00
302.05/75.76	c  N dy   832    238232       745      1596     62018     28266    166741   1928326     11.57   no data  --
320.42/80.31	c  N dy   888    253722       745      1596     62049     24093    166741   1416632     11.56     12.18  --
337.57/84.68	c  N dy   933    269977       745      1596     62062     39698    166741   2506146     11.51     12.34  --
355.54/89.17	c  N dy   976    287317       745      1596     62074     35745    166741   2137959     11.43     12.03  --
377.88/94.73	c  N dy  1039    306097       744      1596     62100     31974    166741   1845500     11.37     12.06  --
377.88/94.79	c  F st  1040    306252       744      1596     62101     32126    166741   1853126     11.37     10.75  --
400.25/100.31	c  N dy  1109    325726       744      1596     61812     27208    166144   1405375     11.39     22.48  --
426.17/106.84	c  N dy  1184    345776       743      1596     61833     46545    166144   2884260     11.38     15.24  --
438.54/109.99	c  S st  1228    357348       743      1596     61851     34008    166144   1775458     11.36     10.70  --
439.34/110.15	c  S st  1228    357852       743      1596     61851     34512    166144   1814502     11.36   no data  --
439.34/110.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
439.34/110.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
441.34/110.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:      4 BRemN:      0 P: 16.7M T:  1.87
441.34/110.69	c bin-w-bin subsume rem            1 bins  time:  0.03 s
446.92/112.07	c subs with bin:        8  lits-rem:       191  v-fix:    0  time:  5.47 s
446.92/112.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    743 time:  0.03 s
446.92/112.08	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
460.50/115.45	c lits-rem:      2255  cl-subs:     1957  v-elim:      0  v-fix:    0  time: 13.43 s
460.50/115.45	c vivif2 --  cl tried     1596 cl shrink       36 lits rem         37 time: 0.00
460.90/115.50	c vivif2 --  cl tried    31610 cl shrink     4610 lits rem      11101 time: 0.21
461.70/115.77	c asymm  cl-useful: 0/714/1596 lits-rem:0 time: 1.08
461.70/115.77	c calculated reachability. Time: 0.00
461.70/115.77	c  N dy  1228    357852       743      1596     61580     31592    165517   1745565     11.36   no data  --
469.28/117.63	c Finding binary XORs  T:     0.01 s  found:       0
490.83/123.08	c  N dy  1335    378637       741      1596     60964     24971    164342   1298951     11.49     12.14  --
519.20/130.12	c  N dy  1456    399214       740      1596     60980     44874    164342   2942696     11.65     12.31  --
545.11/136.69	c  N dy  1580    419844       740      1596     60992     40287    164342   2375978     11.79     12.49  --
573.03/143.62	c  N dy  1689    439900       740      1596     61010     33382    164342   1747925     11.88     15.42  --
604.17/151.47	c  N dy  1771    459961       740      1596     61026     52680    164342   3043936     11.91     15.86  --
632.50/158.55	c  N dy  1912    479980       739      1596     61046     44610    164342   2660732     12.21     28.43  --
668.03/167.45	c  N dy  2048    502149       739      1596     61048     37234    164342   1903215     12.43     13.08  --
693.96/174.00	c  N dy  2125    522830       739      1596     61061     57246    164342   3177681     12.44     13.12  --
712.71/178.65	c  S st  2224    536781       739      1596     61068     40854    164342   2232439     12.60   no data  --
713.51/178.83	c  S st  2224    537281       739      1596     61068     41353    164342   2266841     12.60   no data  --
713.51/178.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
713.51/178.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
715.91/179.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      0 BRemN:      0 P: 20.2M T:  2.50
716.32/179.55	c bin-w-bin subsume rem            0 bins  time:  0.03 s
722.29/181.04	c subs with bin:        1  lits-rem:        35  v-fix:    0  time:  5.95 s
722.29/181.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    739 time:  0.02 s
722.29/181.05	c Removed useless bin:       0  fixed:     0  props:   0.29M  time:  0.02 s
736.25/184.50	c lits-rem:       884  cl-subs:     1049  v-elim:      0  v-fix:    0  time: 13.77 s
736.25/184.50	c vivif2 --  cl tried     1596 cl shrink       17 lits rem         18 time: 0.00
736.25/184.55	c vivif2 --  cl tried    38593 cl shrink     1655 lits rem       2001 time: 0.18
737.46/184.83	c asymm  cl-useful: 0/468/1596 lits-rem:0 time: 1.11
737.46/184.83	c calculated reachability. Time: 0.00
737.46/184.83	c  N dy  2224    537281       739      1596     60517     38592    163166   2197777     12.60   no data  --
769.00/192.79	c  N dy  2289    557354       739      1596     60551     57978    163166   3797512     12.57     13.43  --
801.71/200.93	c  N dy  2358    579935       739      1596     60574     49704    163166   2903225     12.53     13.32  --
834.85/209.28	c  N dy  2398    600334       738      1596     60590     37928    163166   1917389     12.47     13.39  --
866.00/217.07	c  N dy  2463    620381       737      1596     60611     57237    163166   3208613     12.45     23.48  --
894.30/224.16	c  N dy  2535    640519       736      1596     60638     44107    163166   2224036     12.44     13.15  --
927.03/232.33	c  N dy  2627    660790       735      1596     60647     63643    163166   3672685     12.45     13.38  --
951.77/238.56	c  N dy  2698    681153       735      1596     60656     49688    163166   2570342     12.46     13.16  --
987.29/247.47	c  N dy  2764    701661       734      1596     60664     34761    163166   1400572     12.45     13.35  --
1013.62/254.01	c  N dy  2847    722563       733      1596     60678     54859    163166   2839226     12.46     13.50  --
1049.96/263.13	c  N dy  2917    747425       733      1596     60699     43155    163166   1880138     12.43     13.28  --
1077.08/269.97	c  N dy  2987    767454       733      1596     60705     62415    163166   3117692     12.42     13.08  --
1103.82/276.68	c  N dy  3034    787545       733      1596     60721     45229    163166   1954034     12.39     13.05  --
1127.76/282.69	c  S st  3095    805921       733      1596     60729     62975    163166   3139184     12.39      9.18  --
1128.97/282.93	c  S st  3095    806422       733      1596     60729     63473    163166   3179675     12.39   no data  --
1128.97/282.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1128.97/282.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1132.55/283.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P: 25.5M T:  3.72
1132.95/283.99	c bin-w-bin subsume rem            1 bins  time:  0.03 s
1139.73/285.68	c subs with bin:       18  lits-rem:       111  v-fix:    0  time:  6.73 s
1139.73/285.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.03 s
1139.73/285.69	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.03 s
1172.87/293.96	c lits-rem:       622  cl-subs:     3496  v-elim:      0  v-fix:    0  time: 32.99 s
1172.87/293.96	c vivif2 --  cl tried     1596 cl shrink       25 lits rem         30 time: 0.00
1173.29/294.04	c vivif2 --  cl tried    56959 cl shrink     4362 lits rem       6228 time: 0.32
1174.45/294.35	c asymm  cl-useful: 0/381/1596 lits-rem:0 time: 1.22
1174.45/294.35	c calculated reachability. Time: 0.00
1174.45/294.35	c  N dy  3095    806422       733      1596     59089     56958    159741   3042296     12.39   no data  --
1209.98/303.24	c  N dy  3146    826748       732      1596     59102     40342    159741   1593220     12.35     13.19  --
1235.92/309.75	c  N dy  3196    847758       731      1596     59121     60546    159741   3041409     12.33     13.15  --
1267.84/317.71	c  N dy  3279    868015       731      1596     59125     42441    159741   1773248     12.35     13.23  --
1294.58/324.41	c  N dy  3344    888484       731      1596     59130     62265    159741   3115438     12.34     13.00  --
1328.10/332.83	c  N dy  3426    908733       731      1596     59143     42651    159741   1734459     12.35     13.15  --
1354.04/339.38	c  N dy  3491    929176       730      1596     59149     62298    159741   3033291     12.34     13.04  --
1390.36/348.42	c  N dy  3566    949798       730      1596     59154     41880    159741   1595065     12.36     13.33  --
1413.52/354.24	c  N dy  3638    970109       730      1596     59160     61494    159741   2887074     12.35     13.13  --
1446.23/362.43	c  N dy  3697    990545       730      1596     59168     81141    159741   4190530     12.33     13.02  --
1472.17/368.96	c  N dy  3788   1010663       730      1596     59173     59233    159741   2702157     12.34     13.01  --
1504.90/377.15	c  N dy  3872   1030704       730      1596     59184     78523    159741   3897870     12.35     29.88  --
1516.48/380.02	c Finding binary XORs  T:     0.00 s  found:       0
1530.44/383.58	c  N dy  3930   1050922       730      1580     58369     51612    157920   2343406     12.34     13.32  --
1564.76/392.15	c  N dy  4005   1071507       730      1580     58377     71426    157920   3586260     12.34     13.02  --
1565.56/392.35	c  F st  4007   1071875       730      1580     58377     71773    157920   3601231     12.34      7.90  --
1597.09/400.23	c  N dy  4064   1091672       730      1580     58382     49471    157920   2066317     12.33     13.09  --
1625.81/407.43	c  N dy  4129   1112371       730      1580     58393     69383    157920   3231943     12.32     13.13  --
1660.94/416.24	c  N dy  4205   1132545       730      1580     58409     45564    157920   1819387     12.33     12.99  --
1687.68/422.96	c  N dy  4286   1152569       730      1580     58418     64894    157920   3004005     12.34     13.15  --
1722.40/431.62	c  N dy  4352   1172589       730      1580     58428     84111    157920   4087342     12.33     22.83  --
1751.53/438.95	c  N dy  4440   1192724       730      1580     58436     58752    157920   2493625     12.33     13.09  --
1777.08/445.32	c  S st  4492   1209634       730      1580     58439     74912    157920   3370814     12.32     11.63  --
1777.88/445.53	c  S st  4492   1210135       730      1580     58442     75410    157920   3408600     12.32   no data  --
1777.88/445.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1777.88/445.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1781.87/446.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:      0 BRemN:      0 P: 28.5M T:  3.98
1782.26/446.64	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1788.64/448.24	c subs with bin:        1  lits-rem:       261  v-fix:    0  time:  6.36 s
1788.64/448.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.02 s
1788.64/448.26	c Removed useless bin:       0  fixed:     0  props:   0.27M  time:  0.02 s
1845.71/462.50	c lits-rem:      1282  cl-subs:     5858  v-elim:      0  v-fix:    0  time: 56.75 s
1845.71/462.50	c vivif2 --  cl tried     1580 cl shrink       37 lits rem         49 time: 0.00
1846.11/462.60	c vivif2 --  cl tried    69551 cl shrink     6135 lits rem       9890 time: 0.41
1847.31/462.93	c asymm  cl-useful: 0/343/1580 lits-rem:0 time: 1.31
1847.31/462.93	c calculated reachability. Time: 0.00
1847.31/462.93	c  N dy  4492   1210135       730      1580     58449     69549    157868   3293315     12.32   no data  --
1888.03/473.14	c  N dy  4550   1230670       726      1580     58476     89199    157868   4339843     12.30     12.99  --
1916.36/480.28	c  N dy  4632   1250737       726      1580     58480     62783    157868   2650382     12.30     13.04  --
1950.32/488.75	c  N dy  4691   1271174       726      1580     58489     82397    157868   3755503     12.28     13.12  --
1986.99/497.95	c  N dy  4786   1291191       726      1580     58497     54707    157868   2127434     12.29     17.27  --
2018.12/505.77	c  N dy  4854   1311683       726      1580     58506     74339    157868   3086086     12.27     12.92  --
2056.43/515.32	c  N dy  4930   1331776       725      1580     58526     93618    157868   4179251     12.28     13.21  --
2085.58/522.70	c  N dy  5008   1353418       725      1580     58540     66662    157868   3023039     12.29     13.00  --
2123.48/532.18	c  N dy  5114   1373968       724      1580     58543     86601    157868   4372365     12.33     12.98  --
2158.20/540.80	c  N dy  5215   1394001       724      1580     58548     56905    157868   2197785     12.36     13.06  --
2187.73/548.28	c  N dy  5294   1415143       724      1580     58552     77402    157868   3622423     12.36     13.05  --
2232.83/559.54	c  N dy  5405   1437191       724      1580     58559     98694    157868   5133758     12.40     13.14  --
2261.18/566.64	c  N dy  5469   1457221       724      1580     58563     67819    157868   2802706     12.40     19.62  --
2295.89/575.31	c  N dy  5595   1477283       724      1580     58568     87188    157868   4185422     12.45     22.67  --
2333.40/584.75	c  N dy  5695   1497489       724      1580     58576     55594    157868   2053432     12.48     13.34  --
2362.13/591.96	c  N dy  5798   1517623       724      1580     58584     75017    157868   3342708     12.51     13.18  --
2399.24/601.21	c  N dy  5857   1538008       724      1580     58592     94701    157868   4752813     12.51     13.35  --
2431.17/609.28	c  N dy  5945   1558014       724      1580     58598     61856    157868   2420296     12.53     21.41  --
2465.90/617.93	c  N dy  6073   1578089       724      1580     58602     81296    157868   3772334     12.58     14.52  --
2512.99/629.77	c  N dy  6209   1598620       724      1580     58607    101195    157868   5155250     12.63     13.34  --
2544.52/637.63	c  N dy  6311   1618657       724      1580     58609     67410    157868   2691746     12.66     19.30  --
2576.04/645.58	c  N dy  6388   1638724       724      1580     58616     86740    157868   3902503     12.67     17.24  --
2619.95/656.51	c  N dy  6489   1659575       724      1580     58628    106819    157868   5195575     12.69     13.36  --
2648.31/663.63	c  N dy  6557   1679646       724      1580     58637     72100    157868   3030500     12.69     23.93  --
2688.58/673.74	c  N dy  6679   1699882       724      1580     58644     91620    157868   4480581     12.74     13.54  --
2711.73/679.53	c  S st  6735   1710135       724      1580     58662    101580    157868   5226814     12.75   no data  --
2712.93/679.88	c  S st  6735   1710638       724      1580     58662    102075    157868   5266335     12.75   no data  --
2713.34/679.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2713.34/679.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2718.91/681.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     13 BRemN:      0 P: 36.7M T:  5.84
2719.71/681.59	c bin-w-bin subsume rem            2 bins  time:  0.03 s
2727.69/683.52	c subs with bin:        6  lits-rem:       370  v-fix:    0  time:  7.69 s
2727.69/683.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    724 time:  0.03 s
2727.69/683.53	c Removed useless bin:       0  fixed:     0  props:   0.26M  time:  0.02 s
2885.73/723.20	c lits-rem:       866  cl-subs:     5380  v-elim:      0  v-fix:    0  time: 158.10 s
2886.13/723.20	c vivif2 --  cl tried     1548 cl shrink       79 lits rem        150 time: 0.00
2886.53/723.37	c vivif2 --  cl tried    86710 cl shrink    11028 lits rem      16006 time: 0.69
2888.13/723.72	c asymm  cl-useful: 0/291/1547 lits-rem:0 time: 1.41
2888.13/723.73	c calculated reachability. Time: 0.00
2888.13/723.73	c  N dy  6735   1710638       724      1547     57028     86707    153993   4958657     12.75   no data  --
2929.63/734.17	c  N dy  6787   1731128       721      1547     57077     56437    153993   2308928     12.74     13.72  --
2962.36/742.33	c  N dy  6850   1751144       720      1547     57098     75584    153993   3538923     12.73     25.08  --
3001.47/752.12	c  N dy  6916   1771757       720      1547     57108     95490    153993   4872289     12.73     13.40  --
3039.78/761.74	c  N dy  6982   1791809       720      1547     57116     61459    153992   2512658     12.72     13.45  --
3074.14/770.35	c  N dy  7067   1812454       720      1547     57120     81354    153992   3859202     12.73     13.62  --
3121.20/782.10	c  N dy  7131   1832456       720      1547     57137    100461    153992   5102708     12.72     13.41  --
3137.97/786.37	c Finding binary XORs  T:     0.00 s  found:       0
3164.70/793.04	c  N dy  7205   1852511       720      1500     56120     62082    151342   2581601     12.71     15.33  --
3200.22/801.92	c  N dy  7285   1872559       720      1500     56127     81314    151342   3731890     12.72     16.62  --
3244.93/813.17	c  N dy  7383   1892871       719      1500     56135    100824    151342   4986566     12.74     13.74  --
3286.82/823.62	c  N dy  7482   1913050       719      1500     56147     64306    151342   2590058     12.76     13.44  --
3321.14/832.29	c  N dy  7555   1933435       719      1500     56152     83852    151342   3828527     12.76     13.49  --
3369.03/844.25	c  N dy  7647   1953860       718      1500     56171    103363    151342   4973056     12.76     13.48  --
3414.53/855.69	c  N dy  7726   1974013       717      1500     56182     65067    151342   2657075     12.77     13.49  --
3449.25/864.30	c  N dy  7820   1994184       717      1500     56187     84508    151342   3953540     12.79     13.53  --
3499.13/876.80	c  N dy  7956   2014681       717      1500     56195    104346    151342   5397325     12.84     13.69  --
3548.62/889.21	c  N dy  8048   2034892       717      1500     56203     64616    151342   2572530     12.86     13.60  --
3586.53/898.73	c  N dy  8179   2054990       717      1500     56208     84036    151342   3999152     12.89     13.62  --
3642.40/912.73	c  N dy  8315   2075051       717      1500     56208    103427    151342   5456615     12.94     21.18  --
3725.42/933.54	c  N dy  8473   2097364       717      1500     56210     64481    151342   2453573     13.00     13.91  --
3760.53/942.39	c  N dy  8546   2117494       717      1500     56218     83770    151342   3545953     13.00     13.71  --
3808.82/954.45	c  N dy  8674   2137569       717      1500     56224    103202    151342   4961835     13.03     20.50  --
3869.48/969.69	c  N dy  8807   2158343       717      1500     56236    123295    151342   6469105     13.07     13.92  --
3904.60/978.49	c  N dy  8907   2178762       717      1500     56240     81358    151342   3593967     13.09     13.95  --
3949.69/989.74	c  N dy  9018   2199444       717      1500     56250    101350    151342   5000771     13.11     13.82  --
3980.43/997.47	c  S st  9085   2210639       717      1500     56254    112179    151342   5783083     13.13     11.57  --
3982.44/997.95	c  S st  9085   2211142       717      1500     56254    112680    151342   5819994     13.13   no data  --
3982.44/997.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3982.44/997.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3989.61/999.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 42.0M T:  7.00
3990.41/999.94	c bin-w-bin subsume rem            2 bins  time:  0.03 s
3997.59/1001.76	c subs with bin:       85  lits-rem:        59  v-fix:    0  time:  7.26 s
3997.59/1001.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    717 time:  0.02 s
3997.59/1001.77	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.02 s
4242.22/1063.03	c lits-rem:      3316  cl-subs:     6014  v-elim:      0  v-fix:    0  time: 244.21 s
4242.22/1063.03	c vivif2 --  cl tried     1500 cl shrink       44 lits rem         53 time: 0.00
4242.62/1063.19	c vivif2 --  cl tried   100722 cl shrink     8640 lits rem      12432 time: 0.65
4244.22/1063.58	c asymm  cl-useful: 0/377/1500 lits-rem:0 time: 1.53
4244.22/1063.58	c calculated reachability. Time: 0.00
4244.22/1063.58	c  N dy  9085   2211142       717      1500     55420    100720    149697   5567931     13.13   no data  --
4301.29/1077.80	c  N dy  9137   2231495       714      1500     55490     60621    149697   2440582     13.12     13.81  --
4334.81/1086.25	c  N dy  9193   2251505       714      1500     55496     79820    149697   3719204     13.11     14.09  --
4387.89/1099.54	c  N dy  9232   2271854       714      1500     55501     99238    149697   4923775     13.09     13.79  --
4445.76/1114.02	c  N dy  9298   2292042       714      1500     55512    118617    149697   6219825     13.08     14.10  --
4488.06/1124.69	c  N dy  9356   2313032       713      1500     55523     76911    149697   3454963     13.07     13.79  --
4531.96/1135.64	c  N dy  9413   2333121       713      1500     55538     96226    149697   4764005     13.07     13.98  --
4586.64/1149.34	c  N dy  9498   2353549       713      1500     55546    115883    149697   6132360     13.07     13.94  --
4639.33/1162.55	c  N dy  9589   2373600       713      1500     55556     71460    149697   3001465     13.08     13.80  --
4676.05/1171.81	c  N dy  9635   2393648       712      1500     55563     90704    149697   4317729     13.07     21.67  --
4724.34/1183.88	c  N dy  9709   2413867       712      1500     55573    110117    149697   5564313     13.07     14.01  --
4781.41/1198.14	c  N dy  9767   2433915       712      1500     55586    129193    149697   6798905     13.06     13.80  --

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369231-1305415164/watcher-3369231-1305415164 -o /tmp/evaluation-result-3369231-1305415164/solver-3369231-1305415164 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369231-1305415164.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 2/283 2644
/proc/meminfo: memFree=29349556/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 653114368 52465664 357 33554432000 4194304 4650419 140735406313184 18446744073709551615 228122714043 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/2644/statm: 12809 357 306 112 0 7774 0
[pid=2644/tid=2645] ppid=2642 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 10 0 0 0 0 0 0 0 25 0 4 0 653114368 186683392 378 33554432000 4194304 4650419 140735406313184 18446744073709551615 47752371765767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653114368 186683392 378 33554432000 4194304 4650419 140735406313184 18446744073709551615 47752371765763 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=182308 CPUtime=0 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 9 0 0 0 0 0 0 0 25 0 4 0 653114368 186683392 378 33554432000 4194304 4650419 140735406313184 18446744073709551615 228122819054 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.320065 s]
/proc/loadavg: 0.00 0.00 0.00 2/283 2644
/proc/meminfo: memFree=29349556/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=286288 CPUtime=1.22 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 6374 0 0 0 120 2 0 0 18 0 4 0 653114368 293158912 5917 33554432000 4194304 4650419 140735406313184 18446744073709551615 228122375201 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 71572 5917 392 112 0 66537 0
[pid=2644/tid=2645] ppid=2642 vsize=286288 CPUtime=0.3 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1505 0 0 0 30 0 0 0 18 0 4 0 653114368 293158912 5917 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=286288 CPUtime=0.3 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1538 0 0 0 29 1 0 0 18 0 4 0 653114368 293158912 5917 33554432000 4194304 4650419 140735406313184 18446744073709551615 4304255 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=286288 CPUtime=0.29 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1339 0 0 0 29 0 0 0 18 0 4 0 653114368 293158912 5917 33554432000 4194304 4650419 140735406313184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 286288

[startup+0.400865 s]
/proc/loadavg: 0.00 0.00 0.00 2/283 2644
/proc/meminfo: memFree=29349556/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=286420 CPUtime=1.54 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 6711 0 0 0 152 2 0 0 18 0 4 0 653114368 293294080 6254 33554432000 4194304 4650419 140735406313184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 71605 6254 392 112 0 66570 0
[pid=2644/tid=2645] ppid=2642 vsize=286420 CPUtime=0.38 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1566 0 0 0 38 0 0 0 18 0 4 0 653114368 293294080 6254 33554432000 4194304 4650419 140735406313184 18446744073709551615 4363750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=286420 CPUtime=0.38 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1630 0 0 0 37 1 0 0 18 0 4 0 653114368 293294080 6255 33554432000 4194304 4650419 140735406313184 18446744073709551615 4334389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=286420 CPUtime=0.37 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1445 0 0 0 37 0 0 0 18 0 4 0 653114368 293294080 6255 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 286420

[startup+0.500848 s]
/proc/loadavg: 0.00 0.00 0.00 2/283 2644
/proc/meminfo: memFree=29349556/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=287536 CPUtime=1.94 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 7317 0 0 0 192 2 0 0 18 0 4 0 653114368 294436864 6399 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365020 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 71884 6399 392 112 0 66849 0
[pid=2644/tid=2645] ppid=2642 vsize=287536 CPUtime=0.48 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1625 0 0 0 48 0 0 0 18 0 4 0 653114368 294436864 6399 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=287536 CPUtime=0.48 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1965 0 0 0 47 1 0 0 18 0 4 0 653114368 294436864 6400 33554432000 4194304 4650419 140735406313184 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=287536 CPUtime=0.47 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1569 0 0 0 47 0 0 0 18 0 4 0 653114368 294436864 6400 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 287536

[startup+0.700811 s]
/proc/loadavg: 0.00 0.00 0.00 2/283 2644
/proc/meminfo: memFree=29349556/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=289512 CPUtime=2.75 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 8638 0 0 0 272 3 0 0 18 0 4 0 653114368 296460288 6426 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 72378 6427 392 112 0 67343 0
[pid=2644/tid=2645] ppid=2642 vsize=289512 CPUtime=0.68 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 2000 0 0 0 68 0 0 0 18 0 4 0 653114368 296460288 6427 33554432000 4194304 4650419 140735406313184 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=289512 CPUtime=0.68 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 2098 0 0 0 67 1 0 0 18 0 4 0 653114368 296460288 6427 33554432000 4194304 4650419 140735406313184 18446744073709551615 228122375201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=289512 CPUtime=0.68 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 1977 0 0 0 67 1 0 0 18 0 4 0 653114368 296460288 6428 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366049 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 289512

[startup+1.50067 s]
/proc/loadavg: 0.00 0.00 0.00 9/295 2656
/proc/meminfo: memFree=29286468/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=291724 CPUtime=5.93 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 13086 0 0 0 589 4 0 0 19 0 4 0 653114368 298725376 7643 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 72931 7643 392 112 0 67896 0
[pid=2644/tid=2645] ppid=2642 vsize=291724 CPUtime=1.48 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 3109 0 0 0 148 0 0 0 19 0 4 0 653114368 298725376 7643 33554432000 4194304 4650419 140735406313184 18446744073709551615 4306767 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=291724 CPUtime=1.48 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 3248 0 0 0 147 1 0 0 19 0 4 0 653114368 298725376 7644 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=291724 CPUtime=1.46 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 2953 0 0 0 145 1 0 0 20 0 4 0 653114368 298725376 7644 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 291724

[startup+3.10037 s]
/proc/loadavg: 0.00 0.00 0.00 9/295 2656
/proc/meminfo: memFree=29275804/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=284872 CPUtime=12.33 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 20127 0 0 0 1227 6 0 0 25 0 4 0 653114368 291708928 8929 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 71218 8929 393 112 0 66183 0
[pid=2644/tid=2645] ppid=2642 vsize=284872 CPUtime=3.08 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 5158 0 0 0 308 0 0 0 25 0 4 0 653114368 291708928 8929 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=284872 CPUtime=3.08 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 4681 0 0 0 306 2 0 0 25 0 4 0 653114368 291708928 8929 33554432000 4194304 4650419 140735406313184 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=284872 CPUtime=3.05 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 4743 0 0 0 304 1 0 0 25 0 4 0 653114368 291708928 8929 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 284872

[startup+6.3008 s]
/proc/loadavg: 0.64 0.13 0.04 9/295 2657
/proc/meminfo: memFree=29146784/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=287864 CPUtime=25.1 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 37378 0 0 0 2501 9 0 0 25 0 4 0 653114368 294772736 22626 33554432000 4194304 4650419 140735406313184 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 71966 22626 394 112 0 66931 0
[pid=2644/tid=2645] ppid=2642 vsize=287864 CPUtime=6.28 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 9495 0 0 0 627 1 0 0 25 0 4 0 653114368 294772736 22626 33554432000 4194304 4650419 140735406313184 18446744073709551615 4435479 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=287864 CPUtime=6.28 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 7801 0 0 0 626 2 0 0 25 0 4 0 653114368 294772736 22626 33554432000 4194304 4650419 140735406313184 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=287864 CPUtime=6.22 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 9317 0 0 0 620 2 0 0 25 0 4 0 653114368 294772736 22626 33554432000 4194304 4650419 140735406313184 18446744073709551615 4432396 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 287864

[startup+12.7006 s]
/proc/loadavg: 1.23 0.26 0.09 9/295 2657
/proc/meminfo: memFree=29086360/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=309448 CPUtime=50.63 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 48653 0 0 0 5053 10 0 0 25 0 4 0 653114368 316874752 28262 33554432000 4194304 4650419 140735406313184 18446744073709551615 4436457 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 77362 28262 394 112 0 72327 0
[pid=2644/tid=2645] ppid=2642 vsize=309448 CPUtime=12.68 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 11870 0 0 0 1267 1 0 0 25 0 4 0 653114368 316874752 28262 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=309448 CPUtime=12.68 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 10524 0 0 0 1266 2 0 0 25 0 4 0 653114368 316874752 28262 33554432000 4194304 4650419 140735406313184 18446744073709551615 4315670 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=309448 CPUtime=12.56 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 13059 0 0 0 1253 3 0 0 25 0 4 0 653114368 316874752 28262 33554432000 4194304 4650419 140735406313184 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 309448

[startup+25.5003 s]
/proc/loadavg: 2.73 0.64 0.21 9/295 2657
/proc/meminfo: memFree=28957980/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=320720 CPUtime=101.73 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 69178 0 0 0 10159 14 0 0 25 0 4 0 653114368 328417280 41268 33554432000 4194304 4650419 140735406313184 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 80180 41268 394 112 0 75145 0
[pid=2644/tid=2645] ppid=2642 vsize=320720 CPUtime=25.49 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 18024 0 0 0 2547 2 0 0 25 0 4 0 653114368 328417280 41279 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=320720 CPUtime=25.49 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 15559 0 0 0 2546 3 0 0 25 0 4 0 653114368 328417280 41279 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=320720 CPUtime=25.25 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 18638 0 0 0 2521 4 0 0 25 0 4 0 653114368 328417280 41279 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 320720

[startup+51.1007 s]
/proc/loadavg: 4.53 1.23 0.42 9/295 2658
/proc/meminfo: memFree=28822548/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=418816 CPUtime=203.87 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 115932 0 0 0 20365 22 0 0 25 0 4 0 653114368 428867584 51491 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 104704 51491 394 112 0 99669 0
[pid=2644/tid=2645] ppid=2642 vsize=418816 CPUtime=51.07 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 29422 0 0 0 5103 4 0 0 25 0 4 0 653114368 428867584 51491 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=418816 CPUtime=51.08 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 24701 0 0 0 5103 5 0 0 25 0 4 0 653114368 428867584 51491 33554432000 4194304 4650419 140735406313184 18446744073709551615 4363617 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=418816 CPUtime=50.61 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 31053 0 0 0 5055 6 0 0 25 0 4 0 653114368 428867584 51491 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 418816

[startup+102.3 s]
/proc/loadavg: 6.49 2.27 0.81 9/295 2659
/proc/meminfo: memFree=28691808/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=488212 CPUtime=408.21 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 196733 0 0 0 40784 37 0 0 25 0 4 0 653114368 499929088 69357 33554432000 4194304 4650419 140735406313184 18446744073709551615 4520360 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 122053 69357 394 112 0 117018 0
[pid=2644/tid=2645] ppid=2642 vsize=488212 CPUtime=102.27 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 47168 0 0 0 10219 8 0 0 25 0 4 0 653114368 499929088 69357 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=488212 CPUtime=102.28 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 40632 0 0 0 10219 9 0 0 25 0 4 0 653114368 499929088 69357 33554432000 4194304 4650419 140735406313184 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=488212 CPUtime=101.35 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 55051 0 0 0 10125 10 0 0 25 0 4 0 653114368 499929088 69357 33554432000 4194304 4650419 140735406313184 18446744073709551615 4313304 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.21
Current children cumulated vsize (KiB) 488212

[startup+162.3 s]

################
# More data... #
################

[pid=2644] ppid=2642 vsize=933632 CPUtime=2802.72 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 887852 0 0 0 280082 190 0 0 25 0 4 0 653114368 956039168 148657 33554432000 4194304 4650419 140735406313184 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 233408 148657 394 112 0 228373 0
[pid=2644/tid=2645] ppid=2642 vsize=933632 CPUtime=702.2 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 159850 0 0 0 70183 37 0 0 25 0 4 0 653114368 956039168 148657 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=933632 CPUtime=702.3 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 181971 0 0 0 70181 49 0 0 25 0 4 0 653114368 956039168 148657 33554432000 4194304 4650419 140735406313184 18446744073709551615 4313319 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=933632 CPUtime=695.91 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 306634 0 0 0 69536 55 0 0 25 0 4 0 653114368 956039168 148657 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.72
Current children cumulated vsize (KiB) 933632

[startup+762.3 s]
/proc/loadavg: 8.09 7.42 4.48 9/295 2677
/proc/meminfo: memFree=27983436/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=938132 CPUtime=3042.18 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1012780 0 0 0 304005 213 0 0 25 0 4 0 653114368 960647168 149093 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 234533 149093 394 112 0 229498 0
[pid=2644/tid=2645] ppid=2642 vsize=938132 CPUtime=762.2 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 171631 0 0 0 76180 40 0 0 25 0 4 0 653114368 960647168 149093 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=938132 CPUtime=762.3 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 196181 0 0 0 76177 53 0 0 25 0 4 0 653114368 960647168 149093 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=938132 CPUtime=755.37 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 318362 0 0 0 75478 59 0 0 25 0 4 0 653114368 960647168 149093 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.18
Current children cumulated vsize (KiB) 938132

[startup+822.301 s]
/proc/loadavg: 8.09 7.54 4.70 9/295 2678
/proc/meminfo: memFree=28005968/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=937492 CPUtime=3281.63 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1052099 0 0 0 327937 226 0 0 25 0 4 0 653114368 959991808 142099 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 234373 142099 394 112 0 229338 0
[pid=2644/tid=2645] ppid=2642 vsize=937492 CPUtime=822.18 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 183413 0 0 0 82175 43 0 0 25 0 4 0 653114368 959991808 142099 33554432000 4194304 4650419 140735406313184 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=937492 CPUtime=822.3 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 200139 0 0 0 82176 54 0 0 25 0 4 0 653114368 959991808 142099 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=937492 CPUtime=814.83 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 329837 0 0 0 81420 63 0 0 25 0 4 0 653114368 959991808 142099 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.63
Current children cumulated vsize (KiB) 937492

[startup+882.301 s]
/proc/loadavg: 8.13 7.65 4.92 9/295 2680
/proc/meminfo: memFree=27948760/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=920928 CPUtime=3521.09 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1098524 0 0 0 351870 239 0 0 25 0 4 0 653114368 943030272 149882 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 230232 149882 394 112 0 225197 0
[pid=2644/tid=2645] ppid=2642 vsize=920928 CPUtime=882.19 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 195167 0 0 0 88172 47 0 0 25 0 4 0 653114368 943030272 149882 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=920928 CPUtime=882.31 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 212676 0 0 0 88173 58 0 0 25 0 4 0 653114368 943030272 149882 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=920928 CPUtime=874.28 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 342155 0 0 0 87362 66 0 0 25 0 4 0 653114368 943030272 149882 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.09
Current children cumulated vsize (KiB) 920928

[startup+942.301 s]
/proc/loadavg: 8.09 7.72 5.11 9/295 2682
/proc/meminfo: memFree=27808212/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=921936 CPUtime=3760.53 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1161549 0 0 0 375800 253 0 0 25 0 4 0 653114368 944062464 158015 33554432000 4194304 4650419 140735406313184 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 230484 158015 397 112 0 225449 0
[pid=2644/tid=2645] ppid=2642 vsize=921936 CPUtime=942.18 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 202800 0 0 0 94169 49 0 0 25 0 4 0 653114368 944062464 158015 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=921936 CPUtime=942.31 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 242574 0 0 0 94167 64 0 0 25 0 4 0 653114368 944062464 158015 33554432000 4194304 4650419 140735406313184 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=921936 CPUtime=933.74 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 356082 0 0 0 93305 69 0 0 25 0 4 0 653114368 944062464 158015 33554432000 4194304 4650419 140735406313184 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.53
Current children cumulated vsize (KiB) 921936

[startup+1002.3 s]
/proc/loadavg: 8.08 7.79 5.29 9/295 2683
/proc/meminfo: memFree=27752232/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=1090376 CPUtime=4000 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1420199 0 0 0 399708 292 0 0 25 0 4 0 653114368 1116545024 176204 33554432000 4194304 4650419 140735406313184 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 272594 176204 397 112 0 267559 0
[pid=2644/tid=2645] ppid=2642 vsize=1090376 CPUtime=1002.17 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 211622 0 0 0 100165 52 0 0 25 0 4 0 653114368 1116545024 176205 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=1090376 CPUtime=1002.31 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 378978 0 0 0 100149 82 0 0 25 0 4 0 653114368 1116545024 176205 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=1090376 CPUtime=993.2 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 454357 0 0 0 99238 82 0 0 25 0 4 0 653114368 1116545024 176205 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000
Current children cumulated vsize (KiB) 1090376

[startup+1062.3 s]
/proc/loadavg: 8.03 7.82 5.46 9/295 2685
/proc/meminfo: memFree=27709060/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=982360 CPUtime=4239.44 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1556438 0 0 0 423628 316 0 0 25 0 4 0 653114368 1005936640 188887 33554432000 4194304 4650419 140735406313184 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 245590 188887 397 112 0 240555 0
[pid=2644/tid=2645] ppid=2642 vsize=982360 CPUtime=1062.16 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 223256 0 0 0 106160 56 0 0 25 0 4 0 653114368 1005936640 188887 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=982360 CPUtime=1062.31 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 395022 0 0 0 106143 88 0 0 25 0 4 0 653114368 1005936640 188887 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=982360 CPUtime=1052.65 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 461575 0 0 0 105180 85 0 0 25 0 4 0 653114368 1005936640 188887 33554432000 4194304 4650419 140735406313184 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.44
Current children cumulated vsize (KiB) 982360

[startup+1122.31 s]
/proc/loadavg: 8.01 7.85 5.62 9/295 2686
/proc/meminfo: memFree=27657932/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=1114132 CPUtime=4478.93 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1579321 0 0 0 447568 325 0 0 25 0 4 0 653114368 1140871168 192204 33554432000 4194304 4650419 140735406313184 18446744073709551615 4333980 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 278533 192204 397 112 0 273498 0
[pid=2644/tid=2645] ppid=2642 vsize=1114132 CPUtime=1122.17 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 227055 0 0 0 112159 58 0 0 25 0 4 0 653114368 1140871168 192204 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=1114132 CPUtime=1122.33 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 397480 0 0 0 112144 89 0 0 25 0 4 0 653114368 1140871168 192204 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=1114132 CPUtime=1112.11 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 465437 0 0 0 111124 87 0 0 25 0 4 0 653114368 1140871168 192204 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.93
Current children cumulated vsize (KiB) 1114132

[startup+1182.3 s]
/proc/loadavg: 8.05 7.89 5.77 9/295 2688
/proc/meminfo: memFree=27692988/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=1050072 CPUtime=4718.33 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1604970 0 0 0 471499 334 0 0 25 0 4 0 653114368 1075273728 189905 33554432000 4194304 4650419 140735406313184 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 262518 189905 397 112 0 257483 0
[pid=2644/tid=2645] ppid=2642 vsize=1050072 CPUtime=1182.15 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 228992 0 0 0 118156 59 0 0 25 0 4 0 653114368 1075273728 189905 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=1050072 CPUtime=1182.32 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 408627 0 0 0 118139 93 0 0 25 0 4 0 653114368 1075273728 189905 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=1050072 CPUtime=1171.56 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 468385 0 0 0 117068 88 0 0 25 0 4 0 653114368 1075273728 189905 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.33
Current children cumulated vsize (KiB) 1050072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.11 7.91 5.82 9/295 2688
/proc/meminfo: memFree=27714064/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=984200 CPUtime=4800.16 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1615736 0 0 0 479678 338 0 0 25 0 4 0 653114368 1007820800 185919 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 246050 185919 397 112 0 241015 0
[pid=2644/tid=2645] ppid=2642 vsize=984200 CPUtime=1202.66 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 230449 0 0 0 120206 60 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=984200 CPUtime=1202.82 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 411649 0 0 0 120188 94 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=984200 CPUtime=1191.88 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 469688 0 0 0 119099 89 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 984200

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1202.8 s]
/proc/loadavg: 8.11 7.91 5.82 9/295 2688
/proc/meminfo: memFree=27714064/32951124 swapFree=54427468/67111528
[pid=2644] ppid=2642 vsize=984200 CPUtime=4800.16 cores=0,2,4,6
/proc/2644/stat : 2644 (strangenight1-m) R 2642 2644 2611 0 -1 4202496 1615736 0 0 0 479678 338 0 0 25 0 4 0 653114368 1007820800 185919 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/2644/statm: 246050 185919 397 112 0 241015 0
[pid=2644/tid=2645] ppid=2642 vsize=984200 CPUtime=1202.66 cores=0,2,4,6
/proc/2644/task/2645/stat : 2645 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 230449 0 0 0 120206 60 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=2644/tid=2646] ppid=2642 vsize=984200 CPUtime=1202.82 cores=0,2,4,6
/proc/2644/task/2646/stat : 2646 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 411649 0 0 0 120188 94 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=2644/tid=2647] ppid=2642 vsize=984200 CPUtime=1191.88 cores=0,2,4,6
/proc/2644/task/2647/stat : 2647 (strangenight1-m) R 2642 2644 2611 0 -1 4202560 469688 0 0 0 119099 89 0 0 25 0 4 0 653114368 1007820800 185921 33554432000 4194304 4650419 140735406313184 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 984200

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.85
CPU time (s): 4800.24
CPU user time (s): 4796.83
CPU system time (s): 3.41248
CPU usage (%): 399.073
Max. virtual memory (cumulated for all children) (KiB): 1200056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.83
system time used= 3.41248
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1615740
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 616
involuntary context switches= 22124

runsolver used 3.24851 second user time and 7.70683 second system time

The end

Launcher Data 

Begin job on node138 at 2011-05-15 01:19:24
IDJOB=3369231
IDBENCH=83903
IDSOLVER=1846
FILE ID=node138/3369231-1305415164
RUNJOBID= node138-1305415164-2629
PBS_JOBID= 13324560
Free space on /tmp= 73344 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_70_26_40_6-dir.shuffled-as.sat03-163.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369231-1305415164/watcher-3369231-1305415164 -o /tmp/evaluation-result-3369231-1305415164/solver-3369231-1305415164 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369231-1305415164.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= c06088cac8521bfe72bbb4c9ad8d39fb
RANDOM SEED=1987818443

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29349844 kB
Buffers:        251356 kB
Cached:        3112080 kB
SwapCached:      18472 kB
Active:         859500 kB
Inactive:      2526564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29349844 kB
SwapTotal:    67111528 kB
SwapFree:     54427468 kB
Dirty:           13984 kB
Writeback:           0 kB
AnonPages:       16768 kB
Mapped:           8212 kB
Slab:           110684 kB
PageTables:      41024 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 39468312 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73332 MiB
End job on node138 at 2011-05-15 01:39:29