Trace number 3174125

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.22 1201.63

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
MD5SUMcfd96c3ec450000d8fe8684f0b30ec79
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark33.134
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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-3174125-1304098634.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.22	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.22	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.22	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.22	c calculated reachability. Time: 0.00
0.00/0.22	c Calc default polars -  time:   0.00 s pos:     168 undec:      42 neg:     190
0.00/0.22	c =========================================================================================
0.00/0.22	c types(t): F = full restart, N = normal restart
0.00/0.22	c types(t): S = simplification begin/end, E = solution found
0.00/0.22	c restart types(rt): st = static, dy = dynamic
0.00/0.22	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.22	c  B st     0         0       388      1692         0         0      5147         0   no data   no data
0.00/0.22	c Decided on static restart strategy
0.00/0.22	c  N st     8      4919       388      1692         0      4805      5147     90752   no data   no data
0.87/0.37	c  N st    10     11301       388      1692         0      4454      5147     62316   no data   no data
0.87/0.60	c  N st    11     17044       388      1692         0     10044      5147    163523   no data   no data
3.60/0.98	c  F st    12     25001       388      1692         0     12286      5147    210391   no data   no data
3.60/0.98	c  N st    12     25001       388      1692         0     12286      5147    210391   no data   no data
4.78/1.23	c Decided on static restart strategy
4.78/1.23	c  N st    18     30000       388      1692         0     10562      5147    159430   no data   no data
4.78/1.23	c  S st    18     30000       388      1692         0     10562      5147    159430   no data   no data
4.78/1.26	c  S st    18     30501       388      1692         0     11058      5147    169470   no data   no data
4.78/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.78/1.26	c blocked clauses removed:        7 vars:      1 tried:         388 T: 0.00 s
4.78/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    387 time:  0.00 s
4.78/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.78/1.27	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
4.78/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.33	c lits-rem:       131  cl-subs:      851  v-elim:      0  v-fix:    0  time:  0.05 s
5.18/1.33	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.01
5.18/1.33	c calculated reachability. Time: 0.00
5.18/1.33	c  N st    18     30501       386      1684         0     10196      5128    153826   no data   no data
6.79/1.74	c  N st    20     37613       386      1684         0      9491      5128    127802   no data   no data
8.37/2.11	c  N st    21     44013       386      1684         0     15682      5128    246244   no data   no data
8.77/2.23	c  S st    22     45752       386      1684         0     17384      5128    279085   no data   no data
8.77/2.27	c  S st    22     46254       386      1684         0      9225      5128    111651   no data   no data
8.77/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
8.77/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.29	c lits-rem:        28  cl-subs:      156  v-elim:      0  v-fix:    0  time:  0.01 s
8.77/2.29	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
8.77/2.29	c vivif2 --  cl tried     9069 cl shrink        0 lits rem          0 time: 0.00
8.77/2.29	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.00
8.77/2.29	c calculated reachability. Time: 0.00
8.77/2.29	c  N st    22     46254       386      1684         0      9069      5128    108958   no data   no data
12.37/3.19	c  N st    23     60654       386      1684         0     13332      5128    180600   no data   no data
15.17/3.84	c  N st    24     69381       386      1684         0     11147      5128    132322   no data   no data
15.17/3.84	c  S st    24     69381       386      1684         0     11147      5128    132322   no data   no data
15.17/3.87	c  S st    24     69885       386      1684         0     11650      5128    142540   no data   no data
15.17/3.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.17/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
15.17/3.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.17/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.17/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.17/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
15.17/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.17/3.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.17/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.17/3.90	c lits-rem:        64  cl-subs:      261  v-elim:      0  v-fix:    0  time:  0.02 s
15.17/3.90	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
15.58/3.90	c vivif2 --  cl tried    11389 cl shrink        0 lits rem          0 time: 0.00
15.58/3.91	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.01
15.58/3.91	c calculated reachability. Time: 0.00
15.58/3.91	c  N st    24     69885       386      1684         0     11389      5128    137740   no data   no data
20.38/5.12	c  F st    25     87500       386      1684         0     16806      5128    230481   no data   no data
20.38/5.12	c  N st    25     87500       386      1684         0     16806      5128    230481   no data   no data
21.96/5.54	c Decided on static restart strategy
23.16/5.80	c  N st    32     95538       386      1684         0     24621      5128    379222   no data   no data
25.55/6.43	c  N st    34    104827       386      1684         0     21039      5128    303424   no data   no data
25.55/6.43	c  S st    34    104827       386      1684         0     21039      5128    303424   no data   no data
25.55/6.49	c  S st    34    105328       386      1684         0     21537      5128    313539   no data   no data
25.55/6.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.55/6.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
25.55/6.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.95/6.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.95/6.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.67	c lits-rem:       220  cl-subs:     1408  v-elim:      0  v-fix:    0  time:  0.17 s
26.35/6.67	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
26.35/6.68	c vivif2 --  cl tried    20129 cl shrink        0 lits rem          0 time: 0.00
26.35/6.69	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.01
26.35/6.69	c calculated reachability. Time: 0.00
26.35/6.69	c  N st    34    105328       386      1684         0     20129      5128    288252   no data   no data
29.16/7.35	c  N st    35    114927       386      1684         0     15917      5128    189420   no data   no data
34.34/8.65	c  N st    36    129325       386      1684         0     15310      5128    165666   no data   no data
41.13/10.34	c  N st    37    150920       386      1684         0     20805      5128    268541   no data   no data
43.93/11.02	c  S st    38    157993       386      1684         0     27614      5128    402346   no data   no data
43.93/11.09	c  S st    38    158495       386      1684         0     28113      5128    412086   no data   no data
43.93/11.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.32/11.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.32/11.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.32/11.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.32/11.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.32/11.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
44.32/11.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.32/11.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.32/11.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.50	c lits-rem:       270  cl-subs:     2066  v-elim:      0  v-fix:    0  time:  0.38 s
45.92/11.50	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
45.92/11.51	c vivif2 --  cl tried    26047 cl shrink        0 lits rem          0 time: 0.00
45.92/11.52	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.01
45.92/11.52	c calculated reachability. Time: 0.00
45.92/11.52	c  N st    38    158495       386      1684         0     26047      5128    372569   no data   no data
65.49/16.43	c  N st    39    207083       386      1684         0     20849      5128    232771   no data   no data
77.50/19.41	c  N st    40    237745       386      1684         0     31114      5128    411391   no data   no data
77.50/19.41	c  S st    40    237745       386      1684         0     31114      5128    411391   no data   no data
77.50/19.49	c  S st    40    238248       386      1684         0     31616      5128    421571   no data   no data
77.50/19.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.50/19.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.88/19.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.88/19.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.88/19.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.88/19.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
77.88/19.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.88/19.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.88/19.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.47/19.90	c lits-rem:       239  cl-subs:     2546  v-elim:      0  v-fix:    0  time:  0.39 s
79.47/19.90	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
79.47/19.91	c vivif2 --  cl tried    29070 cl shrink        0 lits rem          0 time: 0.00
79.47/19.93	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
79.47/19.93	c calculated reachability. Time: 0.00
79.47/19.93	c  N st    40    238248       386      1684         0     29070      5128    379355   no data   no data
110.24/27.69	c  F st    41    306250       386      1684         0     31111      5128    376458   no data   no data
110.24/27.69	c  N st    41    306250       386      1684         0     31111      5128    376458   no data   no data
112.65/28.29	c Decided on static restart strategy
124.22/31.19	c  N st    51    334553       386      1684         0     35310      5128    445390   no data   no data
136.60/34.21	c  N st    53    357373       386      1684         0     33192      5128    405241   no data   no data
136.60/34.21	c  S st    53    357373       386      1684         0     33192      5128    405241   no data   no data
136.60/34.29	c  S st    53    357877       386      1684         0     33695      5128    415497   no data   no data
136.60/34.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.00/34.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.00/34.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.00/34.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.00/34.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.00/34.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
137.00/34.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.00/34.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.00/34.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.20/34.61	c lits-rem:       208  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  0.29 s
138.20/34.61	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
138.20/34.61	c vivif2 --  cl tried    32141 cl shrink        0 lits rem          0 time: 0.00
138.20/34.63	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
138.20/34.63	c calculated reachability. Time: 0.00
138.20/34.63	c  N st    53    357877       386      1684         0     32141      5128    387028   no data   no data
154.98/38.87	c  N st    54    390269       386      1684         0     38291      5128    488610   no data   no data
179.74/45.00	c  N st    55    438857       386      1684         0     32007      5128    344359   no data   no data
217.71/54.51	c  N st    56    511739       386      1684         0     45324      5128    578104   no data   no data
231.29/57.91	c  N st    57    536817       386      1684         0     39740      5128    467922   no data   no data
231.29/57.91	c  S st    57    536817       386      1684         0     39740      5128    467922   no data   no data
231.66/58.01	c  S st    57    537325       386      1684         0     40247      5128    478848   no data   no data
231.66/58.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.66/58.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
231.66/58.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.66/58.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
231.66/58.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
231.66/58.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
231.66/58.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.66/58.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
231.66/58.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
233.27/58.42	c lits-rem:       195  cl-subs:     1937  v-elim:      0  v-fix:    0  time:  0.37 s
233.27/58.42	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
233.27/58.42	c vivif2 --  cl tried    38310 cl shrink        0 lits rem          0 time: 0.01
233.27/58.45	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.02
233.27/58.45	c calculated reachability. Time: 0.00
233.27/58.45	c  N st    57    537325       386      1684         0     38310      5128    443515   no data   no data
328.75/82.34	c  N st    58    701310       386      1684         0     66966      5128    917338   no data   no data
395.86/99.12	c  N st    59    805987       386      1684         0     60882      5128    787022   no data   no data
395.86/99.13	c  S st    59    805987       386      1684         0     60882      5128    787022   no data   no data
396.26/99.29	c  S st    59    806492       386      1684         0     61386      5128    797400   no data   no data
396.26/99.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
396.66/99.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
396.66/99.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
396.66/99.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
396.66/99.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
396.66/99.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
396.66/99.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
396.66/99.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
396.66/99.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
406.24/101.71	c lits-rem:       417  cl-subs:     7866  v-elim:      0  v-fix:    0  time:  2.35 s
406.24/101.71	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
406.24/101.72	c vivif2 --  cl tried    53520 cl shrink        0 lits rem          0 time: 0.01
406.24/101.76	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.04
406.24/101.76	c calculated reachability. Time: 0.00
406.24/101.76	c  N st    59    806492       386      1684         0     53520      5128    669426   no data   no data
583.19/146.07	c  F st    60   1071875       386      1684         0     69723      5128    897041   no data   no data
583.19/146.07	c  N st    60   1071875       386      1684         0     69723      5128    897041   no data   no data
588.39/147.34	c Decided on static restart strategy
605.96/151.72	c  N st    70   1100180       386      1684         0     53751      5128    586735   no data   no data
639.54/160.16	c  N st    72   1136175       386      1684         0     88621      5128   1234268   no data   no data
663.89/166.22	c  N st    73   1168568       386      1684         0     75458      5128    989593   no data   no data
697.44/174.64	c  N st    74   1209739       386      1684         0     69748      5128    844212   no data   no data
697.44/174.64	c  S st    74   1209739       386      1684         0     69748      5128    844212   no data   no data
698.24/174.88	c  S st    74   1210242       386      1684         0     70248      5128    854538   no data   no data
698.24/174.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
698.64/174.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
698.64/174.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
698.64/174.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
698.64/174.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
698.64/174.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
698.64/174.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
698.64/174.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
698.64/174.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
708.23/177.30	c lits-rem:       717  cl-subs:     6461  v-elim:      0  v-fix:    0  time:  2.34 s
708.23/177.30	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
708.23/177.31	c vivif2 --  cl tried    63787 cl shrink        0 lits rem          0 time: 0.01
708.23/177.38	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.07
708.23/177.39	c calculated reachability. Time: 0.00
708.23/177.39	c  N st    74   1210242       386      1684         0     63787      5128    752103   no data   no data
769.34/192.65	c  N st    75   1283124       386      1684         0     87830      5128   1180786   no data   no data
873.60/218.75	c  N st    76   1392447       386      1684         0     97762      5128   1385999   no data   no data
1036.98/259.61	c  N st    77   1556432       386      1684         0     53324      5128    473885   no data   no data
1178.79/295.15	c  N st    78   1710244       386      1684         0     94355      5128   1208819   no data   no data
1178.79/295.15	c  S st    78   1710244       386      1684         0     94355      5128   1208819   no data   no data
1180.41/295.52	c  S st    78   1710746       386      1684         0     94857      5128   1218861   no data   no data
1180.41/295.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1180.41/295.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1180.41/295.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1180.41/295.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1180.41/295.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1180.41/295.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1180.41/295.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1180.78/295.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1180.78/295.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.74/302.66	c lits-rem:       958  cl-subs:    11443  v-elim:      0  v-fix:    0  time:  7.02 s
1208.74/302.66	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1208.74/302.67	c vivif2 --  cl tried    83414 cl shrink        0 lits rem          0 time: 0.02
1209.15/302.75	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.08
1209.15/302.76	c calculated reachability. Time: 0.00
1209.15/302.76	c  N st    78   1710746       386      1684         0     83414      5128   1051042   no data   no data
1570.26/393.14	c  N st    79   2079710       386      1684         0     95539      5128   1184929   no data   no data
1702.07/426.19	c  N st    80   2210747       386      1684         0     99609      5128   1267888   no data   no data
1702.07/426.19	c  S st    80   2210747       386      1684         0     99609      5128   1267888   no data   no data
1703.67/426.52	c  S st    80   2211249       386      1684         0    100111      5128   1277842   no data   no data
1703.67/426.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1703.67/426.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1703.67/426.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1703.67/426.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1703.67/426.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1703.67/426.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
1703.67/426.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1703.67/426.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1704.07/426.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1724.86/431.84	c lits-rem:       842  cl-subs:    10795  v-elim:      0  v-fix:    0  time:  5.21 s
1724.86/431.84	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
1724.86/431.86	c vivif2 --  cl tried    89316 cl shrink        0 lits rem          0 time: 0.02
1725.27/431.94	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.09
1725.27/431.95	c calculated reachability. Time: 0.00
1725.27/431.95	c  N st    80   2211249       386      1684         0     89316      5128   1098109   no data   no data
2260.51/565.99	c  N st    81   2711250       386      1684         0    112583      5128   1418763   no data   no data
2260.51/565.99	c  S st    81   2711250       386      1684         0    112583      5128   1418763   no data   no data
2262.10/566.39	c  S st    81   2711754       386      1684         0    113086      5128   1430103   no data   no data
2262.50/566.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2262.50/566.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2262.50/566.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2262.50/566.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2262.50/566.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2262.50/566.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2262.50/566.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2262.50/566.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2262.90/566.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2290.46/573.43	c lits-rem:       894  cl-subs:    13437  v-elim:      0  v-fix:    0  time:  6.90 s
2290.46/573.43	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
2290.46/573.45	c vivif2 --  cl tried    99649 cl shrink        0 lits rem          0 time: 0.02
2290.86/573.55	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.10
2290.86/573.55	c calculated reachability. Time: 0.00
2290.86/573.55	c  N st    81   2711754       386      1684         0     99649      5128   1210054   no data   no data
2913.61/729.48	c  N st    82   3211754       386      1684         0     75988      5128    650498   no data   no data
2913.61/729.48	c  S st    82   3211754       386      1684         0     75988      5128    650498   no data   no data
2914.81/729.70	c  S st    82   3212256       386      1684         0     76488      5128    660723   no data   no data
2914.81/729.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2914.81/729.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2914.81/729.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2914.81/729.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2914.81/729.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2914.81/729.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
2914.81/729.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2914.81/729.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2914.81/729.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2915.21/729.90	c lits-rem:        26  cl-subs:      237  v-elim:      0  v-fix:    0  time:  0.12 s
2915.21/729.90	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
2915.63/729.91	c vivif2 --  cl tried    76251 cl shrink        0 lits rem          0 time: 0.01
2915.63/729.97	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.06
2915.63/729.98	c calculated reachability. Time: 0.00
2915.63/729.98	c  N st    82   3212256       386      1684         0     76251      5128    657316   no data   no data
3593.98/899.72	c  N st    83   3712256       386      1684         0     86533      5128    788132   no data   no data
3593.98/899.72	c  S st    83   3712256       386      1684         0     86533      5128    788132   no data   no data
3594.78/899.95	c  S st    83   3712765       386      1684         0     87042      5128    799045   no data   no data
3594.78/899.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3594.78/899.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3594.78/899.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3594.78/899.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3594.78/899.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3594.78/899.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
3594.78/899.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3595.17/900.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3595.17/900.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3596.79/900.43	c lits-rem:        36  cl-subs:     1868  v-elim:      0  v-fix:    0  time:  0.40 s
3596.79/900.43	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
3596.79/900.45	c vivif2 --  cl tried    85174 cl shrink        0 lits rem          0 time: 0.01
3597.19/900.52	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.07
3597.19/900.52	c calculated reachability. Time: 0.00
3597.19/900.52	c  N st    83   3712765       386      1684         0     85174      5128    771759   no data   no data
3646.72/913.00	c  F st    84   3751562       386      1684         0    122176      5128   1465781   no data   no data
3647.12/913.00	c  N st    84   3751562       386      1684         0    122176      5128   1465781   no data   no data
3654.71/914.97	c Decided on static restart strategy
3687.07/923.04	c  N st    94   3779871       386      1684         0    149507      5128   2018523   no data   no data
3739.42/936.12	c  N st    96   3815864       386      1684         0    102662      5128   1096426   no data   no data
3782.57/946.96	c  N st    97   3848258       386      1684         0    133842      5128   1717813   no data   no data
3859.68/966.23	c  N st    98   3896847       386      1684         0     98006      5128   1010461   no data   no data
3985.53/997.76	c  N st    99   3969729       386      1684         0     84320      5128    718671   no data   no data
4137.77/1035.87	c  N st   100   4079053       386      1684         0    104843      5128   1115679   no data   no data
4324.75/1082.64	c  N st   101   4212766       386      1684         0    147627      5128   1922207   no data   no data
4324.75/1082.64	c  S st   101   4212766       386      1684         0    147627      5128   1922207   no data   no data
4327.14/1083.23	c  S st   101   4213268       386      1684         0    148125      5128   1932488   no data   no data
4327.14/1083.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4327.54/1083.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.07
4327.54/1083.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4327.54/1083.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4327.54/1083.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4327.54/1083.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    386 time:  0.00 s
4327.54/1083.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4327.54/1083.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4327.94/1083.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4387.47/1098.30	c lits-rem:       731  cl-subs:    16529  v-elim:      0  v-fix:    0  time: 14.90 s
4387.47/1098.30	c vivif2 --  cl tried     1684 cl shrink        0 lits rem          0 time: 0.00
4387.47/1098.33	c vivif2 --  cl tried   131596 cl shrink        0 lits rem          0 time: 0.03
4387.88/1098.47	c asymm  cl-useful: 0/1684/1684 lits-rem:0 time: 0.14
4387.88/1098.48	c calculated reachability. Time: 0.00
4387.88/1098.48	c  N st   101   4213268       386      1684         0    131596      5128   1664046   no data   no data
4791.76/1199.57	c  N st   102   4459246       386      1684         0    106009      5128   1069449   no data   no data

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-3174125-1304098634/watcher-3174125-1304098634 -o /tmp/evaluation-result-3174125-1304098634/solver-3174125-1304098634 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174125-1304098634.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: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 502278756 52441088 353 33554432000 4194304 4627427 140733835404912 18446744073709551615 46924022842899 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 12803 353 303 106 0 7774 0
[pid=9437/tid=9438] ppid=9435 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502278756 52441088 353 33554432000 4194304 4627427 140733835404912 18446744073709551615 46924022843314 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502278757 52441088 353 33554432000 4194304 4627427 140733835404912 18446744073709551615 46924022842905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 502278757 52441088 353 33554432000 4194304 4627427 140733835404912 18446744073709551615 46924022842905 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.222855 s]
/proc/loadavg: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=283360 CPUtime=0.87 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 2184 0 0 0 87 0 0 0 25 0 4 0 502278756 290160640 1636 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 70840 1636 385 106 0 65811 0
[pid=9437/tid=9438] ppid=9435 vsize=283360 CPUtime=0.21 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 466 0 0 0 21 0 0 0 18 0 4 0 502278756 290160640 1636 33554432000 4194304 4627427 140733835404912 18446744073709551615 254261721582 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=283360 CPUtime=0.21 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 422 0 0 0 21 0 0 0 18 0 4 0 502278757 290160640 1636 33554432000 4194304 4627427 140733835404912 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=283360 CPUtime=0.21 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 416 0 0 0 21 0 0 0 18 0 4 0 502278757 290160640 1636 33554432000 4194304 4627427 140733835404912 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 283360

[startup+0.657751 s]
/proc/loadavg: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=284656 CPUtime=3.2 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 4542 0 0 0 320 0 0 0 25 0 4 0 502278756 291487744 2393 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 71164 2393 385 106 0 66135 0
[pid=9437/tid=9438] ppid=9435 vsize=284656 CPUtime=0.79 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1052 0 0 0 79 0 0 0 19 0 4 0 502278756 291487744 2393 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=284656 CPUtime=0.8 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1015 0 0 0 80 0 0 0 18 0 4 0 502278757 291487744 2393 33554432000 4194304 4627427 140733835404912 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=284656 CPUtime=0.8 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1020 0 0 0 80 0 0 0 19 0 4 0 502278757 291487744 2393 33554432000 4194304 4627427 140733835404912 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 284656

[startup+0.907353 s]
/proc/loadavg: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=284788 CPUtime=3.6 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 4767 0 0 0 360 0 0 0 25 0 4 0 502278756 291622912 2618 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 71197 2618 385 106 0 66168 0
[pid=9437/tid=9438] ppid=9435 vsize=284788 CPUtime=0.89 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1116 0 0 0 89 0 0 0 19 0 4 0 502278756 291622912 2618 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309186 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=284788 CPUtime=0.9 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1063 0 0 0 90 0 0 0 19 0 4 0 502278757 291622912 2618 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=284788 CPUtime=0.9 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1081 0 0 0 90 0 0 0 19 0 4 0 502278757 291622912 2618 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 284788

[startup+1.00034 s]
/proc/loadavg: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=284788 CPUtime=3.97 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 5004 0 0 0 397 0 0 0 25 0 4 0 502278756 291622912 2855 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 71197 2855 386 106 0 66168 0
[pid=9437/tid=9438] ppid=9435 vsize=284788 CPUtime=0.99 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1182 0 0 0 99 0 0 0 19 0 4 0 502278756 291622912 2855 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=284788 CPUtime=0.99 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1117 0 0 0 99 0 0 0 19 0 4 0 502278757 291622912 2855 33554432000 4194304 4627427 140733835404912 18446744073709551615 4321835 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=284788 CPUtime=0.99 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1147 0 0 0 99 0 0 0 19 0 4 0 502278757 291622912 2855 33554432000 4194304 4627427 140733835404912 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 284788

[startup+1.50025 s]
/proc/loadavg: 8.16 8.15 8.08 5/180 9437
/proc/meminfo: memFree=29647080/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=285272 CPUtime=5.97 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 7498 0 0 0 596 1 0 0 25 0 4 0 502278756 292118528 4191 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 71318 4191 389 106 0 66289 0
[pid=9437/tid=9438] ppid=9435 vsize=285272 CPUtime=1.49 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1532 0 0 0 149 0 0 0 20 0 4 0 502278756 292118528 4191 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=285272 CPUtime=1.49 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1506 0 0 0 149 0 0 0 20 0 4 0 502278757 292118528 4191 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=285272 CPUtime=1.49 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 1490 0 0 0 149 0 0 0 20 0 4 0 502278757 292118528 4191 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285272

[startup+3.10096 s]
/proc/loadavg: 8.23 8.16 8.09 9/184 9441
/proc/meminfo: memFree=29616288/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=293232 CPUtime=12.37 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 15757 0 0 0 1234 3 0 0 25 0 4 0 502278756 300269568 7921 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 73308 7921 389 106 0 68279 0
[pid=9437/tid=9438] ppid=9435 vsize=293232 CPUtime=3.07 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 3480 0 0 0 307 0 0 0 25 0 4 0 502278756 300269568 7921 33554432000 4194304 4627427 140733835404912 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=293232 CPUtime=3.08 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 4270 0 0 0 308 0 0 0 25 0 4 0 502278757 300269568 7921 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=293232 CPUtime=3.08 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 3929 0 0 0 308 0 0 0 25 0 4 0 502278757 300269568 7921 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293232

[startup+6.3004 s]
/proc/loadavg: 8.21 8.16 8.09 9/184 9441
/proc/meminfo: memFree=29604508/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=298480 CPUtime=25.15 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 24514 0 0 0 2510 5 0 0 25 0 4 0 502278756 305643520 10913 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309234 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 74620 10913 389 106 0 69591 0
[pid=9437/tid=9438] ppid=9435 vsize=298480 CPUtime=6.26 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 6316 0 0 0 625 1 0 0 25 0 4 0 502278756 305643520 10913 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=298480 CPUtime=6.28 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 6906 0 0 0 627 1 0 0 25 0 4 0 502278757 305643520 10913 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308149 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=298480 CPUtime=6.29 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 5528 0 0 0 628 1 0 0 25 0 4 0 502278757 305643520 10913 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 298480

[startup+12.7003 s]
/proc/loadavg: 8.19 8.15 8.09 9/184 9441
/proc/meminfo: memFree=29577176/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=299208 CPUtime=50.73 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 39233 0 0 0 5065 8 0 0 25 0 4 0 502278756 306388992 15425 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 74802 15425 389 106 0 69773 0
[pid=9437/tid=9438] ppid=9435 vsize=299208 CPUtime=12.62 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 9612 0 0 0 1261 1 0 0 25 0 4 0 502278756 306388992 15425 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=299208 CPUtime=12.69 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 9517 0 0 0 1267 2 0 0 25 0 4 0 502278757 306388992 15425 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=299208 CPUtime=12.69 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 9599 0 0 0 1268 1 0 0 25 0 4 0 502278757 306388992 15425 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 299208

[startup+25.501 s]
/proc/loadavg: 8.16 8.15 8.08 9/184 9442
/proc/meminfo: memFree=29561668/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=305832 CPUtime=101.85 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 59644 0 0 0 10173 12 0 0 25 0 4 0 502278756 313171968 20940 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309109 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 76458 20941 389 106 0 71429 0
[pid=9437/tid=9438] ppid=9435 vsize=305832 CPUtime=25.35 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 15100 0 0 0 2533 2 0 0 25 0 4 0 502278756 313171968 20941 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=305832 CPUtime=25.49 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 14594 0 0 0 2546 3 0 0 25 0 4 0 502278757 313171968 20941 33554432000 4194304 4627427 140733835404912 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=305832 CPUtime=25.49 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 14487 0 0 0 2546 3 0 0 25 0 4 0 502278757 313171968 20941 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 305832

[startup+51.1004 s]
/proc/loadavg: 8.11 8.14 8.08 9/184 9442
/proc/meminfo: memFree=29534116/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=311660 CPUtime=204.11 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 88710 0 0 0 20393 18 0 0 25 0 4 0 502278756 319139840 24612 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 77915 24612 389 106 0 72886 0
[pid=9437/tid=9438] ppid=9435 vsize=311660 CPUtime=50.82 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 23146 0 0 0 5078 4 0 0 25 0 4 0 502278756 319139840 24612 33554432000 4194304 4627427 140733835404912 18446744073709551615 4504784 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=311660 CPUtime=51.09 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 22711 0 0 0 5105 4 0 0 25 0 4 0 502278757 319139840 24612 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=311660 CPUtime=51.08 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 21629 0 0 0 5104 4 0 0 25 0 4 0 502278757 319139840 24612 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 311660

[startup+102.3 s]
/proc/loadavg: 8.15 8.14 8.09 9/184 9444
/proc/meminfo: memFree=29488092/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=303932 CPUtime=408.63 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 137801 0 0 0 40832 31 0 0 25 0 4 0 502278756 311226368 32399 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 75983 32399 389 106 0 70954 0
[pid=9437/tid=9438] ppid=9435 vsize=303932 CPUtime=101.75 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 36194 0 0 0 10168 7 0 0 25 0 4 0 502278756 311226368 32399 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=303932 CPUtime=102.29 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 34246 0 0 0 10221 8 0 0 25 0 4 0 502278757 311226368 32399 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=303932 CPUtime=102.29 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 32817 0 0 0 10221 8 0 0 25 0 4 0 502278757 311226368 32399 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 303932

[startup+162.301 s]

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

[pid=9437] ppid=9435 vsize=550532 CPUtime=2805.37 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 450213 0 0 0 280392 145 0 0 25 0 4 0 502278756 563744768 76852 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 137633 76852 389 106 0 132604 0
[pid=9437/tid=9438] ppid=9435 vsize=550532 CPUtime=698.48 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 101973 0 0 0 69818 30 0 0 25 0 4 0 502278756 563744768 76852 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=550532 CPUtime=702.28 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 112699 0 0 0 70191 37 0 0 25 0 4 0 502278757 563744768 76852 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=550532 CPUtime=702.28 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 117756 0 0 0 70190 38 0 0 25 0 4 0 502278757 563744768 76852 33554432000 4194304 4627427 140733835404912 18446744073709551615 4305493 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 550532

[startup+762.301 s]
/proc/loadavg: 8.00 8.06 8.07 9/184 9461
/proc/meminfo: memFree=29097096/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=550892 CPUtime=3045.04 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 470606 0 0 0 304350 154 0 0 25 0 4 0 502278756 564113408 82117 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 137723 82117 389 106 0 132694 0
[pid=9437/tid=9438] ppid=9435 vsize=550892 CPUtime=758.15 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 106821 0 0 0 75784 31 0 0 25 0 4 0 502278756 564113408 82117 33554432000 4194304 4627427 140733835404912 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=550892 CPUtime=762.27 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 118385 0 0 0 76188 39 0 0 25 0 4 0 502278757 564113408 82117 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=550892 CPUtime=762.29 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 121170 0 0 0 76188 41 0 0 25 0 4 0 502278757 564113408 82117 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 550892

[startup+822.3 s]
/proc/loadavg: 6.42 7.66 7.93 5/175 9480
/proc/meminfo: memFree=29428916/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=551216 CPUtime=3284.75 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 493857 0 0 0 328309 166 0 0 25 0 4 0 502278756 564445184 79364 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 137804 79364 389 106 0 132775 0
[pid=9437/tid=9438] ppid=9435 vsize=551216 CPUtime=817.86 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 113205 0 0 0 81752 34 0 0 25 0 4 0 502278756 564445184 79364 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=551216 CPUtime=822.27 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 123833 0 0 0 82185 42 0 0 25 0 4 0 502278757 564445184 79364 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=551216 CPUtime=822.29 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 126901 0 0 0 82185 44 0 0 25 0 4 0 502278757 564445184 79364 33554432000 4194304 4627427 140733835404912 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 551216

[startup+882.301 s]
/proc/loadavg: 4.93 7.01 7.69 5/175 9481
/proc/meminfo: memFree=29403404/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=551576 CPUtime=3524.46 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 517363 0 0 0 352269 177 0 0 25 0 4 0 502278756 564813824 84067 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 137894 84067 389 106 0 132865 0
[pid=9437/tid=9438] ppid=9435 vsize=551576 CPUtime=877.58 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 119170 0 0 0 87722 36 0 0 25 0 4 0 502278756 564813824 84067 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=551576 CPUtime=882.27 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 129378 0 0 0 88182 45 0 0 25 0 4 0 502278757 564813824 84067 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=551576 CPUtime=882.28 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 133394 0 0 0 88182 46 0 0 25 0 4 0 502278757 564813824 84067 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 551576

[startup+942.307 s]
/proc/loadavg: 4.37 6.47 7.46 5/175 9483
/proc/meminfo: memFree=29408620/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=551840 CPUtime=3764.21 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 536616 0 0 0 376236 185 0 0 25 0 4 0 502278756 565084160 84518 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 137960 84518 389 106 0 132931 0
[pid=9437/tid=9438] ppid=9435 vsize=551840 CPUtime=937.31 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 122640 0 0 0 93693 38 0 0 25 0 4 0 502278756 565084160 84518 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=551840 CPUtime=942.27 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 135058 0 0 0 94180 47 0 0 25 0 4 0 502278757 565084160 84518 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=551840 CPUtime=942.29 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 138028 0 0 0 94181 48 0 0 25 0 4 0 502278757 565084160 84518 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.21
Current children cumulated vsize (KiB) 551840

[startup+1002.3 s]
/proc/loadavg: 4.20 6.05 7.25 5/175 9485
/proc/meminfo: memFree=29414252/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=564828 CPUtime=4003.91 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 556242 0 0 0 400198 193 0 0 25 0 4 0 502278756 578383872 83136 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 141207 83136 389 106 0 136178 0
[pid=9437/tid=9438] ppid=9435 vsize=564828 CPUtime=997.04 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 126055 0 0 0 99665 39 0 0 25 0 4 0 502278756 578383872 83136 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=564828 CPUtime=1002.26 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 140918 0 0 0 100176 50 0 0 25 0 4 0 502278757 578383872 83136 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=564828 CPUtime=1002.28 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 143215 0 0 0 100178 50 0 0 25 0 4 0 502278757 578383872 83136 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.91
Current children cumulated vsize (KiB) 564828

[startup+1062.3 s]
/proc/loadavg: 4.07 5.67 7.05 5/175 9486
/proc/meminfo: memFree=29409940/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=565220 CPUtime=4243.64 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 577407 0 0 0 424162 202 0 0 25 0 4 0 502278756 578785280 84231 33554432000 4194304 4627427 140733835404912 18446744073709551615 4324267 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 141305 84231 389 106 0 136276 0
[pid=9437/tid=9438] ppid=9435 vsize=565220 CPUtime=1056.76 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 131678 0 0 0 105635 41 0 0 25 0 4 0 502278756 578785280 84231 33554432000 4194304 4627427 140733835404912 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=565220 CPUtime=1062.26 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 146449 0 0 0 106174 52 0 0 25 0 4 0 502278757 578785280 84231 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=565220 CPUtime=1062.28 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 148987 0 0 0 106175 53 0 0 25 0 4 0 502278757 578785280 84231 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.64
Current children cumulated vsize (KiB) 565220

[startup+1122.3 s]
/proc/loadavg: 4.06 5.38 6.86 5/175 9488
/proc/meminfo: memFree=29387536/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=565476 CPUtime=4483.35 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 601267 0 0 0 448123 212 0 0 25 0 4 0 502278756 579047424 89845 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 141369 89845 389 106 0 136340 0
[pid=9437/tid=9438] ppid=9435 vsize=565476 CPUtime=1116.48 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 136990 0 0 0 111605 43 0 0 25 0 4 0 502278756 579047424 89845 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=565476 CPUtime=1122.26 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 150881 0 0 0 112171 55 0 0 25 0 4 0 502278757 579047424 89845 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=565476 CPUtime=1122.28 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 155339 0 0 0 112172 56 0 0 25 0 4 0 502278757 579047424 89845 33554432000 4194304 4627427 140733835404912 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.35
Current children cumulated vsize (KiB) 565476

[startup+1182.3 s]
/proc/loadavg: 4.02 5.13 6.68 5/175 9489
/proc/meminfo: memFree=29365272/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=581284 CPUtime=4723.04 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 618226 0 0 0 472084 220 0 0 25 0 4 0 502278756 595234816 95401 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 145321 95401 390 106 0 140292 0
[pid=9437/tid=9438] ppid=9435 vsize=581284 CPUtime=1176.16 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 139980 0 0 0 117572 44 0 0 25 0 4 0 502278756 595234816 95401 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=581284 CPUtime=1182.26 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 157744 0 0 0 118169 57 0 0 25 0 4 0 502278757 595234816 95401 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=581284 CPUtime=1182.27 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 158419 0 0 0 118169 58 0 0 25 0 4 0 502278757 595234816 95401 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.04
Current children cumulated vsize (KiB) 581284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.01 5.05 6.62 5/175 9490
/proc/meminfo: memFree=29381740/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=581444 CPUtime=4800.16 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 626875 0 0 0 479793 223 0 0 25 0 4 0 502278756 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 145361 91243 390 106 0 140332 0
[pid=9437/tid=9438] ppid=9435 vsize=581444 CPUtime=1195.38 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 142458 0 0 0 119493 45 0 0 25 0 4 0 502278756 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=581444 CPUtime=1201.57 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 160028 0 0 0 120099 58 0 0 25 0 4 0 502278757 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=581444 CPUtime=1201.58 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 160269 0 0 0 120099 59 0 0 25 0 4 0 502278757 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 581444

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

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

[startup+1201.6 s]
/proc/loadavg: 4.01 5.05 6.62 5/175 9490
/proc/meminfo: memFree=29381740/32951124 swapFree=67111348/67111528
[pid=9437] ppid=9435 vsize=581444 CPUtime=4800.16 cores=0,2,4,6
/proc/9437/stat : 9437 (strangenight2-m) R 9435 9437 9165 0 -1 4202496 626875 0 0 0 479793 223 0 0 25 0 4 0 502278756 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/9437/statm: 145361 91243 390 106 0 140332 0
[pid=9437/tid=9438] ppid=9435 vsize=581444 CPUtime=1195.38 cores=0,2,4,6
/proc/9437/task/9438/stat : 9438 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 142458 0 0 0 119493 45 0 0 25 0 4 0 502278756 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9437/tid=9439] ppid=9435 vsize=581444 CPUtime=1201.57 cores=0,2,4,6
/proc/9437/task/9439/stat : 9439 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 160028 0 0 0 120099 58 0 0 25 0 4 0 502278757 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9437/tid=9440] ppid=9435 vsize=581444 CPUtime=1201.58 cores=0,2,4,6
/proc/9437/task/9440/stat : 9440 (strangenight2-m) R 9435 9437 9165 0 -1 4202560 160269 0 0 0 120099 59 0 0 25 0 4 0 502278757 595398656 91243 33554432000 4194304 4627427 140733835404912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 581444

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.63
CPU time (s): 4800.22
CPU user time (s): 4797.96
CPU system time (s): 2.25866
CPU usage (%): 399.475
Max. virtual memory (cumulated for all children) (KiB): 645732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.96
system time used= 2.25866
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626877
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= 391
involuntary context switches= 23035

runsolver used 1.88371 second user time and 4.33434 second system time

The end

Launcher Data 

Begin job on node140 at 2011-04-29 19:37:14
IDJOB=3174125
IDBENCH=82943
IDSOLVER=1586
FILE ID=node140/3174125-1304098634
RUNJOBID= node140-1304096185-9183
PBS_JOBID= 13170605
Free space on /tmp= 72660 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174125-1304098634/watcher-3174125-1304098634 -o /tmp/evaluation-result-3174125-1304098634/solver-3174125-1304098634 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174125-1304098634.cnf

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

MD5SUM BENCH= cfd96c3ec450000d8fe8684f0b30ec79
RANDOM SEED=1130347544

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.833
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:      29647360 kB
Buffers:       1004060 kB
Cached:        1653660 kB
SwapCached:        180 kB
Active:         366752 kB
Inactive:      2447460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29647360 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:      156520 kB
Mapped:          15468 kB
Slab:           426632 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   381292 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= 72660 MiB
End job on node140 at 2011-04-29 19:57:18