Trace number 3369478

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.47 1203.71

General information on the benchmark

NameAPPLICATIONS/bitverif/
maxor/maxor128.cnf
MD5SUMe050fe11c7c50ba82ac7126f49db3c10
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark2982.37
Satisfiable
(Un)Satisfiability was proved
Number of variables200308
Number of clauses598619
Sum of the clauses size1396775
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399078
Number of clauses of size 3199539
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.06	c This is CryptoMiniSat 2.9.0
0.00/0.06	c compiled with gcc version 4.4.5
0.00/0.06	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.06	c Reading file 'HOME/instance-3369478-1305389972.cnf'
0.00/0.06	c -- header says num vars:         200308
0.00/0.06	c -- header says num clauses:      598619
5.20/1.41	c -- clauses added:            0 learnts,       598619 normals,            0 xors
5.20/1.41	c -- vars added     200308
5.20/1.41	c Parsing time:  0.98 s
5.20/1.41	c  N st     0         0    200308    199539    399078         0   1396773         0   no data   no data  --
5.20/1.41	c asymm  cl-useful: 0/452/199522 lits-rem:0 time: 2.17
50.66/12.80	c Flit:    11 Blit:     55 bXBeca:    0 bXProp:  171 Bins:      0 BRemL:      0 BRemN:      0 P: 200.1M T: 46.90
50.66/12.88	c Replacing      171 vars Replaced     3396 lits Time:     0.28 s 
51.07/12.99	c bin-w-bin subsume rem            0 bins  time:  0.13 s
51.45/13.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
88.14/22.27	c Subs w/ non-existent bins:     17 l-rem:      0 v-fix:    15 done:  37169 time: 36.60 s
89.38/22.52	c Removed useless bin:       0  fixed:     0  props:  20.07M  time:  0.97 s
92.51/23.31	c lits-rem:         0  cl-subs:     4516  v-elim:  66681  v-fix:    0  time:  3.09 s
92.51/23.35	c Finding binary XORs  T:     0.15 s  found:     419
92.51/23.40	c Replacing      419 vars Replaced     3686 lits Time:     0.19 s 
93.35/23.58	c Finding non-binary XORs:     0.57 s (found:    9730, avg size: 3.0)
93.35/23.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
93.76/23.63	c Calc default polars -  time:   0.10 s pos:    4847 undec:   82149 neg:  113312
93.76/23.63	c =========================================================================================
93.76/23.63	c types(t): F = full restart, N = normal restart
93.76/23.63	c types(t): S = simplification begin/end, E = solution found
93.76/23.63	c restart types(rt): st = static, dy = dynamic
93.76/23.63	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
93.76/23.63	c  B st     0         0    132930    205210    217627         0   1129882         0   no data   no data  --
103.68/26.19	c  N dy    14      4666    132930    205210    217670      4495   1129882    173310      8.59      9.04  --
115.27/29.05	c  N dy    24      8915    132930    205210    218086      8504   1129882    331339     12.44     13.22  --
123.22/31.02	c  N dy    38     13712    132917    205210    218135     13200   1129882    485673     11.44     12.11  --
132.40/33.35	c  N dy    45     18063    132882    205210    218338     17461   1129882    673523     11.46     12.10  --
145.97/36.71	c  N dy    67     23383    132861    205210    218556     12940   1129882    456763     12.47     13.17  --
149.13/37.54	c  F st    72     25000    132861    205210    218566     14533   1129882    514311     12.36      9.08  --
158.31/39.80	c  N st    77     28306    132860    204822    218683     17574   1128516    736140     12.36   no data  --
161.50/40.68	c  S st    78     30000    132853    204822    218684     19257   1128516    863062     12.36   no data  --
164.29/41.38	c  S st    78     30506    132853    204822    218695     19751   1128516    895523     12.36   no data  --
164.69/41.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
237.29/59.61	c Flit:     3 Blit:     48 bXBeca:    0 bXProp:  104 Bins:  12500 BRemL:      0 BRemN:      0 P: 200.1M T: 72.48
237.69/59.73	c Replacing      105 vars Replaced     1624 lits Time:     0.42 s 
238.54/59.94	c bin-w-bin subsume rem           12 bins  time:  0.16 s
239.29/60.13	c subs with bin:      174  lits-rem:      1616  v-fix:    0  time:  0.76 s
258.44/64.93	c Subs w/ non-existent bins:    775 l-rem:   1839 v-fix:     0 done:  51894 time: 19.13 s
259.23/65.13	c Removed useless bin:       1  fixed:     0  props:  20.00M  time:  0.81 s
279.97/70.30	c lits-rem:      1245  cl-subs:    20479  v-elim:  63995  v-fix:    0  time: 20.53 s
281.57/70.80	c asymm  cl-useful: 1160/18816/220196 lits-rem:1163 time: 1.99
282.00/70.82	c  N dy    78     30506     68695    220196     83544      1936    970154     58660     12.36   no data  --
282.00/70.86	c Finding binary XORs  T:     0.13 s  found:      59
288.74/72.57	c  N dy    87     34650     68695    220196     83740      5759    970153    176547     12.18     17.48  --
295.16/74.13	c  N dy    98     40443     68695    220196     83771     11288    970152    353991     11.97     12.66  --
301.50/75.77	c  N dy   113     44488     68694    220196     83823     15070    970151    478884     11.89     16.51  --
303.11/76.17	c  S st   117     45759     68694    220196     83826     16298    970151    525814     11.94     11.47  --
304.69/76.60	c  S st   117     46265     68694    220196     83842     16778    970151    555158     11.94   no data  --
305.09/76.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
361.37/90.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   10 Bins:  37246 BRemL:      0 BRemN:      3 P: 200.0M T: 56.21
361.73/90.87	c Replacing       69 vars Replaced     3377 lits Time:     0.29 s 
362.53/91.01	c bin-w-bin subsume rem            5 bins  time:  0.12 s
362.93/91.15	c subs with bin:      651  lits-rem:      1386  v-fix:    0  time:  0.56 s
363.72/91.37	c Subs w/ non-existent bins:    131 l-rem:   3542 v-fix:     0 done:  10757 time:  0.90 s
364.12/91.49	c Removed useless bin:      65  fixed:     0  props:  20.00M  time:  0.46 s
372.10/93.41	c lits-rem:      1304  cl-subs:     4520  v-elim:    984  v-fix:    0  time:  7.64 s
376.08/94.40	c vivif2 --  cl tried   221740 cl shrink     1391 lits rem       1395 time: 3.95
376.48/94.52	c vivif2 --  cl tried    11940 cl shrink     2967 lits rem      51574 time: 0.49
378.09/94.99	c asymm  cl-useful: 68/20626/220994 lits-rem:68 time: 1.87
378.93/95.17	c calculated reachability. Time: 0.66
378.93/95.18	c  N dy   117     46265     67641    220994    119724     11703    979250    397943     11.94   no data  --
380.88/95.66	c Finding binary XORs  T:     1.94 s  found:       6
391.67/98.36	c  N dy   130     52270     67632    220994    120155     17354    979249    662044     11.59     12.24  --
399.61/100.38	c  N dy   144     57847     67632    220994    120211     22703    979247    887994     11.67     12.60  --
406.40/102.01	c  N dy   151     63424     67627    220994    120264     28011    979247   1085400     11.44     12.17  --
411.58/103.39	c  N dy   162     67483     67626    220994    120294     17865    979247    564245     11.41     12.46  --
413.61/103.86	c  S st   163     69398     67626    220994    120309     19709    979247    619579     11.30      6.89  --
415.57/104.36	c  S st   163     69903     67626    220994    120356     20161    979247    644994     11.30   no data  --
415.57/104.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
415.97/104.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.22
448.71/112.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   50 Bins:   3932 BRemL:      0 BRemN:      0 P: 200.1M T: 32.80
449.12/112.77	c Replacing       56 vars Replaced     3775 lits Time:     0.26 s 
449.47/112.89	c bin-w-bin subsume rem           28 bins  time:  0.11 s
450.27/113.06	c subs with bin:      234  lits-rem:       503  v-fix:    0  time:  0.68 s
451.08/113.29	c Subs w/ non-existent bins:    124 l-rem:   1242 v-fix:     0 done:  27083 time:  0.92 s
451.47/113.40	c Removed useless bin:      48  fixed:     0  props:  20.00M  time:  0.42 s
456.26/114.50	c lits-rem:      1316  cl-subs:      791  v-elim:     44  v-fix:    0  time:  4.41 s
460.25/115.53	c vivif2 --  cl tried   220332 cl shrink      209 lits rem        216 time: 4.11
460.65/115.66	c vivif2 --  cl tried    19323 cl shrink     1807 lits rem      28165 time: 0.51
462.64/116.12	c asymm  cl-useful: 58/23209/220208 lits-rem:94 time: 1.82
463.43/116.36	c calculated reachability. Time: 0.88
463.43/116.36	c  N dy   163     69903     67526    220192    123463     19294    973541    592944     11.30   no data  --
466.26/117.01	c Finding binary XORs  T:     2.56 s  found:      15
472.61/118.69	c  N dy   165     74679     67526    220192    123521     23827    973541    751858     11.05     11.77  --
481.79/120.94	c  N dy   168     80816     67516    220192    125033     29662    973541    971295     10.77     11.39  --
491.36/123.30	c  N dy   179     87280     67515    220192    125189     18376    973538    442439     10.60     11.20  --
491.36/123.39	c  F st   180     87502     67505    220192    126034     18593    973538    460942     10.60      8.19  --
491.77/123.46	c Replacing       15 vars Replaced      238 lits Time:     0.16 s 
504.52/126.67	c  N dy   187     95228     67490    219722    125311     25932    968265    864188     10.52     11.31  --
514.93/129.27	c Finding binary XORs  T:     2.53 s  found:     150
516.88/129.79	c  N dy   201    101725     67489    219637    125471     32061    967635   1118415     10.57     11.14  --
521.67/130.93	c  S st   207    104854     67489    219637    125663     35069    967635   1201692     10.51      7.74  --
523.71/131.45	c  S st   207    105357     67489    219637    125712     35514    967635   1222794     10.51   no data  --
523.71/131.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
524.06/131.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.37
559.16/140.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:   4101 BRemL:      0 BRemN:      0 P: 200.1M T: 34.75
559.16/140.38	c Replacing      152 vars Replaced     8552 lits Time:     0.23 s 
559.96/140.52	c bin-w-bin subsume rem           82 bins  time:  0.12 s
560.76/140.75	c subs with bin:      484  lits-rem:      1232  v-fix:    0  time:  0.91 s
561.16/140.85	c Subs w/ non-existent bins:     12 l-rem:    865 v-fix:     0 done:   4457 time:  0.39 s
561.96/141.00	c Removed useless bin:      21  fixed:     0  props:  16.24M  time:  0.60 s
571.13/143.39	c lits-rem:      4144  cl-subs:     4125  v-elim:     86  v-fix:    0  time:  9.53 s
575.53/144.48	c vivif2 --  cl tried   218907 cl shrink      169 lits rem        200 time: 4.37
577.12/144.87	c vivif2 --  cl tried    31360 cl shrink     5000 lits rem     121868 time: 1.56
579.12/145.35	c asymm  cl-useful: 60/474/218868 lits-rem:180 time: 1.90
580.34/145.65	c calculated reachability. Time: 1.12
580.34/145.65	c  N dy   207    105357     67251    218808    129231     31314    965328    891930     10.51   no data  --
593.08/148.86	c Finding binary XORs  T:     3.20 s  found:      96
594.26/149.13	c  N dy   220    112814     67240    218615    133850     36069    963442   1170363     10.40     11.02  --
606.67/152.26	c  N dy   253    120441     67237    218615    134137     25035    963440    728717     10.53     11.32  --
619.40/155.42	c  N dy   262    129446     67237    218615    134406     33636    963438   1049075     10.34     11.74  --
633.75/159.08	c  N dy   286    137805     67236    218615    134721     21051    963435    398733     10.26     10.91  --
649.72/163.02	c  N dy   311    147187     67236    218615    135011     30016    963435    767390     10.33     11.28  --
667.28/167.46	c  N dy   348    158036     67234    218615    135360     40441    963434   1171140     10.39      6.78  --
667.28/167.47	c  S st   348    158036     67234    218615    135360     40441    963434   1171140     10.39      6.78  --
669.66/168.08	c  S st   348    158537     67234    218615    135411     40887    963434   1197695     10.39   no data  --
670.06/168.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
670.46/168.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.50
706.35/177.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   35 Bins:   1709 BRemL:      3 BRemN:      0 P: 200.2M T: 35.68
706.75/177.33	c Replacing      136 vars Replaced     8826 lits Time:     0.37 s 
707.15/177.48	c bin-w-bin subsume rem           57 bins  time:  0.12 s
708.75/177.80	c subs with bin:      840  lits-rem:      1567  v-fix:    0  time:  1.24 s
709.14/177.95	c Subs w/ non-existent bins:     52 l-rem:   1013 v-fix:     0 done:  11351 time:  0.59 s
709.54/178.06	c Removed useless bin:       8  fixed:     0  props:  10.44M  time:  0.45 s
717.12/179.94	c lits-rem:      2361  cl-subs:     2186  v-elim:     58  v-fix:    0  time:  7.48 s
721.90/181.12	c vivif2 --  cl tried   217505 cl shrink       86 lits rem        104 time: 4.67
723.10/181.45	c vivif2 --  cl tried    38250 cl shrink     7086 lits rem     101570 time: 1.35
725.13/181.95	c asymm  cl-useful: 63/442/217486 lits-rem:189 time: 1.96
726.69/182.31	c calculated reachability. Time: 1.37
726.69/182.31	c  N dy   348    158537     67040    217423    136574     38199    959630    999526     10.39   no data  --
730.28/183.27	c Finding binary XORs  T:     3.82 s  found:      43
754.62/189.33	c  N dy   358    168915     67036    217423    137872     26153    959630    710921     10.23     11.24  --
773.40/194.08	c  N dy   378    180324     67028    217423    138198     37171    959620   1425659     10.10     10.81  --
779.35/195.54	c Finding binary XORs  T:     3.86 s  found:      40
802.89/201.43	c  N dy   418    192364     67023    217292    147648     25078    958621    481934     10.13     15.85  --
823.62/206.62	c  N dy   434    204876     67021    217292    148261     37098    958621   1201805     10.06     10.60  --
849.15/213.01	c Finding binary XORs  T:     3.82 s  found:      82
850.35/213.37	c  N dy   464    218008     67019    217141    152311     24384    957305    506264      9.98     10.66  --
872.28/218.80	c  N dy   498    231980     67009    217141    152532     37877    957301   1007715      9.98     10.68  --
884.65/221.94	c  S st   529    237807     67003    217141    152714     43448    957301   1241219     10.04      7.20  --
886.65/222.41	c  S st   529    238309     67003    217141    153047     43919    957301   1266393     10.04   no data  --
886.65/222.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
887.05/222.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.59
926.14/232.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   58 Bins:   2748 BRemL:      0 BRemN:      0 P: 200.0M T: 38.85
926.54/232.46	c Replacing      224 vars Replaced    19554 lits Time:     0.40 s 
927.38/232.62	c bin-w-bin subsume rem           72 bins  time:  0.13 s
928.53/232.98	c subs with bin:     1255  lits-rem:      2579  v-fix:    0  time:  1.45 s
929.33/233.19	c Subs w/ non-existent bins:     90 l-rem:   1893 v-fix:     0 done:  20750 time:  0.85 s
929.74/233.29	c Removed useless bin:       4  fixed:     0  props:   8.56M  time:  0.37 s
938.91/235.53	c lits-rem:      3164  cl-subs:     4060  v-elim:    103  v-fix:    0  time:  8.95 s
943.69/236.79	c vivif2 --  cl tried   215503 cl shrink      241 lits rem        292 time: 5.03
945.29/237.15	c vivif2 --  cl tried    39133 cl shrink     6235 lits rem     154336 time: 1.42
947.28/237.66	c asymm  cl-useful: 52/436/215481 lits-rem:156 time: 2.02
948.91/238.07	c calculated reachability. Time: 1.58
948.91/238.08	c  N dy   529    238309     66680    215429    154844     39049    951530    921819     10.04   no data  --
953.30/239.19	c Finding binary XORs  T:     4.44 s  found:      19
990.36/248.47	c  N dy   544    256023     66675    215429    156027     31288    951529    843226      9.88     10.41  --
1031.85/258.86	c  N dy   560    273685     66673    215429    156611     48447    951528   2143917      9.73     10.25  --
1040.63/261.04	c Finding binary XORs  T:     4.50 s  found:      42
1074.53/269.57	c  N dy   620    291215     66670    215315    157063     38534    950755   1172280      9.77     11.76  --
1108.03/277.91	c  F st   676    306251     66664    215315    157357     53168    950750   2021963      9.86      5.83  --
1108.43/278.02	c Replacing       61 vars Replaced     2019 lits Time:     0.27 s 
1120.80/281.14	c  N dy   682    311442     66604    215007    156983     30242    948365    713658      9.86   no data  --
1165.08/292.25	c Finding binary XORs  T:     4.43 s  found:     123
1172.27/294.11	c  N dy   735    331460     66603    214996    157485     49696    948340   1807778      9.88     10.44  --
1212.95/304.20	c  N dy   786    351525     66602    214996    159510     41404    948340   1206021      9.86     10.42  --
1225.34/307.38	c  S st   807    357463     66602    214996    159593     47143    948340   1606767      9.86      8.13  --
1228.10/308.01	c  S st   807    357966     66602    214996    159621     47614    948338   1632754      9.86   no data  --
1228.10/308.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
1228.90/308.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.71
1266.39/317.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bins:   1821 BRemL:      2 BRemN:      0 P: 200.2M T: 37.62
1267.19/317.81	c Replacing      140 vars Replaced    10094 lits Time:     0.42 s 
1267.59/317.98	c bin-w-bin subsume rem           79 bins  time:  0.13 s
1270.38/318.67	c subs with bin:     1422  lits-rem:      2568  v-fix:    0  time:  2.76 s
1270.78/318.77	c Subs w/ non-existent bins:     33 l-rem:   1480 v-fix:     0 done:   1586 time:  0.36 s
1271.18/318.85	c Removed useless bin:       4  fixed:     0  props:   6.23M  time:  0.34 s
1282.79/321.80	c lits-rem:      1794  cl-subs:     4026  v-elim:    142  v-fix:    0  time: 11.73 s
1288.33/323.15	c vivif2 --  cl tried   213362 cl shrink      118 lits rem        126 time: 5.43
1289.92/323.59	c vivif2 --  cl tried    43325 cl shrink     7102 lits rem     196631 time: 1.74
1292.32/324.11	c asymm  cl-useful: 82/424/213359 lits-rem:246 time: 2.07
1293.92/324.59	c calculated reachability. Time: 1.82
1293.92/324.59	c  N dy   807    357966     66320    213277    160607     43265    944222   1199982      9.86   no data  --
1299.50/325.91	c Finding binary XORs  T:     5.10 s  found:     147
1340.99/336.32	c  N dy   852    378756     66310    213206    181587     36113    943581    768211      9.81     10.46  --
1374.53/344.76	c  N dy   929    399209     66309    213206    182034     55976    943570   1485023      9.89     11.48  --
1414.78/354.84	c Finding binary XORs  T:     5.09 s  found:      60
1416.78/355.39	c  N dy   985    419369     66303    213031    182379     47197    942642   1110439      9.88     12.97  --
1449.89/363.64	c  N dy  1043    439573     66301    213031    182810     66720    942641   1882008      9.91     11.34  --
1494.57/374.81	c  N dy  1142    460808     66290    213031    183404     58523    942638   1435757     10.06     10.61  --
1525.67/382.65	c Finding binary XORs  T:     5.14 s  found:     133
1543.63/387.10	c  N dy  1251    480873     66289    212730    183983     48039    940389    951388     10.25     24.73  --
1584.72/397.43	c  N dy  1330    500892     66281    212730    184458     67468    940388   1695672     10.30     16.12  --
1621.41/406.67	c  N dy  1390    522417     66280    212730    184852     57541    940388   1136331     10.29     10.85  --
1642.95/412.07	c Finding binary XORs  T:     5.12 s  found:     132
1651.73/414.28	c  S st  1435    536951     66278    212479    176482     71351    938918   1668380     10.30      8.14  --
1654.12/414.84	c  S st  1435    537451     66278    212479    176562     71828    938918   1709392     10.30   no data  --
1654.12/414.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.19
1654.92/415.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.81
1700.79/426.59	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   27 Bins:   3186 BRemL:      0 BRemN:      0 P: 200.1M T: 45.83
1701.59/426.71	c Replacing      499 vars Replaced    25607 lits Time:     0.46 s 
1702.40/426.90	c bin-w-bin subsume rem          253 bins  time:  0.14 s
1703.62/427.28	c subs with bin:     2296  lits-rem:      3467  v-fix:    0  time:  1.48 s
1704.39/427.49	c Subs w/ non-existent bins:    131 l-rem:   1155 v-fix:     0 done:  16661 time:  0.84 s
1704.79/427.57	c Removed useless bin:       4  fixed:     0  props:   6.38M  time:  0.34 s
1715.56/430.27	c lits-rem:      1912  cl-subs:     5075  v-elim:    179  v-fix:    0  time: 10.77 s
1721.58/431.74	c vivif2 --  cl tried   209700 cl shrink      243 lits rem        278 time: 5.84
1724.73/432.54	c vivif2 --  cl tried    65574 cl shrink    11900 lits rem     142658 time: 3.19
1726.72/433.08	c asymm  cl-useful: 58/456/209693 lits-rem:174 time: 2.17
1729.13/433.62	c calculated reachability. Time: 2.07
1729.13/433.62	c  N dy  1435    537451     65593    209635    169062     65420    930468   1374055     10.30   no data  --
1769.01/443.65	c Finding binary XORs  T:     5.79 s  found:     133
1783.76/447.33	c  N dy  1470    557452     65582    209461    169617     50935    929150    880021     10.23     10.98  --
1819.66/456.39	c  N dy  1507    577465     65581    209461    170192     70468    929149   1760460     10.19     10.83  --
1861.99/466.97	c  N dy  1580    598263     65580    209461    170614     58622    929148   1059607     10.22     11.13  --
1899.05/476.28	c Finding binary XORs  T:     5.77 s  found:     235
1915.81/480.49	c  N dy  1634    619714     65565    208953    170786     78486    926084   2279226     10.19     10.73  --
1952.50/489.61	c  N dy  1700    639763     65564    208953    171029     65322    926083   1168202     10.21     10.86  --
1992.79/499.75	c Finding binary XORs  T:     5.68 s  found:     110
1999.57/501.42	c  N dy  1762    660223     65562    208858    172145     85118    925434   1988148     10.22     10.99  --
2039.07/511.30	c  N dy  1804    680789     65560    208858    172557     71179    925433   1328187     10.20     10.83  --
2075.76/520.55	c  N dy  1862    701061     65553    208858    172871     90990    925432   2256879     10.22     10.91  --
2124.02/532.63	c  N dy  1910    721555     65545    208858    173051     75165    925432   1392316     10.19     10.92  --
2161.91/542.16	c Finding binary XORs  T:     5.67 s  found:     267
2162.31/542.25	c Replacing      746 vars Replaced    31517 lits Time:     0.35 s 
2176.68/545.87	c  N dy  1960    741689     64794    207107    164680     93389    915975   2204752     10.20     10.91  --
2223.35/557.50	c  N dy  2035    761740     64785    207107    166207     77093    915975   1242449     10.24     10.79  --
2248.88/563.99	c Finding binary XORs  T:     5.41 s  found:     158
2267.22/568.54	c  N dy  2102    781911     64782    206832    157583     96562    914456   1958429     10.26     10.81  --
2308.71/578.97	c  N dy  2149    802538     64779    206832    157902     79614    914456   1269052     10.25     10.87  --
2315.08/580.58	c  S st  2159    806176     64779    206832    157960     83208    914453   1443548     10.24   no data  --
2317.91/581.29	c  S st  2159    806677     64779    206832    157987     83679    914453   1467985     10.24   no data  --
2318.32/581.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
2319.07/581.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.82
2407.63/603.71	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:   37 Bins:   7624 BRemL:    124 BRemN:      0 P: 200.2M T: 88.35
2408.03/603.82	c Replacing      195 vars Replaced    12055 lits Time:     0.42 s 
2408.83/604.00	c bin-w-bin subsume rem          449 bins  time:  0.14 s
2410.06/604.31	c subs with bin:     2608  lits-rem:      3494  v-fix:    0  time:  1.23 s
2410.83/604.59	c Subs w/ non-existent bins:    265 l-rem:   1271 v-fix:     0 done:  26954 time:  1.13 s
2411.22/604.68	c Removed useless bin:       3  fixed:     0  props:   5.44M  time:  0.32 s
2420.39/606.95	c lits-rem:      2193  cl-subs:     4429  v-elim:    215  v-fix:    0  time:  9.06 s
2426.78/608.51	c vivif2 --  cl tried   204472 cl shrink      209 lits rem        234 time: 6.19
2429.16/609.19	c vivif2 --  cl tried    77860 cl shrink     6857 lits rem      48428 time: 2.72
2431.57/609.74	c asymm  cl-useful: 32/331/204466 lits-rem:96 time: 2.22
2433.95/610.30	c calculated reachability. Time: 2.14
2433.95/610.31	c  N dy  2159    806677     64365    204434    163798     77738    909152   1256847     10.24   no data  --
2439.94/611.89	c Finding binary XORs  T:     6.34 s  found:      42
2480.66/622.06	c  N dy  2199    826896     64360    204434    164730     97486    909146   2087329     10.21     10.76  --
2539.26/636.78	c  N dy  2269    847151     64357    204434    165004    117376    909146   3234358     10.25     10.85  --
2555.62/640.84	c Finding binary XORs  T:     6.27 s  found:     145
2588.33/649.02	c  N dy  2361    867170     64356    204102    147644     94679    907079   1782940     10.32     26.15  --
2630.21/659.54	c  N dy  2456    887235     64346    204102    147965    114287    907078   2612942     10.41     11.37  --
2674.08/670.59	c  N dy  2534    908467     64336    204102    148431     96441    907075   1624487     10.49     11.05  --
2680.87/672.20	c Finding binary XORs  T:     6.26 s  found:     245
2722.00/682.55	c  N dy  2621    928478     64330    203335    139508    115337    902692   2346762     10.54     11.45  --
2766.64/693.77	c  N dy  2712    950765     64325    203335    139893     98828    902692   1590982     10.58     12.60  --
2809.36/704.41	c  N dy  2800    971840     64324    203335    140224    119430    902691   2414908     10.63     11.52  --
2816.91/706.35	c Finding binary XORs  T:     6.25 s  found:     198
2856.39/716.29	c  N dy  2856    991879     64310    202809    131816     98927    899898   1406263     10.65     13.49  --
2900.67/727.39	c  N dy  2950   1012673     64292    202809    132171    119231    899898   2228660     10.70     11.30  --
2942.56/737.81	c  N dy  3028   1032680     64288    202809    132483    138776    899898   2994783     10.74     12.08  --
2953.73/740.64	c Finding binary XORs  T:     6.02 s  found:     285
2954.16/740.76	c Replacing      923 vars Replaced    54436 lits Time:     0.50 s 
2989.67/749.64	c  N dy  3094   1053188     63373    200819    122959    116105    889216   1926028     10.76     11.44  --
3032.31/760.38	c  F st  3183   1071877     63372    200819    123212    134438    889215   2660705     10.82   no data  --
3037.10/761.57	c  N st  3187   1073910     63372    200790    123307    136148    889112   2775581     10.82   no data  --
3079.77/772.25	c  N dy  3266   1094270     63367    200790    123654    112960    889112   1689731     10.87     11.66  --
3114.08/780.81	c Finding binary XORs  T:     6.23 s  found:     203
3131.63/785.28	c  N dy  3366   1114522     63364    200337    123763    132599    887011   2482235     10.95     11.62  --
3182.32/797.95	c  N dy  3465   1135022     63363    200337    123902    108888    887011   1368245     11.01     11.69  --
3206.21/803.93	c Finding binary XORs  T:     5.72 s  found:      57
3230.58/810.09	c  N dy  3551   1155088     63353    200267    126667    128393    886795   2141334     11.03     14.71  --
3273.24/820.70	c Finding binary XORs  T:     5.63 s  found:     245
3274.46/821.09	c  N dy  3621   1175111     63327    199463    128236    147524    882996   2756737     11.05     11.80  --
3316.32/831.56	c  N dy  3691   1195261     63323    199463    128360    123165    882996   1747964     11.06     12.08  --
3350.22/840.06	c  S st  3748   1210015     63317    199463    128501    137565    882996   2302913     11.07      7.18  --
3353.02/840.71	c  S st  3748   1210516     63317    199463    128504    138059    882996   2322270     11.07   no data  --
3353.02/840.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
3353.86/840.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.78
3396.49/851.70	c Flit:     4 Blit:      4 bXBeca:    0 bXProp:   61 Bins:    410 BRemL:    171 BRemN:      0 P: 200.0M T: 42.78
3397.32/851.84	c Replacing      585 vars Replaced    33458 lits Time:     0.54 s 
3398.08/852.09	c bin-w-bin subsume rem          465 bins  time:  0.12 s
3400.08/852.50	c subs with bin:     3320  lits-rem:      5512  v-fix:    0  time:  1.68 s
3400.48/852.64	c Subs w/ non-existent bins:     39 l-rem:   2361 v-fix:     0 done:   2184 time:  0.53 s
3400.88/852.72	c Removed useless bin:       7  fixed:     0  props:   4.61M  time:  0.30 s
3419.67/857.44	c lits-rem:      2568  cl-subs:    10210  v-elim:    239  v-fix:    0  time: 18.84 s
3425.21/858.85	c vivif2 --  cl tried   196063 cl shrink      162 lits rem        210 time: 5.61
3430.39/860.16	c vivif2 --  cl tried   124452 cl shrink    14158 lits rem     129832 time: 5.23
3432.83/860.74	c asymm  cl-useful: 27/361/196061 lits-rem:81 time: 2.28
3434.79/861.29	c calculated reachability. Time: 2.12
3434.79/861.29	c  N dy  3748   1210516     62471    196034    125969    124312    873223   1761449     11.07   no data  --
3453.94/866.07	c Finding binary XORs  T:     6.38 s  found:      92
3486.25/874.13	c  N dy  3779   1230607     62459    196025    127055    144026    873195   2949648     11.03     12.14  --
3539.30/887.47	c  N dy  3813   1250738     62458    196025    127414    113215    873194   1436871     11.00     11.71  --
3592.34/900.78	c  N dy  3836   1271190     62457    196025    127719    133319    873194   2762397     10.96     11.69  --
3627.06/909.46	c Finding binary XORs  T:     6.27 s  found:     180
3642.62/913.30	c  N dy  3877   1291258     62448    195646    127788    150541    871468   3417937     10.94     11.86  --
3682.11/923.22	c  N dy  3915   1311281     62448    195646    128123    126669    871463   1737942     10.91     19.30  --
3723.19/933.60	c  N dy  3976   1331435     62441    195646    128334    146386    871456   2474167     10.92     11.69  --
3766.31/944.35	c  N dy  4058   1351449     62437    195646    128620    165987    871456   3281943     10.95     11.55  --
3793.39/951.16	c Finding binary XORs  T:     6.25 s  found:     235
3815.74/956.73	c  N dy  4134   1371501     62433    195103    128841    138938    869097   2036319     10.97     20.42  --
3861.22/968.15	c  N dy  4235   1391585     62431    195103    129148    158637    869097   2879629     11.02     25.25  --
3909.07/980.14	c  N dy  4333   1411967     62430    195103    129335    130839    869096   1600368     11.08     11.76  --
3956.14/991.91	c  N dy  4420   1432013     62427    195103    129516    150495    869095   2380617     11.12     21.22  --
4001.23/1003.23	c Finding binary XORs  T:     5.97 s  found:     422
4001.63/1003.35	c Replacing      930 vars Replaced    45507 lits Time:     0.50 s 
4012.39/1006.10	c  N dy  4534   1452087     61488    192823    127621    168883    858186   3286124     11.19     53.71  --
4065.05/1019.28	c  N dy  4644   1472899     61476    192823    128074    140085    858186   1803371     11.26     12.19  --
4108.16/1030.08	c  N dy  4722   1493040     61475    192823    128280    159883    858186   2609270     11.28     11.88  --
4159.99/1043.03	c  N dy  4833   1513751     61470    192823    128422    180307    858183   3543005     11.34     11.99  --
4201.88/1053.50	c Finding binary XORs  T:     5.81 s  found:     335
4209.50/1055.48	c  N dy  4883   1533783     61470    191891    128483    149276    854344   2017390     11.33     11.97  --
4255.33/1066.97	c  N dy  4979   1554370     61470    191891    128678    169481    854344   2923414     11.39     11.99  --
4307.18/1079.96	c  N dy  5088   1575078     61469    191891    128967    189909    854344   3816202     11.43     13.89  --
4352.66/1091.38	c  N dy  5172   1595176     61458    191891    129177    158037    854344   2277477     11.47     38.47  --
4397.76/1102.69	c  N dy  5254   1615240     61458    191891    129302    177781    854343   3154631     11.50     32.01  --
4453.56/1116.67	c Finding binary XORs  T:     5.63 s  found:     254
4459.18/1118.03	c  N dy  5364   1635336     61446    191293    132366    196805    851858   4081942     11.55     12.29  --
4507.45/1130.17	c  N dy  5450   1655430     61404    191293    133280    164527    851858   2317944     11.59     19.64  --
4546.94/1140.08	c Finding binary XORs  T:     5.57 s  found:     226
4547.36/1140.19	c Replacing      818 vars Replaced    48745 lits Time:     0.46 s 
4558.48/1142.94	c  N dy  5531   1675809     60581    189552    131190    183085    843763   3191840     11.60     12.47  --
4611.93/1156.36	c  N dy  5662   1695823     60576    189552    131395    202811    843762   4077905     11.67     16.56  --
4651.42/1166.25	c  S st  5725   1710516     60575    189552    131450    164771    843761   2224502     11.68   no data  --
4654.21/1166.98	c  S st  5725   1711016     60575    189552    131461    165258    843760   2237969     11.68   no data  --
4654.61/1167.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
4655.41/1167.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.72
4696.54/1177.52	c Flit:     3 Blit:     11 bXBeca:    0 bXProp:   55 Bins:    227 BRemL:      9 BRemN:      0 P: 200.1M T: 41.07
4696.88/1177.64	c Replacing       64 vars Replaced     3312 lits Time:     0.44 s 
4697.68/1177.88	c bin-w-bin subsume rem          362 bins  time:  0.12 s
4699.29/1178.26	c subs with bin:     3187  lits-rem:      5883  v-fix:    0  time:  1.50 s
4700.09/1178.41	c Subs w/ non-existent bins:    109 l-rem:   1929 v-fix:     0 done:   4511 time:  0.60 s
4700.09/1178.48	c Removed useless bin:       9  fixed:     0  props:   3.90M  time:  0.30 s
4716.44/1182.52	c lits-rem:      1996  cl-subs:     7777  v-elim:    253  v-fix:    0  time: 16.07 s
4721.22/1183.74	c vivif2 --  cl tried   186855 cl shrink      226 lits rem        259 time: 4.89
4726.41/1185.07	c vivif2 --  cl tried   155804 cl shrink    11521 lits rem      76853 time: 5.29
4728.81/1185.64	c asymm  cl-useful: 46/337/186842 lits-rem:138 time: 2.26
4730.81/1186.14	c calculated reachability. Time: 1.93
4730.81/1186.15	c  N dy  5725   1711016     60238    186796    130424    155651    837750   1895503     11.68   no data  --
4737.18/1187.70	c Finding binary XORs  T:     6.19 s  found:      63
4785.05/1199.74	c  N dy  5783   1731675     60232    186796    131523    175954    837743   2811346     11.67     13.13  --

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-3369478-1305389972/watcher-3369478-1305389972 -o /tmp/evaluation-result-3369478-1305389972/solver-3369478-1305389972 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369478-1305389972.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: 3.86 4.02 3.88 7/350 14581
/proc/meminfo: memFree=25851516/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=51236 CPUtime=0.01 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 411 0 0 0 1 0 0 0 25 0 4 0 650597700 52465664 352 33554432000 4194304 4650419 140735814208608 18446744073709551615 47157324490674 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 12809 352 303 112 0 7774 0
[pid=14581/tid=14582] ppid=14579 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650597700 52465664 352 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 650597700 52465664 352 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809222129 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 650597700 52465664 352 33554432000 4194304 4650419 140735814208608 18446744073709551615 47157324490674 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0699381 s]
/proc/loadavg: 3.86 4.02 3.88 7/350 14581
/proc/meminfo: memFree=25851516/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=282972 CPUtime=0.18 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) S 14579 14581 14540 0 -1 4202496 2697 0 0 0 18 0 0 0 18 0 4 0 650597700 289763328 2519 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 70743 2559 343 112 0 65708 0
[pid=14581/tid=14582] ppid=14579 vsize=283956 CPUtime=0.05 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 512 0 0 0 5 0 0 0 18 0 4 0 650597700 290770944 2744 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=283956 CPUtime=0.05 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) S 14579 14581 14540 0 -1 4202560 879 0 0 0 5 0 0 0 18 0 4 0 650597700 290770944 2759 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 18446604441499257600 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=283956 CPUtime=0.06 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 662 0 0 0 6 0 0 0 25 0 4 0 650597700 290770944 2775 33554432000 4194304 4650419 140735814208608 18446744073709551615 230808862928 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 282972

[startup+0.101846 s]
/proc/loadavg: 3.86 4.02 3.88 7/350 14581
/proc/meminfo: memFree=25851516/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=293652 CPUtime=0.27 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 9092 0 0 0 25 2 0 0 18 0 4 0 650597700 300699648 7812 33554432000 4194304 4650419 140735814208608 18446744073709551615 230808834258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/14581/statm: 73493 7814 344 112 0 68458 0
[pid=14581/tid=14582] ppid=14579 vsize=293972 CPUtime=0.06 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) D 14579 14581 14540 0 -1 4202560 2208 0 0 0 6 0 0 0 17 0 4 0 650597700 301027328 7814 33554432000 4194304 4650419 140735814208608 18446744073709551615 4319087 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=294292 CPUtime=0.07 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 2626 0 0 0 7 0 0 0 17 0 4 0 650597700 301355008 7817 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=294292 CPUtime=0.07 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) S 14579 14581 14540 0 -1 4202560 1732 0 0 0 7 0 0 0 17 0 4 0 650597700 301355008 7817 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 18446604441499257600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 293652

[startup+0.302555 s]
/proc/loadavg: 3.86 4.02 3.88 7/350 14581
/proc/meminfo: memFree=25851516/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=430988 CPUtime=0.92 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 52498 0 0 0 73 19 0 0 17 0 4 0 650597700 441331712 43845 33554432000 4194304 4650419 140735814208608 18446744073709551615 4373800 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 107747 44020 344 112 0 102712 0
[pid=14581/tid=14582] ppid=14579 vsize=430988 CPUtime=0.22 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) S 14579 14581 14540 0 -1 4202560 13897 0 0 0 17 5 0 0 17 0 4 0 650597700 441331712 44122 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 18446604441499257600 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=430988 CPUtime=0.24 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 13607 0 0 0 20 4 0 0 17 0 4 0 650597700 441331712 44258 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=430988 CPUtime=0.25 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) S 14579 14581 14540 0 -1 4202560 12040 0 0 0 20 5 0 0 17 0 4 0 650597700 441331712 44401 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 18446604441499257600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 430988

[startup+1.01973 s]
/proc/loadavg: 3.86 4.02 3.88 7/350 14581
/proc/meminfo: memFree=25851516/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=532952 CPUtime=3.68 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 93014 0 0 0 336 32 0 0 18 0 4 0 650597700 545742848 75648 33554432000 4194304 4650419 140735814208608 18446744073709551615 230808863370 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 133238 75668 370 112 0 128203 0
[pid=14581/tid=14582] ppid=14579 vsize=532952 CPUtime=0.92 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 23741 0 0 0 82 10 0 0 18 0 4 0 650597700 545742848 75677 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=532952 CPUtime=0.93 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 24661 0 0 0 87 6 0 0 18 0 4 0 650597700 545742848 75689 33554432000 4194304 4650419 140735814208608 18446744073709551615 4511549 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=532952 CPUtime=0.93 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 21110 0 0 0 85 8 0 0 18 0 4 0 650597700 545742848 75700 33554432000 4194304 4650419 140735814208608 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.68
Current children cumulated vsize (KiB) 532952

[startup+1.50028 s]
/proc/loadavg: 4.43 4.13 3.92 9/354 14585
/proc/meminfo: memFree=25522264/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=523936 CPUtime=5.63 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 98168 0 0 0 530 33 0 0 19 0 4 0 650597700 536510464 77289 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 130984 77289 373 112 0 125949 0
[pid=14581/tid=14582] ppid=14579 vsize=523936 CPUtime=1.41 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 26394 0 0 0 131 10 0 0 19 0 4 0 650597700 536510464 77289 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369188 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=523936 CPUtime=1.42 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 25207 0 0 0 136 6 0 0 19 0 4 0 650597700 536510464 77289 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369075 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=523936 CPUtime=1.41 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 21132 0 0 0 133 8 0 0 19 0 4 0 650597700 536510464 77289 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 523936

[startup+3.10098 s]
/proc/loadavg: 4.43 4.13 3.92 9/354 14585
/proc/meminfo: memFree=25507508/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=523936 CPUtime=11.98 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 98286 0 0 0 1165 33 0 0 22 0 4 0 650597700 536510464 77407 33554432000 4194304 4650419 140735814208608 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 130984 77407 373 112 0 125949 0
[pid=14581/tid=14582] ppid=14579 vsize=523936 CPUtime=2.99 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 26394 0 0 0 289 10 0 0 22 0 4 0 650597700 536510464 77407 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=523936 CPUtime=3.01 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 25207 0 0 0 295 6 0 0 22 0 4 0 650597700 536510464 77407 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369860 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=523936 CPUtime=2.99 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 21250 0 0 0 291 8 0 0 22 0 4 0 650597700 536510464 77407 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363280 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.98
Current children cumulated vsize (KiB) 523936

[startup+6.3004 s]
/proc/loadavg: 4.72 4.20 3.94 9/354 14585
/proc/meminfo: memFree=25493492/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=523936 CPUtime=24.74 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 98618 0 0 0 2441 33 0 0 25 0 4 0 650597700 536510464 77739 33554432000 4194304 4650419 140735814208608 18446744073709551615 4302842 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 130984 77739 373 112 0 125949 0
[pid=14581/tid=14582] ppid=14579 vsize=523936 CPUtime=6.19 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 26394 0 0 0 609 10 0 0 25 0 4 0 650597700 536510464 77739 33554432000 4194304 4650419 140735814208608 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=523936 CPUtime=6.21 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 25207 0 0 0 615 6 0 0 25 0 4 0 650597700 536510464 77739 33554432000 4194304 4650419 140735814208608 18446744073709551615 4245185 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=523936 CPUtime=6.16 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 21582 0 0 0 607 9 0 0 25 0 4 0 650597700 536510464 77739 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 523936

[startup+12.7012 s]
/proc/loadavg: 4.98 4.26 3.96 9/354 14585
/proc/meminfo: memFree=25463864/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=533868 CPUtime=50.26 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 102030 0 0 0 4992 34 0 0 25 0 4 0 650597700 546680832 81151 33554432000 4194304 4650419 140735814208608 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 133467 81151 374 112 0 128432 0
[pid=14581/tid=14582] ppid=14579 vsize=533868 CPUtime=12.59 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 26511 0 0 0 1249 10 0 0 25 0 4 0 650597700 546680832 81151 33554432000 4194304 4650419 140735814208608 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=533868 CPUtime=12.61 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 25327 0 0 0 1255 6 0 0 25 0 4 0 650597700 546680832 81151 33554432000 4194304 4650419 140735814208608 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=533868 CPUtime=12.47 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 24645 0 0 0 1238 9 0 0 25 0 4 0 650597700 546680832 81151 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.26
Current children cumulated vsize (KiB) 533868

[startup+25.5009 s]
/proc/loadavg: 5.44 4.38 4.01 9/354 14586
/proc/meminfo: memFree=25226700/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=772684 CPUtime=101.29 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 218890 0 0 0 10075 54 0 0 22 0 4 0 650597700 791228416 134827 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363660 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 193171 134827 395 112 0 188136 0
[pid=14581/tid=14582] ppid=14579 vsize=772684 CPUtime=25.39 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 33291 0 0 0 2527 12 0 0 25 0 4 0 650597700 791228416 134827 33554432000 4194304 4650419 140735814208608 18446744073709551615 4550246 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=772684 CPUtime=25.4 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 50287 0 0 0 2529 11 0 0 21 0 4 0 650597700 791228416 134827 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=772684 CPUtime=25.12 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 86854 0 0 0 2494 18 0 0 25 0 4 0 650597700 791228416 134827 33554432000 4194304 4650419 140735814208608 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.29
Current children cumulated vsize (KiB) 772684

[startup+51.1132 s]
/proc/loadavg: 6.51 4.74 4.14 9/354 14586
/proc/meminfo: memFree=25114536/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=859088 CPUtime=203.43 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 348928 0 0 0 20269 74 0 0 25 0 4 0 650597700 879706112 157265 33554432000 4194304 4650419 140735814208608 18446744073709551615 4227332 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 214772 157265 396 112 0 209737 0
[pid=14581/tid=14582] ppid=14579 vsize=859088 CPUtime=51.01 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 98009 0 0 0 5079 22 0 0 25 0 4 0 650597700 879706112 157265 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363768 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=859088 CPUtime=51 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 66478 0 0 0 5086 14 0 0 25 0 4 0 650597700 879706112 157265 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=859088 CPUtime=50.43 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 94546 0 0 0 5023 20 0 0 25 0 4 0 650597700 879706112 157265 33554432000 4194304 4650419 140735814208608 18446744073709551615 4230691 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.43
Current children cumulated vsize (KiB) 859088

[startup+102.301 s]
/proc/loadavg: 7.50 5.27 4.35 9/354 14588
/proc/meminfo: memFree=24211408/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=1965388 CPUtime=407.6 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 600149 0 0 0 40630 130 0 0 25 0 4 0 650597700 2012557312 372619 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363435 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 491347 372619 396 112 0 486312 0
[pid=14581/tid=14582] ppid=14579 vsize=1965388 CPUtime=102.19 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 150314 0 0 0 10181 38 0 0 25 0 4 0 650597700 2012557312 372619 33554432000 4194304 4650419 140735814208608 18446744073709551615 4241210 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=1965388 CPUtime=102.19 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 98438 0 0 0 10196 23 0 0 25 0 4 0 650597700 2012557312 372619 33554432000 4194304 4650419 140735814208608 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=1965388 CPUtime=101.05 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 205780 0 0 0 10067 38 0 0 25 0 4 0 650597700 2012557312 372619 33554432000 4194304 4650419 140735814208608 18446744073709551615 4315153 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.6
Current children cumulated vsize (KiB) 1965388

[startup+162.301 s]

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


[startup+702.313 s]
/proc/loadavg: 8.04 7.70 6.11 9/354 14604
/proc/meminfo: memFree=21102672/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5216536 CPUtime=2800.99 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 1793211 0 0 0 279723 376 0 0 25 0 4 0 650597700 5341732864 1086126 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1304134 1086126 398 112 0 1299099 0
[pid=14581/tid=14582] ppid=14579 vsize=5216536 CPUtime=697.7 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 410464 0 0 0 69670 100 0 0 25 0 4 0 650597700 5341732864 1086126 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5216536 CPUtime=702.21 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 352783 0 0 0 70141 80 0 0 25 0 4 0 650597700 5341732864 1086126 33554432000 4194304 4650419 140735814208608 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5216536 CPUtime=698.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 651446 0 0 0 69779 110 0 0 25 0 4 0 650597700 5341732864 1086126 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2800.99
Current children cumulated vsize (KiB) 5216536

[startup+762.3 s]
/proc/loadavg: 8.12 7.78 6.24 9/354 14605
/proc/meminfo: memFree=20965996/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5390896 CPUtime=3040.29 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 1858264 0 0 0 303638 391 0 0 25 0 4 0 650597700 5520277504 1117125 33554432000 4194304 4650419 140735814208608 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1347724 1117125 398 112 0 1342689 0
[pid=14581/tid=14582] ppid=14579 vsize=5390896 CPUtime=757.03 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 422982 0 0 0 75599 104 0 0 25 0 4 0 650597700 5520277504 1117125 33554432000 4194304 4650419 140735814208608 18446744073709551615 4314858 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5390896 CPUtime=762.19 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 362472 0 0 0 76136 83 0 0 25 0 4 0 650597700 5520277504 1117125 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5390896 CPUtime=758.88 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 662560 0 0 0 75774 114 0 0 25 0 4 0 650597700 5520277504 1117125 33554432000 4194304 4650419 140735814208608 18446744073709551615 4528900 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3040.29
Current children cumulated vsize (KiB) 5390896

[startup+822.3 s]
/proc/loadavg: 8.08 7.83 6.35 9/354 14607
/proc/meminfo: memFree=20799308/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5543628 CPUtime=3279.61 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 1932607 0 0 0 327553 408 0 0 25 0 4 0 650597700 5676675072 1151635 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1385907 1151635 398 112 0 1380872 0
[pid=14581/tid=14582] ppid=14579 vsize=5543628 CPUtime=816.85 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 450275 0 0 0 81576 109 0 0 25 0 4 0 650597700 5676675072 1151635 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5543628 CPUtime=821.69 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 373828 0 0 0 82083 86 0 0 25 0 4 0 650597700 5676675072 1151635 33554432000 4194304 4650419 140735814208608 18446744073709551615 4557698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5543628 CPUtime=818.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 686348 0 0 0 81768 121 0 0 25 0 4 0 650597700 5676675072 1151635 33554432000 4194304 4650419 140735814208608 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3279.61
Current children cumulated vsize (KiB) 5543628

[startup+882.3 s]
/proc/loadavg: 8.14 7.89 6.46 9/354 14608
/proc/meminfo: memFree=20722404/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5762872 CPUtime=3518.96 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2003523 0 0 0 351468 428 0 0 25 0 4 0 650597700 5901180928 1180333 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364883 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1440718 1180333 398 112 0 1435683 0
[pid=14581/tid=14582] ppid=14579 vsize=5762872 CPUtime=876.84 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 460279 0 0 0 87571 113 0 0 25 0 4 0 650597700 5901180928 1180333 33554432000 4194304 4650419 140735814208608 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5762872 CPUtime=881.03 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 395325 0 0 0 88013 90 0 0 25 0 4 0 650597700 5901180928 1180333 33554432000 4194304 4650419 140735814208608 18446744073709551615 4367986 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5762872 CPUtime=878.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 700711 0 0 0 87763 126 0 0 25 0 4 0 650597700 5901180928 1180333 33554432000 4194304 4650419 140735814208608 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3518.96
Current children cumulated vsize (KiB) 5762872

[startup+942.3 s]
/proc/loadavg: 8.12 7.92 6.56 9/354 14610
/proc/meminfo: memFree=20646864/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5743120 CPUtime=3758.28 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2045529 0 0 0 375389 439 0 0 25 0 4 0 650597700 5880954880 1195896 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1435780 1195896 398 112 0 1430745 0
[pid=14581/tid=14582] ppid=14579 vsize=5743120 CPUtime=936.85 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 470910 0 0 0 93570 115 0 0 25 0 4 0 650597700 5880954880 1195896 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5743120 CPUtime=940.36 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 398092 0 0 0 93945 91 0 0 25 0 4 0 650597700 5880954880 1195896 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363531 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5743120 CPUtime=938.88 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 715098 0 0 0 93757 131 0 0 25 0 4 0 650597700 5880954880 1195896 33554432000 4194304 4650419 140735814208608 18446744073709551615 4367401 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3758.28
Current children cumulated vsize (KiB) 5743120

[startup+1002.3 s]
/proc/loadavg: 8.25 7.98 6.66 9/354 14612
/proc/meminfo: memFree=20608376/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5833144 CPUtime=3997.63 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2083904 0 0 0 399312 451 0 0 25 0 4 0 650597700 5973139456 1203449 33554432000 4194304 4650419 140735814208608 18446744073709551615 4528972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1458286 1203449 398 112 0 1453251 0
[pid=14581/tid=14582] ppid=14579 vsize=5833144 CPUtime=996.85 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 480499 0 0 0 99565 120 0 0 25 0 4 0 650597700 5973139456 1203449 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5833144 CPUtime=999.71 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 402770 0 0 0 99879 92 0 0 25 0 4 0 650597700 5973139456 1203449 33554432000 4194304 4650419 140735814208608 18446744073709551615 4331965 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5833144 CPUtime=998.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 727118 0 0 0 99754 135 0 0 25 0 4 0 650597700 5973139456 1203449 33554432000 4194304 4650419 140735814208608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3997.63
Current children cumulated vsize (KiB) 5833144

[startup+1062.3 s]
/proc/loadavg: 8.27 8.03 6.76 9/354 14613
/proc/meminfo: memFree=20593464/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5792548 CPUtime=4236.98 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2126193 0 0 0 423232 466 0 0 25 0 4 0 650597700 5931569152 1208078 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363452 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1448137 1208078 398 112 0 1443102 0
[pid=14581/tid=14582] ppid=14579 vsize=5792548 CPUtime=1056.85 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 491592 0 0 0 105562 123 0 0 25 0 4 0 650597700 5931569152 1208078 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5792548 CPUtime=1059.04 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 409958 0 0 0 105809 95 0 0 25 0 4 0 650597700 5931569152 1208078 33554432000 4194304 4650419 140735814208608 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5792548 CPUtime=1058.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 738601 0 0 0 105749 140 0 0 25 0 4 0 650597700 5931569152 1208078 33554432000 4194304 4650419 140735814208608 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4236.98
Current children cumulated vsize (KiB) 5792548

[startup+1122.3 s]
/proc/loadavg: 8.10 8.02 6.84 9/354 14615
/proc/meminfo: memFree=20483820/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=5924612 CPUtime=4476.31 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2187034 0 0 0 447151 480 0 0 25 0 4 0 650597700 6066802688 1235556 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1481153 1235556 400 112 0 1476118 0
[pid=14581/tid=14582] ppid=14579 vsize=5924612 CPUtime=1116.84 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 509847 0 0 0 111558 126 0 0 25 0 4 0 650597700 6066802688 1235556 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=5924612 CPUtime=1118.38 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 421988 0 0 0 111740 98 0 0 25 0 4 0 650597700 6066802688 1235556 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=5924612 CPUtime=1118.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 757328 0 0 0 111745 144 0 0 25 0 4 0 650597700 6066802688 1235556 33554432000 4194304 4650419 140735814208608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4476.31
Current children cumulated vsize (KiB) 5924612

[startup+1182.3 s]
/proc/loadavg: 8.03 8.02 6.91 9/354 14616
/proc/meminfo: memFree=20409508/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=6055492 CPUtime=4715.64 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2243169 0 0 0 471069 495 0 0 25 0 4 0 650597700 6200823808 1254636 33554432000 4194304 4650419 140735814208608 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1513873 1254636 398 112 0 1508838 0
[pid=14581/tid=14582] ppid=14579 vsize=6055492 CPUtime=1176.85 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 517351 0 0 0 117556 129 0 0 25 0 4 0 650597700 6200823808 1254636 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=6055492 CPUtime=1177.71 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 440888 0 0 0 117669 102 0 0 25 0 4 0 650597700 6200823808 1254636 33554432000 4194304 4650419 140735814208608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=6055492 CPUtime=1178.89 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 766180 0 0 0 117742 147 0 0 25 0 4 0 650597700 6200823808 1254636 33554432000 4194304 4650419 140735814208608 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4715.64
Current children cumulated vsize (KiB) 6055492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.02 8.02 6.93 5/349 14618
/proc/meminfo: memFree=20780800/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=6038388 CPUtime=4800.24 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) R 14579 14581 14540 0 -1 4202496 2265987 0 0 0 479524 500 0 0 25 0 4 0 650597700 6183309312 1270378 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 1509597 1270378 398 112 0 1504562 0
[pid=14581/tid=14582] ppid=14579 vsize=6038388 CPUtime=1198.05 cores=0,2,4,6
/proc/14581/task/14582/stat : 14582 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 523528 0 0 0 119676 129 0 0 25 0 4 0 650597700 6183309312 1270379 33554432000 4194304 4650419 140735814208608 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=6038388 CPUtime=1198.68 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 447476 0 0 0 119764 104 0 0 25 0 4 0 650597700 6183309312 1270379 33554432000 4194304 4650419 140735814208608 18446744073709551615 4363479 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14581/tid=14584] ppid=14579 vsize=6038388 CPUtime=1200.1 cores=0,2,4,6
/proc/14581/task/14584/stat : 14584 (strangenight1-m) R 14579 14581 14540 0 -1 4202560 772629 0 0 0 119862 148 0 0 25 0 4 0 650597700 6183309312 1270379 33554432000 4194304 4650419 140735814208608 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 6038388

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

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

[startup+1203.7 s]
/proc/loadavg: 8.02 8.02 6.93 5/349 14618
/proc/meminfo: memFree=20780800/32951124 swapFree=40554400/67111528
[pid=14581] ppid=14579 vsize=0 CPUtime=4800.45 cores=0,2,4,6
/proc/14581/stat : 14581 (strangenight1-m) Z 14579 14581 14540 0 -1 4203548 2265989 0 0 0 479527 518 0 0 25 0 2 0 650597700 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14581/statm: 0 0 0 0 0 0 0
[pid=14581/tid=14583] ppid=14579 vsize=0 CPUtime=1198.86 cores=0,2,4,6
/proc/14581/task/14583/stat : 14583 (strangenight1-m) R 14579 14581 14540 0 -1 4203588 447476 0 0 0 119764 122 0 0 25 0 2 0 650597700 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.45
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.71
CPU time (s): 4800.47
CPU user time (s): 4795.27
CPU system time (s): 5.19721
CPU usage (%): 398.806
Max. virtual memory (cumulated for all children) (KiB): 6186572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.27
system time used= 5.19721
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2265989
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= 20733
involuntary context switches= 37185

runsolver used 3.78542 second user time and 9.41657 second system time

The end

Launcher Data 

Begin job on node104 at 2011-05-14 18:19:33
IDJOB=3369478
IDBENCH=70808
IDSOLVER=1846
FILE ID=node104/3369478-1305389972
RUNJOBID= node104-1305389972-14558
PBS_JOBID= 13324447
Free space on /tmp= 73380 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxor/maxor128.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369478-1305389972/watcher-3369478-1305389972 -o /tmp/evaluation-result-3369478-1305389972/solver-3369478-1305389972 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369478-1305389972.cnf

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

MD5SUM BENCH= e050fe11c7c50ba82ac7126f49db3c10
RANDOM SEED=264329965

node104.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.855
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.71
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.855
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.83
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.855
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.67
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.855
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.80
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.855
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	: 5293.18
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.855
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.83
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.855
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.75
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.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25851796 kB
Buffers:        283964 kB
Cached:        2316388 kB
SwapCached:     122128 kB
Active:         929696 kB
Inactive:      5900168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25851796 kB
SwapTotal:    67111528 kB
SwapFree:     40554400 kB
Dirty:           23528 kB
Writeback:           0 kB
AnonPages:     4120968 kB
Mapped:          10864 kB
Slab:           117636 kB
PageTables:      84964 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 74914412 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= 73372 MiB
End job on node104 at 2011-05-14 18:39:38