Trace number 3173884

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? (TO) 4800.43 1201.89

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
MD5SUMcb40e65d82022f377e00087cafdb55b2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.0021
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173884-1304072450.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.06/0.28	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.06/0.28	c -- vars added      25000
0.06/0.28	c Parsing time:  0.08 s
0.06/0.28	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.06/0.28	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.06/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.01/0.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.01/0.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.01/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.01/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.01/1.03	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1.01/1.03	c lits-rem:         0  cl-subs:        0  v-elim:    574  v-fix:    0  time:  0.16 s
1.01/1.03	c Finding binary XORs  T:     0.01 s  found:       0
1.01/1.03	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
1.01/1.03	c calculated reachability. Time: 0.00
1.01/1.03	c Calc default polars -  time:   0.01 s pos:   11112 undec:    2750 neg:   11138
1.01/1.03	c =========================================================================================
1.01/1.03	c types(t): F = full restart, N = normal restart
1.01/1.03	c types(t): S = simplification begin/end, E = solution found
1.01/1.03	c restart types(rt): st = static, dy = dynamic
1.01/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.01/1.03	c  B st     0         0     24426    104378         0         0    316679         0   no data   no data
7.92/2.07	c  N dy    17      4190     24426    104378         0      4189    316679   1115263    145.99    154.68
13.49/3.49	c  N dy    43      8251     24426    104378         0      8250    316679   1990205    142.77    150.64
19.89/5.06	c  N dy    73     12566     24426    104378         0     12563    316679   2943802    143.46    159.09
25.88/6.58	c  N dy   100     16603     24426    104378         0     16600    316679   3850791    143.54    212.13
32.28/8.16	c  N dy   128     20693     24426    104378         0     10691    316679    734091    143.90    159.17
38.28/9.61	c  N dy   153     24702     24426    104378         0     14699    316679   1608044    143.18    153.20
38.68/9.72	c  F st   156     25000     24426    104378         0     14997    316679   1673049    143.19   no data
46.66/11.80	c  N dy   162     30000     24426    104378         0     19996    316679   3277168    143.19   no data
46.66/11.80	c  S st   162     30000     24426    104378         0     19996    316679   3277168    143.19   no data
47.85/12.00	c  S st   162     30502     24426    104378         0     20498    316679   3362170    143.19   no data
47.85/12.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
48.25/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
48.25/12.16	c blocked clauses removed:      441 vars:     72 tried:       24426 T: 0.01 s
48.25/12.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.25/12.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.25/12.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24354 time:  0.01 s
48.65/12.20	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
49.05/12.32	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.12 s
49.85/12.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.44/13.41	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.80 s
53.84/13.53	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.12
53.84/13.54	c calculated reachability. Time: 0.00
53.84/13.54	c  N dy   162     30502     24339    103924         0     20054    315407   3167501    143.19   no data
60.25/15.14	c  N dy   192     34506     24339    103924         0     24058    315407   4083606    144.12    152.89
67.03/16.85	c  N dy   220     38583     24339    103924         0     28135    315407   4978786    144.09    157.59
73.84/18.51	c  N dy   246     42641     24339    103924         0     16917    315407   1050523    144.10    153.39
78.61/19.71	c  S st   266     45755     24339    103924         0     20031    315407   1722036    143.90   no data
79.41/19.92	c  S st   266     46258     24339    103924         0     20533    315407   1804503    143.90   no data
79.41/19.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.81/20.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
79.81/20.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.81/20.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.20/20.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.20/20.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
80.20/20.12	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
80.60/20.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
81.00/20.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.21/20.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
82.21/20.62	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
82.21/20.65	c vivif2 --  cl tried    20533 cl shrink        0 lits rem          0 time: 0.03
82.62/20.78	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.12
82.62/20.79	c calculated reachability. Time: 0.00
82.62/20.79	c  N dy   266     46258     24339    103924         0     20533    315407   1804503    143.90   no data
88.99/22.37	c  N dy   291     50295     24339    103924         0     24570    315407   2714268    143.73    157.64
95.80/24.01	c  N dy   318     54384     24339    103924         0     28659    315407   3611122    143.62    153.61
102.98/25.81	c  N dy   347     58737     24339    103924         0     33012    315407   4576013    143.32    151.02
109.76/27.57	c  N dy   376     62884     24339    103924         0     37159    315407   5517583    143.44    151.24
116.16/29.15	c  N dy   397     66961     24339    103924         0     22598    315407   1539964    143.00    157.59
120.14/30.15	c  S st   418     69387     24339    103924         0     25024    315407   2116570    143.37   no data
120.95/30.36	c  S st   418     69890     24339    103924         0     25527    315407   2197635    143.37   no data
120.95/30.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
121.35/30.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
121.76/30.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.76/30.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
121.76/30.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.76/30.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
121.76/30.56	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
122.16/30.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
122.54/30.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
124.54/31.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.39 s
124.54/31.22	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
124.54/31.25	c vivif2 --  cl tried    25527 cl shrink        0 lits rem          0 time: 0.04
124.94/31.39	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.13
124.94/31.39	c calculated reachability. Time: 0.00
124.94/31.39	c  N dy   418     69890     24339    103924         0     25527    315407   2197635    143.37   no data
132.53/33.23	c  N dy   444     74355     24339    103924         0     29992    315407   3209189    143.27    155.58
140.51/35.26	c  N dy   478     79139     24339    103924         0     34775    315407   4311001    143.58    187.10
149.31/37.40	c  N dy   513     84207     24339    103924         0     39843    315407   5444917    143.64    155.47
154.89/38.85	c  F st   534     87500     24339    103924         0     22317    315407    996000    143.55   no data
160.49/40.23	c  N st   539     90800     24339    103924         0     25617    315407   1940151    143.55   no data
170.09/42.64	c  N dy   564     96677     24339    103924         0     31493    315407   3387018    143.56    155.86
180.46/45.27	c  N dy   603    102900     24339    103924         0     37716    315407   4803059    143.52    160.02
184.05/46.11	c  S st   618    104835     24339    103924         0     39651    315407   5236028    143.51   no data
184.86/46.33	c  S st   618    105336     24339    103924         0     40152    315407   5308048    143.51   no data
184.86/46.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
185.26/46.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
185.66/46.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
185.66/46.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
185.66/46.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
185.66/46.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
185.66/46.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
186.06/46.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
187.67/47.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
194.04/48.61	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.58 s
194.04/48.62	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
194.44/48.71	c vivif2 --  cl tried    40145 cl shrink        0 lits rem          0 time: 0.09
194.84/48.87	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.16
194.84/48.88	c calculated reachability. Time: 0.00
194.84/48.88	c  N dy   618    105336     24339    103924         0     40145    315407   5305022    143.51   no data
207.22/51.90	c  N dy   667    112192     24339    103924         0     24593    315407   1101120    143.78    151.59
219.20/54.97	c  N dy   717    119625     24339    103924         0     32025    315407   2780369    143.80    161.75
232.79/58.34	c  N dy   772    127355     24339    103924         0     39755    315407   4563745    144.03    151.97
247.57/62.08	c  N dy   827    135852     24339    103924         0     24553    315407    760307    143.96    151.72
261.95/65.66	c  N dy   884    144567     24339    103924         0     33267    315407   2724480    143.91    158.91
277.92/69.65	c  N dy   940    153862     24339    103924         0     42562    315407   4813861    143.84    159.75
285.11/71.49	c  S st   966    158004     24339    103924         0     46704    315407   5711466    143.72    123.60
286.32/71.73	c  S st   966    158511     24339    103924         0     47211    315407   5800689    143.72   no data
286.32/71.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
286.72/71.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
287.12/71.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
287.12/71.92	c bin-w-bin subsume rem            0 bins  time:  0.01 s
287.12/71.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
287.12/71.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
287.12/71.95	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
287.91/72.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
289.13/72.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
297.91/74.65	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.19 s
297.91/74.67	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
298.29/74.77	c vivif2 --  cl tried    47207 cl shrink        0 lits rem          0 time: 0.10
299.09/74.93	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
299.09/74.94	c calculated reachability. Time: 0.00
299.09/74.94	c  N dy   966    158511     24339    103924         0     47207    315407   5799061    143.72   no data
316.67/79.32	c  N dy  1039    168683     24339    103924         0     32525    315407   2281285    143.90    151.53
335.44/84.01	c  N dy  1115    179543     24339    103924         0     43383    315407   4735555    143.98    162.20
355.41/89.09	c  N dy  1187    191026     24339    103924         0     28939    315407   1201094    143.74    176.89
376.61/94.32	c  N dy  1266    203390     24339    103924         0     41302    315407   3962471    143.76    152.66
400.55/100.30	c  N dy  1354    216419     24339    103924         0     27374    315407    590357    143.92    155.40
424.12/106.23	c  N dy  1442    230394     24339    103924         0     41349    315407   3705291    143.87    156.47
437.30/109.51	c  S st  1494    237767     24339    103924         0     48722    315407   5359232    143.94   no data
438.12/109.75	c  S st  1494    238269     24339    103924         0     49224    315407   5446790    143.94   no data
438.12/109.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
438.89/109.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
438.89/109.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
438.89/109.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
438.89/109.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
438.89/109.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
438.89/109.97	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
439.69/110.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
440.89/110.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
449.69/112.65	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.21 s
449.69/112.66	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
450.09/112.76	c vivif2 --  cl tried    49220 cl shrink        0 lits rem          0 time: 0.09
450.89/112.92	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
450.89/112.93	c calculated reachability. Time: 0.00
450.89/112.93	c  N dy  1494    238269     24339    103924         0     49220    315407   5445814    143.94   no data
477.66/119.62	c  N dy  1587    253495     24339    103924         0     36463    315407   2386287    143.87    155.32
506.41/126.89	c  N dy  1701    269693     24339    103924         0     52660    315407   6067236    144.03    157.47
537.97/134.72	c  N dy  1822    287069     24339    103924         0     41043    315407   3202934    144.19    152.97
571.52/143.14	c  N dy  1950    305398     24339    103924         0     59372    315407   7317993    144.24    161.01
573.12/143.58	c  F st  1956    306250     24339    103924         0     30236    315407    522064    144.25    128.49
606.67/151.95	c  N dy  2052    324934     24339    103924         0     48919    315407   5203892    144.31    153.34
643.02/161.05	c  N dy  2174    344961     24339    103924         0     37949    315407   2043442    144.16    156.45
664.99/166.58	c  S st  2259    357404     24339    103924         0     50392    315407   4837583    144.15   no data
666.18/166.82	c  S st  2259    357907     24339    103924         0     50895    315407   4918517    144.15   no data
666.18/166.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
666.60/166.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
667.00/167.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
667.00/167.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
667.00/167.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
667.00/167.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
667.00/167.04	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
667.38/167.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
668.59/167.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
676.97/169.56	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.09 s
676.97/169.58	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
677.37/169.66	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.08
678.17/169.83	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
678.17/169.84	c calculated reachability. Time: 0.00
678.17/169.84	c  N dy  2259    357907     24339    103924         0     50892    315407   4917464    144.15   no data
714.94/179.08	c  N dy  2390    377984     24339    103924         0     38968    315407   2026571    144.13    153.45
752.46/188.45	c  N dy  2529    398123     24339    103924         0     59105    315407   6541799    144.17    151.93
788.81/197.56	c  N dy  2664    418151     24339    103924         0     46135    315407   3448209    144.25    168.51
826.76/207.07	c  N dy  2806    438255     24339    103924         0     66239    315407   7981558    144.27    152.13
863.11/216.12	c  N dy  2935    458290     24339    103924         0     52274    315407   4617173    144.24    152.52
901.85/225.84	c  N dy  3071    478412     24339    103924         0     37398    315407    989301    144.26    156.76
938.20/234.95	c  N dy  3208    498417     24339    103924         0     57403    315407   5477338    144.25    153.22
976.54/244.51	c  N dy  3338    518465     24339    103924         0     41454    315407   1685974    144.28    156.11
1010.50/253.06	c  S st  3469    536860     24339    103924         0     59847    315407   5866224    144.30    119.27
1011.69/253.31	c  S st  3469    537360     24339    103924         0     60347    315407   5948273    144.30   no data
1011.69/253.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1012.09/253.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1012.49/253.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1012.49/253.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1012.49/253.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1012.49/253.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
1012.49/253.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1013.30/253.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1014.49/254.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1026.89/257.12	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.09 s
1026.89/257.14	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
1027.30/257.24	c vivif2 --  cl tried    60340 cl shrink        0 lits rem          0 time: 0.10
1028.07/257.43	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.19
1028.07/257.44	c calculated reachability. Time: 0.00
1028.07/257.44	c  N dy  3469    537360     24339    103924         0     60340    315407   5945765    144.30   no data
1066.44/267.10	c  N dy  3607    557494     24339    103924         0     43471    315407   1899411    144.30    154.68
1104.37/276.58	c  N dy  3746    577550     24339    103924         0     63524    315407   6493143    144.37    155.42
1143.11/286.28	c  N dy  3878    597584     24339    103924         0     45562    315407   2190283    144.37    158.00
1181.08/295.77	c  N dy  4017    617614     24339    103924         0     65591    315407   6740184    144.44    156.61
1220.63/305.66	c  N dy  4157    637693     24339    103924         0     46671    315407   2189757    144.47    166.23
1258.95/315.22	c  N dy  4298    657867     24339    103924         0     66841    315407   6753782    144.50    152.97
1298.10/325.07	c  N dy  4431    677873     24339    103924         0     46847    315407   2057170    144.54    152.37
1337.64/334.99	c  N dy  4573    697961     24339    103924         0     66935    315407   6623064    144.62    164.24
1378.40/345.14	c  N dy  4724    717973     24339    103924         0     45947    315407   1598115    144.72    154.90
1416.73/354.73	c  N dy  4866    738067     24339    103924         0     66041    315407   6226658    144.78    154.96
1458.27/365.11	c  N dy  5012    758143     24339    103924         0     44121    315407    958094    144.89    156.60
1495.82/374.52	c  N dy  5151    778145     24339    103924         0     64121    315407   5560102    144.96    152.83
1537.35/384.91	c  N dy  5287    798212     24339    103924         0     84188    315407  10101364    144.96    153.56
1552.14/388.63	c  S st  5338    806040     24339    103924         0     49017    315407   1782362    144.94    111.80
1552.94/388.88	c  S st  5338    806542     24339    103924         0     49519    315407   1866189    144.94   no data
1552.94/388.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1553.74/389.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1553.74/389.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1553.74/389.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1553.74/389.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1553.74/389.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
1553.74/389.09	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1554.56/389.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
1554.94/389.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1557.34/389.98	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.65 s
1557.34/389.99	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
1557.73/390.03	c vivif2 --  cl tried    49517 cl shrink        0 lits rem          0 time: 0.03
1558.13/390.20	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
1558.55/390.20	c calculated reachability. Time: 0.00
1558.55/390.21	c  N dy  5338    806542     24339    103924         0     49517    315407   1865765    144.94   no data
1596.88/399.89	c  N dy  5477    826672     24339    103924         0     69646    315407   6381635    144.93    153.07
1639.22/410.44	c  N dy  5611    846684     24339    103924         0     45653    315407    837049    144.92    152.66
1677.96/420.10	c  N dy  5743    866937     24339    103924         0     65904    315407   5427243    144.90    154.80
1719.51/430.51	c  N dy  5884    886992     24339    103924         0     85958    315407  10038240    144.94    170.16
1758.25/440.28	c  N dy  6028    907047     24339    103924         0     61017    315407   4152586    145.02    157.79
1798.99/450.42	c  N dy  6159    927132     24339    103924         0     81100    315407   8771178    145.06    154.13
1839.34/460.52	c  N dy  6290    947141     24339    103924         0     55114    315407   2580255    145.09    152.85
1878.88/470.49	c  N dy  6432    967213     24339    103924         0     75185    315407   7153338    145.12    181.45
1922.01/481.26	c  N dy  6570    987310     24339    103924         0     48283    315407    776099    145.14    158.10
1960.36/490.87	c  N dy  6704   1007316     24339    103924         0     68289    315407   5349162    145.16    160.68
2002.72/501.42	c  N dy  6843   1027397     24339    103924         0     88370    315407   9913891    145.15    157.51
2042.26/511.35	c  N dy  6968   1047476     24339    103924         0     60443    315407   3273887    145.11    156.81
2082.58/521.40	c  N dy  7100   1067479     24339    103924         0     80445    315407   7760691    145.08    157.59
2091.78/523.72	c  F st  7132   1071875     24339    103924         0     84840    315407   8775808    145.09    136.55
2124.93/532.06	c  N dy  7212   1087533     24339    103924         0     51502    315407   1059967    145.10    153.67
2164.08/541.80	c  N dy  7342   1107601     24339    103924         0     71570    315407   5606982    145.11    164.07
2206.41/552.46	c  N dy  7481   1127723     24339    103924         0     91691    315407  10254335    145.14    160.71
2247.15/562.67	c  N dy  7611   1147768     24339    103924         0     61736    315407   3147300    145.11    161.42
2288.32/572.91	c  N dy  7748   1167813     24339    103924         0     81781    315407   7679937    145.11    154.68
2332.63/584.01	c  N dy  7891   1187834     24339    103924         0    101802    315407  12258561    145.14    153.75
2372.17/593.92	c  N dy  8025   1207913     24339    103924         0     70885    315407   5023999    145.14    152.79
2376.19/594.97	c  S st  8039   1209816     24339    103924         0     72788    315407   5462828    145.14    131.86
2377.36/595.25	c  S st  8039   1210319     24339    103924         0     73291    315407   5548094    145.14   no data
2377.36/595.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2378.16/595.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2378.16/595.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2378.16/595.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2378.16/595.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2378.16/595.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
2378.16/595.50	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2378.97/595.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2380.18/595.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2393.36/599.28	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.29 s
2393.36/599.29	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
2393.77/599.39	c vivif2 --  cl tried    73285 cl shrink        0 lits rem          0 time: 0.10
2394.94/599.60	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.21
2394.94/599.61	c calculated reachability. Time: 0.00
2394.94/599.61	c  N dy  8039   1210319     24339    103924         0     73285    315407   5546443    145.14   no data
2438.07/610.43	c  N dy  8180   1230407     24339    103924         0     93371    315407  10262291    145.20    157.91
2480.41/621.04	c  N dy  8316   1250415     24339    103924         0     61383    315407   2667971    145.23    256.96
2521.17/631.23	c  N dy  8453   1270509     24339    103924         0     81475    315407   7250801    145.24    154.64
2565.49/642.34	c  N dy  8595   1290528     24339    103924         0    101492    315407  11888867    145.27    161.42
2607.03/652.71	c  N dy  8742   1310758     24339    103924         0     68725    315407   4083363    145.31    159.10
2648.97/663.25	c  N dy  8880   1330888     24339    103924         0     88855    315407   8651898    145.32    153.24
2695.71/674.95	c  N dy  9028   1351054     24339    103924         0     55023    315407    756913    145.36    159.13
2735.66/684.92	c  N dy  9163   1371267     24339    103924         0     75235    315407   5345619    145.35    153.49
2778.79/695.76	c  N dy  9304   1391270     24339    103924         0     95235    315407   9939135    145.38    153.98
2823.12/706.87	c  N dy  9436   1411298     24339    103924         0     60269    315407   1752962    145.39    153.72
2863.88/717.08	c  N dy  9569   1431442     24339    103924         0     80410    315407   6348578    145.40    156.33
2909.01/728.32	c  N dy  9705   1451805     24339    103924         0    100772    315407  11046054    145.42    154.62
2952.54/739.21	c  N dy  9849   1471810     24339    103924         0     64783    315407   2568120    145.47    155.48
2994.08/749.64	c  N dy  9990   1491902     24339    103924         0     84875    315407   7136015    145.48    161.02
3040.01/761.10	c  N dy 10136   1512004     24339    103924         0    104976    315407  11846045    145.53    156.07
3083.17/771.96	c  N dy 10275   1532117     24339    103924         0     68094    315407   3066000    145.55    154.04
3125.50/782.50	c  N dy 10413   1552151     24339    103924         0     88127    315407   7635226    145.57    155.27
3171.83/794.13	c  N dy 10559   1572479     24339    103924         0    108454    315407  12361083    145.63    155.57
3214.57/804.82	c  N dy 10689   1592507     24339    103924         0     70480    315407   3336775    145.62    154.12
3257.31/815.50	c  N dy 10824   1612699     24339    103924         0     90672    315407   7924695    145.62    154.97
3303.65/827.10	c  N dy 10966   1632706     24339    103924         0    110679    315407  12545736    145.65    153.53
3346.38/837.81	c  N dy 11107   1652742     24339    103924         0     71711    315407   3451419    145.66    153.94
3389.52/848.61	c  N dy 11251   1672801     24339    103924         0     91768    315407   8129268    145.71    185.95
3435.85/860.24	c  N dy 11385   1692940     24339    103924         0    111907    315407  12747765    145.74    155.16
3473.80/869.80	c  S st 11504   1710320     24339    103924         0     69291    315407   2704891    145.76    127.22
3474.99/870.07	c  S st 11504   1710824     24339    103924         0     69795    315407   2790448    145.76   no data
3474.99/870.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3475.79/870.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3475.79/870.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3475.79/870.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3475.79/870.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3475.79/870.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
3476.19/870.31	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3476.59/870.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3476.99/870.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3484.58/872.48	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.87 s
3484.58/872.49	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.02
3484.98/872.55	c vivif2 --  cl tried    69794 cl shrink        0 lits rem          0 time: 0.05
3485.78/872.75	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.20
3485.78/872.76	c calculated reachability. Time: 0.00
3485.78/872.76	c  N dy 11504   1710824     24339    103924         0     69794    315407   2789814    145.76   no data
3528.51/883.42	c  N dy 11638   1730946     24339    103924         0     89916    315407   7336707    145.74    155.71
3574.05/894.87	c  N dy 11769   1751127     24339    103924         0    110097    315407  11960676    145.75    157.39
3620.79/906.52	c  N dy 11912   1771407     24339    103924         0     69377    315407   2527790    145.79    157.04
3663.14/917.18	c  N dy 12048   1791506     24339    103924         0     89474    315407   7127523    145.80    155.11
3709.46/928.76	c  N dy 12188   1811553     24339    103924         0    109519    315407  11782029    145.82    158.53
3756.59/940.53	c  N dy 12332   1831704     24339    103924         0     67666    315407   1853742    145.86    153.56
3800.13/951.49	c  N dy 12473   1851897     24339    103924         0     87858    315407   6488287    145.86    153.83
3845.67/962.88	c  N dy 12608   1871899     24339    103924         0    107857    315407  11155151    145.88    153.82
3894.39/975.00	c  N dy 12744   1891907     24339    103924         0     64871    315407   1001187    145.90    155.52
3935.56/985.32	c  N dy 12883   1911979     24339    103924         0     84942    315407   5541415    145.90    211.41
3980.67/996.61	c  N dy 13013   1932075     24339    103924         0    105037    315407  10193354    145.89    155.80
4029.41/1008.88	c  N dy 13157   1952117     24339    103924         0    125078    315407  14778843    145.92    153.71
4072.55/1019.62	c  N dy 13301   1972196     24339    103924         0     81162    315407   4539387    145.96    156.07
4117.28/1030.89	c  N dy 13447   1992481     24339    103924         0    101447    315407   9230799    145.99    156.39
4166.01/1043.08	c  N dy 13592   2012556     24339    103924         0    121521    315407  13786851    146.00    159.50
4211.15/1054.36	c  N dy 13728   2032642     24339    103924         0     76606    315407   3277764    146.02    154.02
4254.68/1065.27	c  N dy 13865   2052716     24339    103924         0     96680    315407   7872272    146.02    158.36
4302.61/1077.27	c  N dy 14002   2072814     24339    103924         0    116776    315407  12602350    146.06    154.49
4351.35/1089.47	c  N dy 14144   2092881     24339    103924         0     70848    315407   1678886    146.08    158.49
4394.08/1100.11	c  N dy 14273   2112938     24339    103924         0     90903    315407   6328627    146.10    155.94
4441.23/1111.91	c  N dy 14422   2133066     24339    103924         0    111030    315407  10963645    146.12    159.75
4491.15/1124.45	c  N dy 14555   2153178     24339    103924         0    131141    315407  15576837    146.12    155.15
4534.67/1135.31	c  N dy 14693   2173182     24339    103924         0     84148    315407   4548024    146.13    156.19
4579.81/1146.63	c  N dy 14835   2193198     24339    103924         0    104161    315407   9183884    146.15    155.81
4622.15/1157.22	c  S st 14954   2210826     24339    103924         0    121789    315407  13194707    146.14    132.10
4623.35/1157.57	c  S st 14954   2211330     24339    103924         0    122293    315407  13277918    146.14   no data
4623.75/1157.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4624.55/1157.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.21
4624.55/1157.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4624.55/1157.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4624.55/1157.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4624.55/1157.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
4624.55/1157.88	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4625.77/1158.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4628.95/1158.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4659.31/1166.54	c lits-rem:         2  cl-subs:       10  v-elim:      0  v-fix:    0  time:  7.55 s
4659.31/1166.56	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.02
4660.53/1166.81	c vivif2 --  cl tried   122283 cl shrink        0 lits rem          0 time: 0.25
4661.71/1167.13	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.32
4661.71/1167.14	c calculated reachability. Time: 0.00
4661.71/1167.14	c  N dy 14954   2211330     24339    103924         0    122283    315407  13274306    146.14   no data
4711.23/1179.55	c  N dy 15091   2231370     24339    103924         0     74323    315407   2052713    146.17    167.94
4754.36/1190.30	c  N dy 15228   2251379     24339    103924         0     94330    315407   6628908    146.18    154.25

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

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

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


[startup+0 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 518843728 52441088 347 33554432000 4194304 4627427 140735905557296 18446744073709551615 47892181968812 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 12803 347 299 106 0 7774 0
[pid=14022/tid=14023] ppid=14020 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518843728 52441088 347 33554432000 4194304 4627427 140735905557296 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518843728 52441088 347 33554432000 4194304 4627427 140735905557296 18446744073709551615 251826037814 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518843728 52441088 347 33554432000 4194304 4627427 140735905557296 18446744073709551615 47892181968818 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.024021 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=304512 CPUtime=0.06 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 10955 0 0 0 5 1 0 0 25 0 4 0 518843728 311820288 8796 33554432000 4194304 4627427 140735905557296 18446744073709551615 251814345247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 76128 8855 339 106 0 71099 0
[pid=14022/tid=14023] ppid=14020 vsize=304644 CPUtime=0.01 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) S 14020 14022 13699 0 -1 4202560 2716 0 0 0 1 0 0 0 18 0 4 0 518843728 311955456 9066 33554432000 4194304 4627427 140735905557296 18446744073709551615 251814345198 0 0 4096 2 18446604442978653120 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=304880 CPUtime=0.01 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) S 14020 14022 13699 0 -1 4202560 2742 0 0 0 1 0 0 0 25 0 4 0 518843728 312197120 9089 33554432000 4194304 4627427 140735905557296 18446744073709551615 251814345198 0 0 4096 2 18446604442978653120 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=304880 CPUtime=0.01 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 2566 0 0 0 1 0 0 0 25 0 4 0 518843728 312197120 9104 33554432000 4194304 4627427 140735905557296 18446744073709551615 251813937352 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 304512

[startup+0.260947 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=383152 CPUtime=1.01 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 20532 0 0 0 92 9 0 0 17 0 4 0 518843728 392347648 18373 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 95788 18842 371 106 0 90759 0
[pid=14022/tid=14023] ppid=14020 vsize=386240 CPUtime=0.26 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) D 14020 14022 13699 0 -1 4202560 6290 0 0 0 24 2 0 0 18 0 4 0 518843728 395509760 19495 33554432000 4194304 4627427 140735905557296 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=388112 CPUtime=0.26 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 6189 0 0 0 25 1 0 0 18 0 4 0 518843728 397426688 20405 33554432000 4194304 4627427 140735905557296 18446744073709551615 251813905272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=389472 CPUtime=0.27 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 4593 0 0 0 25 2 0 0 18 0 4 0 518843728 398819328 21140 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 383152

[startup+0.345853 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=399928 CPUtime=4.56 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 38208 0 0 0 444 12 0 0 18 0 4 0 518843728 409526272 28676 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 99982 28676 385 106 0 94953 0
[pid=14022/tid=14023] ppid=14020 vsize=399928 CPUtime=1.14 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10675 0 0 0 111 3 0 0 19 0 4 0 518843728 409526272 28676 33554432000 4194304 4627427 140735905557296 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=399928 CPUtime=1.13 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10762 0 0 0 111 2 0 0 19 0 4 0 518843728 409526272 28676 33554432000 4194304 4627427 140735905557296 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=399928 CPUtime=1.14 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 5235 0 0 0 112 2 0 0 19 0 4 0 518843728 409526272 28676 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 399928

[startup+1.26475 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=399928 CPUtime=4.96 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 38541 0 0 0 484 12 0 0 19 0 4 0 518843728 409526272 29009 33554432000 4194304 4627427 140735905557296 18446744073709551615 4330946 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 99982 29009 385 106 0 94953 0
[pid=14022/tid=14023] ppid=14020 vsize=399928 CPUtime=1.24 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10768 0 0 0 121 3 0 0 19 0 4 0 518843728 409526272 29009 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=399928 CPUtime=1.23 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10856 0 0 0 121 2 0 0 19 0 4 0 518843728 409526272 29009 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308824 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=399928 CPUtime=1.24 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 5295 0 0 0 122 2 0 0 19 0 4 0 518843728 409526272 29009 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 399928

[startup+1.50071 s]
/proc/loadavg: 7.48 7.92 7.97 8/180 14022
/proc/meminfo: memFree=26477172/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=399928 CPUtime=5.91 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 39154 0 0 0 578 13 0 0 19 0 4 0 518843728 409526272 29622 33554432000 4194304 4627427 140735905557296 18446744073709551615 4324972 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 99982 29622 385 106 0 94953 0
[pid=14022/tid=14023] ppid=14020 vsize=399928 CPUtime=1.47 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10920 0 0 0 144 3 0 0 19 0 4 0 518843728 409526272 29622 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308194 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=399928 CPUtime=1.46 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 10989 0 0 0 144 2 0 0 19 0 4 0 518843728 409526272 29622 33554432000 4194304 4627427 140735905557296 18446744073709551615 4325776 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=399928 CPUtime=1.47 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 5449 0 0 0 145 2 0 0 19 0 4 0 518843728 409526272 29622 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 399928

[startup+3.10644 s]
/proc/loadavg: 7.48 7.92 7.97 9/184 14027
/proc/meminfo: memFree=26299372/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=531192 CPUtime=12.32 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 43313 0 0 0 1218 14 0 0 23 0 4 0 518843728 543940608 33781 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 132798 33781 385 106 0 127769 0
[pid=14022/tid=14023] ppid=14020 vsize=531192 CPUtime=3.07 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 11940 0 0 0 304 3 0 0 23 0 4 0 518843728 543940608 33781 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=531192 CPUtime=3.07 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 12047 0 0 0 304 3 0 0 23 0 4 0 518843728 543940608 33781 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=531192 CPUtime=3.08 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 6476 0 0 0 306 2 0 0 23 0 4 0 518843728 543940608 33781 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 531192

[startup+6.3009 s]
/proc/loadavg: 7.53 7.92 7.97 9/184 14027
/proc/meminfo: memFree=26259424/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=531192 CPUtime=25.1 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 51280 0 0 0 2493 17 0 0 25 0 4 0 518843728 543940608 41748 33554432000 4194304 4627427 140735905557296 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 132798 41748 385 106 0 127769 0
[pid=14022/tid=14023] ppid=14020 vsize=531192 CPUtime=6.25 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 13906 0 0 0 621 4 0 0 25 0 4 0 518843728 543940608 41748 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=531192 CPUtime=6.27 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 14104 0 0 0 623 4 0 0 25 0 4 0 518843728 543940608 41748 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=531192 CPUtime=6.27 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 8472 0 0 0 625 2 0 0 25 0 4 0 518843728 543940608 41748 33554432000 4194304 4627427 140735905557296 18446744073709551615 4306576 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 531192

[startup+12.7008 s]
/proc/loadavg: 7.56 7.92 7.97 9/184 14027
/proc/meminfo: memFree=26237200/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=680488 CPUtime=50.65 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 88676 0 0 0 5039 26 0 0 25 0 4 0 518843728 696819712 58512 33554432000 4194304 4627427 140735905557296 18446744073709551615 4467719 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 170122 58512 390 106 0 165093 0
[pid=14022/tid=14023] ppid=14020 vsize=680488 CPUtime=12.62 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 19310 0 0 0 1256 6 0 0 25 0 4 0 518843728 696819712 58512 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=680488 CPUtime=12.67 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 19581 0 0 0 1262 5 0 0 25 0 4 0 518843728 696819712 58512 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=680488 CPUtime=12.67 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 13781 0 0 0 1263 4 0 0 25 0 4 0 518843728 696819712 58512 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 680488

[startup+25.5007 s]
/proc/loadavg: 7.66 7.93 7.97 9/184 14027
/proc/meminfo: memFree=25965536/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=764760 CPUtime=101.77 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 164179 0 0 0 10133 44 0 0 25 0 4 0 518843728 783114240 104301 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 191190 104301 390 106 0 186161 0
[pid=14022/tid=14023] ppid=14020 vsize=764760 CPUtime=25.35 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 50717 0 0 0 2521 14 0 0 25 0 4 0 518843728 783114240 104301 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=764760 CPUtime=25.46 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 34348 0 0 0 2537 9 0 0 25 0 4 0 518843728 783114240 104301 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=764760 CPUtime=25.47 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 34210 0 0 0 2539 8 0 0 25 0 4 0 518843728 783114240 104301 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 764760

[startup+51.1004 s]
/proc/loadavg: 7.85 7.95 7.97 9/184 14028
/proc/meminfo: memFree=25822080/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=861588 CPUtime=204.03 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 251992 0 0 0 20336 67 0 0 25 0 4 0 518843728 882266112 135870 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 215397 135872 390 106 0 210368 0
[pid=14022/tid=14023] ppid=14020 vsize=861588 CPUtime=50.8 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 69664 0 0 0 5062 18 0 0 25 0 4 0 518843728 882266112 135875 33554432000 4194304 4627427 140735905557296 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=861588 CPUtime=51.06 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 56150 0 0 0 5091 15 0 0 25 0 4 0 518843728 882266112 135876 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=861588 CPUtime=51.06 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 56800 0 0 0 5092 14 0 0 25 0 4 0 518843728 882266112 135878 33554432000 4194304 4627427 140735905557296 18446744073709551615 251813901345 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.03
Current children cumulated vsize (KiB) 861588

[startup+102.301 s]
/proc/loadavg: 7.93 7.95 7.97 9/184 14030
/proc/meminfo: memFree=25671880/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=940436 CPUtime=408.54 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 373184 0 0 0 40751 103 0 0 25 0 4 0 518843728 963006464 167684 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 235109 167684 390 106 0 230080 0
[pid=14022/tid=14023] ppid=14020 vsize=940436 CPUtime=101.72 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 98281 0 0 0 10146 26 0 0 25 0 4 0 518843728 963006464 167684 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=940436 CPUtime=102.26 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 84992 0 0 0 10202 24 0 0 25 0 4 0 518843728 963006464 167684 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=940436 CPUtime=102.26 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 88130 0 0 0 10202 24 0 0 25 0 4 0 518843728 963006464 167684 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.54
Current children cumulated vsize (KiB) 940436

[startup+162.301 s]

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

[pid=14022] ppid=14020 vsize=1388856 CPUtime=2805.15 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1493491 0 0 0 280038 477 0 0 25 0 4 0 518843728 1422188544 274977 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 347214 274977 390 106 0 342185 0
[pid=14022/tid=14023] ppid=14020 vsize=1388856 CPUtime=698.43 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 386365 0 0 0 69720 123 0 0 25 0 4 0 518843728 1422188544 274977 33554432000 4194304 4627427 140735905557296 18446744073709551615 4327365 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1388856 CPUtime=702.24 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 367552 0 0 0 70104 120 0 0 25 0 4 0 518843728 1422188544 274977 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1388856 CPUtime=702.23 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 375459 0 0 0 70106 117 0 0 25 0 4 0 518843728 1422188544 274977 33554432000 4194304 4627427 140735905557296 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.15
Current children cumulated vsize (KiB) 1388856

[startup+762.301 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 14047
/proc/meminfo: memFree=24959508/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1453584 CPUtime=3044.81 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1587855 0 0 0 303971 510 0 0 25 0 4 0 518843728 1488470016 298377 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 363396 298377 390 106 0 358367 0
[pid=14022/tid=14023] ppid=14020 vsize=1453584 CPUtime=758.09 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 409238 0 0 0 75679 130 0 0 25 0 4 0 518843728 1488470016 298377 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1453584 CPUtime=762.23 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 391945 0 0 0 76094 129 0 0 25 0 4 0 518843728 1488470016 298377 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1453584 CPUtime=762.23 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 398245 0 0 0 76097 126 0 0 25 0 4 0 518843728 1488470016 298377 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308590 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.81
Current children cumulated vsize (KiB) 1453584

[startup+822.301 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 14048
/proc/meminfo: memFree=24966044/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1549292 CPUtime=3284.47 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1695019 0 0 0 327900 547 0 0 25 0 4 0 518843728 1586475008 299091 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308755 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 387323 299091 390 106 0 382294 0
[pid=14022/tid=14023] ppid=14020 vsize=1549292 CPUtime=817.77 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 433313 0 0 0 81638 139 0 0 25 0 4 0 518843728 1586475008 299091 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1549292 CPUtime=822.22 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 419862 0 0 0 82082 140 0 0 25 0 4 0 518843728 1586475008 299091 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1549292 CPUtime=822.22 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 425817 0 0 0 82087 135 0 0 25 0 4 0 518843728 1586475008 299091 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.47
Current children cumulated vsize (KiB) 1549292

[startup+882.301 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 14050
/proc/meminfo: memFree=24946552/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1426692 CPUtime=3524.12 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1783995 0 0 0 351831 581 0 0 25 0 4 0 518843728 1460932608 284036 33554432000 4194304 4627427 140735905557296 18446744073709551615 4332689 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 356673 284036 390 106 0 351644 0
[pid=14022/tid=14023] ppid=14020 vsize=1426692 CPUtime=877.43 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 457785 0 0 0 87595 148 0 0 25 0 4 0 518843728 1460932608 284036 33554432000 4194304 4627427 140735905557296 18446744073709551615 4327647 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1426692 CPUtime=882.21 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 443427 0 0 0 88073 148 0 0 25 0 4 0 518843728 1460932608 284036 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1426692 CPUtime=882.21 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 444154 0 0 0 88080 141 0 0 25 0 4 0 518843728 1460932608 284036 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308291 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.12
Current children cumulated vsize (KiB) 1426692

[startup+942.301 s]
/proc/loadavg: 8.00 8.01 8.00 9/184 14052
/proc/meminfo: memFree=25049964/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1340252 CPUtime=3763.79 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1880710 0 0 0 375765 614 0 0 25 0 4 0 518843728 1372418048 272302 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 335063 272302 390 106 0 330034 0
[pid=14022/tid=14023] ppid=14020 vsize=1340252 CPUtime=937.1 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 484885 0 0 0 93553 157 0 0 25 0 4 0 518843728 1372418048 272302 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1340252 CPUtime=942.22 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 466058 0 0 0 94066 156 0 0 25 0 4 0 518843728 1372418048 272302 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1340252 CPUtime=942.21 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 467870 0 0 0 94071 150 0 0 25 0 4 0 518843728 1372418048 272302 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.79
Current children cumulated vsize (KiB) 1340252

[startup+1002.3 s]
/proc/loadavg: 8.05 8.02 8.00 9/184 14054
/proc/meminfo: memFree=24851164/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1561128 CPUtime=4003.44 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 1997554 0 0 0 399694 650 0 0 25 0 4 0 518843728 1598595072 319408 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 390282 319408 390 106 0 385253 0
[pid=14022/tid=14023] ppid=14020 vsize=1561128 CPUtime=996.77 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 510197 0 0 0 99512 165 0 0 25 0 4 0 518843728 1598595072 319408 33554432000 4194304 4627427 140735905557296 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1561128 CPUtime=1002.21 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 510194 0 0 0 100053 168 0 0 25 0 4 0 518843728 1598595072 319408 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1561128 CPUtime=1002.2 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 493335 0 0 0 100060 160 0 0 25 0 4 0 518843728 1598595072 319408 33554432000 4194304 4627427 140735905557296 18446744073709551615 4325026 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.44
Current children cumulated vsize (KiB) 1561128

[startup+1062.3 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 14055
/proc/meminfo: memFree=24871108/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1585040 CPUtime=4243.11 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 2100480 0 0 0 423626 685 0 0 25 0 4 0 518843728 1623080960 315486 33554432000 4194304 4627427 140735905557296 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 396260 315486 390 106 0 391231 0
[pid=14022/tid=14023] ppid=14020 vsize=1585040 CPUtime=1056.45 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 537209 0 0 0 105471 174 0 0 25 0 4 0 518843728 1623080960 315487 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1585040 CPUtime=1062.21 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 535963 0 0 0 106044 177 0 0 25 0 4 0 518843728 1623080960 315487 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1585040 CPUtime=1062.2 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 516513 0 0 0 106052 168 0 0 25 0 4 0 518843728 1623080960 315487 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.11
Current children cumulated vsize (KiB) 1585040

[startup+1122.3 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 14056
/proc/meminfo: memFree=24809212/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1571188 CPUtime=4482.76 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 2197894 0 0 0 447553 723 0 0 25 0 4 0 518843728 1608896512 325717 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 392797 325717 390 106 0 387768 0
[pid=14022/tid=14023] ppid=14020 vsize=1571188 CPUtime=1116.11 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 561846 0 0 0 111428 183 0 0 25 0 4 0 518843728 1608896512 325717 33554432000 4194304 4627427 140735905557296 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1571188 CPUtime=1122.2 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 562771 0 0 0 112034 186 0 0 25 0 4 0 518843728 1608896512 325717 33554432000 4194304 4627427 140735905557296 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1571188 CPUtime=1122.19 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 541392 0 0 0 112040 179 0 0 25 0 4 0 518843728 1608896512 325717 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.76
Current children cumulated vsize (KiB) 1571188

[startup+1182.31 s]
/proc/loadavg: 8.08 8.04 8.00 9/184 14058
/proc/meminfo: memFree=24586628/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1830736 CPUtime=4722.44 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 2367176 0 0 0 471471 773 0 0 25 0 4 0 518843728 1874673664 377120 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 457684 377120 390 106 0 452655 0
[pid=14022/tid=14023] ppid=14020 vsize=1830736 CPUtime=1175.78 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 619480 0 0 0 117381 197 0 0 25 0 4 0 518843728 1874673664 377120 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1830736 CPUtime=1182.2 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 587485 0 0 0 118024 196 0 0 25 0 4 0 518843728 1874673664 377120 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1830736 CPUtime=1182.19 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 583673 0 0 0 118028 191 0 0 25 0 4 0 518843728 1874673664 377120 33554432000 4194304 4627427 140735905557296 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.44
Current children cumulated vsize (KiB) 1830736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.05 8.04 8.00 5/179 14060
/proc/meminfo: memFree=24907700/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1890516 CPUtime=4800.32 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 2399795 0 0 0 479249 783 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4310105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 472629 392306 390 106 0 467600 0
[pid=14022/tid=14023] ppid=14020 vsize=1890516 CPUtime=1195.18 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 627312 0 0 0 119318 200 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1890516 CPUtime=1201.7 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 596687 0 0 0 119971 199 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1890516 CPUtime=1201.7 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 591479 0 0 0 119976 194 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1890516

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

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

[startup+1201.8 s]
/proc/loadavg: 8.05 8.04 8.00 5/179 14060
/proc/meminfo: memFree=24907700/32950928 swapFree=67111524/67111528
[pid=14022] ppid=14020 vsize=1890516 CPUtime=4800.32 cores=0,2,4,6
/proc/14022/stat : 14022 (strangenight2-m) R 14020 14022 13699 0 -1 4202496 2399795 0 0 0 479249 783 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4310105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/14022/statm: 472629 392306 390 106 0 467600 0
[pid=14022/tid=14023] ppid=14020 vsize=1890516 CPUtime=1195.18 cores=0,2,4,6
/proc/14022/task/14023/stat : 14023 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 627312 0 0 0 119318 200 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=14022/tid=14024] ppid=14020 vsize=1890516 CPUtime=1201.7 cores=0,2,4,6
/proc/14022/task/14024/stat : 14024 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 596687 0 0 0 119971 199 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=14022/tid=14025] ppid=14020 vsize=1890516 CPUtime=1201.7 cores=0,2,4,6
/proc/14022/task/14025/stat : 14025 (strangenight2-m) R 14020 14022 13699 0 -1 4202560 591479 0 0 0 119976 194 0 0 25 0 4 0 518843728 1935888384 392306 33554432000 4194304 4627427 140735905557296 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1890516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.89
CPU time (s): 4800.43
CPU user time (s): 4792.52
CPU system time (s): 7.9068
CPU usage (%): 399.408
Max. virtual memory (cumulated for all children) (KiB): 1955188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.52
system time used= 7.9068
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2399802
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= 10235
involuntary context switches= 20566

runsolver used 1.93471 second user time and 4.63829 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-29 12:20:50
IDJOB=3173884
IDBENCH=82702
IDSOLVER=1586
FILE ID=node126/3173884-1304072450
RUNJOBID= node126-1304072450-13999
PBS_JOBID= 13170481
Free space on /tmp= 71592 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173884-1304072450/watcher-3173884-1304072450 -o /tmp/evaluation-result-3173884-1304072450/solver-3173884-1304072450 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173884-1304072450.cnf

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

MD5SUM BENCH= cb40e65d82022f377e00087cafdb55b2
RANDOM SEED=997689253

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      26477460 kB
Buffers:       1417816 kB
Cached:        4441172 kB
SwapCached:          4 kB
Active:         377088 kB
Inactive:      5551264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      26477460 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           13672 kB
Writeback:          24 kB
AnonPages:       68856 kB
Mapped:          14796 kB
Slab:           481600 kB
PageTables:       4388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   275500 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= 71588 MiB
End job on node126 at 2011-04-29 12:40:54