Trace number 3287128

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? (TO) 4800.49 1202.09

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
MD5SUMb967fca11e85ef5b614d3452b1c4b2ad
Bench CategoryAPPLICATION (applications 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 variables257030
Number of clauses769313
Sum of the clauses size1795061
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2512874
Number of clauses of size 3256437
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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3287128-1304041349.cnf'
0.00/0.00	c -- header says num vars:         257030
0.00/0.00	c -- header says num clauses:      769313
3.22/0.92	c -- clauses added:            0 learnts,       769313 normals,            0 xors
3.22/0.92	c -- vars added     257030
3.22/0.92	c Parsing time:  1.04 s
3.22/0.92	c  N st     0         0    257030    256437    512874         0   1795059         0   no data   no data  --
3.22/0.92	c asymm  cl-useful: 0/72582/254022 lits-rem:0 time: 1.53
38.37/9.76	c Flit:   220 Blit:   9020 bXBeca:    0 bXProp: 21158 Bins:      0 BRemL:      0 BRemN:      0 P: 124.8M T: 35.15
38.37/9.80	c Cleaning up after failed var search:     0.16 s 
39.19/9.91	c Replacing    21158 vars Replaced   377481 lits Time:     0.41 s 
39.54/10.06	c bin-w-bin subsume rem         1232 bins  time:  0.18 s
39.94/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.41 s
41.12/10.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done: 130234 time:  0.94 s
41.52/10.53	c Removed useless bin:     333  fixed:     0  props:  20.00M  time:  0.52 s
44.65/11.38	c lits-rem:         0  cl-subs:       56  v-elim:  74685  v-fix:    0  time:  3.04 s
45.04/11.43	c Finding binary XORs  T:     0.20 s  found:       0
45.83/11.63	c Finding non-binary XORs:     0.54 s (found:   13087, avg size: 3.0)
45.83/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   6048 locsubst:     0 time:   0.25
45.83/11.68	c Calc default polars -  time:   0.12 s pos:   15514 undec:  145584 neg:   95932
45.83/11.68	c =========================================================================================
45.83/11.68	c types(t): F = full restart, N = normal restart
45.83/11.68	c types(t): S = simplification begin/end, E = solution found
45.83/11.68	c restart types(rt): st = static, dy = dynamic
45.83/11.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
45.83/11.68	c  B st     0         0    143323    236940    233415         0   1210205         0   no data   no data  --
59.42/15.04	c  N dy     9      4049    143323    236940    233436      4000   1210203    128722     13.73     15.01  --
73.81/18.61	c  N dy    27      9114    143323    236940    233492      9028   1210203    285985     13.46     14.20  --
85.38/21.56	c  N dy    55     13171    143323    236940    233514     13070   1210203    416988     13.79     15.31  --
96.19/24.24	c  N dy    71     17462    143323    236940    233515     17296   1210203    535537     13.80     14.53  --
107.35/27.05	c  N dy    97     21505    143323    236940    233521     11407   1210203    222300     13.92     16.36  --
115.74/29.16	c  F st   116     25000    143323    236940    233532     14870   1210203    323677     13.95     12.70  --
118.15/29.78	c  N st   118     25627    143323    236940    233533     15488   1210203    344763     13.95   no data  --
129.72/32.65	c  N dy   122     30000    143323    236940    233535     19822   1210203    503872     13.95   no data  --
129.72/32.65	c  S st   122     30000    143323    236940    233535     19822   1210203    503872     13.95   no data  --
131.71/33.11	c  S st   122     30501    143323    236940    233680     20173   1210203    505969     13.95   no data  --
131.71/33.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   3352 locsubst:     0 time:   0.23
178.83/44.94	c Flit:  1803 Blit:     61 bXBeca:    0 bXProp: 11162 Bins: 123320 BRemL:  25984 BRemN:     83 P: 73.1M T: 46.92
178.83/44.97	c Cleaning up after failed var search:     0.12 s 
179.24/45.06	c Replacing    11162 vars Replaced   307228 lits Time:     0.34 s 
180.01/45.20	c bin-w-bin subsume rem        22115 bins  time:  0.19 s
180.41/45.35	c subs with bin:     5231  lits-rem:      5644  v-fix:    0  time:  0.59 s
180.81/45.47	c Subs w/ non-existent bins:     25 l-rem:   6691 v-fix:     0 done:   7211 time:  0.44 s
181.21/45.55	c Removed useless bin:    1458  fixed:     0  props:  15.22M  time:  0.31 s
192.81/48.45	c lits-rem:     19018  cl-subs:    40669  v-elim:  42446  v-fix:    0  time: 11.53 s
194.39/48.89	c asymm  cl-useful: 5470/26623/243472 lits-rem:6222 time: 1.78
194.79/48.91	c  N dy   122     30501     84494    243218    190028      1358   1147236    102323     13.95   no data  --
194.79/48.96	c Finding binary XORs  T:     0.17 s  found:     264
205.17/51.51	c  N dy   139     37253     84494    243218    190028      8033   1147236    274131     13.65     14.42  --
215.92/54.27	c  N dy   153     43655     84484    243218    190205     14368   1147236    437126     13.51     14.42  --
216.32/54.37	c Finding binary XORs  T:     0.18 s  found:       5
220.31/55.39	c  S st   171     45752     84484    243147    224550     16450   1147011    558033     13.59   no data  --
221.92/55.75	c  S st   171     46252     84484    243147    224652     16830   1147005    560128     13.59   no data  --
222.32/55.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:   1416 locsubst:     0 time:   0.21
247.48/62.14	c Flit:  1681 Blit:     11 bXBeca:    0 bXProp: 2768 Bins:  45248 BRemL:  35745 BRemN:   5195 P: 44.9M T: 25.23
247.48/62.17	c Cleaning up after failed var search:     0.14 s 
247.88/62.25	c Replacing     3037 vars Replaced    96982 lits Time:     0.30 s 
248.68/62.40	c bin-w-bin subsume rem        24758 bins  time:  0.16 s
249.08/62.59	c subs with bin:    20064  lits-rem:     33454  v-fix:    0  time:  0.73 s
249.49/62.70	c Subs w/ non-existent bins:    603 l-rem:   4476 v-fix:     0 done:  28600 time:  0.43 s
249.89/62.78	c Removed useless bin:    5987  fixed:     0  props:   4.24M  time:  0.29 s
256.25/64.34	c lits-rem:      2369  cl-subs:     4492  v-elim:   1788  v-fix:    0  time:  6.24 s
258.26/64.90	c asymm  cl-useful: 0/9492/209586 lits-rem:0 time: 2.23
258.67/64.92	c  N dy   171     46252     76543    209586    190969     16235   1001810    487196     13.59   no data  --
258.67/64.97	c Finding binary XORs  T:     0.18 s  found:      15
265.84/66.71	c  N dy   201     50312     76543    209586    208888     20263   1001810    620661     13.70     14.50  --
271.04/68.05	c  N dy   219     54396     76360    209586    208889     24312   1001810    715035     13.72     14.49  --
271.46/68.12	c Finding binary XORs  T:     0.16 s  found:     287
277.42/69.64	c  N dy   250     58457     76358    208625    222207     28333    998603    836728     13.81     17.41  --
283.42/71.18	c  N dy   279     62553     76358    208625    222207     17311    998603    450482     13.91     17.85  --
286.21/71.86	c Finding binary XORs  T:     0.18 s  found:       2
290.21/72.82	c  N dy   307     66630     76358    208617    222197     21346    998566    546523     14.00     14.77  --
293.82/73.78	c  S st   331     69378     76358    208617    222242     24051    998566    609933     14.10   no data  --
295.40/74.19	c  S st   331     69879     76354    208617    222320     24444    998562    611946     14.10   no data  --
295.80/74.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:    904 locsubst:     2 time:   0.23
318.97/80.01	c Flit:   803 Blit:     52 bXBeca:    0 bXProp:  963 Bins:  18083 BRemL:  31885 BRemN:   1879 P: 48.6M T: 23.01
318.97/80.04	c Cleaning up after failed var search:     0.12 s 
319.37/80.10	c Replacing     1268 vars Replaced    37601 lits Time:     0.23 s 
319.79/80.23	c bin-w-bin subsume rem        20189 bins  time:  0.14 s
320.19/80.35	c subs with bin:     3131  lits-rem:      3745  v-fix:    0  time:  0.46 s
320.56/80.48	c Subs w/ non-existent bins:    610 l-rem:   3403 v-fix:     0 done:  49391 time:  0.54 s
320.96/80.55	c Removed useless bin:    1381  fixed:     0  props:   5.42M  time:  0.27 s
326.55/81.96	c lits-rem:       839  cl-subs:     1594  v-elim:   1281  v-fix:    0  time:  5.61 s
328.57/82.48	c asymm  cl-useful: 984/15315/202082 lits-rem:2952 time: 2.10
328.98/82.50	c  N dy   331     69879     72027    201098    174760     23763    954398    517366     14.10   no data  --
328.98/82.55	c Finding binary XORs  T:     0.17 s  found:      24
336.14/84.31	c  N dy   369     74342     72027    201098    174760     28198    954398    628248     14.26     15.06  --
344.13/86.36	c  N dy   414     79164     71809    201098    180990     32981    954398    772310     14.46     15.75  --
346.93/87.09	c Finding binary XORs  T:     0.18 s  found:     778
347.33/87.14	c Replacing      802 vars Replaced    18519 lits Time:     0.23 s 
352.92/88.53	c  N dy   456     84280     70666    198249    185566     19675    942378    393836     14.58     15.41  --
356.92/89.56	c  F st   484     87500     70666    198249    185612     22836    942378    468543     14.65   no data  --
362.51/90.98	c  N st   489     90800     70666    198249    185612     26062    942378    548830     14.65   no data  --
371.70/93.22	c  N dy   522     96665     70666    198249    185624     31840    942378    699330     14.72     17.49  --
380.88/95.52	c  N dy   563    103214     70666    198249    185624     38305    942378    854198     14.79     15.65  --
383.27/96.16	c  S st   578    104820     70666    198249    185624     39891    942378    894925     14.83   no data  --
385.27/96.61	c  S st   578    105321     70664    198249    185656     40341    942378    897318     14.83   no data  --
385.27/96.66	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:    384 locsubst:     6 time:   0.20
410.84/103.09	c Flit:   251 Blit:     40 bXBeca:    0 bXProp:  523 Bins:  11955 BRemL:  18462 BRemN:   1229 P: 66.7M T: 25.68
410.84/103.09	c Cleaning up after failed var search:     0.00 s 
411.24/103.18	c Replacing      526 vars Replaced    12775 lits Time:     0.33 s 
412.06/103.32	c bin-w-bin subsume rem         5594 bins  time:  0.12 s
412.46/103.47	c subs with bin:     3276  lits-rem:      2167  v-fix:    0  time:  0.57 s
413.24/103.60	c Subs w/ non-existent bins:     90 l-rem:   6001 v-fix:     0 done:  34620 time:  0.52 s
413.24/103.67	c Removed useless bin:     689  fixed:     0  props:   5.01M  time:  0.28 s
424.03/106.34	c lits-rem:      1898  cl-subs:     3371  v-elim:    883  v-fix:    0  time: 10.67 s
426.02/106.83	c asymm  cl-useful: 580/17127/193734 lits-rem:1740 time: 1.93
426.02/106.85	c  N dy   578    105321     68566    193154    166925     37948    920492    805174     14.83   no data  --
426.02/106.89	c Finding binary XORs  T:     0.16 s  found:      55
434.80/109.05	c  N dy   628    112045     68566    193154    172566     24110    920492    432153     14.94     17.28  --
443.99/111.33	c  N dy   671    119221     68419    193154    173264     31198    920492    603269     14.99     18.03  --
449.19/112.65	c Finding binary XORs  T:     0.17 s  found:     243
455.58/114.27	c  N dy   729    126981     68419    192504    172855     38827    918092    799508     15.12     15.93  --
467.56/117.24	c  N dy   778    135403     68419    192504    172856     25067    918092    429859     15.17     16.02  --
480.35/120.45	c  N dy   790    144526     68419    192504    172856     34008    918092    638131     15.09     15.99  --
495.12/124.20	c Finding binary XORs  T:     0.18 s  found:    1383
495.54/124.25	c Replacing     1681 vars Replaced    35356 lits Time:     0.22 s 
497.53/124.76	c  N dy   829    154036     65898    187815    172645     43358    899294    888180     15.08     16.01  --
503.51/126.28	c  S st   844    157981     65898    187815    172645     23956    899294    375492     15.09   no data  --
505.11/126.65	c  S st   844    158481     65897    187815    172672     24416    899293    378047     15.09   no data  --
505.51/126.70	c x-sub:     3 x-cut:      0 vfix:      0 v-elim:    128 locsubst:    14 time:   0.17
528.28/132.41	c Flit:   111 Blit:     13 bXBeca:    0 bXProp:  962 Bins:   6627 BRemL:  10358 BRemN:   1433 P: 50.3M T: 22.79
528.28/132.41	c Cleaning up after failed var search:     0.00 s 
528.68/132.50	c Replacing      968 vars Replaced    24476 lits Time:     0.33 s 
529.08/132.63	c bin-w-bin subsume rem         5391 bins  time:  0.12 s
529.48/132.72	c subs with bin:     3604  lits-rem:      1869  v-fix:    0  time:  0.38 s
529.88/132.88	c Subs w/ non-existent bins:    274 l-rem:   5673 v-fix:     0 done:  52633 time:  0.63 s
530.29/132.95	c Removed useless bin:    1093  fixed:     0  props:   4.57M  time:  0.25 s
535.50/134.26	c lits-rem:      3883  cl-subs:     3401  v-elim:   1087  v-fix:    0  time:  5.23 s
535.87/134.37	c vivif2 --  cl tried   181011 cl shrink     3695 lits rem       3766 time: 0.45
536.27/134.41	c vivif2 --  cl tried    24069 cl shrink     3912 lits rem       9170 time: 0.18
538.27/134.93	c asymm  cl-useful: 323/9592/179997 lits-rem:969 time: 2.04
538.27/134.97	c calculated reachability. Time: 0.12
538.27/134.98	c  N dy   844    158481     63587    179674    156861     24064    861173    336892     15.09   no data  --
549.45/137.77	c Finding binary XORs  T:     0.36 s  found:     283
557.06/139.69	c  N dy   849    170439     63489    179236    160651     35825    859580    623183     14.94     15.90  --
575.82/144.36	c  N dy   865    181476     63487    179236    161298     46730    859580    879258     14.84     15.65  --
592.22/148.46	c  N dy   873    193172     63487    179236    161305     33796    859580    554725     14.77     15.68  --
613.37/153.73	c  N dy   880    207008     63487    179236    161305     47401    859580    884329     14.64     15.47  --
613.77/153.85	c Finding binary XORs  T:     0.35 s  found:     340
637.73/159.88	c  N dy   888    222784     63358    178672    164475     37313    857429    598023     14.53     15.30  --
664.50/166.53	c  N dy   897    237721     63355    178672    164486     52111    857429    963809     14.39     11.74  --
664.50/166.54	c  S st   897    237721     63355    178672    164486     52111    857429    963809     14.39     11.74  --
666.50/167.01	c  S st   897    238223     63354    178672    164512     52575    857428    966360     14.39   no data  --
666.50/167.05	c x-sub:     6 x-cut:      0 vfix:      0 v-elim:    128 locsubst:     0 time:   0.18
666.50/167.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
688.07/172.46	c Flit:    31 Blit:      4 bXBeca:    0 bXProp:  189 Bins:   2294 BRemL:   5046 BRemN:    655 P: 58.8M T: 21.54
688.47/172.55	c Replacing      812 vars Replaced    17258 lits Time:     0.33 s 
688.89/172.68	c bin-w-bin subsume rem         3019 bins  time:  0.12 s
689.67/172.82	c subs with bin:     2004  lits-rem:       541  v-fix:    0  time:  0.54 s
690.07/172.93	c Subs w/ non-existent bins:    127 l-rem:   1694 v-fix:     0 done:  27464 time:  0.43 s
690.07/172.99	c Removed useless bin:     804  fixed:     0  props:   4.45M  time:  0.25 s
700.85/175.62	c lits-rem:      1467  cl-subs:     3810  v-elim:    477  v-fix:    0  time: 10.48 s
701.25/175.73	c vivif2 --  cl tried   176020 cl shrink     1095 lits rem       1144 time: 0.44
701.65/175.89	c vivif2 --  cl tried    49476 cl shrink     9452 lits rem      24868 time: 0.65
703.65/176.37	c asymm  cl-useful: 835/11048/175632 lits-rem:2505 time: 1.91
704.05/176.42	c calculated reachability. Time: 0.12
704.05/176.42	c  N dy   897    238223     61894    174797    154784     49476    842690    868625     14.39   no data  --
704.45/176.51	c Finding binary XORs  T:     0.35 s  found:       9
731.22/183.26	c  N dy   905    256726     61892    174797    154787     41167    842690    662733     14.27     15.06  --
759.60/190.31	c  N dy   926    273175     61891    174797    154900     29906    842690    389177     14.19     15.00  --
791.13/198.22	c  N dy   938    291912     61891    174797    154900     48392    842690    827952     14.05     14.83  --
813.90/203.93	c  F st   966    306250     61875    174797    154951     33968    842690    467511     14.02     13.03  --
814.30/204.00	c Replacing        9 vars Replaced      170 lits Time:     0.18 s 
823.89/206.44	c  N dy   972    311444     61865    174712    154779     39133    842334    599175     14.02   no data  --
863.43/216.38	c Finding binary XORs  T:     0.36 s  found:    1254
863.83/216.44	c Replacing     1254 vars Replaced    27235 lits Time:     0.23 s 
865.83/216.94	c  N dy   992    331373     59978    171830    157671     58811    829849   1071409     13.91     14.65  --
899.38/225.39	c  N dy  1024    352403     59978    171830    157719     50055    829849    850867     13.85     14.70  --
907.78/227.40	c  S st  1026    357335     59978    171830    157757     54939    829849    969444     13.81     11.25  --
909.37/227.88	c  S st  1026    357836     59978    171830    157791     55392    829849    971799     13.81   no data  --
909.77/227.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
909.77/227.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
929.35/232.86	c Flit:    42 Blit:      4 bXBeca:    0 bXProp:  267 Bins:   2816 BRemL:   4122 BRemN:    866 P: 52.0M T: 19.63
929.75/232.94	c Replacing      267 vars Replaced     6901 lits Time:     0.30 s 
930.15/233.07	c bin-w-bin subsume rem         4852 bins  time:  0.11 s
930.57/233.20	c subs with bin:     1404  lits-rem:       530  v-fix:    0  time:  0.51 s
931.34/233.32	c Subs w/ non-existent bins:     13 l-rem:   4636 v-fix:     0 done:   4140 time:  0.48 s
931.34/233.38	c Removed useless bin:     457  fixed:     0  props:   4.16M  time:  0.24 s
940.53/235.64	c lits-rem:      2033  cl-subs:     2834  v-elim:    820  v-fix:    0  time:  9.03 s
940.93/235.74	c vivif2 --  cl tried   170083 cl shrink     2080 lits rem       2166 time: 0.43
941.72/235.92	c vivif2 --  cl tried    53958 cl shrink    10204 lits rem      28892 time: 0.72
943.74/236.41	c asymm  cl-useful: 220/6987/169393 lits-rem:660 time: 1.95
943.74/236.46	c calculated reachability. Time: 0.12
943.74/236.47	c  N dy  1026    357836     58835    169173    147558     53958    815670    897840     13.81   no data  --
944.14/236.55	c Finding binary XORs  T:     0.35 s  found:       5
976.08/244.59	c Finding binary XORs  T:     0.34 s  found:     316
980.48/245.61	c  N dy  1068    378033     58724    168738    150466     43286    813906    657606     13.76     14.52  --
1016.83/254.79	c  N dy  1108    398333     58724    168738    150474     31752    813906    368818     13.72     14.62  --
1051.58/263.48	c  N dy  1142    419055     58724    168738    150475     52215    813906    846592     13.66     14.39  --
1087.54/272.45	c  N dy  1179    439432     58724    168738    150478     39745    813906    534475     13.61     14.34  --
1159.84/290.52	c  N dy  1207    479313     58722    168738    150483     45390    813906    644748     13.41     14.14  --
1197.38/299.90	c  N dy  1283    499869     58722    168738    150485     65737    813906   1129571     13.41     14.26  --
1232.54/308.78	c  N dy  1360    520724     58721    168738    150486     51856    813906    781608     13.40     14.11  --
1263.30/316.41	c  S st  1399    536754     58721    168738    150487     67685    813906   1168078     13.38     11.95  --
1264.91/316.88	c  S st  1399    537254     58721    168738    150510     68155    813905   1170622     13.38   no data  --
1265.29/316.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.18
1265.29/316.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
1284.47/321.73	c Flit:    38 Blit:      3 bXBeca:    0 bXProp:  136 Bins:   1536 BRemL:   2343 BRemN:    388 P: 53.0M T: 19.12
1284.87/321.82	c Replacing      457 vars Replaced     9965 lits Time:     0.32 s 
1285.27/321.95	c bin-w-bin subsume rem         1636 bins  time:  0.11 s
1286.06/322.10	c subs with bin:      966  lits-rem:       397  v-fix:    0  time:  0.60 s
1286.48/322.21	c Subs w/ non-existent bins:     48 l-rem:   3742 v-fix:     0 done:  14518 time:  0.45 s
1286.48/322.28	c Removed useless bin:     381  fixed:     0  props:   4.02M  time:  0.25 s
1299.25/325.40	c lits-rem:      2824  cl-subs:     2247  v-elim:    198  v-fix:    0  time: 12.49 s
1299.67/325.51	c vivif2 --  cl tried   167393 cl shrink      485 lits rem        498 time: 0.42
1300.45/325.73	c vivif2 --  cl tried    66234 cl shrink    11957 lits rem      32229 time: 0.89
1302.05/326.19	c asymm  cl-useful: 119/3912/167208 lits-rem:119 time: 1.84
1302.45/326.24	c calculated reachability. Time: 0.11
1302.45/326.24	c  N dy  1399    537254     58022    167208    145604     66234    804494   1093927     13.38   no data  --
1302.85/326.33	c Finding binary XORs  T:     0.34 s  found:       0
1340.00/335.63	c  N dy  1464    557265     58021    167208    145676     50462    804494    720982     13.36     14.20  --
1379.53/345.51	c  N dy  1500    578277     58021    167208    145678     71170    804494   1203373     13.32     14.03  --
1417.89/355.10	c  N dy  1588    598294     58020    167208    145681     54453    804494    819036     13.32     14.64  --
1477.41/370.08	c  N dy  1660    630198     58020    167208    145685     48455    804494    660584     13.28     14.02  --
1516.15/379.78	c  N dy  1729    650262     58019    167208    145686     68340    804494   1126429     13.28     14.01  --
1557.30/390.04	c  N dy  1811    671633     58018    167208    145691     50939    804494    699900     13.28     14.00  --
1598.46/400.32	c  N dy  1893    691719     58018    167208    145694     70805    804494   1186889     13.27     16.26  --
1638.01/410.22	c  N dy  1980    712327     58001    167208    145723     51649    804494    711976     13.28     14.07  --
1667.15/417.56	c Finding binary XORs  T:     0.33 s  found:      84
1676.74/419.97	c  N dy  2070    732341     57970    167028    146763     71472    803666   1188174     13.28     14.45  --
1717.11/430.05	c  N dy  2155    752681     57929    167028    151053     51042    803666    680519     13.28     13.99  --
1717.51/430.16	c Finding binary XORs  T:     0.34 s  found:     302
1780.20/445.86	c  N dy  2195    784989     57840    166528    150540     82344    801660   1323559     13.20     13.90  --
1820.15/455.83	c  N dy  2254    805041     57837    166528    150548     60893    801660    917859     13.19     13.96  --
1822.14/456.30	c  S st  2263    805881     57837    166528    150548     61721    801660    937714     13.19   no data  --
1823.75/456.77	c  S st  2263    806381     57837    166528    150570     62189    801659    940814     13.19   no data  --
1824.15/456.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     4 time:   0.17
1824.15/456.83	c Cache  BProp: 1 Set: 1 BXProp: 0 T: 0.06
1842.92/461.52	c Flit:    51 Blit:      6 bXBeca:    0 bXProp:  188 Bins:   1915 BRemL:   3256 BRemN:    299 P: 47.6M T: 18.71
1843.32/461.60	c Replacing      575 vars Replaced    13108 lits Time:     0.33 s 
1843.72/461.73	c bin-w-bin subsume rem         1498 bins  time:  0.11 s
1844.12/461.85	c subs with bin:     1434  lits-rem:       371  v-fix:    0  time:  0.50 s
1844.54/461.97	c Subs w/ non-existent bins:    124 l-rem:   2414 v-fix:     0 done:  29669 time:  0.44 s
1844.94/462.02	c Removed useless bin:     444  fixed:     0  props:   3.83M  time:  0.23 s
1854.90/464.51	c lits-rem:      2936  cl-subs:     1782  v-elim:    364  v-fix:    0  time:  9.91 s
1855.30/464.61	c vivif2 --  cl tried   164707 cl shrink      760 lits rem        780 time: 0.43
1855.70/464.79	c vivif2 --  cl tried    60778 cl shrink     9115 lits rem      25820 time: 0.70
1857.72/465.26	c asymm  cl-useful: 206/6318/164442 lits-rem:218 time: 1.86
1857.72/465.30	c calculated reachability. Time: 0.11
1858.12/465.30	c  N dy  2263    806381     56835    164439    144150     60778    792485    877215     13.19   no data  --
1858.12/465.39	c Finding binary XORs  T:     0.34 s  found:       0
1902.06/476.32	c  N dy  2351    826516     56829    164439    144276     80677    792485   1346831     13.19     13.91  --
1943.18/486.68	c  N dy  2398    846844     56829    164439    144277     58444    792485    822023     13.17     13.87  --
1994.34/499.44	c  N dy  2431    870267     56829    164439    144277     81401    792485   1368832     13.12     13.88  --
2037.46/510.28	c  N dy  2492    890345     56828    164439    144277     57925    792485    778542     13.11     13.86  --
2086.62/522.51	c  N dy  2572    912566     56828    164439    144286     79919    792485   1297697     13.11     13.94  --
2130.15/533.44	c  N dy  2643    933470     56828    164439    144286     56195    792485    727101     13.10     13.97  --
2173.28/544.23	c  N dy  2734    953844     56828    164439    144286     76378    792485   1225590     13.10     13.85  --
2217.62/555.30	c  N dy  2794    974246     56828    164439    144286     51026    792485    576885     13.08     13.89  --
2256.76/565.10	c  N dy  2878    994493     56828    164439    144288     71006    792485   1033878     13.08     13.79  --
2304.30/577.06	c  N dy  2945   1014840     56828    164439    144289     91130    792485   1511029     13.08     13.85  --
2359.05/590.76	c  N dy  3020   1040037     56828    164439    144291     69554    792485   1004748     13.07     13.78  --
2405.37/602.30	c  N dy  3079   1060184     56828    164439    144291     89456    792485   1461094     13.06     13.83  --
2431.73/608.91	c  F st  3121   1071875     56828    164439    144291     53652    792485    611401     13.05   no data  --
2449.31/613.35	c  N dy  3149   1080202     56828    164419    144065     61864    792379    801026     13.06     15.94  --
2502.83/626.70	c  N dy  3231   1104194     56828    164419    144065     85552    792379   1367455     13.05     13.77  --
2561.18/641.34	c  N dy  3320   1129389     56828    164419    144068     62034    792379    795081     13.04     13.73  --
2611.89/654.09	c  N dy  3395   1149527     56828    164419    144068     81920    792379   1272860     13.04     13.78  --
2721.74/681.56	c  N dy  3444   1190293     56828    164419    144068     72395    792379    955106     12.98     13.69  --
2771.27/693.91	c  S st  3503   1209571     56828    164419    144069     91435    792379   1402286     12.97   no data  --
2773.26/694.40	c  S st  3503   1210073     56828    164419    144084     91915    792379   1406102     12.97   no data  --
2773.26/694.44	c x-sub:     2 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
2773.26/694.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
2790.44/698.78	c Flit:     7 Blit:      0 bXBeca:    0 bXProp:   34 Bins:    502 BRemL:    179 BRemN:    224 P: 48.2M T: 17.27
2790.84/698.87	c Replacing       34 vars Replaced     1029 lits Time:     0.34 s 
2791.64/699.02	c bin-w-bin subsume rem          372 bins  time:  0.11 s
2792.04/699.17	c subs with bin:      144  lits-rem:        25  v-fix:    0  time:  0.61 s
2792.45/699.28	c Subs w/ non-existent bins:      4 l-rem:   2041 v-fix:     0 done:  15750 time:  0.43 s
2792.85/699.34	c Removed useless bin:      63  fixed:     0  props:   3.76M  time:  0.24 s
2814.02/704.66	c lits-rem:      2661  cl-subs:     4033  v-elim:     39  v-fix:    0  time: 21.24 s
2814.41/704.77	c vivif2 --  cl tried   164255 cl shrink       59 lits rem         60 time: 0.42
2815.63/705.04	c vivif2 --  cl tried    87926 cl shrink    14302 lits rem      29229 time: 1.10
2817.20/705.49	c asymm  cl-useful: 78/11513/164235 lits-rem:81 time: 1.79
2817.60/705.54	c calculated reachability. Time: 0.11
2817.60/705.54	c  N dy  3503   1210073     56746    164234    143505     87926    790547   1310169     12.97   no data  --
2822.40/706.77	c Finding binary XORs  T:     0.34 s  found:      90
2865.15/717.46	c  N dy  3576   1232877     56692    164080    144149     60349    789860    736538     12.96     13.69  --
2895.51/725.06	c Finding binary XORs  T:     0.34 s  found:     326
2910.29/728.78	c  N dy  3658   1252956     56557    163547    145834     80160    787538   1215505     12.96     13.69  --
2959.42/741.04	c  N dy  3748   1272989     56557    163547    145838     99934    787538   1669549     12.97     13.68  --
3004.16/752.21	c  N dy  3806   1293944     56555    163547    145839     69406    787538    915920     12.96     13.64  --
3050.50/763.84	c  N dy  3887   1313963     56554    163547    145839     89172    787538   1364831     12.95     13.71  --
3100.04/776.21	c  N dy  3961   1333969     56527    163547    146733     56709    787538    617484     12.95     13.67  --
3141.20/786.58	c  N dy  4007   1354306     56526    163547    146734     76690    787538   1049553     12.94     13.63  --
3185.92/797.74	c  N dy  4054   1374369     56526    163547    146734     96467    787538   1510005     12.92     13.87  --
3234.25/809.81	c  N dy  4140   1394391     56526    163547    146734     63009    787538    744547     12.92     17.16  --
3279.39/821.20	c  N dy  4207   1414753     56526    163547    146734     83112    787538   1211873     12.92     13.64  --
3344.91/837.51	c  N dy  4260   1438992     56526    163547    146734    107001    787538   1791626     12.91     13.62  --
3390.04/848.86	c  N dy  4339   1459136     56525    163547    146736     72643    787538    942803     12.91     13.59  --
3435.99/860.33	c  N dy  4394   1479176     56524    163547    146736     92361    787538   1411084     12.90     13.71  --
3487.12/873.15	c  N dy  4454   1499402     56523    163547    146742     57123    787538    576250     12.89     13.72  --
3531.06/884.19	c  N dy  4511   1519603     56523    163547    146742     77069    787538   1046763     12.89     13.65  --
3577.39/895.72	c  N dy  4573   1539708     56523    163547    146742     96937    787538   1512810     12.89     13.60  --
3630.93/909.19	c  N dy  4625   1559874     56521    163547    146742     60604    787538    642268     12.88     13.59  --
3692.05/924.46	c  N dy  4687   1580580     56521    163547    146742     80995    787538   1113177     12.88     13.56  --
3757.96/940.96	c  N dy  4738   1601444     56521    163547    146742    101506    787538   1603948     12.87     13.55  --
3825.07/957.70	c  N dy  4768   1623051     56521    163547    146742     65592    787538    736673     12.85     13.62  --
3873.00/969.70	c  N dy  4819   1643101     56521    163547    146742     85411    787538   1205987     12.84     16.16  --
3930.13/984.01	c  N dy  4900   1666990     56521    163547    146742    108893    787538   1727514     12.83     13.61  --
3981.26/996.82	c  N dy  4977   1687030     56521    163547    146742     70514    787538    840066     12.83     14.09  --
4038.78/1011.24	c  N dy  5051   1710073     56521    163547    146742     93090    787538   1335565     12.83     12.31  --
4038.78/1011.24	c  S st  5051   1710073     56521    163547    146742     93090    787538   1335565     12.83     12.31  --
4041.18/1011.80	c  S st  5051   1710573     56520    163547    146754     93563    787538   1338189     12.83   no data  --
4041.18/1011.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
4041.18/1011.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.06
4058.75/1016.25	c Flit:    54 Blit:      1 bXBeca:    0 bXProp:  232 Bins:   1389 BRemL:   2496 BRemN:    177 P: 48.3M T: 17.51
4059.17/1016.34	c Replacing      648 vars Replaced    15079 lits Time:     0.33 s 
4059.57/1016.48	c bin-w-bin subsume rem         1462 bins  time:  0.10 s
4060.34/1016.61	c subs with bin:      656  lits-rem:       357  v-fix:    0  time:  0.54 s
4060.74/1016.73	c Subs w/ non-existent bins:     35 l-rem:   2259 v-fix:     0 done:  27263 time:  0.45 s
4060.74/1016.78	c Removed useless bin:     256  fixed:     0  props:   3.51M  time:  0.21 s
4080.72/1021.77	c lits-rem:      2048  cl-subs:     4101  v-elim:    347  v-fix:    0  time: 19.95 s
4081.14/1021.88	c vivif2 --  cl tried   162435 cl shrink      796 lits rem        810 time: 0.42
4082.32/1022.14	c vivif2 --  cl tried    89966 cl shrink    12893 lits rem      25832 time: 1.04
4084.32/1022.61	c asymm  cl-useful: 87/12448/162117 lits-rem:111 time: 1.86
4084.32/1022.65	c calculated reachability. Time: 0.11
4084.32/1022.66	c  N dy  5051   1710573     55461    162109    140776     89966    779716   1246985     12.83   no data  --
4084.72/1022.74	c Finding binary XORs  T:     0.33 s  found:       0
4190.99/1049.38	c  N dy  5108   1754274     55361    162109    143103     73600    779716    865449     12.79     13.60  --
4191.77/1049.50	c Finding binary XORs  T:     0.34 s  found:     181
4243.73/1062.55	c  N dy  5216   1777067     55360    161767    142533     96053    778101   1391802     12.80     13.47  --
4298.43/1076.26	c  N dy  5274   1798210     55360    161767    142533    116869    778101   1870345     12.79     13.51  --
4345.57/1088.09	c  N dy  5340   1818268     55359    161767    142534     76859    778101    972115     12.79     16.51  --
4392.71/1099.88	c  N dy  5434   1839095     55359    161767    142534     97487    778101   1458811     12.79     13.54  --
4447.01/1113.41	c  N dy  5532   1859114     55359    161767    142535    117234    778101   1924641     12.79     14.66  --
4492.95/1124.98	c  N dy  5615   1879481     55357    161767    142537     76302    778101    939830     12.79     13.52  --
4540.89/1136.97	c  N dy  5713   1899657     55357    161767    142537     96225    778101   1409412     12.80     13.49  --
4593.62/1150.10	c  N dy  5799   1919797     55357    161767    142537    116158    778101   1896722     12.80     13.49  --
4656.33/1165.89	c  N dy  5898   1946400     55357    161767    142537     80259    778101   1004104     12.80     13.48  --
4704.40/1177.99	c  N dy  5991   1966408     55357    161767    142537    100044    778101   1473349     12.80     15.13  --
4758.42/1191.59	c  N dy  6087   1986497     55357    161767    142537    119938    778101   1958029     12.80     14.48  --

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: 935)

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-3287128-1304041349/watcher-3287128-1304041349 -o /tmp/evaluation-result-3287128-1304041349/solver-3287128-1304041349 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3287128-1304041349.cnf 

running on 4 cores: 1,3,5,7

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: 7.85 7.91 7.90 5/180 32757
/proc/meminfo: memFree=17036436/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 419 0 0 0 0 0 0 0 24 0 4 0 515735397 52465664 358 33554432000 4194304 4650419 140737479210208 18446744073709551615 47050084480535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 12809 358 306 112 0 7774 0
[pid=32757/tid=32758] ppid=32755 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515735397 52465664 358 33554432000 4194304 4650419 140737479210208 18446744073709551615 47050084480940 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515735397 52465664 358 33554432000 4194304 4650419 140737479210208 18446744073709551615 47050084480541 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 515735397 52465664 358 33554432000 4194304 4650419 140737479210208 18446744073709551615 47050084480535 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.031528 s]
/proc/loadavg: 7.85 7.91 7.90 5/180 32757
/proc/meminfo: memFree=17036436/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=292172 CPUtime=0.08 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 7177 0 0 0 5 3 0 0 18 0 4 0 515735397 299184128 6156 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 73043 6176 344 112 0 68008 0
[pid=32757/tid=32758] ppid=32755 vsize=292172 CPUtime=0 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) S 32755 32757 32317 0 -1 4202560 1609 0 0 0 0 0 0 0 18 0 4 0 515735397 299184128 6189 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270766 0 0 4096 2 18446604463603432448 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=292172 CPUtime=0.01 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) S 32755 32757 32317 0 -1 4202560 1736 0 0 0 1 0 0 0 18 0 4 0 515735397 299184128 6192 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=292172 CPUtime=0.01 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) S 32755 32757 32317 0 -1 4202560 1767 0 0 0 1 0 0 0 18 0 4 0 515735397 299184128 6194 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270766 0 0 4096 2 18446604463603432448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 292172

[startup+0.101913 s]
/proc/loadavg: 7.85 7.91 7.90 5/180 32757
/proc/meminfo: memFree=17036436/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=326028 CPUtime=0.33 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 23085 0 0 0 18 15 0 0 17 0 4 0 515735397 333852672 18783 33554432000 4194304 4650419 140737479210208 18446744073709551615 4306650 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 81507 18783 344 112 0 76472 0
[pid=32757/tid=32758] ppid=32755 vsize=326028 CPUtime=0.07 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) D 32755 32757 32317 0 -1 4202560 5696 0 0 0 4 3 0 0 17 0 4 0 515735397 333852672 18783 33554432000 4194304 4650419 140737479210208 18446744073709551615 4319766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=326028 CPUtime=0.08 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 5535 0 0 0 5 3 0 0 17 0 4 0 515735397 333852672 18783 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809223594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=326748 CPUtime=0.08 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) D 32755 32757 32317 0 -1 4202560 5890 0 0 0 5 3 0 0 17 0 4 0 515735397 334589952 18786 33554432000 4194304 4650419 140737479210208 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 326028

[startup+0.309494 s]
/proc/loadavg: 7.85 7.91 7.90 5/180 32757
/proc/meminfo: memFree=17036436/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=488248 CPUtime=0.98 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) S 32755 32757 32317 0 -1 4202496 74101 0 0 0 58 40 0 0 17 0 4 0 515735397 499965952 56945 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270766 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 122062 56945 344 112 0 117027 0
[pid=32757/tid=32758] ppid=32755 vsize=488248 CPUtime=0.23 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 17762 0 0 0 14 9 0 0 17 0 4 0 515735397 499965952 56945 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809209015 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=488248 CPUtime=0.24 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) S 32755 32757 32317 0 -1 4202560 18178 0 0 0 15 9 0 0 17 0 4 0 515735397 499965952 56945 33554432000 4194304 4650419 140737479210208 18446744073709551615 230809270766 0 0 4096 2 18446604463603432448 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=488248 CPUtime=0.24 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) D 32755 32757 32317 0 -1 4202560 18625 0 0 0 14 10 0 0 17 0 4 0 515735397 499965952 56945 33554432000 4194304 4650419 140737479210208 18446744073709551615 4319397 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 488248

[startup+0.700408 s]
/proc/loadavg: 7.85 7.91 7.90 5/180 32757
/proc/meminfo: memFree=17036436/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=554964 CPUtime=2.42 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 113558 0 0 0 173 69 0 0 17 0 4 0 515735397 568283136 95891 33554432000 4194304 4650419 140737479210208 18446744073709551615 4369968 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 138741 95891 369 112 0 133706 0
[pid=32757/tid=32758] ppid=32755 vsize=554964 CPUtime=0.59 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 26844 0 0 0 43 16 0 0 17 0 4 0 515735397 568283136 95891 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=554964 CPUtime=0.6 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 28501 0 0 0 44 16 0 0 17 0 4 0 515735397 568283136 95891 33554432000 4194304 4650419 140737479210208 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=554964 CPUtime=0.6 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 28913 0 0 0 43 17 0 0 17 0 4 0 515735397 568283136 95891 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 554964

[startup+1.50026 s]
/proc/loadavg: 7.87 7.91 7.90 9/184 32761
/proc/meminfo: memFree=16630552/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=582524 CPUtime=5.61 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 122687 0 0 0 491 70 0 0 18 0 4 0 515735397 596504576 100507 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370388 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 145631 100507 373 112 0 140596 0
[pid=32757/tid=32758] ppid=32755 vsize=582524 CPUtime=1.38 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 29847 0 0 0 122 16 0 0 19 0 4 0 515735397 596504576 100507 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=582524 CPUtime=1.4 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 32246 0 0 0 123 17 0 0 19 0 4 0 515735397 596504576 100507 33554432000 4194304 4650419 140737479210208 18446744073709551615 4245510 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=582524 CPUtime=1.4 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 29003 0 0 0 123 17 0 0 18 0 4 0 515735397 596504576 100507 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 582524

[startup+3.10097 s]
/proc/loadavg: 7.87 7.91 7.90 9/184 32761
/proc/meminfo: memFree=16624640/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=582788 CPUtime=12.01 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 122844 0 0 0 1131 70 0 0 22 0 4 0 515735397 596774912 100664 33554432000 4194304 4650419 140737479210208 18446744073709551615 4244304 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 145697 100664 373 112 0 140662 0
[pid=32757/tid=32758] ppid=32755 vsize=582788 CPUtime=2.97 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 29868 0 0 0 281 16 0 0 22 0 4 0 515735397 596774912 100664 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370045 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=582788 CPUtime=3 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 32264 0 0 0 283 17 0 0 22 0 4 0 515735397 596774912 100664 33554432000 4194304 4650419 140737479210208 18446744073709551615 4246182 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=582788 CPUtime=3 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 29084 0 0 0 283 17 0 0 22 0 4 0 515735397 596774912 100664 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 582788

[startup+6.30038 s]
/proc/loadavg: 7.88 7.91 7.90 9/184 32761
/proc/meminfo: memFree=16525440/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=596968 CPUtime=24.78 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 126966 0 0 0 2407 71 0 0 25 0 4 0 515735397 611295232 104786 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 149242 104786 374 112 0 144207 0
[pid=32757/tid=32758] ppid=32755 vsize=596968 CPUtime=6.16 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 30156 0 0 0 599 17 0 0 25 0 4 0 515735397 611295232 104786 33554432000 4194304 4650419 140737479210208 18446744073709551615 4245519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=596968 CPUtime=6.2 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 32529 0 0 0 603 17 0 0 25 0 4 0 515735397 611295232 104786 33554432000 4194304 4650419 140737479210208 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=596968 CPUtime=6.19 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 32429 0 0 0 602 17 0 0 25 0 4 0 515735397 611295232 104786 33554432000 4194304 4650419 140737479210208 18446744073709551615 4229517 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.78
Current children cumulated vsize (KiB) 596968

[startup+12.7012 s]
/proc/loadavg: 7.97 7.93 7.90 9/184 32761
/proc/meminfo: memFree=16257548/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=966344 CPUtime=50.23 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 194989 0 0 0 4918 105 0 0 19 0 4 0 515735397 989536256 166911 33554432000 4194304 4650419 140737479210208 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 241586 166911 393 112 0 236551 0
[pid=32757/tid=32758] ppid=32755 vsize=966344 CPUtime=12.49 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 55065 0 0 0 1221 28 0 0 19 0 4 0 515735397 989536256 166911 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364930 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=966344 CPUtime=12.56 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 54933 0 0 0 1227 29 0 0 19 0 4 0 515735397 989536256 166911 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363620 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=966344 CPUtime=12.6 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 33020 0 0 0 1242 18 0 0 25 0 4 0 515735397 989536256 166911 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.23
Current children cumulated vsize (KiB) 966344

[startup+25.5009 s]
/proc/loadavg: 7.97 7.93 7.90 9/184 32761
/proc/meminfo: memFree=16287488/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=968176 CPUtime=101.36 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 231884 0 0 0 10025 111 0 0 25 0 4 0 515735397 991412224 166948 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 242044 166948 395 112 0 237009 0
[pid=32757/tid=32758] ppid=32755 vsize=968176 CPUtime=25.21 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 58211 0 0 0 2492 29 0 0 25 0 4 0 515735397 991412224 166948 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=968176 CPUtime=25.36 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 58512 0 0 0 2506 30 0 0 25 0 4 0 515735397 991412224 166948 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=968176 CPUtime=25.39 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 61976 0 0 0 2519 20 0 0 25 0 4 0 515735397 991412224 166948 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 968176

[startup+51.1012 s]
/proc/loadavg: 7.98 7.94 7.91 9/184 32762
/proc/meminfo: memFree=15650596/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=1040964 CPUtime=203.56 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 316674 0 0 0 20226 130 0 0 25 0 4 0 515735397 1065947136 206967 33554432000 4194304 4650419 140737479210208 18446744073709551615 4349707 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 260241 206967 395 112 0 255206 0
[pid=32757/tid=32758] ppid=32755 vsize=1040964 CPUtime=50.75 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 80533 0 0 0 5040 35 0 0 25 0 4 0 515735397 1065947136 206967 33554432000 4194304 4650419 140737479210208 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=1040964 CPUtime=50.95 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 73104 0 0 0 5062 33 0 0 25 0 4 0 515735397 1065947136 206967 33554432000 4194304 4650419 140737479210208 18446744073709551615 4303283 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=1040964 CPUtime=50.91 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 76592 0 0 0 5066 25 0 0 25 0 4 0 515735397 1065947136 206967 33554432000 4194304 4650419 140737479210208 18446744073709551615 4241657 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.56
Current children cumulated vsize (KiB) 1040964

[startup+102.307 s]
/proc/loadavg: 7.11 7.71 7.83 7/184 32763
/proc/meminfo: memFree=15321064/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=1365492 CPUtime=408.07 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 412936 0 0 0 40649 158 0 0 25 0 4 0 515735397 1398263808 263899 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 341373 263899 395 112 0 336338 0
[pid=32757/tid=32758] ppid=32755 vsize=1365492 CPUtime=101.94 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 104276 0 0 0 10152 42 0 0 25 0 4 0 515735397 1398263808 263899 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=1365492 CPUtime=102.14 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 95453 0 0 0 10173 41 0 0 25 0 4 0 515735397 1398263808 263899 33554432000 4194304 4650419 140737479210208 18446744073709551615 4368084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=1365492 CPUtime=101.82 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 113691 0 0 0 10149 33 0 0 25 0 4 0 515735397 1398263808 263899 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 1365492

[startup+162.301 s]

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

[pid=32757] ppid=32755 vsize=1919800 CPUtime=2565.17 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 631043 0 0 0 256283 234 0 0 25 0 4 0 515735397 1965875200 371168 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 479950 371168 396 112 0 474915 0
[pid=32757/tid=32758] ppid=32755 vsize=1919800 CPUtime=641.96 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 148616 0 0 0 64138 58 0 0 25 0 4 0 515735397 1965875200 371168 33554432000 4194304 4650419 140737479210208 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=1919800 CPUtime=642.14 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 151469 0 0 0 64156 58 0 0 25 0 4 0 515735397 1965875200 371168 33554432000 4194304 4650419 140737479210208 18446744073709551615 4237226 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=1919800 CPUtime=638.88 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 185058 0 0 0 63829 59 0 0 25 0 4 0 515735397 1965875200 371168 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.17
Current children cumulated vsize (KiB) 1919800

[startup+702.301 s]
/proc/loadavg: 8.09 7.83 7.74 9/184 440
/proc/meminfo: memFree=16093796/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2018700 CPUtime=2804.82 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 643691 0 0 0 280245 237 0 0 25 0 4 0 515735397 2067148800 374903 33554432000 4194304 4650419 140737479210208 18446744073709551615 4476185 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 504675 374903 396 112 0 499640 0
[pid=32757/tid=32758] ppid=32755 vsize=2018700 CPUtime=701.95 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 151385 0 0 0 70136 59 0 0 25 0 4 0 515735397 2067148800 374903 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365303 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2018700 CPUtime=702.14 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 154913 0 0 0 70155 59 0 0 25 0 4 0 515735397 2067148800 374903 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2018700 CPUtime=698.55 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 188915 0 0 0 69794 61 0 0 25 0 4 0 515735397 2067148800 374903 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.82
Current children cumulated vsize (KiB) 2018700

[startup+762.307 s]
/proc/loadavg: 8.10 7.88 7.75 9/184 442
/proc/meminfo: memFree=15982256/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=1988780 CPUtime=3044.53 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 659130 0 0 0 304209 244 0 0 25 0 4 0 515735397 2036510720 385059 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364838 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 497195 385059 396 112 0 492160 0
[pid=32757/tid=32758] ppid=32755 vsize=1988780 CPUtime=761.96 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 152786 0 0 0 76136 60 0 0 25 0 4 0 515735397 2036510720 385059 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=1988780 CPUtime=762.15 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 162076 0 0 0 76153 62 0 0 25 0 4 0 515735397 2036510720 385059 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=1988780 CPUtime=758.23 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 194474 0 0 0 75760 63 0 0 25 0 4 0 515735397 2036510720 385059 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365477 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.53
Current children cumulated vsize (KiB) 1988780

[startup+822.301 s]
/proc/loadavg: 8.10 7.91 7.77 9/184 444
/proc/meminfo: memFree=15919676/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=1988780 CPUtime=3284.19 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 672498 0 0 0 328170 249 0 0 25 0 4 0 515735397 2036510720 388503 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 497195 388503 396 112 0 492160 0
[pid=32757/tid=32758] ppid=32755 vsize=1988780 CPUtime=821.96 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 153042 0 0 0 82136 60 0 0 25 0 4 0 515735397 2036510720 388503 33554432000 4194304 4650419 140737479210208 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=1988780 CPUtime=822.14 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 165898 0 0 0 82150 64 0 0 25 0 4 0 515735397 2036510720 388503 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=1988780 CPUtime=817.91 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 197925 0 0 0 81727 64 0 0 25 0 4 0 515735397 2036510720 388503 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.19
Current children cumulated vsize (KiB) 1988780

[startup+882.301 s]
/proc/loadavg: 8.20 7.97 7.80 9/184 445
/proc/meminfo: memFree=15831220/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2007516 CPUtime=3523.86 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 686893 0 0 0 352131 255 0 0 25 0 4 0 515735397 2055696384 395018 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364406 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 501879 395018 396 112 0 496844 0
[pid=32757/tid=32758] ppid=32755 vsize=2007516 CPUtime=881.95 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 156620 0 0 0 88134 61 0 0 25 0 4 0 515735397 2055696384 395018 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2007516 CPUtime=882.15 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 172368 0 0 0 88149 66 0 0 25 0 4 0 515735397 2055696384 395018 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2007516 CPUtime=877.58 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 198460 0 0 0 87694 64 0 0 25 0 4 0 515735397 2055696384 395018 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3523.86
Current children cumulated vsize (KiB) 2007516

[startup+942.301 s]
/proc/loadavg: 8.15 7.99 7.81 9/184 447
/proc/meminfo: memFree=15786156/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2073052 CPUtime=3763.55 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 697115 0 0 0 376096 259 0 0 25 0 4 0 515735397 2122805248 395878 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 518263 395878 396 112 0 513228 0
[pid=32757/tid=32758] ppid=32755 vsize=2073052 CPUtime=941.95 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 159754 0 0 0 94133 62 0 0 25 0 4 0 515735397 2122805248 395878 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2073052 CPUtime=942.15 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 176151 0 0 0 94148 67 0 0 25 0 4 0 515735397 2122805248 395878 33554432000 4194304 4650419 140737479210208 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2073052 CPUtime=937.26 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 201713 0 0 0 93660 66 0 0 25 0 4 0 515735397 2122805248 395878 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.55
Current children cumulated vsize (KiB) 2073052

[startup+1002.3 s]
/proc/loadavg: 8.05 7.99 7.82 9/184 448
/proc/meminfo: memFree=15720492/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2073052 CPUtime=4003.23 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 710791 0 0 0 400056 267 0 0 25 0 4 0 515735397 2122805248 400162 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 518263 400162 396 112 0 513228 0
[pid=32757/tid=32758] ppid=32755 vsize=2073052 CPUtime=1001.96 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 163888 0 0 0 100132 64 0 0 25 0 4 0 515735397 2122805248 400162 33554432000 4194304 4650419 140737479210208 18446744073709551615 4370697 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2073052 CPUtime=1002.14 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 181269 0 0 0 100144 70 0 0 25 0 4 0 515735397 2122805248 400162 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2073052 CPUtime=996.92 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 206045 0 0 0 99624 68 0 0 25 0 4 0 515735397 2122805248 400162 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.23
Current children cumulated vsize (KiB) 2073052

[startup+1062.3 s]
/proc/loadavg: 8.02 7.99 7.83 9/184 450
/proc/meminfo: memFree=15661308/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2073584 CPUtime=4242.91 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 727508 0 0 0 424019 272 0 0 25 0 4 0 515735397 2123350016 403680 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 518396 403680 396 112 0 513361 0
[pid=32757/tid=32758] ppid=32755 vsize=2073584 CPUtime=1061.96 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 167504 0 0 0 106130 66 0 0 25 0 4 0 515735397 2123350016 403680 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2073584 CPUtime=1062.15 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 189640 0 0 0 106142 73 0 0 25 0 4 0 515735397 2123350016 403680 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2073584 CPUtime=1056.61 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 208160 0 0 0 105592 69 0 0 25 0 4 0 515735397 2123350016 403680 33554432000 4194304 4650419 140737479210208 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4242.91
Current children cumulated vsize (KiB) 2073584

[startup+1122.3 s]
/proc/loadavg: 8.07 8.00 7.84 9/184 470
/proc/meminfo: memFree=15590028/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2091412 CPUtime=4482.57 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 743495 0 0 0 447978 279 0 0 25 0 4 0 515735397 2141605888 407384 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364433 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 522853 407384 396 112 0 517818 0
[pid=32757/tid=32758] ppid=32755 vsize=2091412 CPUtime=1121.95 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 168954 0 0 0 112128 67 0 0 25 0 4 0 515735397 2141605888 407384 33554432000 4194304 4650419 140737479210208 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2091412 CPUtime=1122.15 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 197247 0 0 0 112138 77 0 0 25 0 4 0 515735397 2141605888 407384 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2091412 CPUtime=1116.27 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 212059 0 0 0 111557 70 0 0 25 0 4 0 515735397 2141605888 407384 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.57
Current children cumulated vsize (KiB) 2091412

[startup+1182.3 s]
/proc/loadavg: 8.24 8.05 7.86 10/191 872
/proc/meminfo: memFree=15562392/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2091544 CPUtime=4721.95 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 759857 0 0 0 471909 286 0 0 25 0 4 0 515735397 2141741056 408637 33554432000 4194304 4650419 140737479210208 18446744073709551615 4367329 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 522886 408637 396 112 0 517851 0
[pid=32757/tid=32758] ppid=32755 vsize=2091544 CPUtime=1181.8 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 172575 0 0 0 118112 68 0 0 25 0 4 0 515735397 2141741056 408637 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2091544 CPUtime=1182.06 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 204575 0 0 0 118126 80 0 0 25 0 4 0 515735397 2141741056 408637 33554432000 4194304 4650419 140737479210208 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2091544 CPUtime=1175.93 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 216086 0 0 0 117522 71 0 0 25 0 4 0 515735397 2141741056 408637 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4721.95
Current children cumulated vsize (KiB) 2091544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 8.23 8.06 7.87 9/184 968
/proc/meminfo: memFree=15576968/32951124 swapFree=67111528/67111528
[pid=32757] ppid=32755 vsize=2091816 CPUtime=4800.38 cores=1,3,5,7
/proc/32757/stat : 32757 (strangenight1-m) R 32755 32757 32317 0 -1 4202496 762964 0 0 0 479751 287 0 0 25 0 4 0 515735397 2142019584 411744 33554432000 4194304 4650419 140737479210208 18446744073709551615 4368121 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32757/statm: 522954 411744 396 112 0 517919 0
[pid=32757/tid=32758] ppid=32755 vsize=2091816 CPUtime=1201.43 cores=1,3,5,7
/proc/32757/task/32758/stat : 32758 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 172575 0 0 0 120075 68 0 0 25 0 4 0 515735397 2142019584 411744 33554432000 4194304 4650419 140737479210208 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32757/tid=32759] ppid=32755 vsize=2091816 CPUtime=1201.76 cores=1,3,5,7
/proc/32757/task/32759/stat : 32759 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 205470 0 0 0 120095 81 0 0 25 0 4 0 515735397 2142019584 411744 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32757/tid=32760] ppid=32755 vsize=2091816 CPUtime=1195.51 cores=1,3,5,7
/proc/32757/task/32760/stat : 32760 (strangenight1-m) R 32755 32757 32317 0 -1 4202560 216277 0 0 0 119480 71 0 0 25 0 4 0 515735397 2142019584 411744 33554432000 4194304 4650419 140737479210208 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 2091816

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.09
CPU time (s): 4800.49
CPU user time (s): 4797.54
CPU system time (s): 2.94755
CPU usage (%): 399.346
Max. virtual memory (cumulated for all children) (KiB): 2138624

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.54
system time used= 2.94755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 762964
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= 44364
involuntary context switches= 33233

runsolver used 1.9537 second user time and 4.6213 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-29 03:42:29
IDJOB=3287128
IDBENCH=82459
IDSOLVER=1588
FILE ID=node104/3287128-1304041349
RUNJOBID= node104-1304039974-32336
PBS_JOBID= 13170380
Free space on /tmp= 71508 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-VS3-benchmark-S2-tseitin.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3287128-1304041349/watcher-3287128-1304041349 -o /tmp/evaluation-result-3287128-1304041349/solver-3287128-1304041349 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3287128-1304041349.cnf

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

MD5SUM BENCH= b967fca11e85ef5b614d3452b1c4b2ad
RANDOM SEED=2031386448

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:      17036716 kB
Buffers:       2195112 kB
Cached:       11824752 kB
SwapCached:          0 kB
Active:        3594248 kB
Inactive:     11731920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17036716 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           28148 kB
Writeback:           0 kB
AnonPages:     1305372 kB
Mapped:          15584 kB
Slab:           522940 kB
PageTables:       7324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1658536 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= 71520 MiB
End job on node104 at 2011-04-29 04:02:34