Trace number 3173971

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.39 1201.94

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
MD5SUM2a8cb5d237e15bd9bba8245975866061
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.014996
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3173971-1304074574.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	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.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.05	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.05	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.05	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:      57 undec:       3 neg:      40
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.00/0.15	c  N st     8      4919       100      2130         0      4593     10650    102925   no data   no data
0.00/0.29	c  N st    10     11302       100      2130         0      4223     10650     75001   no data   no data
0.00/0.48	c  N st    11     17046       100      2130         0      9497     10650    184274   no data   no data
0.00/0.77	c  F st    12     25001       100      2130         0     11661     10650    233434   no data   no data
0.00/0.77	c  N st    12     25001       100      2130         0     11661     10650    233434   no data   no data
3.97/1.00	c Decided on static restart strategy
3.97/1.00	c  N st    18     30000       100      2130         0     10008     10650    184077   no data   no data
3.97/1.00	c  S st    18     30000       100      2130         0     10008     10650    184077   no data   no data
3.97/1.03	c  S st    18     30502       100      2130         0     10488     10650    194750   no data   no data
3.97/1.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.97/1.03	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.21	c lits-rem:       232  cl-subs:     2040  v-elim:      0  v-fix:    0  time:  0.17 s
4.77/1.24	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.77/1.24	c calculated reachability. Time: 0.00
4.77/1.24	c  N st    18     30502       100      2130         0      8448     10650    152120   no data   no data
5.97/1.57	c  N st    20     37613       100      2130         0      7803     10650    127462   no data   no data
7.19/1.82	c  N st    21     44013       100      2130         0     13702     10650    256498   no data   no data
7.59/1.91	c  S st    22     45754       100      2130         0     15308     10650    291497   no data   no data
7.59/1.96	c  S st    22     46259       100      2130         0     15795     10650    302600   no data   no data
7.59/1.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.59/1.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.59/1.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.59/1.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.59/1.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.59/1.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.59/1.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.59/1.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.59/1.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c lits-rem:       751  cl-subs:     2185  v-elim:      0  v-fix:    0  time:  0.38 s
9.16/2.36	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.16/2.37	c vivif2 --  cl tried    13610 cl shrink        0 lits rem          0 time: 0.00
9.56/2.41	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.56/2.42	c calculated reachability. Time: 0.00
9.56/2.42	c  N st    22     46259       100      2130         0     13610     10650    254634   no data   no data
12.36/3.17	c  N st    23     60656       100      2130         0      9594     10650    143387   no data   no data
14.36/3.60	c  N st    24     69388       100      2130         0     17744     10650    323848   no data   no data
14.36/3.60	c  S st    24     69388       100      2130         0     17744     10650    323848   no data   no data
14.36/3.65	c  S st    24     69894       100      2130         0     18232     10650    334648   no data   no data
14.36/3.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.36/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.36/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.36/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.36/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.36/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.36/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.36/3.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.36/3.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.98/4.09	c lits-rem:       337  cl-subs:     2093  v-elim:      0  v-fix:    0  time:  0.42 s
15.98/4.09	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
15.98/4.09	c vivif2 --  cl tried    16139 cl shrink        0 lits rem          0 time: 0.00
16.38/4.15	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.38/4.15	c calculated reachability. Time: 0.00
16.38/4.15	c  N st    24     69894       100      2130         0     16139     10650    290435   no data   no data
20.77/5.21	c  F st    25     87501       100      2130         0     11238     10650    162532   no data   no data
20.77/5.21	c  N st    25     87501       100      2130         0     11238     10650    162532   no data   no data
21.54/5.49	c Decided on static restart strategy
22.35/5.65	c  N st    32     95542       100      2130         0     18681     10650    321976   no data   no data
24.76/6.23	c  N st    34    104844       100      2130         0     15272     10650    244371   no data   no data
24.76/6.23	c  S st    34    104844       100      2130         0     15272     10650    244371   no data   no data
24.76/6.28	c  S st    34    105348       100      2130         0     15756     10650    255045   no data   no data
24.76/6.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.76/6.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.76/6.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.76/6.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.76/6.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.76/6.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.76/6.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.76/6.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.76/6.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.45	c lits-rem:       210  cl-subs:     1241  v-elim:      0  v-fix:    0  time:  0.16 s
25.54/6.45	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.54/6.45	c vivif2 --  cl tried    14515 cl shrink        0 lits rem          0 time: 0.00
25.94/6.51	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.94/6.51	c calculated reachability. Time: 0.00
25.94/6.51	c  N st    34    105348       100      2130         0     14515     10650    229186   no data   no data
28.34/7.12	c  N st    35    114946       100      2130         0     23398     10650    421558   no data   no data
32.34/8.14	c  N st    36    129343       100      2130         0     23769     10650    421267   no data   no data
38.72/9.70	c  N st    37    150938       100      2130         0     15133     10650    204285   no data   no data
40.32/10.14	c  S st    38    158022       100      2130         0     21665     10650    346837   no data   no data
40.32/10.20	c  S st    38    158525       100      2130         0     22150     10650    357531   no data   no data
40.72/10.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.72/10.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.72/10.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.72/10.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.72/10.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.72/10.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.72/10.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.72/10.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.72/10.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.34/10.66	c lits-rem:       441  cl-subs:     2180  v-elim:      0  v-fix:    0  time:  0.44 s
42.34/10.66	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
42.34/10.66	c vivif2 --  cl tried    19970 cl shrink        0 lits rem          0 time: 0.00
42.75/10.74	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.75/10.74	c calculated reachability. Time: 0.00
42.75/10.74	c  N st    38    158525       100      2130         0     19970     10650    311034   no data   no data
57.90/14.57	c  N st    39    207113       100      2130         0     32635     10650    569435   no data   no data
69.11/17.37	c  N st    40    237787       100      2130         0     24978     10650    380632   no data   no data
69.11/17.37	c  S st    40    237787       100      2130         0     24978     10650    380632   no data   no data
69.48/17.43	c  S st    40    238288       100      2130         0     25458     10650    391497   no data   no data
69.48/17.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.48/17.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
69.48/17.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.48/17.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.48/17.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.48/17.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
69.48/17.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.48/17.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
69.48/17.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.48/17.92	c lits-rem:       349  cl-subs:     2111  v-elim:      0  v-fix:    0  time:  0.47 s
71.48/17.92	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
71.48/17.93	c vivif2 --  cl tried    23347 cl shrink        0 lits rem          0 time: 0.00
71.88/18.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
71.88/18.01	c calculated reachability. Time: 0.00
71.88/18.01	c  N st    40    238288       100      2130         0     23347     10650    348831   no data   no data
96.24/24.16	c  F st    41    306250       100      2130         0     25093     10650    345656   no data   no data
96.24/24.16	c  N st    41    306250       100      2130         0     25093     10650    345656   no data   no data
98.24/24.65	c Decided on static restart strategy
107.44/26.98	c  N st    51    334552       100      2130         0     29240     10650    431129   no data   no data
116.22/29.16	c  N st    53    357432       100      2130         0     27355     10650    374972   no data   no data
116.22/29.16	c  S st    53    357432       100      2130         0     27355     10650    374972   no data   no data
116.62/29.22	c  S st    53    357938       100      2130         0     27842     10650    386130   no data   no data
116.62/29.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
116.62/29.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
116.62/29.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.62/29.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116.62/29.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116.62/29.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
116.62/29.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
116.62/29.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
116.62/29.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.82/29.53	c lits-rem:       207  cl-subs:     1253  v-elim:      0  v-fix:    0  time:  0.29 s
117.82/29.53	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
117.82/29.54	c vivif2 --  cl tried    26589 cl shrink        0 lits rem          0 time: 0.00
118.22/29.63	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.10
118.22/29.64	c calculated reachability. Time: 0.00
118.22/29.64	c  N st    53    357938       100      2130         0     26589     10650    359260   no data   no data
131.40/32.96	c  N st    54    390332       100      2130         0     32453     10650    470062   no data   no data
152.97/38.33	c  N st    55    438920       100      2130         0     26519     10650    323218   no data   no data
185.33/46.44	c  N st    56    511802       100      2130         0     39255     10650    573242   no data   no data
197.71/49.52	c  N st    57    536909       100      2130         0     33824     10650    446394   no data   no data
197.71/49.52	c  S st    57    536909       100      2130         0     33824     10650    446394   no data   no data
198.11/49.61	c  S st    57    537412       100      2130         0     34302     10650    457160   no data   no data
198.11/49.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.11/49.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.11/49.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.11/49.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.11/49.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.11/49.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.11/49.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.11/49.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.11/49.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
199.71/50.08	c lits-rem:       255  cl-subs:     1653  v-elim:      0  v-fix:    0  time:  0.44 s
199.71/50.08	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
199.71/50.09	c vivif2 --  cl tried    32649 cl shrink        0 lits rem          0 time: 0.00
200.52/50.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.13
200.52/50.21	c calculated reachability. Time: 0.00
200.52/50.21	c  N st    57    537412       100      2130         0     32649     10650    424280   no data   no data
283.19/70.91	c  N st    58    701397       100      2130         0     60314     10650    990907   no data   no data
344.71/86.32	c  N st    59    806119       100      2130         0     54554     10650    822892   no data   no data
344.71/86.32	c  S st    59    806119       100      2130         0     54554     10650    822892   no data   no data
345.11/86.47	c  S st    59    806620       100      2130         0     55029     10650    833508   no data   no data
345.11/86.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
345.11/86.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
345.11/86.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
345.11/86.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
345.11/86.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
345.11/86.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
345.11/86.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
345.53/86.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
345.53/86.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
357.49/89.54	c lits-rem:      1337  cl-subs:     5226  v-elim:      0  v-fix:    0  time:  3.01 s
357.49/89.54	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
357.49/89.55	c vivif2 --  cl tried    49803 cl shrink        0 lits rem          0 time: 0.01
358.29/89.79	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.24
358.29/89.79	c calculated reachability. Time: 0.00
358.29/89.79	c  N st    59    806620       100      2130         0     49803     10650    730491   no data   no data
526.87/131.91	c  F st    60   1071875       100      2130         0     64707     10650    972571   no data   no data
526.87/131.91	c  N st    60   1071875       100      2130         0     64707     10650    972571   no data   no data
531.66/133.13	c Decided on static restart strategy
550.84/137.91	c  N st    70   1100178       100      2130         0     49673     10650    646746   no data   no data
576.00/144.29	c  N st    72   1136171       100      2130         0     82863     10650   1380724   no data   no data
597.57/149.69	c  N st    73   1168564       100      2130         0     70399     10650   1104790   no data   no data
629.53/157.65	c  N st    74   1209930       100      2130         0     65218     10650    959948   no data   no data
629.53/157.65	c  S st    74   1209930       100      2130         0     65218     10650    959948   no data   no data
630.33/157.89	c  S st    74   1210435       100      2130         0     65700     10650    970691   no data   no data
630.33/157.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
630.73/157.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
630.73/157.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
630.73/157.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
630.73/157.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
630.73/157.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
630.73/157.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
630.73/157.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
630.73/157.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
659.09/165.07	c lits-rem:      1200  cl-subs:     6367  v-elim:      0  v-fix:    0  time:  7.08 s
659.09/165.07	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
659.09/165.08	c vivif2 --  cl tried    59333 cl shrink        0 lits rem          0 time: 0.01
660.69/165.46	c asymm  cl-useful: 0/1837/2130 lits-rem:0 time: 0.38
660.69/165.46	c calculated reachability. Time: 0.00
660.69/165.46	c  N st    74   1210435       100      2130         0     59333     10650    841596   no data   no data
719.43/180.12	c  N st    75   1283318       100      2130         0     82381     10650   1321944   no data   no data
805.70/201.79	c  N st    76   1392641       100      2130         0     91991     10650   1509788   no data   no data
949.90/237.83	c  N st    77   1556625       100      2130         0     49776     10650    539858   no data   no data
1081.73/270.88	c  N st    78   1710435       100      2130         0     88889     10650   1365645   no data   no data
1081.73/270.88	c  S st    78   1710435       100      2130         0     88889     10650   1365645   no data   no data
1082.93/271.14	c  S st    78   1710937       100      2130         0     89369     10650   1376861   no data   no data
1082.93/271.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1082.93/271.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1082.93/271.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1082.93/271.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1082.93/271.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1082.93/271.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1082.93/271.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1083.33/271.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1083.33/271.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1144.85/286.62	c lits-rem:      1827  cl-subs:    11193  v-elim:      0  v-fix:    0  time: 15.37 s
1144.85/286.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1144.85/286.64	c vivif2 --  cl tried    78176 cl shrink        0 lits rem          0 time: 0.02
1147.23/287.22	c asymm  cl-useful: 0/1424/2130 lits-rem:0 time: 0.56
1147.23/287.22	c calculated reachability. Time: 0.00
1147.23/287.22	c  N st    78   1710937       100      2130         0     78176     10650   1156770   no data   no data
1519.14/380.34	c  N st    79   2079901       100      2130         0     90010     10650   1312227   no data   no data
1640.56/410.73	c  N st    80   2210937       100      2130         0     94003     10650   1385935   no data   no data
1640.56/410.73	c  S st    80   2210937       100      2130         0     94003     10650   1385935   no data   no data
1641.78/411.04	c  S st    80   2211447       100      2130         0     94496     10650   1396996   no data   no data
1641.78/411.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1641.78/411.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1641.78/411.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1641.78/411.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1641.78/411.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1641.78/411.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1641.78/411.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1642.18/411.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1642.18/411.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1689.69/423.03	c lits-rem:      1349  cl-subs:    10714  v-elim:      0  v-fix:    0  time: 11.88 s
1689.69/423.03	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1689.69/423.05	c vivif2 --  cl tried    83782 cl shrink        0 lits rem          0 time: 0.02
1690.51/423.24	c asymm  cl-useful: 0/706/2130 lits-rem:0 time: 0.19
1690.51/423.24	c calculated reachability. Time: 0.00
1690.51/423.24	c  N st    80   2211447       100      2130         0     83782     10650   1187897   no data   no data
2228.14/558.05	c  N st    81   2711447       100      2130         0    106059     10650   1580873   no data   no data
2228.14/558.05	c  S st    81   2711447       100      2130         0    106059     10650   1580873   no data   no data
2229.76/558.40	c  S st    81   2711949       100      2130         0    106546     10650   1592330   no data   no data
2229.76/558.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2229.76/558.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2229.76/558.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2229.76/558.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2229.76/558.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2229.76/558.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2229.76/558.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2229.76/558.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2230.16/558.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2286.07/572.59	c lits-rem:      1682  cl-subs:    11935  v-elim:      0  v-fix:    0  time: 14.06 s
2286.07/572.59	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2286.47/572.61	c vivif2 --  cl tried    94611 cl shrink        0 lits rem          0 time: 0.02
2287.66/572.95	c asymm  cl-useful: 0/1189/2130 lits-rem:0 time: 0.34
2287.66/572.95	c calculated reachability. Time: 0.00
2287.66/572.95	c  N st    81   2711949       100      2130         0     94611     10650   1361234   no data   no data
2850.50/713.84	c  N st    82   3211951       100      2130         0     72858     10650    781717   no data   no data
2850.50/713.84	c  S st    82   3211951       100      2130         0     72858     10650    781717   no data   no data
2851.30/714.05	c  S st    82   3212456       100      2130         0     73340     10650    792674   no data   no data
2851.30/714.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2851.30/714.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2851.30/714.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2851.30/714.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2851.30/714.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2851.30/714.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2851.30/714.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2851.70/714.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2851.70/714.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2853.72/714.62	c lits-rem:        79  cl-subs:      535  v-elim:      0  v-fix:    0  time:  0.49 s
2853.72/714.62	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2853.72/714.63	c vivif2 --  cl tried    72805 cl shrink        0 lits rem          0 time: 0.01
2854.50/714.83	c asymm  cl-useful: 0/941/2130 lits-rem:0 time: 0.20
2854.50/714.83	c calculated reachability. Time: 0.00
2854.50/714.83	c  N st    82   3212456       100      2130         0     72805     10650    782971   no data   no data
3473.70/869.90	c  N st    83   3712456       100      2130         0     82560     10650    923634   no data   no data
3473.70/869.90	c  S st    83   3712456       100      2130         0     82560     10650    923634   no data   no data
3474.87/870.15	c  S st    83   3712962       100      2130         0     83042     10650    934719   no data   no data
3474.87/870.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3474.87/870.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3474.87/870.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3474.87/870.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3474.87/870.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3474.87/870.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3474.87/870.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3475.27/870.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3475.27/870.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3479.67/871.33	c lits-rem:       210  cl-subs:     2099  v-elim:      0  v-fix:    0  time:  1.09 s
3479.67/871.33	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3479.67/871.34	c vivif2 --  cl tried    80943 cl shrink        0 lits rem          0 time: 0.01
3480.87/871.65	c asymm  cl-useful: 0/1376/2130 lits-rem:0 time: 0.30
3480.87/871.65	c calculated reachability. Time: 0.00
3480.87/871.65	c  N st    83   3712962       100      2130         0     80943     10650    899613   no data   no data
3526.80/883.15	c  F st    84   3751563       100      2130         0    116357     10650   1674093   no data   no data
3526.80/883.15	c  N st    84   3751563       100      2130         0    116357     10650   1674093   no data   no data
3535.99/885.48	c Decided on static restart strategy
3572.35/894.57	c  N st    94   3779867       100      2130         0    142478     10650   2269113   no data   no data
3620.28/906.59	c  N st    96   3815863       100      2130         0     97981     10650   1266205   no data   no data
3661.43/916.83	c  N st    97   3848258       100      2130         0    127685     10650   1916810   no data   no data
3737.35/935.87	c  N st    98   3896847       100      2130         0     93391     10650   1132010   no data   no data
3854.37/965.18	c  N st    99   3969731       100      2130         0     80581     10650    851432   no data   no data
4002.97/1002.37	c  N st   100   4079056       100      2130         0    100229     10650   1270282   no data   no data
4187.13/1048.46	c  N st   101   4212962       100      2130         0    141031     10650   2136858   no data   no data
4187.13/1048.46	c  S st   101   4212962       100      2130         0    141031     10650   2136858   no data   no data
4189.13/1048.96	c  S st   101   4213466       100      2130         0    141500     10650   2147902   no data   no data
4189.13/1048.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4189.54/1049.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
4189.54/1049.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4189.54/1049.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4189.54/1049.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4189.54/1049.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4189.54/1049.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4189.54/1049.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4189.94/1049.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4338.12/1086.29	c lits-rem:      2488  cl-subs:    18251  v-elim:      0  v-fix:    0  time: 37.15 s
4338.12/1086.29	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4338.52/1086.32	c vivif2 --  cl tried   123249 cl shrink        0 lits rem          0 time: 0.03
4340.11/1086.76	c asymm  cl-useful: 0/754/2130 lits-rem:0 time: 0.44
4340.11/1086.77	c calculated reachability. Time: 0.00
4340.11/1086.77	c  N st   101   4213466       100      2130         0    123249     10650   1795742   no data   no data
4750.77/1189.50	c  N st   102   4459442       100      2130         0     99613     10650   1213872   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-3173971-1304074574/watcher-3173971-1304074574 -o /tmp/evaluation-result-3173971-1304074574/solver-3173971-1304074574 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173971-1304074574.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: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 519057782 52441088 347 33554432000 4194304 4627427 140736665902720 18446744073709551615 47924302870448 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 12803 347 299 106 0 7774 0
[pid=17254/tid=17258] ppid=17251 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519057783 52441088 347 33554432000 4194304 4627427 140736665902720 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 519057783 52441088 347 33554432000 4194304 4627427 140736665902720 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 519057783 52441088 347 33554432000 4194304 4627427 140736665902720 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.806739 s]
/proc/loadavg: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=285772 CPUtime=3.19 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 5364 0 0 0 319 0 0 0 18 0 4 0 519057782 292630528 2927 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309186 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 71443 2927 385 106 0 66414 0
[pid=17254/tid=17258] ppid=17251 vsize=285772 CPUtime=0.79 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1193 0 0 0 79 0 0 0 18 0 4 0 519057783 292630528 2927 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=285772 CPUtime=0.79 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1233 0 0 0 79 0 0 0 19 0 4 0 519057783 292630528 2927 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=285772 CPUtime=0.79 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1193 0 0 0 79 0 0 0 22 0 4 0 519057783 292630528 2927 33554432000 4194304 4627427 140736665902720 18446744073709551615 4352202 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 285772

[startup+0.900723 s]
/proc/loadavg: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=286020 CPUtime=3.57 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 6036 0 0 0 357 0 0 0 19 0 4 0 519057782 292884480 2692 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 71505 2692 385 106 0 66476 0
[pid=17254/tid=17258] ppid=17251 vsize=286020 CPUtime=0.89 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1394 0 0 0 89 0 0 0 19 0 4 0 519057783 292884480 2692 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=286020 CPUtime=0.89 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1314 0 0 0 89 0 0 0 19 0 4 0 519057783 292884480 2692 33554432000 4194304 4627427 140736665902720 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=286020 CPUtime=0.88 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1387 0 0 0 88 0 0 0 23 0 4 0 519057783 292884480 2692 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308120 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 286020

[startup+1.0007 s]
/proc/loadavg: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=286112 CPUtime=3.97 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 6407 0 0 0 397 0 0 0 19 0 4 0 519057782 292978688 2763 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 71528 2763 385 106 0 66499 0
[pid=17254/tid=17258] ppid=17251 vsize=286112 CPUtime=0.99 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1458 0 0 0 99 0 0 0 19 0 4 0 519057783 292978688 2763 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=286112 CPUtime=0.99 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1515 0 0 0 99 0 0 0 19 0 4 0 519057783 292978688 2763 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=286112 CPUtime=0.98 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1445 0 0 0 98 0 0 0 23 0 4 0 519057783 292978688 2763 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 286112

[startup+1.10069 s]
/proc/loadavg: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=286380 CPUtime=4.38 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 7884 0 0 0 437 1 0 0 19 0 4 0 519057782 293253120 4240 33554432000 4194304 4627427 140736665902720 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 71595 4240 388 106 0 66566 0
[pid=17254/tid=17258] ppid=17251 vsize=286380 CPUtime=1.09 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1505 0 0 0 109 0 0 0 19 0 4 0 519057783 293253120 4240 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=286380 CPUtime=1.09 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1581 0 0 0 109 0 0 0 19 0 4 0 519057783 293253120 4241 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=286380 CPUtime=1.08 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1493 0 0 0 108 0 0 0 24 0 4 0 519057783 293253120 4241 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 286380

[startup+1.50061 s]
/proc/loadavg: 6.89 7.86 7.86 2/173 17254
/proc/meminfo: memFree=30370084/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=291232 CPUtime=5.97 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 10182 0 0 0 596 1 0 0 20 0 4 0 519057782 298221568 5353 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 72808 5353 388 106 0 67779 0
[pid=17254/tid=17258] ppid=17251 vsize=291232 CPUtime=1.49 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 2907 0 0 0 149 0 0 0 20 0 4 0 519057783 298221568 5353 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=291232 CPUtime=1.49 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1958 0 0 0 149 0 0 0 20 0 4 0 519057783 298221568 5353 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=291232 CPUtime=1.48 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 1878 0 0 0 148 0 0 0 25 0 4 0 519057783 298221568 5354 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309225 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291232

[startup+3.10033 s]
/proc/loadavg: 6.89 7.86 7.86 9/184 17265
/proc/meminfo: memFree=30293692/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=288652 CPUtime=12.36 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 19854 0 0 0 1234 2 0 0 25 0 4 0 519057782 295579648 11159 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 72163 11159 389 106 0 67134 0
[pid=17254/tid=17258] ppid=17251 vsize=288652 CPUtime=3.09 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 5317 0 0 0 309 0 0 0 25 0 4 0 519057783 295579648 11159 33554432000 4194304 4627427 140736665902720 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=288652 CPUtime=3.07 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 4840 0 0 0 307 0 0 0 25 0 4 0 519057783 295579648 11160 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=288652 CPUtime=3.08 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 4512 0 0 0 307 1 0 0 25 0 4 0 519057783 295579648 11160 33554432000 4194304 4627427 140736665902720 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 288652

[startup+6.30674 s]
/proc/loadavg: 6.98 7.87 7.86 9/184 17265
/proc/meminfo: memFree=30268040/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=307212 CPUtime=25.16 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 28045 0 0 0 2512 4 0 0 25 0 4 0 519057782 314585088 14118 33554432000 4194304 4627427 140736665902720 18446744073709551615 4421806 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 76803 14118 388 106 0 71774 0
[pid=17254/tid=17258] ppid=17251 vsize=307212 CPUtime=6.29 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 6934 0 0 0 629 0 0 0 25 0 4 0 519057783 314585088 14118 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=307212 CPUtime=6.26 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 6683 0 0 0 626 0 0 0 25 0 4 0 519057783 314585088 14118 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=307212 CPUtime=6.29 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 6514 0 0 0 628 1 0 0 25 0 4 0 519057783 314585088 14118 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 307212

[startup+12.7006 s]
/proc/loadavg: 7.06 7.87 7.86 9/184 17265
/proc/meminfo: memFree=30245240/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=317136 CPUtime=50.71 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 40464 0 0 0 5065 6 0 0 25 0 4 0 519057782 324747264 17072 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 79284 17072 388 106 0 74255 0
[pid=17254/tid=17258] ppid=17251 vsize=317136 CPUtime=12.68 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 9312 0 0 0 1268 0 0 0 25 0 4 0 519057783 324747264 17072 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=317136 CPUtime=12.63 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 9868 0 0 0 1262 1 0 0 25 0 4 0 519057783 324747264 17072 33554432000 4194304 4627427 140736665902720 18446744073709551615 4332696 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=317136 CPUtime=12.68 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 10671 0 0 0 1266 2 0 0 25 0 4 0 519057783 324747264 17072 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 317136

[startup+25.5002 s]
/proc/loadavg: 7.34 7.89 7.86 9/184 17266
/proc/meminfo: memFree=30215968/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=321672 CPUtime=101.84 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 60912 0 0 0 10175 9 0 0 25 0 4 0 519057782 329392128 22268 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 80418 22268 388 106 0 75389 0
[pid=17254/tid=17258] ppid=17251 vsize=321672 CPUtime=25.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 14139 0 0 0 2547 1 0 0 25 0 4 0 519057783 329392128 22268 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=321672 CPUtime=25.36 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 15660 0 0 0 2534 2 0 0 25 0 4 0 519057783 329392128 22268 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=321672 CPUtime=25.49 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 16367 0 0 0 2546 3 0 0 25 0 4 0 519057783 329392128 22268 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321672

[startup+51.1006 s]
/proc/loadavg: 7.64 7.91 7.87 9/184 17266
/proc/meminfo: memFree=30173984/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=330836 CPUtime=204.1 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 91566 0 0 0 20393 17 0 0 25 0 4 0 519057782 338776064 28499 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 82709 28499 388 106 0 77680 0
[pid=17254/tid=17258] ppid=17251 vsize=330836 CPUtime=51.08 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 20498 0 0 0 5106 2 0 0 25 0 4 0 519057783 338776064 28499 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309200 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=330836 CPUtime=50.82 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 23551 0 0 0 5078 4 0 0 25 0 4 0 519057783 338776064 28499 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=330836 CPUtime=51.08 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 24376 0 0 0 5103 5 0 0 25 0 4 0 519057783 338776064 28499 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 330836

[startup+102.3 s]
/proc/loadavg: 7.81 7.91 7.87 9/184 17298
/proc/meminfo: memFree=30114620/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=353440 CPUtime=408.62 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 141287 0 0 0 40831 31 0 0 25 0 4 0 519057782 361922560 37829 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 88360 37829 388 106 0 83331 0
[pid=17254/tid=17258] ppid=17251 vsize=353440 CPUtime=102.28 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 28978 0 0 0 10224 4 0 0 25 0 4 0 519057783 361922560 37829 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=353440 CPUtime=101.73 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 37543 0 0 0 10165 8 0 0 25 0 4 0 519057783 361922560 37829 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=353440 CPUtime=102.28 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 38877 0 0 0 10219 9 0 0 25 0 4 0 519057783 361922560 37829 33554432000 4194304 4627427 140736665902720 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 353440

[startup+162.3 s]

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

[pid=17254] ppid=17251 vsize=547648 CPUtime=2804.57 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 433634 0 0 0 280308 149 0 0 25 0 4 0 519057782 560791552 93354 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 136912 93354 388 106 0 131883 0
[pid=17254/tid=17258] ppid=17251 vsize=547648 CPUtime=701.47 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 79891 0 0 0 70122 25 0 0 25 0 4 0 519057783 560791552 93354 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=547648 CPUtime=698.48 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 122967 0 0 0 69803 45 0 0 25 0 4 0 519057783 560791552 93354 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=547648 CPUtime=702.3 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 120011 0 0 0 70190 40 0 0 25 0 4 0 519057783 560791552 93354 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2804.57
Current children cumulated vsize (KiB) 547648

[startup+762.301 s]
/proc/loadavg: 8.08 8.09 7.98 9/184 17327
/proc/meminfo: memFree=29629732/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=560748 CPUtime=3044.25 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 453346 0 0 0 304267 158 0 0 25 0 4 0 519057782 574205952 94681 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 140187 94681 388 106 0 135158 0
[pid=17254/tid=17258] ppid=17251 vsize=560748 CPUtime=761.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 84627 0 0 0 76121 27 0 0 25 0 4 0 519057783 574205952 94681 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=560748 CPUtime=758.15 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 130502 0 0 0 75767 48 0 0 25 0 4 0 519057783 574205952 94681 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=560748 CPUtime=762.3 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 124084 0 0 0 76187 43 0 0 25 0 4 0 519057783 574205952 94681 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3044.25
Current children cumulated vsize (KiB) 560748

[startup+822.301 s]
/proc/loadavg: 8.13 8.10 7.99 9/184 17329
/proc/meminfo: memFree=29620388/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=535100 CPUtime=3283.94 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 468579 0 0 0 328229 165 0 0 25 0 4 0 519057782 547942400 92449 33554432000 4194304 4627427 140736665902720 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 133775 92449 388 106 0 128746 0
[pid=17254/tid=17258] ppid=17251 vsize=535100 CPUtime=821.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 85816 0 0 0 82120 28 0 0 25 0 4 0 519057783 547942400 92449 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=535100 CPUtime=817.83 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 137448 0 0 0 81732 51 0 0 25 0 4 0 519057783 547942400 92449 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=535100 CPUtime=822.3 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 128257 0 0 0 82186 44 0 0 25 0 4 0 519057783 547942400 92449 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3283.94
Current children cumulated vsize (KiB) 535100

[startup+882.301 s]
/proc/loadavg: 8.15 8.11 8.00 9/184 17331
/proc/meminfo: memFree=29590228/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=575680 CPUtime=3523.61 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 490385 0 0 0 352188 173 0 0 25 0 4 0 519057782 589496320 96787 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 143920 96787 388 106 0 138891 0
[pid=17254/tid=17258] ppid=17251 vsize=575680 CPUtime=881.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 90313 0 0 0 88119 29 0 0 25 0 4 0 519057783 589496320 96787 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=575680 CPUtime=877.5 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 143612 0 0 0 87697 53 0 0 25 0 4 0 519057783 589496320 96787 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=575680 CPUtime=882.3 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 134480 0 0 0 88182 48 0 0 25 0 4 0 519057783 589496320 96787 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3523.61
Current children cumulated vsize (KiB) 575680

[startup+942.301 s]
/proc/loadavg: 8.09 8.10 8.00 9/184 17332
/proc/meminfo: memFree=29531156/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=563096 CPUtime=3763.31 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 509938 0 0 0 376147 184 0 0 25 0 4 0 519057782 576610304 96139 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 140774 96139 388 106 0 135745 0
[pid=17254/tid=17258] ppid=17251 vsize=563096 CPUtime=941.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 96360 0 0 0 94116 32 0 0 25 0 4 0 519057783 576610304 96139 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=563096 CPUtime=937.18 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 148100 0 0 0 93662 56 0 0 25 0 4 0 519057783 576610304 96139 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=563096 CPUtime=942.31 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 137551 0 0 0 94182 49 0 0 25 0 4 0 519057783 576610304 96139 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3763.31
Current children cumulated vsize (KiB) 563096

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.01 9/184 17334
/proc/meminfo: memFree=29553432/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=537108 CPUtime=4002.97 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 533140 0 0 0 400102 195 0 0 25 0 4 0 519057782 549998592 94970 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 134277 94970 388 106 0 129248 0
[pid=17254/tid=17258] ppid=17251 vsize=537108 CPUtime=1001.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 102622 0 0 0 100113 35 0 0 25 0 4 0 519057783 549998592 94970 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=537108 CPUtime=996.85 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 153059 0 0 0 99625 60 0 0 25 0 4 0 519057783 549998592 94970 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=537108 CPUtime=1002.31 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 143716 0 0 0 100179 52 0 0 25 0 4 0 519057783 549998592 94970 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4002.97
Current children cumulated vsize (KiB) 537108

[startup+1062.31 s]
/proc/loadavg: 8.19 8.13 8.02 9/184 17335
/proc/meminfo: memFree=29539260/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=616316 CPUtime=4242.67 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 559553 0 0 0 424061 206 0 0 25 0 4 0 519057782 631107584 99798 33554432000 4194304 4627427 140736665902720 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 154079 99798 388 106 0 149050 0
[pid=17254/tid=17258] ppid=17251 vsize=616316 CPUtime=1061.49 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 108681 0 0 0 106111 38 0 0 25 0 4 0 519057783 631107584 99798 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=616316 CPUtime=1056.53 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 158969 0 0 0 105590 63 0 0 25 0 4 0 519057783 631107584 99798 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=616316 CPUtime=1062.31 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 149759 0 0 0 106176 55 0 0 25 0 4 0 519057783 631107584 99798 33554432000 4194304 4627427 140736665902720 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4242.67
Current children cumulated vsize (KiB) 616316

[startup+1122.3 s]
/proc/loadavg: 8.18 8.13 8.02 9/184 17337
/proc/meminfo: memFree=29504260/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=631260 CPUtime=4482.34 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 573554 0 0 0 448020 214 0 0 25 0 4 0 519057782 646410240 106243 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 157815 106243 389 106 0 152786 0
[pid=17254/tid=17258] ppid=17251 vsize=631260 CPUtime=1121.49 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 110432 0 0 0 112110 39 0 0 25 0 4 0 519057783 646410240 106243 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=631260 CPUtime=1116.2 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 162687 0 0 0 111555 65 0 0 25 0 4 0 519057783 646410240 106243 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=631260 CPUtime=1122.3 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 155433 0 0 0 112174 56 0 0 25 0 4 0 519057783 646410240 106243 33554432000 4194304 4627427 140736665902720 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4482.34
Current children cumulated vsize (KiB) 631260

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 8.02 9/184 17339
/proc/meminfo: memFree=29477828/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=604400 CPUtime=4722.01 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 587543 0 0 0 471980 221 0 0 25 0 4 0 519057782 618905600 108890 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 151100 108890 389 106 0 146071 0
[pid=17254/tid=17258] ppid=17251 vsize=604400 CPUtime=1181.48 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 114509 0 0 0 118107 41 0 0 25 0 4 0 519057783 618905600 108890 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=604400 CPUtime=1175.87 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 168603 0 0 0 117519 68 0 0 25 0 4 0 519057783 618905600 108890 33554432000 4194304 4627427 140736665902720 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=604400 CPUtime=1182.31 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 158212 0 0 0 118173 58 0 0 25 0 4 0 519057783 618905600 108890 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.01
Current children cumulated vsize (KiB) 604400



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.09 8.11 8.02 9/184 17339
/proc/meminfo: memFree=29441980/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=617932 CPUtime=4800.34 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 591960 0 0 0 479810 224 0 0 25 0 4 0 519057782 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 154483 112157 389 106 0 149454 0
[pid=17254/tid=17258] ppid=17251 vsize=617932 CPUtime=1201.1 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 117057 0 0 0 120067 43 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=617932 CPUtime=1195.37 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 169250 0 0 0 119468 69 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=617932 CPUtime=1201.92 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 159321 0 0 0 120134 58 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 617932

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

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

[startup+1201.9 s]
/proc/loadavg: 8.09 8.11 8.02 9/184 17339
/proc/meminfo: memFree=29441980/32951124 swapFree=67111364/67111528
[pid=17254] ppid=17251 vsize=617932 CPUtime=4800.34 cores=1,3,5,7
/proc/17254/stat : 17254 (strangenight2-m) R 17251 17254 16634 0 -1 4202496 591960 0 0 0 479810 224 0 0 25 0 4 0 519057782 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/17254/statm: 154483 112157 389 106 0 149454 0
[pid=17254/tid=17258] ppid=17251 vsize=617932 CPUtime=1201.1 cores=1,3,5,7
/proc/17254/task/17258/stat : 17258 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 117057 0 0 0 120067 43 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17254/tid=17259] ppid=17251 vsize=617932 CPUtime=1195.37 cores=1,3,5,7
/proc/17254/task/17259/stat : 17259 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 169250 0 0 0 119468 69 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17254/tid=17260] ppid=17251 vsize=617932 CPUtime=1201.92 cores=1,3,5,7
/proc/17254/task/17260/stat : 17260 (strangenight2-m) R 17251 17254 16634 0 -1 4202560 159321 0 0 0 120134 58 0 0 25 0 4 0 519057783 632762368 112157 33554432000 4194304 4627427 140736665902720 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 617932

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.94
CPU time (s): 4800.39
CPU user time (s): 4798.12
CPU system time (s): 2.26566
CPU usage (%): 399.388
Max. virtual memory (cumulated for all children) (KiB): 686048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.26565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591963
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= 334
involuntary context switches= 34518

runsolver used 1.85072 second user time and 4.71628 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 12:56:14
IDJOB=3173971
IDBENCH=82789
IDSOLVER=1586
FILE ID=node106/3173971-1304074574
RUNJOBID= node106-1304074574-17239
PBS_JOBID= 13170478
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173971-1304074574/watcher-3173971-1304074574 -o /tmp/evaluation-result-3173971-1304074574/solver-3173971-1304074574 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173971-1304074574.cnf

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

MD5SUM BENCH= 2a8cb5d237e15bd9bba8245975866061
RANDOM SEED=360872448

node106.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.830
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.830
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.20
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.830
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.830
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.82
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.830
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.74
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.830
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.830
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30370124 kB
Buffers:        239236 kB
Cached:        2067516 kB
SwapCached:         88 kB
Active:         778972 kB
Inactive:      1591140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30370124 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11400 kB
Writeback:           0 kB
AnonPages:       63148 kB
Mapped:          14480 kB
Slab:           146076 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189708 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= 72148 MiB
End job on node106 at 2011-04-29 13:16:18