Trace number 3366946

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-2-mt (fixed)? (TO) 4800.61 1204.17

General information on the benchmark

NameCRAFTED/edgematching/
compact/em_12_2_4_cmp.cnf
MD5SUM7ea97a36d5ab6c8a5aa99830d5253591
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark62.0956
Satisfiable
(Un)Satisfiability was proved
Number of variables12584
Number of clauses155712
Sum of the clauses size523920
Maximum clause length100
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 217404
Number of clauses of size 3103200
Number of clauses of size 417828
Number of clauses of size 517000
Number of clauses of size over 5280

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366946-1305390242.cnf'
0.00/0.01	c -- header says num vars:          12584
0.00/0.01	c -- header says num clauses:      155712
0.03/0.07	c -- clauses added:            0 learnts,       155712 normals,            0 xors
0.03/0.07	c -- vars added      12584
1.56/0.47	c Parsing time:  0.05 s
1.56/0.47	c  N st     0         0     12584    138308     17404         0    523920         0   no data   no data
1.56/0.47	c asymm  cl-useful: 0/6612/138308 lits-rem:0 time: 0.29
1.56/0.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   48 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.08
1.56/0.47	c Replacing       48 vars Replaced     3392 lits Time:     0.01 s 
1.95/0.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.95/0.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.95/0.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.95/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12536 time:  0.01 s
1.95/0.55	c Removed useless bin:       8  fixed:     0  props:   1.47M  time:  0.01 s
2.52/0.91	c lits-rem:         0  cl-subs:     8801  v-elim:      8  v-fix:    0  time:  0.21 s
2.52/0.91	c Finding binary XORs  T:     0.00 s  found:       0
2.52/0.91	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
2.52/0.91	c calculated reachability. Time: 0.00
2.52/0.91	c Calc default polars -  time:   0.00 s pos:     920 undec:      56 neg:   11608
2.52/0.91	c =========================================================================================
2.52/0.91	c types(t): F = full restart, N = normal restart
2.52/0.91	c types(t): S = simplification begin/end, E = solution found
2.52/0.91	c restart types(rt): st = static, dy = dynamic
2.52/0.91	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.52/0.91	c  B st     0         0     12528    129514     17290         0    497318         0   no data   no data
5.59/1.45	c  N dy    12      5207     12528    129514     17290      5093    497318   1507855     38.92     41.19
11.92/3.08	c  N dy    16     12513     12528    129514     17290     12228    497318   3965461     36.50     38.52
23.47/5.93	c  F st    18     25000     12528    129514     17349     14665    497318   3514963     34.08     34.24
23.47/5.95	c  N st    18     25000     12528    129514     17349     14665    497318   3514963     34.08     34.24
28.26/7.18	c  N dy    24     30001     12528    129514     17443     19594    497318   5010817     34.08   no data
28.26/7.18	c  S st    24     30001     12528    129514     17443     19594    497318   5010817     34.08   no data
29.06/7.35	c  S st    24     30502     12528    129514     17646     19889    497318   5012293     34.08   no data
29.06/7.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.06/7.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  19750 BRemL:      0 BRemN:      0 P: 11.3M T:  0.44
31.06/7.83	c blocked clauses removed:        0 vars:      0 tried:       12528 T: 0.01 s
31.06/7.84	c bin-w-bin subsume rem            0 bins  time:  0.01 s
31.06/7.86	c subs with bin:        0  lits-rem:         6  v-fix:    0  time:  0.03 s
31.06/7.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12528 time:  0.01 s
31.06/7.89	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
31.90/8.06	c lits-rem:         1  cl-subs:        1  v-elim:      2  v-fix:    0  time:  0.17 s
38.23/9.68	c subs with bin:       29  lits-rem:         0  v-fix:    0  time:  1.44 s
94.86/23.84	c lits-rem:       115  cl-subs:      521  v-elim:      0  v-fix:    0  time: 14.15 s
96.46/24.21	c asymm  cl-useful: 0/4807/129511 lits-rem:0 time: 0.37
96.46/24.22	c calculated reachability. Time: 0.00
96.46/24.22	c  N dy    24     30502     12526    129511     37394     19340    497294   4886937     34.08   no data
96.46/24.22	c Finding binary XORs  T:     0.00 s  found:       0
98.85/24.83	c Finding binary XORs  T:     0.01 s  found:       0
100.45/25.26	c  N dy    37     34583     12526    129511     47146     23318    497294   5716158     34.16     42.05
106.82/26.85	c  N dy    68     38669     12526    129511     47146     27320    497294   6635200     35.04     56.49
114.40/28.71	c  N dy   101     42721     12526    129511     47147     16240    497294   3000864     35.84     49.61
118.00/29.60	c  S st   124     45753     12526    129511     50792     19227    497294   3698622     36.22     44.24
118.40/29.73	c Finding binary XORs  T:     0.00 s  found:       0
118.40/29.76	c  S st   124     46253     12526    129511     51020     19498    497294   3700053     36.22   no data
118.40/29.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.38/30.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2771 BRemL:   2137 BRemN:      0 P: 14.2M T:  0.48
120.38/30.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.38/30.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.78/30.32	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.04 s
120.78/30.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12526 time:  0.02 s
120.78/30.34	c Removed useless bin:       0  fixed:     0  props:   0.79M  time:  0.01 s
121.18/30.49	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.15 s
127.56/32.02	c subs with bin:       36  lits-rem:        22  v-fix:    0  time:  1.45 s
141.56/35.56	c lits-rem:        45  cl-subs:      133  v-elim:      0  v-fix:    0  time:  3.52 s
141.56/35.58	c vivif2 --  cl tried   129512 cl shrink        0 lits rem          0 time: 0.02
141.91/35.68	c vivif2 --  cl tried    19328 cl shrink     3974 lits rem      28222 time: 0.10
143.51/36.04	c asymm  cl-useful: 0/4643/129512 lits-rem:0 time: 0.36
143.51/36.05	c calculated reachability. Time: 0.00
143.51/36.05	c  N dy   124     46253     12525    129512     51653     19327    497297   3641790     36.22   no data
143.51/36.06	c Finding binary XORs  T:     0.01 s  found:       0
147.09/36.97	c  N dy   135     50303     12525    129512     51653     23226    497297   4377979     36.24     53.32
152.68/38.36	c  N dy   162     54349     12525    129512     51656     27153    497297   5189822     36.70     40.92
157.47/39.59	c  N dy   172     59662     12525    129512     51656     32269    497297   6202736     36.47     38.63
157.87/39.60	c Finding binary XORs  T:     0.01 s  found:       0
163.49/41.07	c  N dy   194     63718     12525    129512     56637     36211    497297   6981852     36.68     38.63
167.04/41.90	c  N dy   210     67978     12525    129512     56637     22250    497297   3432752     36.81     39.10
167.88/42.19	c  S st   214     69379     12525    129512     56637     23602    497297   3683377     36.76     35.88
169.02/42.40	c  S st   214     69879     12525    129512     56924     23813    497297   3684755     36.76   no data
169.02/42.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
171.42/43.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1436 BRemL:    386 BRemN:      0 P: 16.2M T:  0.68
171.86/43.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
171.86/43.13	c bin-w-bin subsume rem            1 bins  time:  0.01 s
171.86/43.17	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.04 s
171.86/43.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
171.86/43.20	c Removed useless bin:       0  fixed:     0  props:   0.93M  time:  0.01 s
172.61/43.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
179.00/44.98	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  1.53 s
196.95/49.42	c lits-rem:        20  cl-subs:      230  v-elim:      0  v-fix:    0  time:  4.43 s
196.95/49.44	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
197.35/49.52	c vivif2 --  cl tried    23583 cl shrink     2481 lits rem      20622 time: 0.08
198.59/49.86	c asymm  cl-useful: 0/9859/129510 lits-rem:0 time: 0.34
198.59/49.87	c calculated reachability. Time: 0.00
198.59/49.87	c  N dy   214     69879     12525    129510     57973     23583    497293   3625188     36.76   no data
204.52/51.39	c  N dy   243     75906     12525    129510     63955     29458    497293   4816379     37.01     38.97
204.52/51.39	c Finding binary XORs  T:     0.01 s  found:       0
210.90/52.91	c  N dy   260     80867     12525    129510     63956     34287    497293   5761746     37.07     39.05
217.28/54.57	c  N dy   276     86230     12525    129510     63956     39486    497293   6824895     36.98     39.26
219.28/55.08	c  F st   286     87500     12525    129510     63956     20649    497293   2725895     37.09     38.01
224.07/56.26	c  N dy   292     92691     12525    129510     63956     25754    497293   3899944     37.09   no data
231.24/58.00	c  N dy   321     98804     12525    129510     63958     31752    497293   5091545     37.27     39.25
237.24/59.58	c  S st   335    104818     12525    129510     63958     37640    497293   6335286     37.29     36.08
238.42/59.84	c  S st   335    105318     12525    129510     64224     37874    497293   6336700     37.29   no data
238.42/59.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
242.45/60.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1972 BRemL:    394 BRemN:      0 P: 22.4M T:  0.96
242.45/60.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.45/60.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
242.45/60.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.05 s
242.81/60.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
242.81/60.92	c Removed useless bin:       0  fixed:     0  props:   1.01M  time:  0.01 s
243.21/61.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
250.39/62.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.61 s
322.98/81.05	c lits-rem:         8  cl-subs:      313  v-elim:      0  v-fix:    0  time: 18.18 s
322.98/81.07	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
323.77/81.25	c vivif2 --  cl tried    37561 cl shrink     6612 lits rem      60829 time: 0.17
324.97/81.61	c asymm  cl-useful: 0/10096/129510 lits-rem:0 time: 0.36
325.41/81.62	c calculated reachability. Time: 0.00
325.41/81.62	c  N dy   335    105318     12525    129510     65802     37561    497293   6204362     37.29   no data
325.41/81.62	c Finding binary XORs  T:     0.01 s  found:       0
332.54/83.48	c Finding binary XORs  T:     0.01 s  found:       0
338.12/84.84	c  N dy   353    117191     12525    129510     72961     27412    497293   3698768     36.99     39.29
372.03/93.34	c  N dy   379    143190     12525    129510     73826     29783    497293   4206065     36.41     38.51
372.03/93.35	c Finding binary XORs  T:     0.01 s  found:       0
383.18/96.18	c  N dy   418    152752     12525    129510     75920     39118    497293   5946010     36.50     38.46
391.21/98.12	c  S st   448    157978     12525    129510     75920     44236    497293   6923302     36.61   no data
391.96/98.39	c  S st   448    158478     12525    129510     76173     44480    497293   6924686     36.61   no data
392.36/98.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
397.14/99.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  36656 BRemL:    929 BRemN:      0 P: 28.0M T:  1.19
397.14/99.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
397.14/99.64	c bin-w-bin subsume rem            0 bins  time:  0.01 s
397.53/99.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
397.53/99.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
397.53/99.75	c Removed useless bin:       0  fixed:     0  props:   1.13M  time:  0.01 s
398.33/99.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
405.51/101.70	c subs with bin:       84  lits-rem:        47  v-fix:    0  time:  1.60 s
492.51/123.57	c lits-rem:        26  cl-subs:      480  v-elim:      0  v-fix:    0  time: 21.86 s
492.51/123.59	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.02
493.25/123.79	c vivif2 --  cl tried    43916 cl shrink     8134 lits rem      62367 time: 0.20
494.85/124.12	c asymm  cl-useful: 0/9936/129510 lits-rem:0 time: 0.32
494.85/124.13	c calculated reachability. Time: 0.00
494.85/124.13	c  N dy   448    158478     12525    129510    111901     43916    497293   6834240     36.61   no data
494.85/124.14	c Finding binary XORs  T:     0.01 s  found:       0
507.60/127.38	c Finding binary XORs  T:     0.01 s  found:       0
510.79/128.13	c  N dy   475    169873     12525    129510    189502     30986    497293   4554836     36.55     38.57
523.55/131.35	c  N dy   517    181512     12525    129510    189643     42340    497293   6579623     36.61     38.64
534.32/134.00	c  N dy   614    193167     12525    129510    189783     28412    497293   4296065     36.95     46.69
547.87/137.47	c  N dy   713    205511     12525    129510    189886     40391    497293   9196607     37.33     45.43
570.60/143.10	c  N dy   805    218631     12525    129510    189986     26974    497293   3432734     37.63     39.76
583.77/146.48	c  N dy   901    232590     12525    129510    190063     40516    497293   9056248     37.89     39.93
589.34/147.84	c  S st   935    237717     12525    129510    190087     45550    497293  10168056     37.98     47.92
590.55/148.19	c  S st   935    238217     12525    129510    190315     45820    497293  10169787     37.98   no data
590.94/148.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
595.33/149.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   5516 BRemL:    980 BRemN:      0 P: 26.7M T:  1.09
595.33/149.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
595.33/149.36	c bin-w-bin subsume rem            1 bins  time:  0.02 s
595.73/149.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
596.13/149.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
596.13/149.53	c Removed useless bin:       0  fixed:     0  props:   1.25M  time:  0.01 s
596.93/149.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
603.71/151.45	c subs with bin:       10  lits-rem:        52  v-fix:    0  time:  1.42 s
628.83/157.73	c lits-rem:       649  cl-subs:      474  v-elim:      0  v-fix:    0  time:  6.27 s
628.83/157.76	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
630.42/158.11	c vivif2 --  cl tried    45336 cl shrink     9624 lits rem     173555 time: 0.35
631.62/158.44	c asymm  cl-useful: 0/8395/129510 lits-rem:0 time: 0.33
631.62/158.46	c calculated reachability. Time: 0.00
631.62/158.46	c  N dy   935    238217     12525    129510    194861     45325    497293   9782256     37.98   no data
631.62/158.47	c Finding binary XORs  T:     0.01 s  found:       0
648.76/162.75	c  N dy   980    253617     12525    129510    194997     33062    497293   6146195     37.97     39.99
674.68/169.22	c  N dy  1086    269959     12525    129510    195158     48884    497293  14144926     38.29     40.54
702.20/176.10	c  N dy  1192    288310     12525    129510    195292     38658    497293   8535848     38.54     40.62
734.89/184.39	c  F st  1294    306251     12525    129510    195355     56026    497293  17959660     38.82     37.22
736.89/184.81	c  N st  1296    306877     12525    129510    195355     56644    497293  18317728     38.82   no data
739.67/185.50	c Finding binary XORs  T:     0.01 s  found:       0
761.20/190.92	c  N dy  1379    326470     12525    129510    204605     46645    497293  12701884     38.96     59.65
797.10/199.99	c  N dy  1503    346657     12525    129510    204720     36246    497293   7062174     39.17     41.72
809.87/203.15	c  S st  1556    357325     12525    129510    204742     46662    497293  12160151     39.25     40.10
811.07/203.47	c  S st  1556    357825     12525    129510    204979     46948    497293  12162026     39.25   no data
811.46/203.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
815.44/204.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   2163 BRemL:    166 BRemN:      0 P: 26.5M T:  1.02
815.44/204.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
815.44/204.57	c bin-w-bin subsume rem           11 bins  time:  0.02 s
816.25/204.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
816.25/204.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.02 s
816.25/204.75	c Removed useless bin:       0  fixed:     0  props:   1.26M  time:  0.01 s
817.09/204.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
824.62/206.85	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  1.57 s
868.07/217.76	c lits-rem:       320  cl-subs:      402  v-elim:      0  v-fix:    0  time: 10.89 s
868.07/217.78	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
870.05/218.29	c vivif2 --  cl tried    46540 cl shrink    11674 lits rem     390118 time: 0.50
871.65/218.61	c asymm  cl-useful: 0/7771/129510 lits-rem:0 time: 0.32
871.65/218.62	c calculated reachability. Time: 0.00
871.65/218.62	c  N dy  1556    357825     12525    129510    206970     46535    497293  11514198     39.25   no data
877.24/220.06	c Finding binary XORs  T:     0.01 s  found:       0
909.17/228.04	c  N dy  1662    377832     12525    129510    210200     35012    497293   6502354     39.39     53.79
934.65/234.49	c  N dy  1693    397861     12525    129510    210234     54374    497293  17330361     39.32     41.48
945.41/237.18	c Finding binary XORs  T:     0.01 s  found:       0
965.35/242.17	c  N dy  1740    417885     12525    129510    210272     41811    497293   9902091     39.32     42.67
995.24/249.64	c Finding binary XORs  T:     0.01 s  found:       0
998.04/250.34	c  N dy  1830    438684     12525    129510    223421     62087    497293  20894429     39.40     41.48
1023.95/256.89	c  N dy  1925    458934     12525    129510    223461     48842    497293  12914855     39.49     41.72
1056.24/264.95	c  N dy  1996    478945     12525    129510    223501     34313    497293   4915764     39.52     45.27
1080.54/271.07	c  N dy  2062    498961     12525    129510    223551     53769    497293  15759962     39.56     43.14
1113.63/279.30	c  N dy  2137    519163     12525    129510    223597     38408    497293   6776130     39.61     41.76
1137.56/285.35	c  S st  2244    536737     12525    129510    223636     55487    497293  15737797     39.72     37.73
1138.75/285.68	c  S st  2244    537238     12525    129510    223857     55766    497293  15739847     39.72   no data
1139.15/285.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1143.14/286.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1797 BRemL:    214 BRemN:      0 P: 26.6M T:  1.04
1143.14/286.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1143.54/286.81	c bin-w-bin subsume rem            5 bins  time:  0.02 s
1143.94/286.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.16 s
1144.34/287.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.03 s
1144.34/287.01	c Removed useless bin:       0  fixed:     0  props:   1.27M  time:  0.01 s
1145.14/287.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
1153.51/289.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.72 s
1234.44/309.61	c lits-rem:       493  cl-subs:      424  v-elim:      0  v-fix:    0  time: 20.21 s
1234.44/309.63	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
1237.23/310.34	c vivif2 --  cl tried    55342 cl shrink    16035 lits rem     715508 time: 0.70
1238.43/310.66	c asymm  cl-useful: 0/6896/129510 lits-rem:0 time: 0.33
1238.43/310.68	c calculated reachability. Time: 0.00
1238.43/310.68	c  N dy  2244    537238     12525    129510    225439     55338    497293  14748513     39.72   no data
1238.43/310.69	c Finding binary XORs  T:     0.01 s  found:       0
1271.92/319.00	c  N dy  2287    558710     12525    129510    225540     40307    497293   7871830     39.70     41.91
1310.19/328.63	c  N dy  2321    583102     12525    129510    225551     63952    497293  20961131     39.61     41.75
1339.69/336.03	c  N dy  2356    603191     12525    129510    225571     46611    497293  11967327     39.59     41.77
1377.59/345.50	c  N dy  2376    632632     12525    129510    225578     75521    497293  20705871     39.29     41.36
1377.59/345.52	c Finding binary XORs  T:     0.01 s  found:       0
1732.80/434.69	c  N dy  2381    805857     12525    129510    228666     45048    497293   5882760     37.76     31.87
1732.80/434.69	c  S st  2381    805857     12525    129510    228666     45048    497293   5882760     37.76     31.87
1732.80/434.71	c Finding binary XORs  T:     0.01 s  found:       0
1734.39/435.05	c  S st  2381    806358     12525    129510    234862     45340    497293   5896878     37.76   no data
1734.39/435.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1739.18/436.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1491 BRemL:    108 BRemN:      0 P: 28.9M T:  1.18
1739.18/436.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1739.58/436.31	c bin-w-bin subsume rem            4 bins  time:  0.02 s
1739.98/436.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
1740.38/436.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.03 s
1740.38/436.52	c Removed useless bin:       0  fixed:     0  props:   1.28M  time:  0.01 s
1741.18/436.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
1747.95/438.46	c subs with bin:       65  lits-rem:        17  v-fix:    0  time:  1.61 s
1822.10/457.02	c lits-rem:        41  cl-subs:      429  v-elim:      0  v-fix:    0  time: 18.55 s
1822.10/457.05	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
1822.50/457.17	c vivif2 --  cl tried    44846 cl shrink     2768 lits rem      16391 time: 0.11
1824.10/457.50	c asymm  cl-useful: 0/8775/129510 lits-rem:0 time: 0.33
1824.10/457.51	c calculated reachability. Time: 0.00
1824.10/457.51	c  N dy  2381    806358     12525    129510    236242     44845    497293   5818338     37.76   no data
1867.96/468.53	c  N dy  2452    826409     12525    129510    236279     64513    497293   9766868     37.78     46.98
1909.09/478.88	c Finding binary XORs  T:     0.01 s  found:       0
1928.18/483.68	c  N dy  2527    846452     12525    129510    242610     84259    497293  14092359     37.79     44.66
1935.41/485.47	c Finding binary XORs  T:     0.01 s  found:       0
1954.09/490.16	c  N dy  2550    866520     12525    129510    242616     60695    497293   9219736     37.75     41.53
2454.07/615.51	c  N dy  2586   1067736     12525    129510    242621     76215    497293  11606471     36.18     38.09
2454.07/615.53	c Finding binary XORs  T:     0.01 s  found:       0
2464.84/618.20	c  F st  2617   1071875     12525    129510    245389     80313    497293  12444733     36.21     31.70
2611.57/655.00	c  N dy  2669   1144857     12525    129510    245399     54370    497293   6925527     35.94     37.99
2611.57/655.02	c Finding binary XORs  T:     0.01 s  found:       0
2641.13/662.47	c  N dy  2749   1164946     12525    129510    250422     73689    497293  18679938     35.97     38.03
2699.67/677.12	c  N dy  2845   1185047     12525    129510    250440     93195    497293  32467778     36.02     38.13
2733.62/685.68	c  N dy  2938   1205119     12525    129510    250448     62846    497293  14032759     36.08     38.07
2741.55/687.64	c  S st  2959   1209537     12525    129510    250448     67076    497293  17068831     36.09   no data
2743.54/688.12	c  S st  2959   1210037     12525    129510    250643     67380    497293  17071151     36.09   no data
2743.54/688.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2751.16/690.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1435 BRemL:    132 BRemN:      0 P: 40.7M T:  1.86
2751.16/690.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2751.16/690.08	c bin-w-bin subsume rem            1 bins  time:  0.03 s
2751.91/690.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
2751.91/690.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.03 s
2752.31/690.30	c Removed useless bin:       0  fixed:     0  props:   1.29M  time:  0.01 s
2753.11/690.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
2761.48/692.60	c subs with bin:        3  lits-rem:        26  v-fix:    0  time:  1.62 s
2846.81/714.02	c lits-rem:        22  cl-subs:      923  v-elim:      0  v-fix:    0  time: 21.40 s
2846.81/714.05	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
2849.20/714.64	c vivif2 --  cl tried    66454 cl shrink    12960 lits rem     223567 time: 0.58
2850.40/714.99	c asymm  cl-useful: 0/7807/129510 lits-rem:0 time: 0.35
2850.80/715.00	c calculated reachability. Time: 0.00
2850.80/715.00	c  N dy  2959   1210037     12525    129510    251946     66453    497293  16304036     36.09   no data
2918.97/732.19	c  N dy  3104   1230092     12525    129510    251980     85814    497293  28710330     36.20     41.63
2989.93/749.95	c  N dy  3204   1250416     12525    129510    251993     55037    497293   8923281     36.26     38.18
3020.23/757.55	c  N dy  3295   1270455     12525    129510    251999     74487    497293  20313832     36.30     45.53
3049.38/764.81	c Finding binary XORs  T:     0.01 s  found:       0
3072.46/770.63	c  N dy  3429   1290655     12525    129510    258079     94155    497293  32007912     36.38     38.37
3113.14/780.85	c  N dy  3514   1310668     12525    129510    258085     62228    497293  12459499     36.41     50.59
3149.01/789.80	c  N dy  3601   1330828     12525    129510    258087     81944    497293  23721980     36.44     38.44
3195.26/801.44	c  N dy  3706   1350850     12525    129510    258099    101512    497293  35638527     36.50     39.47
3229.18/809.95	c  N dy  3804   1371501     12525    129510    258109     69161    497293  15526024     36.54     38.52
3271.40/820.50	c  N dy  3881   1391568     12525    129510    258114     88755    497293  26255921     36.56     38.62
3323.62/833.60	c  N dy  3974   1411840     12525    129510    258121     54918    497293   7578982     36.61     38.56
3348.74/839.94	c  N dy  4026   1431937     12525    129510    258128     74443    497293  18932468     36.62     38.55
3394.99/851.53	c  N dy  4115   1451993     12525    129510    258131     94123    497293  29962047     36.65     38.62
3446.00/864.33	c  N dy  4226   1471995     12525    129510    258137     59034    497293   9466336     36.70     39.94
3478.32/872.46	c  N dy  4318   1493920     12525    129510    258140     80522    497293  20755420     36.73     38.79
3530.55/885.55	c  N dy  4433   1513988     12525    129510    258151    100180    497293  31267326     36.77     44.46
3576.78/897.13	c  N dy  4538   1534339     12525    129510    258156     64363    497293  11980052     36.82     38.76
3587.15/899.73	c Finding binary XORs  T:     0.01 s  found:       0
3612.27/906.04	c  N dy  4646   1554373     12525    129510    261401     83986    497293  22290669     36.86     45.36
3657.75/917.46	c  N dy  4710   1574535     12525    129510    261405    103652    497293  33535283     36.87     38.81
3702.44/928.70	c  N dy  4791   1594633     12525    129510    261407     66564    497293  13091267     36.89     42.65
3761.00/943.30	c  N dy  4897   1621688     12525    129510    261413     92978    497293  27830585     36.91     39.04
3820.87/958.34	c  N dy  4994   1641755     12525    129510    261420    112676    497293  38983592     36.94     39.08
3855.50/967.07	c  N dy  5055   1663022     12525    129510    261423     75801    497293  17679652     36.94     38.92
3860.72/968.33	c Finding binary XORs  T:     0.01 s  found:       0
3902.56/978.81	c  N dy  5146   1683705     12525    129510    266800     96055    497293  28741065     36.97     38.92
3958.36/992.89	c  N dy  5250   1703838     12525    129510    266809    115779    497293  39196243     37.00     38.98
3970.71/995.98	c  S st  5263   1710038     12525    129510    266816     63096    497293  10929642     37.00     38.47
3973.11/996.50	c  S st  5263   1710538     12525    129510    266978     63433    497293  10932229     37.00   no data
3973.11/996.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3979.89/998.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1214 BRemL:    120 BRemN:      0 P: 40.4M T:  1.74
3980.29/998.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3980.29/998.33	c bin-w-bin subsume rem            1 bins  time:  0.03 s
3981.08/998.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.19 s
3981.08/998.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  12525 time:  0.03 s
3981.08/998.57	c Removed useless bin:       0  fixed:     0  props:   1.29M  time:  0.01 s
3981.88/998.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
3989.05/1000.50	c subs with bin:       35  lits-rem:         0  v-fix:    0  time:  1.47 s
4018.95/1008.04	c lits-rem:        38  cl-subs:      134  v-elim:      0  v-fix:    0  time:  7.53 s
4018.95/1008.07	c vivif2 --  cl tried   129510 cl shrink        0 lits rem          0 time: 0.03
4020.15/1008.39	c vivif2 --  cl tried    63264 cl shrink     5666 lits rem     209166 time: 0.32
4021.74/1008.74	c asymm  cl-useful: 0/7114/129510 lits-rem:0 time: 0.34
4021.74/1008.75	c calculated reachability. Time: 0.00
4021.74/1008.75	c  N dy  5263   1710538     12525    129510    268078     63257    497293  10646020     37.00   no data
4052.06/1016.38	c  N dy  5351   1730912     12525    129510    268081     83205    497293  21171860     37.02     39.04
4101.54/1028.75	c  N dy  5444   1751843     12525    129510    268089    103759    497293  32027152     37.05     39.06
4124.22/1034.43	c Finding binary XORs  T:     0.01 s  found:       0
4149.34/1040.70	c  N dy  5531   1771858     12525    129510    268619     63724    497293  10840792     37.08     39.15
4184.87/1049.64	c  N dy  5622   1791923     12525    129510    268621     83401    497293  21410821     37.10     39.08
4234.67/1062.14	c  N dy  5732   1811986     12525    129510    268622    103066    497293  31616658     37.13     39.10
4303.30/1079.39	c  N dy  5817   1832105     12525    129510    268627     62049    497293   9583053     37.16     39.54
4344.31/1089.60	c  N dy  5928   1853936     12525    129510    268631     83391    497293  20097840     37.19     39.16
4398.16/1103.10	c  N dy  6000   1874862     12525    129510    268633    103875    497293  31163919     37.20     39.24
4461.94/1119.19	c  N dy  6096   1897019     12525    129510    268635     63938    497293  10385184     37.23     39.20
4473.10/1121.96	c Finding binary XORs  T:     0.01 s  found:       0
4495.80/1127.61	c  N dy  6180   1917453     12525    129510    274099     84034    497293  20400658     37.25     39.33
4530.50/1136.32	c  N dy  6252   1937480     12525    129510    274102    103630    497293  30898576     37.26     40.88
4585.93/1150.22	c  N dy  6372   1957551     12525    129510    274110    123375    497293  41564494     37.30     41.58
4626.59/1160.41	c  N dy  6479   1977649     12525    129510    274116     80421    497293  18272105     37.33     41.05
4670.43/1171.43	c  N dy  6572   1997851     12525    129510    274118    100236    497293  27681648     37.35     39.32
4722.66/1184.52	c  N dy  6657   2018004     12525    129510    274124    120017    497293  38299642     37.37     39.59
4774.08/1197.49	c  N dy  6733   2038705     12525    129510    274124     76478    497293  16401191     37.38     39.41

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-3366946-1305390242/watcher-3366946-1305390242 -o /tmp/evaluation-result-3366946-1305390242/solver-3366946-1305390242 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366946-1305390242.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: 8.08 7.98 6.73 5/367 31598
/proc/meminfo: memFree=20918848/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=51168 CPUtime=0.02 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 411 0 0 0 2 0 0 0 25 0 4 0 631439879 52396032 351 33554432000 4194304 4580107 140734671346576 18446744073709551615 47342629815824 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 12792 351 302 95 0 7774 0
[pid=31598/tid=31599] ppid=31596 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 631439879 52396032 351 33554432000 4194304 4580107 140734671346576 18446744073709551615 47342629815833 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 631439879 52396032 351 33554432000 4194304 4580107 140734671346576 18446744073709551615 47342629816240 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 631439879 52396032 351 33554432000 4194304 4580107 140734671346576 18446744073709551615 47342629815827 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0145441 s]
/proc/loadavg: 8.08 7.98 6.73 5/367 31598
/proc/meminfo: memFree=20918848/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=248884 CPUtime=0.03 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) D 31596 31598 31462 0 -1 4202496 1619 0 0 0 3 0 0 0 18 0 4 0 631439879 254857216 1534 33554432000 4194304 4580107 140734671346576 18446744073709551615 264726066209 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 62221 1534 333 95 0 57203 0
[pid=31598/tid=31599] ppid=31596 vsize=248884 CPUtime=0.01 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) D 31596 31598 31462 0 -1 4202560 300 0 0 0 1 0 0 0 25 0 4 0 631439879 254857216 1534 33554432000 4194304 4580107 140734671346576 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=248884 CPUtime=0 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 296 0 0 0 0 0 0 0 25 0 4 0 631439879 254857216 1534 33554432000 4194304 4580107 140734671346576 18446744073709551615 264726065861 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=248884 CPUtime=0 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) D 31596 31598 31462 0 -1 4202560 306 0 0 0 0 0 0 0 18 0 4 0 631439879 254857216 1534 33554432000 4194304 4580107 140734671346576 18446744073709551615 264726448311 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 248884

[startup+0.114414 s]
/proc/loadavg: 8.08 7.98 6.73 5/367 31598
/proc/meminfo: memFree=20918848/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=306004 CPUtime=0.42 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 16179 0 0 0 37 5 0 0 18 0 4 0 631439879 313348096 15087 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 76501 15087 359 95 0 71483 0
[pid=31598/tid=31599] ppid=31596 vsize=306004 CPUtime=0.1 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 3952 0 0 0 9 1 0 0 25 0 4 0 631439879 313348096 15087 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=306004 CPUtime=0.09 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 3951 0 0 0 8 1 0 0 25 0 4 0 631439879 313348096 15087 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=306004 CPUtime=0.1 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 3906 0 0 0 9 1 0 0 18 0 4 0 631439879 313348096 15087 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 306004

[startup+0.300381 s]
/proc/loadavg: 8.08 7.98 6.73 5/367 31598
/proc/meminfo: memFree=20918848/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=306136 CPUtime=1.16 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 16594 0 0 0 111 5 0 0 18 0 4 0 631439879 313483264 15502 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 76534 15503 359 95 0 71516 0
[pid=31598/tid=31599] ppid=31596 vsize=306136 CPUtime=0.29 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 3984 0 0 0 28 1 0 0 25 0 4 0 631439879 313483264 15503 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=306136 CPUtime=0.28 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 3984 0 0 0 27 1 0 0 25 0 4 0 631439879 313483264 15503 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=306136 CPUtime=0.28 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 4224 0 0 0 27 1 0 0 18 0 4 0 631439879 313483264 15503 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 306136

[startup+1.08873 s]
/proc/loadavg: 8.08 7.98 6.73 5/367 31598
/proc/meminfo: memFree=20918848/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=375396 CPUtime=4.29 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 41253 0 0 0 417 12 0 0 18 0 4 0 631439879 384405504 33509 33554432000 4194304 4580107 140734671346576 18446744073709551615 4321152 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 93849 33509 378 95 0 88831 0
[pid=31598/tid=31599] ppid=31596 vsize=375396 CPUtime=1.07 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 11989 0 0 0 103 4 0 0 18 0 4 0 631439879 384405504 33509 33554432000 4194304 4580107 140734671346576 18446744073709551615 4316414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=375396 CPUtime=1.05 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 11929 0 0 0 102 3 0 0 18 0 4 0 631439879 384405504 33509 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=375396 CPUtime=1.07 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 5799 0 0 0 105 2 0 0 19 0 4 0 631439879 384405504 33509 33554432000 4194304 4580107 140734671346576 18446744073709551615 264726066209 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 375396

[startup+1.50116 s]
/proc/loadavg: 8.08 7.98 6.73 9/371 31602
/proc/meminfo: memFree=20779068/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=473844 CPUtime=5.93 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 44027 0 0 0 580 13 0 0 19 0 4 0 631439879 485216256 36283 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 118461 36283 378 95 0 113443 0
[pid=31598/tid=31599] ppid=31596 vsize=473844 CPUtime=1.49 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 12982 0 0 0 145 4 0 0 19 0 4 0 631439879 485216256 36283 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=473844 CPUtime=1.46 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 12742 0 0 0 142 4 0 0 19 0 4 0 631439879 485216256 36283 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=473844 CPUtime=1.48 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 5984 0 0 0 146 2 0 0 20 0 4 0 631439879 485216256 36283 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 473844

[startup+3.10085 s]
/proc/loadavg: 8.07 7.98 6.74 9/371 31602
/proc/meminfo: memFree=20751464/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=473844 CPUtime=12.32 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 52963 0 0 0 1217 15 0 0 22 0 4 0 631439879 485216256 45219 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 118461 45219 378 95 0 113443 0
[pid=31598/tid=31599] ppid=31596 vsize=473844 CPUtime=3.08 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 15702 0 0 0 304 4 0 0 22 0 4 0 631439879 485216256 45219 33554432000 4194304 4580107 140734671346576 18446744073709551615 4316418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=473844 CPUtime=3.04 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 14993 0 0 0 300 4 0 0 22 0 4 0 631439879 485216256 45220 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=473844 CPUtime=3.08 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 7589 0 0 0 306 2 0 0 25 0 4 0 631439879 485216256 45221 33554432000 4194304 4580107 140734671346576 18446744073709551615 4316658 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 473844

[startup+6.30025 s]
/proc/loadavg: 8.07 7.98 6.74 9/371 31602
/proc/meminfo: memFree=20739980/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=476412 CPUtime=25.08 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 78776 0 0 0 2487 21 0 0 25 0 4 0 631439879 487845888 46988 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 119103 46988 379 95 0 114085 0
[pid=31598/tid=31599] ppid=31596 vsize=476412 CPUtime=6.27 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 23245 0 0 0 622 5 0 0 25 0 4 0 631439879 487845888 46988 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=476412 CPUtime=6.2 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 21535 0 0 0 615 5 0 0 25 0 4 0 631439879 487845888 46988 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=476412 CPUtime=6.28 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 12368 0 0 0 624 4 0 0 25 0 4 0 631439879 487845888 46988 33554432000 4194304 4580107 140734671346576 18446744073709551615 4316823 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 476412

[startup+12.701 s]
/proc/loadavg: 8.14 8.00 6.76 9/371 31602
/proc/meminfo: memFree=20414800/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=964536 CPUtime=50.59 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 166203 0 0 0 5024 35 0 0 25 0 4 0 631439879 987684864 126216 33554432000 4194304 4580107 140734671346576 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 241134 126216 418 95 0 236116 0
[pid=31598/tid=31599] ppid=31596 vsize=964536 CPUtime=12.68 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 58821 0 0 0 1257 11 0 0 25 0 4 0 631439879 987684864 126216 33554432000 4194304 4580107 140734671346576 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=964536 CPUtime=12.52 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 26532 0 0 0 1245 7 0 0 25 0 4 0 631439879 987684864 126216 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=964536 CPUtime=12.68 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 32763 0 0 0 1260 8 0 0 25 0 4 0 631439879 987684864 126216 33554432000 4194304 4580107 140734671346576 18446744073709551615 4421644 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 964536

[startup+25.5006 s]
/proc/loadavg: 8.11 8.00 6.77 9/371 31603
/proc/meminfo: memFree=20325536/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=923488 CPUtime=101.69 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 204176 0 0 0 10124 45 0 0 25 0 4 0 631439879 945651712 146544 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 230872 146544 397 95 0 225854 0
[pid=31598/tid=31599] ppid=31596 vsize=923488 CPUtime=25.49 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 58821 0 0 0 2538 11 0 0 25 0 4 0 631439879 945651712 146544 33554432000 4194304 4580107 140734671346576 18446744073709551615 4416732 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=923488 CPUtime=25.18 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 49203 0 0 0 2507 11 0 0 25 0 4 0 631439879 945651712 146544 33554432000 4194304 4580107 140734671346576 18446744073709551615 4417027 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=923488 CPUtime=25.49 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 47114 0 0 0 2536 13 0 0 25 0 4 0 631439879 945651712 146544 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 923488

[startup+51.1008 s]
/proc/loadavg: 8.07 8.00 6.80 9/371 31603
/proc/meminfo: memFree=20208632/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=1032312 CPUtime=203.72 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 296046 0 0 0 20305 67 0 0 25 0 4 0 631439879 1057087488 167510 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 258078 167510 380 95 0 253060 0
[pid=31598/tid=31599] ppid=31596 vsize=1032312 CPUtime=51.08 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 82303 0 0 0 5091 17 0 0 25 0 4 0 631439879 1057087488 167510 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=1032312 CPUtime=50.47 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 72556 0 0 0 5030 17 0 0 25 0 4 0 631439879 1057087488 167510 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=1032312 CPUtime=51.07 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 75741 0 0 0 5088 19 0 0 25 0 4 0 631439879 1057087488 167511 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.72
Current children cumulated vsize (KiB) 1032312

[startup+102.301 s]
/proc/loadavg: 8.32 8.07 6.89 9/371 31608
/proc/meminfo: memFree=19886288/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=1332956 CPUtime=407.92 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 431831 0 0 0 40693 99 0 0 25 0 4 0 631439879 1364946944 230589 33554432000 4194304 4580107 140734671346576 18446744073709551615 4451883 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 333239 230589 380 95 0 328221 0
[pid=31598/tid=31599] ppid=31596 vsize=1332956 CPUtime=102.28 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 132425 0 0 0 10199 29 0 0 25 0 4 0 631439879 1364946944 230589 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=1332956 CPUtime=101.07 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 99020 0 0 0 10083 24 0 0 25 0 4 0 631439879 1364946944 230589 33554432000 4194304 4580107 140734671346576 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=1332956 CPUtime=102.25 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 118326 0 0 0 10197 28 0 0 25 0 4 0 631439879 1364946944 230589 33554432000 4194304 4580107 140734671346576 18446744073709551615 4318491 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.92
Current children cumulated vsize (KiB) 1332956

[startup+162.301 s]

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


[startup+702.301 s]
/proc/loadavg: 8.20 8.12 7.46 9/371 31624
/proc/meminfo: memFree=17950512/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3521988 CPUtime=2800.16 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 3405275 0 0 0 279228 788 0 0 25 0 4 0 631439879 3606515712 661444 33554432000 4194304 4580107 140734671346576 18446744073709551615 4451903 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 880497 661444 380 95 0 875479 0
[pid=31598/tid=31599] ppid=31596 vsize=3521988 CPUtime=701.9 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1049024 0 0 0 69960 230 0 0 25 0 4 0 631439879 3606515712 661444 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3521988 CPUtime=694.08 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 839945 0 0 0 69204 204 0 0 25 0 4 0 631439879 3606515712 661444 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3521988 CPUtime=702 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 928228 0 0 0 69982 218 0 0 25 0 4 0 631439879 3606515712 661444 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.16
Current children cumulated vsize (KiB) 3521988

[startup+762.3 s]
/proc/loadavg: 8.23 8.14 7.51 9/371 31625
/proc/meminfo: memFree=18022280/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3370960 CPUtime=3039.36 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 3662903 0 0 0 303080 856 0 0 25 0 4 0 631439879 3451863040 649817 33554432000 4194304 4580107 140734671346576 18446744073709551615 4292896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31598/statm: 842740 649817 380 95 0 837722 0
[pid=31598/tid=31599] ppid=31596 vsize=3370960 CPUtime=761.18 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1124233 0 0 0 75866 252 0 0 25 0 4 0 631439879 3451863040 649818 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3370960 CPUtime=754.05 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 900987 0 0 0 75187 218 0 0 22 0 4 0 631439879 3451863040 649818 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3370960 CPUtime=761.96 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 995581 0 0 0 75961 235 0 0 25 0 4 0 631439879 3451863040 649818 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.36
Current children cumulated vsize (KiB) 3370960

[startup+822.301 s]
/proc/loadavg: 8.11 8.12 7.54 9/371 31627
/proc/meminfo: memFree=17858456/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3579368 CPUtime=3278.58 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 3942383 0 0 0 326937 921 0 0 25 0 4 0 631439879 3665272832 693268 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31598/statm: 894842 693268 380 95 0 889824 0
[pid=31598/tid=31599] ppid=31596 vsize=3579368 CPUtime=820.86 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1186900 0 0 0 81819 267 0 0 25 0 4 0 631439879 3665272832 693268 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3579368 CPUtime=814.04 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 955760 0 0 0 81174 230 0 0 25 0 4 0 631439879 3665272832 693269 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3579368 CPUtime=821.93 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1079785 0 0 0 81939 254 0 0 25 0 4 0 631439879 3665272832 693270 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.58
Current children cumulated vsize (KiB) 3579368

[startup+882.301 s]
/proc/loadavg: 8.17 8.13 7.58 9/371 31628
/proc/meminfo: memFree=17808080/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3621228 CPUtime=3517.8 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 4219934 0 0 0 350792 988 0 0 25 0 4 0 631439879 3708137472 699336 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31598/statm: 905307 699337 380 95 0 900289 0
[pid=31598/tid=31599] ppid=31596 vsize=3621228 CPUtime=880.85 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1249319 0 0 0 87805 280 0 0 25 0 4 0 631439879 3708137472 699337 33554432000 4194304 4580107 140734671346576 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3621228 CPUtime=874.03 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1020689 0 0 0 87154 249 0 0 25 0 4 0 631439879 3708137472 699338 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3621228 CPUtime=881.9 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1153781 0 0 0 87919 271 0 0 25 0 4 0 631439879 3708137472 699338 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.8
Current children cumulated vsize (KiB) 3621228

[startup+942.3 s]
/proc/loadavg: 8.05 8.10 7.60 9/371 31630
/proc/meminfo: memFree=17599000/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3916692 CPUtime=3757.01 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 4520787 0 0 0 374638 1063 0 0 25 0 4 0 631439879 4010692608 748477 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/31598/statm: 979173 748477 380 95 0 974155 0
[pid=31598/tid=31599] ppid=31596 vsize=3916692 CPUtime=940.84 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1308687 0 0 0 93786 298 0 0 25 0 4 0 631439879 4010692608 748477 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3916692 CPUtime=934.02 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1112400 0 0 0 93138 264 0 0 25 0 4 0 631439879 4010692608 748477 33554432000 4194304 4580107 140734671346576 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3916692 CPUtime=941.87 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1230110 0 0 0 93894 293 0 0 25 0 4 0 631439879 4010692608 748477 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.01
Current children cumulated vsize (KiB) 3916692

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 7.64 9/371 31632
/proc/meminfo: memFree=17672128/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=3504604 CPUtime=3996.28 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 4770572 0 0 0 398506 1122 0 0 25 0 4 0 631439879 3588714496 734408 33554432000 4194304 4580107 140734671346576 18446744073709551615 4451883 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 876151 734408 380 95 0 871133 0
[pid=31598/tid=31599] ppid=31596 vsize=3504604 CPUtime=1000.83 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1379718 0 0 0 99768 315 0 0 25 0 4 0 631439879 3588714496 734408 33554432000 4194304 4580107 140734671346576 18446744073709551615 4321096 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=3504604 CPUtime=993.54 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1165017 0 0 0 99081 273 0 0 25 0 4 0 631439879 3588714496 734408 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=3504604 CPUtime=1001.85 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1291551 0 0 0 99876 309 0 0 25 0 4 0 631439879 3588714496 734408 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.28
Current children cumulated vsize (KiB) 3504604

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 7.66 9/371 31633
/proc/meminfo: memFree=17119432/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=4281956 CPUtime=4235.47 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 5113887 0 0 0 422348 1199 0 0 25 0 4 0 631439879 4384722944 867688 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 1070489 867688 395 95 0 1065471 0
[pid=31598/tid=31599] ppid=31596 vsize=4281956 CPUtime=1060.81 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1443492 0 0 0 105749 332 0 0 25 0 4 0 631439879 4384722944 867688 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=4281956 CPUtime=1052.82 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1222707 0 0 0 104993 289 0 0 19 0 4 0 631439879 4384722944 867688 33554432000 4194304 4580107 140734671346576 18446744073709551615 4325169 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=4281956 CPUtime=1061.82 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1449384 0 0 0 105846 336 0 0 25 0 4 0 631439879 4384722944 867688 33554432000 4194304 4580107 140734671346576 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.47
Current children cumulated vsize (KiB) 4281956

[startup+1122.31 s]
/proc/loadavg: 8.10 8.11 7.69 9/371 31635
/proc/meminfo: memFree=16960064/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=4786724 CPUtime=4474.75 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 5309528 0 0 0 446206 1269 0 0 25 0 4 0 631439879 4901605376 897747 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 1196681 897747 395 95 0 1191663 0
[pid=31598/tid=31599] ppid=31596 vsize=4786724 CPUtime=1120.81 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1498037 0 0 0 111729 352 0 0 25 0 4 0 631439879 4901605376 897747 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=4786724 CPUtime=1112.1 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1268570 0 0 0 110903 307 0 0 25 0 4 0 631439879 4901605376 897747 33554432000 4194304 4580107 140734671346576 18446744073709551615 4322578 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=4786724 CPUtime=1121.81 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1479056 0 0 0 111839 342 0 0 25 0 4 0 631439879 4901605376 897747 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.75
Current children cumulated vsize (KiB) 4786724

[startup+1182.3 s]
/proc/loadavg: 8.29 8.15 7.73 9/371 31667
/proc/meminfo: memFree=17447016/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=4550320 CPUtime=4713.89 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 5589092 0 0 0 470055 1334 0 0 25 0 4 0 631439879 4659527680 888924 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 1137580 888925 385 95 0 1132562 0
[pid=31598/tid=31599] ppid=31596 vsize=4550320 CPUtime=1180.77 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1579408 0 0 0 117709 368 0 0 25 0 4 0 631439879 4659527680 888925 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=4550320 CPUtime=1171.36 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1322170 0 0 0 116816 320 0 0 25 0 4 0 631439879 4659527680 888925 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=4550320 CPUtime=1181.77 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1559687 0 0 0 117814 363 0 0 25 0 4 0 631439879 4659527680 888925 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4713.89
Current children cumulated vsize (KiB) 4550320



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204 s]
/proc/loadavg: 8.25 8.15 7.74 9/371 31668
/proc/meminfo: memFree=17219160/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=4543900 CPUtime=4800.42 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) R 31596 31598 31462 0 -1 4202496 5736656 0 0 0 478678 1364 0 0 25 0 4 0 631439879 4652953600 906528 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 1135975 906530 385 95 0 1130957 0
[pid=31598/tid=31599] ppid=31596 vsize=4543900 CPUtime=1202.47 cores=1,3,5,7
/proc/31598/task/31599/stat : 31599 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1645812 0 0 0 119869 378 0 0 25 0 4 0 631439879 4652953600 906538 33554432000 4194304 4580107 140734671346576 18446744073709551615 4401342 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=4543900 CPUtime=1192.8 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1348575 0 0 0 118953 327 0 0 25 0 4 0 631439879 4652953600 906539 33554432000 4194304 4580107 140734671346576 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31598/tid=31601] ppid=31596 vsize=4543900 CPUtime=1203.48 cores=1,3,5,7
/proc/31598/task/31601/stat : 31601 (strangenight2-m) R 31596 31598 31462 0 -1 4202560 1586538 0 0 0 119979 369 0 0 25 0 4 0 631439879 4652953600 906542 33554432000 4194304 4580107 140734671346576 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.42
Current children cumulated vsize (KiB) 4543900

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

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

[startup+1204.12 s]
/proc/loadavg: 8.25 8.15 7.74 9/371 31668
/proc/meminfo: memFree=17219160/32951124 swapFree=66341972/67111528
[pid=31598] ppid=31596 vsize=0 CPUtime=4800.55 cores=1,3,5,7
/proc/31598/stat : 31598 (strangenight2-m) Z 31596 31598 31462 0 -1 4203548 5737108 0 0 0 478681 1374 0 0 25 0 2 0 631439879 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31598/statm: 0 0 0 0 0 0 0
[pid=31598/tid=31600] ppid=31596 vsize=0 CPUtime=1192.9 cores=1,3,5,7
/proc/31598/task/31600/stat : 31600 (strangenight2-m) R 31596 31598 31462 0 -1 4203588 1348579 0 0 0 118953 337 0 0 25 0 2 0 631439879 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.17
CPU time (s): 4800.61
CPU user time (s): 4786.81
CPU system time (s): 13.7999
CPU usage (%): 398.665
Max. virtual memory (cumulated for all children) (KiB): 4786724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4786.81
system time used= 13.7999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5737108
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= 5552
involuntary context switches= 22790

runsolver used 3.9074 second user time and 10.3584 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-14 18:24:03
IDJOB=3366946
IDBENCH=70908
IDSOLVER=1844
FILE ID=node141/3366946-1305390242
RUNJOBID= node141-1305389002-31481
PBS_JOBID= 13324432
Free space on /tmp= 73288 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/CRAFTED/edgematching/compact/em_12_2_4_cmp.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366946-1305390242/watcher-3366946-1305390242 -o /tmp/evaluation-result-3366946-1305390242/solver-3366946-1305390242 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366946-1305390242.cnf

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

MD5SUM BENCH= 7ea97a36d5ab6c8a5aa99830d5253591
RANDOM SEED=619712697

node141.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.806
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.61
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.806
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	: 5362.96
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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20919128 kB
Buffers:        264476 kB
Cached:        6094456 kB
SwapCached:      22860 kB
Active:        3414664 kB
Inactive:      8373840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20919128 kB
SwapTotal:    67111528 kB
SwapFree:     66341972 kB
Dirty:           16160 kB
Writeback:           0 kB
AnonPages:     5413224 kB
Mapped:          19908 kB
Slab:           140528 kB
PageTables:      38428 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86510428 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= 73280 MiB
End job on node141 at 2011-05-14 18:44:09