Trace number 3366673

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.41 1201.74

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
MD5SUM08f7f98549a111fea2bbc5a28af8d7eb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.054991
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3366673-1307655806.cnf'
0.00/0.01	c -- header says num vars:            150
0.00/0.01	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        150
0.00/0.01	c Parsing time:  0.00 s
0.00/0.83	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.83	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.83	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.83	c calculated reachability. Time: 0.00
0.00/0.83	c Calc default polars -  time:   0.00 s pos:      79 undec:       4 neg:      67
0.00/0.83	c =========================================================================================
0.00/0.83	c types(t): F = full restart, N = normal restart
0.00/0.83	c types(t): S = simplification begin/end, E = solution found
0.00/0.83	c restart types(rt): st = static, dy = dynamic
0.00/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.83	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.83	c Decided on static restart strategy
0.00/0.83	c  N st     8      4919       150      3195         0      4676     15975    137323   no data   no data
0.00/0.83	c  N st    10     11301       150      3195         0      4334     15975     99533   no data   no data
0.00/0.83	c  N st    11     17045       150      3195         0      9782     15975    260800   no data   no data
3.97/1.02	c  F st    12     25001       150      3195         0     12025     15975    326012   no data   no data
3.97/1.02	c  N st    12     25001       150      3195         0     12025     15975    326012   no data   no data
4.77/1.23	c Decided on static restart strategy
4.77/1.23	c  N st    18     30000       150      3195         0     10299     15975    259379   no data   no data
4.77/1.23	c  S st    18     30000       150      3195         0     10299     15975    259379   no data   no data
4.77/1.23	c  S st    18     30507       150      3195         0     10795     15975    274095   no data   no data
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.77/1.23	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.77/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.77/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.43	c lits-rem:       180  cl-subs:     1239  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.44	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30507       150      3195         0      9556     15975    233547   no data   no data
7.17/1.82	c  N st    20     37617       150      3195         0      8806     15975    193084   no data   no data
8.36/2.13	c  N st    21     44016       150      3195         0     14873     15975    376958   no data   no data
8.76/2.23	c  S st    22     45760       150      3195         0     16555     15975    428342   no data   no data
8.76/2.29	c  S st    22     46263       150      3195         0      8539     15975    166646   no data   no data
8.76/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.76/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.32	c lits-rem:        27  cl-subs:      210  v-elim:      0  v-fix:    0  time:  0.02 s
9.17/2.32	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.17/2.32	c vivif2 --  cl tried     8329 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.17/2.36	c calculated reachability. Time: 0.00
9.17/2.36	c  N st    22     46263       150      3195         0      8329     15975    160464   no data   no data
12.38/3.17	c  N st    23     60662       150      3195         0     12535     15975    277208   no data   no data
14.35/3.69	c  N st    24     69396       150      3195         0     20843     15975    522906   no data   no data
14.35/3.69	c  S st    24     69396       150      3195         0     20843     15975    522906   no data   no data
14.76/3.74	c  S st    24     69903       150      3195         0     10891     15975    206875   no data   no data
14.76/3.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.76/3.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.76/3.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.79	c lits-rem:        38  cl-subs:      190  v-elim:      0  v-fix:    0  time:  0.04 s
14.76/3.79	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
14.76/3.79	c vivif2 --  cl tried    10701 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.16/3.84	c calculated reachability. Time: 0.00
15.16/3.84	c  N st    24     69903       150      3195         0     10701     15975    200171   no data   no data
19.95/5.01	c  F st    25     87502       150      3195         0     16025     15975    345390   no data   no data
19.95/5.01	c  N st    25     87502       150      3195         0     16025     15975    345390   no data   no data
21.17/5.35	c Decided on static restart strategy
21.95/5.57	c  N st    32     95540       150      3195         0     23670     15975    570632   no data   no data
24.34/6.15	c  N st    34    104855       150      3195         0     20147     15975    460097   no data   no data
24.34/6.15	c  S st    34    104855       150      3195         0     20147     15975    460097   no data   no data
24.75/6.21	c  S st    34    105355       150      3195         0     20637     15975    474600   no data   no data
24.75/6.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.75/6.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.75/6.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.75/6.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.75/6.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.75/6.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.75/6.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.75/6.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.75/6.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.34/6.67	c lits-rem:       461  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  0.44 s
26.34/6.67	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.34/6.68	c vivif2 --  cl tried    19190 cl shrink        0 lits rem          0 time: 0.00
26.74/6.75	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
26.74/6.75	c calculated reachability. Time: 0.00
26.74/6.75	c  N st    34    105355       150      3195         0     19190     15975    427778   no data   no data
29.95/7.57	c  N st    35    114954       150      3195         0     15023     15975    295649   no data   no data
34.72/8.74	c  N st    36    129351       150      3195         0     14472     15975    255522   no data   no data
41.13/10.37	c  N st    37    150946       150      3195         0     19734     15975    390625   no data   no data
43.14/10.89	c  S st    38    158034       150      3195         0     26456     15975    588079   no data   no data
43.52/10.95	c  S st    38    158537       150      3195         0     26946     15975    602384   no data   no data
43.52/10.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.52/10.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.52/10.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.52/10.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.52/10.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.52/10.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.52/10.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.13/11.90	c lits-rem:       431  cl-subs:     2182  v-elim:      0  v-fix:    0  time:  0.91 s
47.13/11.90	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.54/11.90	c vivif2 --  cl tried    24764 cl shrink        0 lits rem          0 time: 0.01
47.91/12.00	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.91/12.00	c calculated reachability. Time: 0.00
47.91/12.00	c  N st    38    158537       150      3195         0     24764     15975    535811   no data   no data
64.70/16.29	c  N st    39    207126       150      3195         0     19770     15975    343226   no data   no data
75.47/18.96	c  N st    40    237808       150      3195         0     29966     15975    642795   no data   no data
75.47/18.96	c  S st    40    237808       150      3195         0     29966     15975    642795   no data   no data
75.87/19.04	c  S st    40    238309       150      3195         0     30458     15975    657277   no data   no data
75.87/19.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.87/19.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.87/19.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.87/19.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.87/19.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.87/19.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.87/19.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.87/19.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.87/19.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.66/20.27	c lits-rem:       852  cl-subs:     2342  v-elim:      0  v-fix:    0  time:  1.19 s
80.66/20.27	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
80.66/20.27	c vivif2 --  cl tried    28116 cl shrink        0 lits rem          0 time: 0.01
81.06/20.39	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.06/20.39	c calculated reachability. Time: 0.00
81.06/20.39	c  N st    40    238309       150      3195         0     28116     15975    582958   no data   no data
106.63/26.75	c  F st    41    306252       150      3195         0     29962     15975    595458   no data   no data
106.63/26.75	c  N st    41    306252       150      3195         0     29962     15975    595458   no data   no data
108.65/27.27	c Decided on static restart strategy
117.84/29.58	c  N st    51    334554       150      3195         0     34244     15975    716949   no data   no data
128.20/32.17	c  N st    53    357464       150      3195         0     32270     15975    612956   no data   no data
128.20/32.17	c  S st    53    357464       150      3195         0     32270     15975    612956   no data   no data
128.60/32.26	c  S st    53    357967       150      3195         0     32761     15975    627677   no data   no data
128.60/32.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.60/32.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
128.60/32.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.60/32.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.60/32.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.60/32.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
128.60/32.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
128.60/32.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
128.60/32.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.39/32.97	c lits-rem:       452  cl-subs:     1497  v-elim:      0  v-fix:    0  time:  0.68 s
131.39/32.97	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.39/32.98	c vivif2 --  cl tried    31264 cl shrink        0 lits rem          0 time: 0.01
132.19/33.12	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
132.19/33.12	c calculated reachability. Time: 0.00
132.19/33.12	c  N st    53    357967       150      3195         0     31264     15975    578767   no data   no data
146.18/36.64	c  N st    54    390361       150      3195         0     37138     15975    741573   no data   no data
172.14/43.17	c  N st    55    438949       150      3195         0     31064     15975    532180   no data   no data
205.31/51.41	c  N st    56    511831       150      3195         0     44091     15975    874775   no data   no data
218.49/54.77	c  N st    57    536952       150      3195         0     38660     15975    690684   no data   no data
218.49/54.77	c  S st    57    536952       150      3195         0     38660     15975    690684   no data   no data
218.89/54.88	c  S st    57    537456       150      3195         0     39149     15975    705375   no data   no data
218.89/54.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
218.89/54.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
218.89/54.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
218.89/54.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.89/54.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.89/54.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
218.89/54.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.27/54.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
219.27/54.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.89/55.84	c lits-rem:       437  cl-subs:     1780  v-elim:      0  v-fix:    0  time:  0.92 s
222.89/55.84	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
222.89/55.85	c vivif2 --  cl tried    37369 cl shrink        0 lits rem          0 time: 0.01
223.67/56.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
223.67/56.02	c calculated reachability. Time: 0.00
223.67/56.02	c  N st    57    537456       150      3195         0     37369     15975    653704   no data   no data
314.35/78.76	c  N st    58    701441       150      3195         0     65477     15975   1481364   no data   no data
373.47/93.51	c  N st    59    806185       150      3195         0     59950     15975   1272655   no data   no data
373.47/93.51	c  S st    59    806185       150      3195         0     59950     15975   1272655   no data   no data
373.87/93.67	c  S st    59    806687       150      3195         0     60442     15975   1287384   no data   no data
373.87/93.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
374.27/93.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
374.27/93.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.27/93.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
374.27/93.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.27/93.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
374.27/93.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
374.27/93.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
374.27/93.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
399.06/99.94	c lits-rem:      1184  cl-subs:     3972  v-elim:      0  v-fix:    0  time:  6.19 s
399.06/99.94	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
399.06/99.95	c vivif2 --  cl tried    56470 cl shrink        0 lits rem          0 time: 0.01
400.23/100.24	c asymm  cl-useful: 0/2995/3195 lits-rem:0 time: 0.29
400.23/100.24	c calculated reachability. Time: 0.00
400.23/100.24	c  N st    59    806687       150      3195         0     56470     15975   1157180   no data   no data
578.82/144.92	c  F st    60   1071875       150      3195         0     71673     15975   1541947   no data   no data
578.82/144.92	c  N st    60   1071875       150      3195         0     71673     15975   1541947   no data   no data
583.99/146.22	c Decided on static restart strategy
601.18/150.58	c  N st    70   1100178       150      3195         0     56195     15975   1003276   no data   no data
633.92/158.73	c  N st    72   1136172       150      3195         0     46797     15975    684949   no data   no data
658.68/164.98	c  N st    73   1168565       150      3195         0     77270     15975   1609250   no data   no data
698.23/174.81	c  N st    74   1210033       150      3195         0     71915     15975   1436083   no data   no data
698.23/174.81	c  S st    74   1210033       150      3195         0     71915     15975   1436083   no data   no data
699.03/175.08	c  S st    74   1210540       150      3195         0     72408     15975   1450687   no data   no data
699.03/175.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
699.44/175.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
699.44/175.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
699.44/175.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
699.44/175.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
699.44/175.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
699.44/175.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
699.44/175.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
699.84/175.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
762.15/190.86	c lits-rem:      4468  cl-subs:     5309  v-elim:      0  v-fix:    0  time: 15.66 s
762.15/190.86	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
762.15/190.88	c vivif2 --  cl tried    67099 cl shrink        0 lits rem          0 time: 0.02
764.14/191.33	c asymm  cl-useful: 0/2577/3195 lits-rem:0 time: 0.45
764.14/191.34	c calculated reachability. Time: 0.00
764.14/191.34	c  N st    74   1210540       150      3195         0     67099     15975   1273779   no data   no data
828.07/207.38	c  N st    75   1283423       150      3195         0     90920     15975   1997551   no data   no data
933.92/233.88	c  N st    76   1392748       150      3195         0     52585     15975    763888   no data   no data
1077.33/269.71	c  N st    77   1556732       150      3195         0     56980     15975    848006   no data   no data
1203.19/301.20	c  N st    78   1710541       150      3195         0     97242     15975   2055812   no data   no data
1203.19/301.20	c  S st    78   1710541       150      3195         0     97242     15975   2055812   no data   no data
1204.36/301.52	c  S st    78   1711045       150      3195         0     97733     15975   2070335   no data   no data
1204.36/301.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1204.36/301.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1204.36/301.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1204.36/301.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1204.36/301.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1204.36/301.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1204.36/301.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1204.76/301.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1204.76/301.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1307.02/327.24	c lits-rem:      5847  cl-subs:     9722  v-elim:      0  v-fix:    0  time: 25.58 s
1307.02/327.24	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1307.02/327.27	c vivif2 --  cl tried    88011 cl shrink        0 lits rem          0 time: 0.02
1307.42/327.40	c asymm  cl-useful: 0/618/3195 lits-rem:0 time: 0.13
1307.82/327.40	c calculated reachability. Time: 0.00
1307.82/327.40	c  N st    78   1711045       150      3195         0     88011     15975   1769721   no data   no data
1654.16/414.12	c  N st    79   2080009       150      3195         0     99583     15975   1994162   no data   no data
1773.20/443.90	c  N st    80   2211047       150      3195         0    103826     15975   2153546   no data   no data
1773.20/443.90	c  S st    80   2211047       150      3195         0    103826     15975   2153546   no data   no data
1774.42/444.25	c  S st    80   2211550       150      3195         0    104321     15975   2168747   no data   no data
1774.42/444.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1774.79/444.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1774.79/444.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1774.79/444.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1774.79/444.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1774.79/444.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1774.79/444.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1774.79/444.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1775.20/444.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1866.69/467.37	c lits-rem:      2823  cl-subs:     8510  v-elim:      0  v-fix:    0  time: 22.98 s
1866.69/467.37	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1867.07/467.40	c vivif2 --  cl tried    95811 cl shrink        0 lits rem          0 time: 0.03
1868.27/467.76	c asymm  cl-useful: 0/1758/3195 lits-rem:0 time: 0.36
1868.27/467.76	c calculated reachability. Time: 0.00
1868.27/467.76	c  N st    80   2211550       150      3195         0     95811     15975   1894980   no data   no data
2358.42/590.49	c  N st    81   2711550       150      3195         0    118372     15975   2403752   no data   no data
2358.42/590.49	c  S st    81   2711550       150      3195         0    118372     15975   2403752   no data   no data
2360.01/590.88	c  S st    81   2712050       150      3195         0    118858     15975   2418683   no data   no data
2360.01/590.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2360.41/590.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2360.41/590.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2360.41/590.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2360.41/590.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2360.41/590.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2360.41/590.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2360.41/590.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2360.81/591.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2495.05/624.65	c lits-rem:      2289  cl-subs:    12169  v-elim:      0  v-fix:    0  time: 33.61 s
2495.05/624.65	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2495.05/624.68	c vivif2 --  cl tried   106689 cl shrink        0 lits rem          0 time: 0.03
2496.62/625.07	c asymm  cl-useful: 0/1403/3195 lits-rem:0 time: 0.38
2496.62/625.07	c calculated reachability. Time: 0.00
2496.62/625.07	c  N st    81   2712050       150      3195         0    106689     15975   2079641   no data   no data
3138.57/785.73	c  N st    82   3212052       150      3195         0     83762     15975   1247315   no data   no data
3138.57/785.73	c  S st    82   3212052       150      3195         0     83762     15975   1247315   no data   no data
3139.37/785.97	c  S st    82   3212554       150      3195         0     84251     15975   1262058   no data   no data
3139.37/785.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3139.77/786.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3139.77/786.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3139.77/786.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3139.77/786.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3139.77/786.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3139.77/786.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3139.77/786.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3139.77/786.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3149.37/788.41	c lits-rem:       665  cl-subs:     2196  v-elim:      0  v-fix:    0  time:  2.34 s
3149.37/788.41	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3149.37/788.43	c vivif2 --  cl tried    82055 cl shrink        0 lits rem          0 time: 0.02
3150.55/788.76	c asymm  cl-useful: 0/2096/3195 lits-rem:0 time: 0.33
3150.55/788.76	c calculated reachability. Time: 0.00
3150.55/788.76	c  N st    82   3212554       150      3195         0     82055     15975   1195496   no data   no data
3866.02/967.84	c  N st    83   3712555       150      3195         0     92671     15975   1404476   no data   no data
3866.02/967.84	c  S st    83   3712555       150      3195         0     92671     15975   1404476   no data   no data
3867.19/968.10	c  S st    83   3713056       150      3195         0     93159     15975   1419595   no data   no data
3867.19/968.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3867.19/968.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3867.19/968.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3867.19/968.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3867.19/968.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3867.19/968.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3867.19/968.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3867.19/968.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3867.59/968.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3881.98/971.82	c lits-rem:       771  cl-subs:     3159  v-elim:      0  v-fix:    0  time:  3.61 s
3881.98/971.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3881.98/971.84	c vivif2 --  cl tried    90000 cl shrink        0 lits rem          0 time: 0.02
3882.78/972.08	c asymm  cl-useful: 0/1099/3195 lits-rem:0 time: 0.24
3882.78/972.09	c calculated reachability. Time: 0.00
3882.78/972.09	c  N st    83   3713056       150      3195         0     90000     15975   1333908   no data   no data
3931.52/984.23	c  F st    84   3751563       150      3195         0    126213     15975   2450678   no data   no data
3931.52/984.23	c  N st    84   3751563       150      3195         0    126213     15975   2450678   no data   no data
3941.50/986.78	c Decided on static restart strategy
3979.04/996.12	c  N st    94   3779868       150      3195         0    153193     15975   3280782   no data   no data
4021.78/1006.84	c  N st    96   3815860       150      3195         0    107294     15975   1837894   no data   no data
4061.73/1016.84	c  N st    97   3848253       150      3195         0    137971     15975   2769808   no data   no data
4126.84/1033.16	c  N st    98   3896842       150      3195         0    102809     15975   1692249   no data   no data
4239.11/1061.23	c  N st    99   3969726       150      3195         0     89605     15975   1251922   no data   no data
4401.28/1101.88	c  N st   100   4079049       150      3195         0    109510     15975   1832345   no data   no data
4593.01/1149.86	c  N st   101   4213057       150      3195         0    151642     15975   3107900   no data   no data
4593.01/1149.86	c  S st   101   4213057       150      3195         0    151642     15975   3107900   no data   no data
4595.02/1150.34	c  S st   101   4213558       150      3195         0    152132     15975   3122322   no data   no data
4595.02/1150.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4595.43/1150.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4595.43/1150.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4595.43/1150.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4595.43/1150.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4595.43/1150.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4595.43/1150.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4595.43/1150.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4595.80/1150.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 877178608 52396032 347 33554432000 4194304 4580107 140733936655344 18446744073709551615 47624840533936 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 12792 347 299 95 0 7774 0
[pid=8387/tid=8388] ppid=8385 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 877178608 52396032 347 33554432000 4194304 4580107 140733936655344 18446744073709551615 47624840533938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877178608 52396032 347 33554432000 4194304 4580107 140733936655344 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877178608 52396032 347 33554432000 4194304 4580107 140733936655344 18446744073709551615 228122770417 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.905635 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=285832 CPUtime=3.59 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 6719 0 0 0 358 1 0 0 19 0 4 0 877178608 292691968 3358 33554432000 4194304 4580107 140733936655344 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 71458 3359 377 95 0 66440 0
[pid=8387/tid=8388] ppid=8385 vsize=285832 CPUtime=0.89 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1627 0 0 0 89 0 0 0 19 0 4 0 877178608 292691968 3359 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=285832 CPUtime=0.88 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1628 0 0 0 88 0 0 0 19 0 4 0 877178608 292691968 3359 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=285832 CPUtime=0.89 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1454 0 0 0 89 0 0 0 19 0 4 0 877178608 292691968 3359 33554432000 4194304 4580107 140733936655344 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 285832

[startup+1.00062 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=286112 CPUtime=3.97 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 7489 0 0 0 395 2 0 0 19 0 4 0 877178608 292978688 3295 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 71528 3295 378 95 0 66510 0
[pid=8387/tid=8388] ppid=8385 vsize=286112 CPUtime=0.99 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1911 0 0 0 99 0 0 0 19 0 4 0 877178608 292978688 3295 33554432000 4194304 4580107 140733936655344 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=286112 CPUtime=0.98 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1712 0 0 0 98 0 0 0 19 0 4 0 877178608 292978688 3295 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=286112 CPUtime=0.98 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1757 0 0 0 98 0 0 0 19 0 4 0 877178608 292978688 3295 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 286112

[startup+1.1006 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=286376 CPUtime=4.37 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 8227 0 0 0 435 2 0 0 19 0 4 0 877178608 293249024 3210 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 71594 3210 378 95 0 66576 0
[pid=8387/tid=8388] ppid=8385 vsize=286376 CPUtime=1.09 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2000 0 0 0 109 0 0 0 19 0 4 0 877178608 293249024 3210 33554432000 4194304 4580107 140733936655344 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=286376 CPUtime=1.08 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2009 0 0 0 108 0 0 0 19 0 4 0 877178608 293249024 3210 33554432000 4194304 4580107 140733936655344 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=286376 CPUtime=1.08 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1833 0 0 0 108 0 0 0 19 0 4 0 877178608 293249024 3210 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 286376

[startup+1.20058 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=286376 CPUtime=4.77 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 8510 0 0 0 475 2 0 0 19 0 4 0 877178608 293249024 3493 33554432000 4194304 4580107 140733936655344 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 71594 3493 378 95 0 66576 0
[pid=8387/tid=8388] ppid=8385 vsize=286376 CPUtime=1.19 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2067 0 0 0 119 0 0 0 19 0 4 0 877178608 293249024 3493 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=286376 CPUtime=1.18 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2097 0 0 0 118 0 0 0 19 0 4 0 877178608 293249024 3493 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=286376 CPUtime=1.18 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 1899 0 0 0 118 0 0 0 19 0 4 0 877178608 293249024 3493 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 286376

[startup+1.50053 s]
/proc/loadavg: 2.00 2.00 2.00 5/180 8387
/proc/meminfo: memFree=32131256/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=286688 CPUtime=5.97 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 11448 0 0 0 595 2 0 0 20 0 4 0 877178608 293568512 4845 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 71672 4845 379 95 0 66654 0
[pid=8387/tid=8388] ppid=8385 vsize=286688 CPUtime=1.49 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2469 0 0 0 149 0 0 0 20 0 4 0 877178608 293568512 4845 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=286688 CPUtime=1.48 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2519 0 0 0 148 0 0 0 20 0 4 0 877178608 293568512 4845 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=286688 CPUtime=1.48 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 2342 0 0 0 148 0 0 0 20 0 4 0 877178608 293568512 4845 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286688

[startup+3.10624 s]
/proc/loadavg: 2.80 2.17 2.05 9/184 8391
/proc/meminfo: memFree=32053204/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=292852 CPUtime=12.38 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 22306 0 0 0 1234 4 0 0 25 0 4 0 877178608 299880448 11254 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 73213 11254 379 95 0 68195 0
[pid=8387/tid=8388] ppid=8385 vsize=292852 CPUtime=3.08 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 5136 0 0 0 308 0 0 0 25 0 4 0 877178608 299880448 11254 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=292852 CPUtime=3.09 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 5812 0 0 0 308 1 0 0 25 0 4 0 877178608 299880448 11254 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=292852 CPUtime=3.08 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 5443 0 0 0 308 0 0 0 25 0 4 0 877178608 299880448 11254 33554432000 4194304 4580107 140733936655344 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 292852

[startup+6.30066 s]
/proc/loadavg: 3.22 2.26 2.09 9/184 8391
/proc/meminfo: memFree=32024680/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=301260 CPUtime=25.16 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 35426 0 0 0 2509 7 0 0 25 0 4 0 877178608 308490240 16363 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 75315 16363 379 95 0 70297 0
[pid=8387/tid=8388] ppid=8385 vsize=301260 CPUtime=6.26 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 8901 0 0 0 625 1 0 0 25 0 4 0 877178608 308490240 16363 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=301260 CPUtime=6.29 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 8790 0 0 0 627 2 0 0 25 0 4 0 877178608 308490240 16363 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=301260 CPUtime=6.29 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 7837 0 0 0 628 1 0 0 25 0 4 0 877178608 308490240 16363 33554432000 4194304 4580107 140733936655344 18446744073709551615 4305607 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 301260

[startup+12.7005 s]
/proc/loadavg: 3.60 2.36 2.12 9/184 8391
/proc/meminfo: memFree=31999796/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=296756 CPUtime=50.71 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 53472 0 0 0 5059 12 0 0 25 0 4 0 877178608 303878144 21524 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 74189 21524 379 95 0 69171 0
[pid=8387/tid=8388] ppid=8385 vsize=296756 CPUtime=12.63 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 13740 0 0 0 1260 3 0 0 25 0 4 0 877178608 303878144 21524 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=296756 CPUtime=12.68 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 13047 0 0 0 1265 3 0 0 25 0 4 0 877178608 303878144 21524 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=296756 CPUtime=12.68 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 13350 0 0 0 1266 2 0 0 25 0 4 0 877178608 303878144 21524 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 296756

[startup+25.5012 s]
/proc/loadavg: 4.28 2.54 2.18 9/184 8391
/proc/meminfo: memFree=31947220/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=298064 CPUtime=101.84 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 83622 0 0 0 10165 19 0 0 25 0 4 0 877178608 305217536 29126 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 74516 29126 379 95 0 69498 0
[pid=8387/tid=8388] ppid=8385 vsize=298064 CPUtime=25.36 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 20965 0 0 0 2532 4 0 0 25 0 4 0 877178608 305217536 29126 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=298064 CPUtime=25.48 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 21327 0 0 0 2542 6 0 0 25 0 4 0 877178608 305217536 29126 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=298064 CPUtime=25.48 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 20016 0 0 0 2544 4 0 0 25 0 4 0 877178608 305217536 29126 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 298064

[startup+51.1005 s]
/proc/loadavg: 5.54 2.98 2.33 9/184 8392
/proc/meminfo: memFree=31892032/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=384656 CPUtime=204.1 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 122979 0 0 0 20381 29 0 0 25 0 4 0 877178608 393887744 39747 33554432000 4194304 4580107 140733936655344 18446744073709551615 4316555 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 96164 39747 379 95 0 91146 0
[pid=8387/tid=8388] ppid=8385 vsize=384656 CPUtime=50.82 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 31876 0 0 0 5076 6 0 0 25 0 4 0 877178608 393887744 39747 33554432000 4194304 4580107 140733936655344 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=384656 CPUtime=51.08 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 30762 0 0 0 5099 9 0 0 25 0 4 0 877178608 393887744 39747 33554432000 4194304 4580107 140733936655344 18446744073709551615 4331936 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=384656 CPUtime=51.09 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 29786 0 0 0 5102 7 0 0 25 0 4 0 877178608 393887744 39747 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 384656

[startup+102.3 s]
/proc/loadavg: 7.05 3.84 2.66 9/184 8393
/proc/meminfo: memFree=31828000/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=396932 CPUtime=408.62 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 188962 0 0 0 40814 48 0 0 25 0 4 0 877178608 406458368 48569 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 99233 48570 379 95 0 94215 0
[pid=8387/tid=8388] ppid=8385 vsize=396932 CPUtime=101.74 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 48725 0 0 0 10163 11 0 0 25 0 4 0 877178608 406458368 48570 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=396932 CPUtime=102.28 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 46801 0 0 0 10213 15 0 0 25 0 4 0 877178608 406458368 48570 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=396932 CPUtime=102.28 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 46326 0 0 0 10219 9 0 0 25 0 4 0 877178608 406458368 48570 33554432000 4194304 4580107 140733936655344 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 396932

[startup+162.3 s]

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

[pid=8387] ppid=8385 vsize=615404 CPUtime=2565.72 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 574951 0 0 0 256363 209 0 0 25 0 4 0 877178608 630173696 99406 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 153851 99406 379 95 0 148833 0
[pid=8387/tid=8388] ppid=8385 vsize=615404 CPUtime=638.81 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 155925 0 0 0 63822 59 0 0 25 0 4 0 877178608 630173696 99406 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=615404 CPUtime=642.29 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 132794 0 0 0 64181 48 0 0 25 0 4 0 877178608 630173696 99406 33554432000 4194304 4580107 140733936655344 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=615404 CPUtime=642.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 148148 0 0 0 64174 56 0 0 25 0 4 0 877178608 630173696 99406 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 615404

[startup+702.301 s]
/proc/loadavg: 8.10 7.51 5.22 9/184 8450
/proc/meminfo: memFree=31338068/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=642812 CPUtime=2805.41 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 615510 0 0 0 280317 224 0 0 25 0 4 0 877178608 658239488 111265 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 160703 111265 379 95 0 155685 0
[pid=8387/tid=8388] ppid=8385 vsize=642812 CPUtime=698.48 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 164531 0 0 0 69785 63 0 0 25 0 4 0 877178608 658239488 111265 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=642812 CPUtime=702.29 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 142720 0 0 0 70177 52 0 0 25 0 4 0 877178608 658239488 111265 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=642812 CPUtime=702.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 163314 0 0 0 70171 59 0 0 25 0 4 0 877178608 658239488 111265 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 642812

[startup+762.301 s]
/proc/loadavg: 8.11 7.62 5.40 9/184 8452
/proc/meminfo: memFree=31278364/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=670304 CPUtime=3045.09 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 632326 0 0 0 304275 234 0 0 25 0 4 0 877178608 686391296 122444 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 167576 122444 379 95 0 162558 0
[pid=8387/tid=8388] ppid=8385 vsize=670304 CPUtime=758.16 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 168075 0 0 0 75750 66 0 0 25 0 4 0 877178608 686391296 122444 33554432000 4194304 4580107 140733936655344 18446744073709551615 4415767 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=670304 CPUtime=762.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 146855 0 0 0 76174 56 0 0 25 0 4 0 877178608 686391296 122444 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=670304 CPUtime=762.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 167394 0 0 0 76169 61 0 0 25 0 4 0 877178608 686391296 122444 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 670304

[startup+822.301 s]
/proc/loadavg: 8.15 7.72 5.58 9/184 8454
/proc/meminfo: memFree=31271504/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=704824 CPUtime=3284.77 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 655659 0 0 0 328228 249 0 0 25 0 4 0 877178608 721739776 119684 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 176206 119684 379 95 0 171188 0
[pid=8387/tid=8388] ppid=8385 vsize=704824 CPUtime=817.83 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 174013 0 0 0 81713 70 0 0 25 0 4 0 877178608 721739776 119684 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=704824 CPUtime=822.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 154869 0 0 0 82170 60 0 0 25 0 4 0 877178608 721739776 119684 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=704824 CPUtime=822.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 172560 0 0 0 82165 65 0 0 25 0 4 0 877178608 721739776 119684 33554432000 4194304 4580107 140733936655344 18446744073709551615 4304874 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 704824

[startup+882.301 s]
/proc/loadavg: 8.13 7.78 5.73 9/184 8455
/proc/meminfo: memFree=31218020/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=649296 CPUtime=3524.45 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 679880 0 0 0 352184 261 0 0 25 0 4 0 877178608 664879104 125784 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 162324 125784 379 95 0 157306 0
[pid=8387/tid=8388] ppid=8385 vsize=649296 CPUtime=877.51 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 178996 0 0 0 87678 73 0 0 25 0 4 0 877178608 664879104 125784 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=649296 CPUtime=882.29 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 161697 0 0 0 88166 63 0 0 25 0 4 0 877178608 664879104 125784 33554432000 4194304 4580107 140733936655344 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=649296 CPUtime=882.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 176992 0 0 0 88163 67 0 0 25 0 4 0 877178608 664879104 125784 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 649296

[startup+942.301 s]
/proc/loadavg: 8.05 7.82 5.87 9/184 8457
/proc/meminfo: memFree=31195888/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=678612 CPUtime=3764.14 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 698413 0 0 0 376142 272 0 0 25 0 4 0 877178608 694898688 123483 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 169653 123483 379 95 0 164635 0
[pid=8387/tid=8388] ppid=8385 vsize=678612 CPUtime=937.19 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 186149 0 0 0 93641 78 0 0 25 0 4 0 877178608 694898688 123483 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406375 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=678612 CPUtime=942.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 166047 0 0 0 94164 66 0 0 25 0 4 0 877178608 694898688 123483 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=678612 CPUtime=942.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 182343 0 0 0 94161 69 0 0 25 0 4 0 877178608 694898688 123483 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 678612

[startup+1002.3 s]
/proc/loadavg: 8.02 7.85 6.00 9/184 8458
/proc/meminfo: memFree=31245672/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=599292 CPUtime=4003.81 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 724186 0 0 0 400096 285 0 0 25 0 4 0 877178608 613675008 121377 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 149823 121377 379 95 0 144805 0
[pid=8387/tid=8388] ppid=8385 vsize=599292 CPUtime=996.85 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 190374 0 0 0 99605 80 0 0 25 0 4 0 877178608 613675008 121377 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=599292 CPUtime=1002.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 174824 0 0 0 100160 70 0 0 25 0 4 0 877178608 613675008 121377 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=599292 CPUtime=1002.3 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 190779 0 0 0 100157 73 0 0 25 0 4 0 877178608 613675008 121377 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 599292

[startup+1062.3 s]
/proc/loadavg: 8.12 7.91 6.13 9/184 8469
/proc/meminfo: memFree=31176880/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=665032 CPUtime=4243.5 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 751676 0 0 0 424051 299 0 0 25 0 4 0 877178608 680992768 123224 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 166258 123224 379 95 0 161240 0
[pid=8387/tid=8388] ppid=8385 vsize=665032 CPUtime=1056.53 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 195610 0 0 0 105570 83 0 0 25 0 4 0 877178608 680992768 123224 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=665032 CPUtime=1062.31 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 182539 0 0 0 106157 74 0 0 25 0 4 0 877178608 680992768 123224 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=665032 CPUtime=1062.31 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 199192 0 0 0 106154 77 0 0 25 0 4 0 877178608 680992768 123224 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 665032

[startup+1122.3 s]
/proc/loadavg: 8.11 7.94 6.25 9/184 8471
/proc/meminfo: memFree=31121820/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=831160 CPUtime=4483.16 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 778926 0 0 0 447996 320 0 0 25 0 4 0 877178608 851107840 131781 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 207790 131781 379 95 0 202772 0
[pid=8387/tid=8388] ppid=8385 vsize=831160 CPUtime=1116.2 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 203260 0 0 0 111531 89 0 0 25 0 4 0 877178608 851107840 131781 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=831160 CPUtime=1122.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 189135 0 0 0 112151 79 0 0 25 0 4 0 877178608 851107840 131781 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=831160 CPUtime=1122.31 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 206099 0 0 0 112148 83 0 0 25 0 4 0 877178608 851107840 131781 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 831160

[startup+1182.31 s]
/proc/loadavg: 8.11 7.96 6.36 9/184 8472
/proc/meminfo: memFree=31052560/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=731472 CPUtime=4722.86 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 800953 0 0 0 471957 329 0 0 25 0 4 0 877178608 749027328 139539 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 182868 139539 379 95 0 177850 0
[pid=8387/tid=8388] ppid=8385 vsize=731472 CPUtime=1175.88 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 210334 0 0 0 117496 92 0 0 25 0 4 0 877178608 749027328 139539 33554432000 4194304 4580107 140733936655344 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=731472 CPUtime=1182.3 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 193669 0 0 0 118149 81 0 0 25 0 4 0 877178608 749027328 139539 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=731472 CPUtime=1182.31 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 210389 0 0 0 118146 85 0 0 25 0 4 0 877178608 749027328 139539 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 731472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 7.96 6.40 9/184 8473
/proc/meminfo: memFree=31012488/32951124 swapFree=67051740/67111528
[pid=8387] ppid=8385 vsize=731524 CPUtime=4800.35 cores=1,3,5,7
/proc/8387/stat : 8387 (strangenight2-m) R 8385 8387 7396 0 -1 4202496 805604 0 0 0 479704 331 0 0 25 0 4 0 877178608 749080576 139858 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/8387/statm: 182881 139858 379 95 0 177863 0
[pid=8387/tid=8388] ppid=8385 vsize=731524 CPUtime=1195.17 cores=1,3,5,7
/proc/8387/task/8388/stat : 8388 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 211864 0 0 0 119424 93 0 0 25 0 4 0 877178608 749080576 139858 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8387/tid=8389] ppid=8385 vsize=731524 CPUtime=1201.71 cores=1,3,5,7
/proc/8387/task/8389/stat : 8389 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 194400 0 0 0 120090 81 0 0 25 0 4 0 877178608 749080576 139858 33554432000 4194304 4580107 140733936655344 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8387/tid=8390] ppid=8385 vsize=731524 CPUtime=1201.72 cores=1,3,5,7
/proc/8387/task/8390/stat : 8390 (strangenight2-m) R 8385 8387 7396 0 -1 4202560 212779 0 0 0 120085 87 0 0 25 0 4 0 877178608 749080576 139858 33554432000 4194304 4580107 140733936655344 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 731524

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.41
CPU user time (s): 4797.07
CPU system time (s): 3.33949
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 903588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.07
system time used= 3.33949
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 805605
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= 502
involuntary context switches= 19570

runsolver used 1.81072 second user time and 4.75628 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-09 23:43:26
IDJOB=3366673
IDBENCH=83082
IDSOLVER=1844
FILE ID=node138/3366673-1307655806
RUNJOBID= node138-1307655806-8357
PBS_JOBID= 13549404
Free space on /tmp= 74104 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366673-1307655806/watcher-3366673-1307655806 -o /tmp/evaluation-result-3366673-1307655806/solver-3366673-1307655806 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366673-1307655806.cnf

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

MD5SUM BENCH= 08f7f98549a111fea2bbc5a28af8d7eb
RANDOM SEED=1197829030

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.854
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.854
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.854
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:      32132684 kB
Buffers:        208760 kB
Cached:         400224 kB
SwapCached:      13344 kB
Active:         371164 kB
Inactive:       257328 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32132684 kB
SwapTotal:    67111528 kB
SwapFree:     67051740 kB
Dirty:           10872 kB
Writeback:           0 kB
AnonPages:       16968 kB
Mapped:           8832 kB
Slab:           125120 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   274204 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= 74096 MiB
End job on node138 at 2011-06-10 00:03:30