Trace number 3366792

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.19 1203.64

General information on the benchmark

NameSAT02/handmade/simon/
satex-challenges/f600.shuffled.cnf
MD5SUMd42133fd7674f41611be43d1b8ca7db6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2550
Sum of the clauses size7650
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32550
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366792-1305417414.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2550
0.00/0.01	c -- clauses added:            0 learnts,         2550 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2550         0         0      7650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2550/2550 lits-rem:0 time: 0.00
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:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.11	c calculated reachability. Time: 0.00
0.00/0.11	c Calc default polars -  time:   0.00 s pos:     235 undec:      59 neg:     306
0.00/0.11	c =========================================================================================
0.00/0.11	c types(t): F = full restart, N = normal restart
0.00/0.11	c types(t): S = simplification begin/end, E = solution found
0.00/0.11	c restart types(rt): st = static, dy = dynamic
0.00/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.11	c  B st     0         0       588      2537         0         0      7675         0   no data   no data
0.00/0.11	c Decided on static restart strategy
0.42/0.17	c  N st     8      4914       588      2537         0      4854      7675    128205   no data   no data
1.57/0.43	c  N st    10     11296       588      2537         0      4497      7675     87643   no data   no data
2.77/0.70	c  N st    11     17039       588      2537         0     10160      7675    260807   no data   no data
4.39/1.14	c  F st    12     25001       588      2537         0     12490      7675    337015   no data   no data
4.39/1.14	c  N st    12     25001       588      2537         0     12490      7675    337015   no data   no data
5.55/1.40	c Decided on static restart strategy
5.55/1.40	c  N st    18     30000       588      2537         0     10747      7675    234695   no data   no data
5.55/1.40	c  S st    18     30000       588      2537         0     10747      7675    234695   no data   no data
5.55/1.44	c  S st    18     30502       588      2537         0     11248      7675    248244   no data   no data
5.55/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.55/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.55/1.44	c blocked clauses removed:       23 vars:      3 tried:         588 T: 0.00 s
5.55/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.55/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.55/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.55/1.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:        85  cl-subs:      362  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.51	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
5.96/1.51	c calculated reachability. Time: 0.00
5.96/1.51	c  N st    18     30502       585      2514         0     10885      7606    236648   no data   no data
7.56/1.93	c  N st    20     37614       585      2514         0     10122      7606    199505   no data   no data
9.19/2.33	c  N st    21     44013       585      2514         0     16388      7606    365793   no data   no data
9.54/2.44	c  S st    22     45753       585      2514         0      9303      7606    152800   no data   no data
9.54/2.47	c  S st    22     46258       585      2514         0      9808      7606    166526   no data   no data
9.54/2.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
9.54/2.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.49	c lits-rem:        19  cl-subs:       37  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.49	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
9.54/2.49	c vivif2 --  cl tried     9771 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
9.94/2.50	c calculated reachability. Time: 0.00
9.94/2.50	c  N st    22     46258       585      2514         0      9771      7606    165364   no data   no data
13.58/3.45	c  N st    23     60655       585      2514         0     14077      7606    268028   no data   no data
16.33/4.10	c  N st    24     69388       585      2514         0     11859      7606    201708   no data   no data
16.33/4.10	c  S st    24     69388       585      2514         0     11859      7606    201708   no data   no data
16.33/4.14	c  S st    24     69890       585      2514         0     12360      7606    214802   no data   no data
16.33/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
16.33/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c lits-rem:        38  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.03 s
16.33/4.18	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
16.33/4.18	c vivif2 --  cl tried    12174 cl shrink        0 lits rem          0 time: 0.00
16.33/4.19	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
16.33/4.19	c calculated reachability. Time: 0.00
16.33/4.19	c  N st    24     69890       585      2514         0     12174      7606    209528   no data   no data
21.93/5.53	c  F st    25     87501       585      2514         0     17680      7606    355359   no data   no data
21.93/5.53	c  N st    25     87501       585      2514         0     17680      7606    355359   no data   no data
23.51/5.93	c Decided on static restart strategy
24.71/6.20	c  N st    32     95539       585      2514         0     25583      7606    568384   no data   no data
27.09/6.86	c  N st    34    104838       585      2514         0     21985      7606    445160   no data   no data
27.09/6.86	c  S st    34    104838       585      2514         0     21985      7606    445160   no data   no data
27.49/6.92	c  S st    34    105343       585      2514         0     22490      7606    457774   no data   no data
27.49/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.49/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.49/6.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.49/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.49/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
27.49/6.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.49/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.49/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.12	c lits-rem:       219  cl-subs:      666  v-elim:      0  v-fix:    0  time:  0.17 s
28.29/7.12	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
28.29/7.12	c vivif2 --  cl tried    21824 cl shrink        0 lits rem          0 time: 0.01
28.29/7.14	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
28.29/7.14	c calculated reachability. Time: 0.00
28.29/7.14	c  N st    34    105343       585      2514         0     21824      7606    437397   no data   no data
31.48/7.91	c  N st    35    114941       585      2514         0     17509      7606    298919   no data   no data
36.27/9.17	c  N st    36    129338       585      2514         0     16934      7606    267886   no data   no data
44.29/11.16	c  N st    37    150934       585      2514         0     22473      7606    423286   no data   no data
47.04/11.81	c  S st    38    158014       585      2514         0     29449      7606    637016   no data   no data
47.04/11.89	c  S st    38    158514       585      2514         0     29947      7606    649931   no data   no data
47.04/11.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.45/11.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.45/11.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.45/11.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.45/11.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.45/11.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
47.45/11.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.45/11.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.45/11.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.29	c lits-rem:       407  cl-subs:      953  v-elim:      0  v-fix:    0  time:  0.37 s
48.69/12.30	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
49.03/12.30	c vivif2 --  cl tried    28994 cl shrink        0 lits rem          0 time: 0.01
49.03/12.32	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
49.03/12.32	c calculated reachability. Time: 0.00
49.03/12.32	c  N st    38    158514       585      2514         0     28994      7606    616441   no data   no data
69.78/17.60	c  N st    39    207102       585      2514         0     23625      7606    388929   no data   no data
83.78/21.07	c  N st    40    237772       585      2514         0     34090      7606    697599   no data   no data
83.78/21.07	c  S st    40    237772       585      2514         0     34090      7606    697599   no data   no data
84.14/21.16	c  S st    40    238276       585      2514         0     34593      7606    711063   no data   no data
84.14/21.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.14/21.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.14/21.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.14/21.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.14/21.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.14/21.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
84.14/21.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.14/21.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.53/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.53/21.78	c lits-rem:       524  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.58 s
86.53/21.78	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
86.53/21.79	c vivif2 --  cl tried    33555 cl shrink        0 lits rem          0 time: 0.01
86.93/21.81	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
86.93/21.81	c calculated reachability. Time: 0.00
86.93/21.81	c  N st    40    238276       585      2514         0     33555      7606    676296   no data   no data
119.64/30.06	c  F st    41    306250       585      2514         0     35378      7606    679005   no data   no data
119.64/30.06	c  N st    41    306250       585      2514         0     35378      7606    679005   no data   no data
122.43/30.77	c Decided on static restart strategy
135.20/33.90	c  N st    51    334558       585      2514         0     39652      7606    752881   no data   no data
146.77/36.82	c  N st    53    357414       585      2514         0     37566      7606    662501   no data   no data
146.77/36.82	c  S st    53    357414       585      2514         0     37566      7606    662501   no data   no data
147.17/36.92	c  S st    53    357915       585      2514         0     38066      7606    675456   no data   no data
147.17/36.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
147.17/36.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
147.17/36.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
147.17/36.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
147.17/36.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.17/36.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
147.17/36.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
147.17/36.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
147.17/36.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.18/37.41	c lits-rem:       176  cl-subs:     1215  v-elim:      0  v-fix:    0  time:  0.45 s
149.18/37.41	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
149.18/37.42	c vivif2 --  cl tried    36851 cl shrink        0 lits rem          0 time: 0.01
149.18/37.45	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
149.18/37.45	c calculated reachability. Time: 0.00
149.18/37.45	c  N st    53    357915       585      2514         0     36851      7606    641249   no data   no data
167.50/42.00	c  N st    54    390307       585      2514         0     43122      7606    799789   no data   no data
197.03/49.44	c  N st    55    438895       585      2514         0     36857      7606    586504   no data   no data
240.91/60.51	c  N st    56    511779       585      2514         0     50367      7606    902419   no data   no data
256.06/64.23	c  N st    57    536872       585      2514         0     44655      7606    747986   no data   no data
256.06/64.23	c  S st    57    536872       585      2514         0     44655      7606    747986   no data   no data
256.46/64.35	c  S st    57    537376       585      2514         0     45159      7606    761525   no data   no data
256.46/64.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
256.46/64.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
256.46/64.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
256.46/64.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.46/64.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.46/64.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
256.46/64.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
256.46/64.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
256.86/64.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.65/65.20	c lits-rem:       484  cl-subs:     1745  v-elim:      0  v-fix:    0  time:  0.79 s
259.65/65.20	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
260.05/65.21	c vivif2 --  cl tried    43414 cl shrink        0 lits rem          0 time: 0.01
260.05/65.24	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
260.05/65.24	c calculated reachability. Time: 0.00
260.05/65.24	c  N st    57    537376       585      2514         0     43414      7606    711322   no data   no data
377.76/94.72	c  N st    58    701361       585      2514         0     37402      7606    454656   no data   no data
461.14/115.67	c  N st    59    806064       585      2514         0     66418      7606   1250240   no data   no data
461.14/115.67	c  S st    59    806064       585      2514         0     66418      7606   1250240   no data   no data
461.89/115.89	c  S st    59    806569       585      2514         0     66923      7606   1263813   no data   no data
461.89/115.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.29/115.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.29/115.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.29/115.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.29/115.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.29/115.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
462.29/115.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.29/115.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.29/115.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
477.05/119.64	c lits-rem:       601  cl-subs:     3640  v-elim:      0  v-fix:    0  time:  3.67 s
477.05/119.64	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
477.05/119.66	c vivif2 --  cl tried    63283 cl shrink        0 lits rem          0 time: 0.02
477.45/119.71	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.05
477.45/119.71	c calculated reachability. Time: 0.00
477.45/119.71	c  N st    59    806569       585      2514         0     63283      7606   1166339   no data   no data
706.86/177.22	c  F st    60   1071876       585      2514         0     79661      7606   1544942   no data   no data
706.86/177.22	c  N st    60   1071876       585      2514         0     79661      7606   1544942   no data   no data
712.38/178.68	c Decided on static restart strategy
730.33/183.13	c  N st    70   1100179       585      2514         0     63349      7606   1038314   no data   no data
764.64/191.74	c  N st    72   1136173       585      2514         0     53534      7606    717797   no data   no data
792.97/198.83	c  N st    73   1168565       585      2514         0     85285      7606   1661119   no data   no data
836.04/209.66	c  N st    74   1209854       585      2514         0     79758      7606   1489801   no data   no data
836.04/209.66	c  S st    74   1209854       585      2514         0     79758      7606   1489801   no data   no data
837.24/209.95	c  S st    74   1210360       585      2514         0     80264      7606   1502441   no data   no data
837.24/209.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
837.64/210.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
837.64/210.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
837.64/210.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
837.64/210.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
837.64/210.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
837.64/210.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
837.64/210.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
837.64/210.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.41/213.29	c lits-rem:       467  cl-subs:     2112  v-elim:      0  v-fix:    0  time:  3.21 s
850.41/213.29	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
850.81/213.31	c vivif2 --  cl tried    78152 cl shrink        0 lits rem          0 time: 0.02
850.81/213.38	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.07
850.81/213.39	c calculated reachability. Time: 0.00
850.81/213.39	c  N st    74   1210360       585      2514         0     78152      7606   1437370   no data   no data
923.40/231.53	c  N st    75   1283242       585      2514         0     54399      7606    685001   no data   no data
1027.49/257.68	c  N st    76   1392567       585      2514         0     62330      7606    877094   no data   no data
1177.08/295.17	c  N st    77   1556552       585      2514         0     67310      7606    976674   no data   no data
1345.41/337.33	c  N st    78   1710360       585      2514         0    109647      7606   2339706   no data   no data
1345.41/337.33	c  S st    78   1710360       585      2514         0    109647      7606   2339706   no data   no data
1346.61/337.70	c  S st    78   1710861       585      2514         0    110147      7606   2353820   no data   no data
1346.61/337.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1347.03/337.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1347.03/337.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1347.03/337.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1347.03/337.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1347.03/337.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1347.03/337.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1347.03/337.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1347.45/337.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1405.64/352.49	c lits-rem:      1187  cl-subs:     5739  v-elim:      0  v-fix:    0  time: 14.61 s
1405.64/352.49	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
1406.04/352.53	c vivif2 --  cl tried   104408 cl shrink        0 lits rem          0 time: 0.03
1406.44/352.64	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.11
1406.44/352.64	c calculated reachability. Time: 0.00
1406.44/352.64	c  N st    78   1710861       585      2514         0    104408      7606   2163844   no data   no data
1834.44/460.11	c  N st    79   2079825       585      2514         0    116034      7606   2332596   no data   no data
1993.60/500.09	c  N st    80   2210863       585      2514         0    120073      7606   2386085   no data   no data
1993.60/500.09	c  S st    80   2210863       585      2514         0    120073      7606   2386085   no data   no data
1995.20/500.46	c  S st    80   2211367       585      2514         0    120574      7606   2399052   no data   no data
1995.20/500.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1995.62/500.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1995.62/500.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1995.62/500.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1995.62/500.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1995.62/500.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1995.62/500.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1995.62/500.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1996.04/500.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2041.46/512.04	c lits-rem:       802  cl-subs:     4697  v-elim:      0  v-fix:    0  time: 11.40 s
2041.46/512.04	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2041.46/512.08	c vivif2 --  cl tried   115877 cl shrink        0 lits rem          0 time: 0.03
2042.26/512.20	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.12
2042.26/512.21	c calculated reachability. Time: 0.00
2042.26/512.21	c  N st    80   2211367       585      2514         0    115877      7606   2255829   no data   no data
2686.08/673.67	c  N st    81   2711367       585      2514         0    139108      7606   2898459   no data   no data
2686.08/673.67	c  S st    81   2711367       585      2514         0    139108      7606   2898459   no data   no data
2687.68/674.10	c  S st    81   2711867       585      2514         0    139608      7606   2911949   no data   no data
2688.08/674.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2688.08/674.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2688.08/674.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2688.08/674.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2688.08/674.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2688.08/674.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2688.08/674.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2688.48/674.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2688.48/674.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2794.61/700.86	c lits-rem:      1068  cl-subs:     8104  v-elim:      0  v-fix:    0  time: 26.55 s
2794.61/700.86	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2794.96/700.90	c vivif2 --  cl tried   131504 cl shrink        0 lits rem          0 time: 0.04
2795.36/701.04	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.14
2795.36/701.05	c calculated reachability. Time: 0.00
2795.36/701.05	c  N st    81   2711867       585      2514         0    131504      7606   2660847   no data   no data
3546.03/889.20	c  N st    82   3211868       585      2514         0    106956      7606   1630144   no data   no data
3546.03/889.20	c  S st    82   3211868       585      2514         0    106956      7606   1630144   no data   no data
3547.23/889.54	c  S st    82   3212371       585      2514         0    107459      7606   1643376   no data   no data
3547.23/889.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3547.63/889.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3547.63/889.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3547.63/889.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3547.63/889.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3547.63/889.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3547.63/889.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3547.63/889.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3547.63/889.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3567.97/894.76	c lits-rem:       495  cl-subs:     4733  v-elim:      0  v-fix:    0  time:  5.08 s
3567.97/894.76	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
3567.97/894.79	c vivif2 --  cl tried   102726 cl shrink        0 lits rem          0 time: 0.02
3568.37/894.89	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.10
3568.37/894.89	c calculated reachability. Time: 0.00
3568.37/894.89	c  N st    82   3212371       585      2514         0    102726      7606   1518121   no data   no data
4302.29/1078.87	c  N st    83   3712374       585      2514         0    113971      7606   1820826   no data   no data
4302.29/1078.87	c  S st    83   3712374       585      2514         0    113971      7606   1820826   no data   no data
4303.93/1079.27	c  S st    83   3712875       585      2514         0    114472      7606   1834698   no data   no data
4303.93/1079.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4304.28/1079.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4304.28/1079.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4304.28/1079.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4304.28/1079.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4304.28/1079.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4304.28/1079.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4304.28/1079.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4304.68/1079.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4335.79/1087.28	c lits-rem:       480  cl-subs:     3352  v-elim:      0  v-fix:    0  time:  7.86 s
4335.79/1087.28	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
4336.19/1087.32	c vivif2 --  cl tried   111120 cl shrink        0 lits rem          0 time: 0.03
4336.59/1087.47	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.15
4336.59/1087.47	c calculated reachability. Time: 0.00
4336.59/1087.47	c  N st    83   3712875       585      2514         0    111120      7606   1734758   no data   no data
4406.79/1105.05	c  F st    84   3751562       585      2514         0    148853      7606   2881102   no data   no data
4406.79/1105.05	c  N st    84   3751562       585      2514         0    148853      7606   2881102   no data   no data
4421.15/1108.65	c Decided on static restart strategy
4463.44/1119.21	c  N st    94   3779865       585      2514         0     93484      7606   1101251   no data   no data
4520.87/1133.60	c  N st    96   3815858       585      2514         0    128729      7606   2087427   no data   no data
4588.70/1150.66	c  N st    97   3848250       585      2514         0    160386      7606   3031690   no data   no data
4677.23/1172.83	c  N st    98   3896840       585      2514         0    123839      7606   1975793   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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366792-1305417414/watcher-3366792-1305417414 -o /tmp/evaluation-result-3366792-1305417414/solver-3366792-1305417414 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366792-1305417414.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.10 8.10 8.05 6/352 4598
/proc/meminfo: memFree=26047248/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 653344068 52396032 351 33554432000 4194304 4580107 140736801610912 18446744073709551615 47047668320178 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 12792 351 302 95 0 7774 0
[pid=4598/tid=4599] ppid=4596 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 653344068 52396032 351 33554432000 4194304 4580107 140736801610912 18446744073709551615 47047668319773 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653344068 52396032 351 33554432000 4194304 4580107 140736801610912 18446744073709551615 47047668320178 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653344068 52396032 351 33554432000 4194304 4580107 140736801610912 18446744073709551615 47047668319769 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.113682 s]
/proc/loadavg: 8.10 8.10 8.05 6/352 4598
/proc/meminfo: memFree=26047248/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=347856 CPUtime=0.42 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 1861 0 0 0 42 0 0 0 18 0 4 0 653344068 356204544 1699 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 86964 1700 377 95 0 81946 0
[pid=4598/tid=4599] ppid=4596 vsize=347856 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 376 0 0 0 10 0 0 0 18 0 4 0 653344068 356204544 1700 33554432000 4194304 4580107 140736801610912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=347856 CPUtime=0.09 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 383 0 0 0 9 0 0 0 25 0 4 0 653344068 356204544 1700 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=347856 CPUtime=0.1 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 279 0 0 0 10 0 0 0 18 0 4 0 653344068 356204544 1700 33554432000 4194304 4580107 140736801610912 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 347856

[startup+0.200624 s]
/proc/loadavg: 8.10 8.10 8.05 6/352 4598
/proc/meminfo: memFree=26047248/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=349300 CPUtime=0.77 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 2537 0 0 0 77 0 0 0 18 0 4 0 653344068 357683200 1725 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 87325 1725 377 95 0 82307 0
[pid=4598/tid=4599] ppid=4596 vsize=349300 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 551 0 0 0 19 0 0 0 18 0 4 0 653344068 357683200 1725 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=349300 CPUtime=0.18 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 551 0 0 0 18 0 0 0 25 0 4 0 653344068 357683200 1725 33554432000 4194304 4580107 140736801610912 18446744073709551615 4296072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=349300 CPUtime=0.19 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 443 0 0 0 19 0 0 0 18 0 4 0 653344068 357683200 1725 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 349300

[startup+0.300606 s]
/proc/loadavg: 8.10 8.10 8.05 6/352 4598
/proc/meminfo: memFree=26047248/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=349472 CPUtime=1.17 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 2990 0 0 0 117 0 0 0 18 0 4 0 653344068 357859328 2178 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 87368 2178 377 95 0 82350 0
[pid=4598/tid=4599] ppid=4596 vsize=349472 CPUtime=0.29 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 653344068 357859328 2178 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=349472 CPUtime=0.28 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 663 0 0 0 28 0 0 0 25 0 4 0 653344068 357859328 2178 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=349472 CPUtime=0.29 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 553 0 0 0 29 0 0 0 18 0 4 0 653344068 357859328 2187 33554432000 4194304 4580107 140736801610912 18446744073709551615 216634212471 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349472

[startup+0.700536 s]
/proc/loadavg: 8.10 8.10 8.05 6/352 4598
/proc/meminfo: memFree=26047248/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=350332 CPUtime=2.77 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 4686 0 0 0 277 0 0 0 18 0 4 0 653344068 358739968 2866 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 87583 2866 377 95 0 82565 0
[pid=4598/tid=4599] ppid=4596 vsize=350332 CPUtime=0.69 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1068 0 0 0 69 0 0 0 18 0 4 0 653344068 358739968 2866 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=350332 CPUtime=0.68 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1098 0 0 0 68 0 0 0 25 0 4 0 653344068 358739968 2866 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=350332 CPUtime=0.69 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 964 0 0 0 69 0 0 0 18 0 4 0 653344068 358739968 2866 33554432000 4194304 4580107 140736801610912 18446744073709551615 4292924 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350332

[startup+1.5004 s]
/proc/loadavg: 8.10 8.09 8.05 9/356 4602
/proc/meminfo: memFree=26028616/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=351748 CPUtime=5.96 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 9613 0 0 0 594 2 0 0 20 0 4 0 653344068 360189952 4943 33554432000 4194304 4580107 140736801610912 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 87937 4944 379 95 0 82919 0
[pid=4598/tid=4599] ppid=4596 vsize=351748 CPUtime=1.49 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1928 0 0 0 149 0 0 0 20 0 4 0 653344068 360189952 4944 33554432000 4194304 4580107 140736801610912 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=351748 CPUtime=1.47 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1922 0 0 0 147 0 0 0 25 0 4 0 653344068 360189952 4944 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=351748 CPUtime=1.48 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 1842 0 0 0 148 0 0 0 20 0 4 0 653344068 360189952 4944 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 351748

[startup+3.10112 s]
/proc/loadavg: 8.10 8.09 8.05 9/356 4602
/proc/meminfo: memFree=26011628/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=357164 CPUtime=12.35 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 19231 0 0 0 1232 3 0 0 25 0 4 0 653344068 365735936 10901 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 89291 10901 379 95 0 84273 0
[pid=4598/tid=4599] ppid=4596 vsize=357164 CPUtime=3.09 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 4279 0 0 0 309 0 0 0 25 0 4 0 653344068 365735936 10901 33554432000 4194304 4580107 140736801610912 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=357164 CPUtime=3.06 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 5038 0 0 0 305 1 0 0 25 0 4 0 653344068 365735936 10901 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=357164 CPUtime=3.08 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 4757 0 0 0 308 0 0 0 18 0 4 0 653344068 365735936 10901 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 357164

[startup+6.30055 s]
/proc/loadavg: 8.10 8.09 8.05 9/356 4602
/proc/meminfo: memFree=25978096/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=375476 CPUtime=25.11 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 29244 0 0 0 2506 5 0 0 25 0 4 0 653344068 384487424 14480 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 93869 14480 379 95 0 88851 0
[pid=4598/tid=4599] ppid=4596 vsize=375476 CPUtime=6.29 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 7558 0 0 0 628 1 0 0 25 0 4 0 653344068 384487424 14480 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=375476 CPUtime=6.22 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 7076 0 0 0 621 1 0 0 25 0 4 0 653344068 384487424 14480 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=375476 CPUtime=6.28 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 6878 0 0 0 628 0 0 0 25 0 4 0 653344068 384487424 14480 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 375476

[startup+12.7004 s]
/proc/loadavg: 8.08 8.09 8.04 9/356 4603
/proc/meminfo: memFree=25920048/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=363224 CPUtime=50.63 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 47456 0 0 0 5055 8 0 0 25 0 4 0 653344068 371941376 23609 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 90806 23609 379 95 0 85788 0
[pid=4598/tid=4599] ppid=4596 vsize=363224 CPUtime=12.69 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 10910 0 0 0 1267 2 0 0 25 0 4 0 653344068 371941376 23609 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=363224 CPUtime=12.54 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 10344 0 0 0 1253 1 0 0 25 0 4 0 653344068 371941376 23609 33554432000 4194304 4580107 140736801610912 18446744073709551615 4322825 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=363224 CPUtime=12.68 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 12170 0 0 0 1267 1 0 0 25 0 4 0 653344068 371941376 23609 33554432000 4194304 4580107 140736801610912 18446744073709551615 4318695 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 363224

[startup+25.5012 s]
/proc/loadavg: 8.07 8.09 8.04 9/356 4603
/proc/meminfo: memFree=25883560/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=383616 CPUtime=101.68 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 70016 0 0 0 10156 12 0 0 25 0 4 0 653344068 392822784 30127 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 95904 30127 379 95 0 90886 0
[pid=4598/tid=4599] ppid=4596 vsize=383616 CPUtime=25.49 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 16469 0 0 0 2546 3 0 0 25 0 4 0 653344068 392822784 30127 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=383616 CPUtime=25.2 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 17841 0 0 0 2518 2 0 0 25 0 4 0 653344068 392822784 30127 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=383616 CPUtime=25.48 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 16295 0 0 0 2546 2 0 0 25 0 4 0 653344068 392822784 30127 33554432000 4194304 4580107 140736801610912 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 383616

[startup+51.1007 s]
/proc/loadavg: 8.17 8.11 8.05 9/356 4604
/proc/meminfo: memFree=25844836/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=415188 CPUtime=203.8 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 102364 0 0 0 20361 19 0 0 25 0 4 0 653344068 425152512 37938 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294358 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 103797 37938 379 95 0 98779 0
[pid=4598/tid=4599] ppid=4596 vsize=415188 CPUtime=51.09 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 21717 0 0 0 5105 4 0 0 25 0 4 0 653344068 425152512 37938 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=415188 CPUtime=50.52 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 27376 0 0 0 5048 4 0 0 25 0 4 0 653344068 425152512 37938 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=415188 CPUtime=51.08 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 24357 0 0 0 5104 4 0 0 25 0 4 0 653344068 425152512 37938 33554432000 4194304 4580107 140736801610912 18446744073709551615 4318236 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 415188

[startup+102.301 s]
/proc/loadavg: 8.14 8.11 8.05 9/356 4605
/proc/meminfo: memFree=25755408/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=407612 CPUtime=408.06 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 155771 0 0 0 40770 36 0 0 25 0 4 0 653344068 417394688 48162 33554432000 4194304 4580107 140736801610912 18446744073709551615 4341610 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 101903 48162 379 95 0 96885 0
[pid=4598/tid=4599] ppid=4596 vsize=407612 CPUtime=102.3 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 31571 0 0 0 10223 7 0 0 25 0 4 0 653344068 417394688 48164 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=407612 CPUtime=101.17 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 40528 0 0 0 10108 9 0 0 25 0 4 0 653344068 417394688 48164 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=407612 CPUtime=102.28 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 40289 0 0 0 10221 7 0 0 25 0 4 0 653344068 417394688 48164 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 407612

[startup+162.301 s]

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

[pid=4598] ppid=4596 vsize=755596 CPUtime=2800.55 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 570990 0 0 0 279871 184 0 0 25 0 4 0 653344068 773730304 100503 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 188899 100503 379 95 0 183881 0
[pid=4598/tid=4599] ppid=4596 vsize=755596 CPUtime=702.14 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 129130 0 0 0 70173 41 0 0 25 0 4 0 653344068 773730304 100503 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=755596 CPUtime=694.59 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 139697 0 0 0 69413 46 0 0 25 0 4 0 653344068 773730304 100503 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=755596 CPUtime=701.53 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 141116 0 0 0 70109 44 0 0 25 0 4 0 653344068 773730304 100503 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2800.55
Current children cumulated vsize (KiB) 755596

[startup+762.301 s]
/proc/loadavg: 8.08 8.15 8.09 9/356 4635
/proc/meminfo: memFree=25210996/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=693520 CPUtime=3039.87 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 601968 0 0 0 303790 197 0 0 25 0 4 0 653344068 710164480 107055 33554432000 4194304 4580107 140736801610912 18446744073709551615 4291415 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 173380 107055 379 95 0 168362 0
[pid=4598/tid=4599] ppid=4596 vsize=693520 CPUtime=762.16 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 136371 0 0 0 76170 46 0 0 25 0 4 0 653344068 710164480 107057 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=693520 CPUtime=753.91 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 148433 0 0 0 75342 49 0 0 25 0 4 0 653344068 710164480 107057 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=693520 CPUtime=761.54 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 148357 0 0 0 76107 47 0 0 25 0 4 0 653344068 710164480 107057 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3039.87
Current children cumulated vsize (KiB) 693520

[startup+822.301 s]
/proc/loadavg: 8.29 8.18 8.10 9/356 4636
/proc/meminfo: memFree=25211204/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=745084 CPUtime=3279.19 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 628140 0 0 0 327710 209 0 0 25 0 4 0 653344068 762966016 106403 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 186271 106403 379 95 0 181253 0
[pid=4598/tid=4599] ppid=4596 vsize=745084 CPUtime=822.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 143755 0 0 0 82165 50 0 0 25 0 4 0 653344068 762966016 106403 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=745084 CPUtime=813.25 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 155684 0 0 0 81273 52 0 0 25 0 4 0 653344068 762966016 106403 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=745084 CPUtime=821.52 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 155820 0 0 0 82101 51 0 0 25 0 4 0 653344068 762966016 106403 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3279.19
Current children cumulated vsize (KiB) 745084

[startup+882.313 s]
/proc/loadavg: 8.17 8.16 8.10 9/356 4638
/proc/meminfo: memFree=25148784/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=824364 CPUtime=3518.55 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 658518 0 0 0 351634 221 0 0 25 0 4 0 653344068 844148736 118496 33554432000 4194304 4580107 140736801610912 18446744073709551615 4319989 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 206091 118496 379 95 0 201073 0
[pid=4598/tid=4599] ppid=4596 vsize=824364 CPUtime=882.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 153494 0 0 0 88163 52 0 0 25 0 4 0 653344068 844148736 118496 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=824364 CPUtime=872.58 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 160781 0 0 0 87202 56 0 0 25 0 4 0 653344068 844148736 118496 33554432000 4194304 4580107 140736801610912 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=824364 CPUtime=881.52 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 166392 0 0 0 88099 53 0 0 25 0 4 0 653344068 844148736 118496 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3518.55
Current children cumulated vsize (KiB) 824364

[startup+942.301 s]
/proc/loadavg: 8.12 8.14 8.09 9/356 4639
/proc/meminfo: memFree=25131380/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=838264 CPUtime=3757.84 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 690139 0 0 0 375551 233 0 0 25 0 4 0 653344068 858382336 126585 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 209566 126585 379 95 0 204548 0
[pid=4598/tid=4599] ppid=4596 vsize=838264 CPUtime=942.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 161240 0 0 0 94159 56 0 0 25 0 4 0 653344068 858382336 126585 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=838264 CPUtime=931.91 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 172826 0 0 0 93133 58 0 0 25 0 4 0 653344068 858382336 126585 33554432000 4194304 4580107 140736801610912 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=838264 CPUtime=941.49 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 173201 0 0 0 94093 56 0 0 25 0 4 0 653344068 858382336 126585 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3757.84
Current children cumulated vsize (KiB) 838264

[startup+1002.3 s]
/proc/loadavg: 8.04 8.12 8.08 9/356 4641
/proc/meminfo: memFree=25102200/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=826648 CPUtime=3997.15 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 719733 0 0 0 399467 248 0 0 25 0 4 0 653344068 846487552 125262 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 206662 125262 379 95 0 201644 0
[pid=4598/tid=4599] ppid=4596 vsize=826648 CPUtime=1002.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 169335 0 0 0 100155 60 0 0 25 0 4 0 653344068 846487552 125262 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=826648 CPUtime=991.23 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 179722 0 0 0 99062 61 0 0 25 0 4 0 653344068 846487552 125262 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=826648 CPUtime=1001.48 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 180317 0 0 0 100088 60 0 0 25 0 4 0 653344068 846487552 125262 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3997.15
Current children cumulated vsize (KiB) 826648

[startup+1062.3 s]
/proc/loadavg: 8.07 8.11 8.08 9/356 4643
/proc/meminfo: memFree=25106828/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=856776 CPUtime=4236.49 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 751475 0 0 0 423389 260 0 0 25 0 4 0 653344068 877338624 130139 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 214194 130139 379 95 0 209176 0
[pid=4598/tid=4599] ppid=4596 vsize=856776 CPUtime=1062.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 180914 0 0 0 106152 63 0 0 25 0 4 0 653344068 877338624 130139 33554432000 4194304 4580107 140736801610912 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=856776 CPUtime=1050.57 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 185402 0 0 0 104994 63 0 0 25 0 4 0 653344068 877338624 130139 33554432000 4194304 4580107 140736801610912 18446744073709551615 4331917 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=856776 CPUtime=1061.47 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 187147 0 0 0 106084 63 0 0 25 0 4 0 653344068 877338624 130139 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4236.49
Current children cumulated vsize (KiB) 856776

[startup+1122.3 s]
/proc/loadavg: 8.02 8.09 8.08 9/356 4644
/proc/meminfo: memFree=25073300/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=751924 CPUtime=4475.79 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 776391 0 0 0 447308 271 0 0 25 0 4 0 653344068 769970176 130666 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 187981 130666 379 95 0 182963 0
[pid=4598/tid=4599] ppid=4596 vsize=751924 CPUtime=1122.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 185092 0 0 0 112149 66 0 0 25 0 4 0 653344068 769970176 130666 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=751924 CPUtime=1109.9 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 191884 0 0 0 110923 67 0 0 25 0 4 0 653344068 769970176 130666 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=751924 CPUtime=1121.46 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 195477 0 0 0 112081 65 0 0 25 0 4 0 653344068 769970176 130666 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4475.79
Current children cumulated vsize (KiB) 751924

[startup+1182.3 s]
/proc/loadavg: 5.47 7.34 7.82 5/347 4664
/proc/meminfo: memFree=25688752/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=805440 CPUtime=4715.14 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 802202 0 0 0 471232 282 0 0 25 0 4 0 653344068 824770560 133059 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 201360 133059 379 95 0 196342 0
[pid=4598/tid=4599] ppid=4596 vsize=805440 CPUtime=1182.15 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 191464 0 0 0 118147 68 0 0 25 0 4 0 653344068 824770560 133059 33554432000 4194304 4580107 140736801610912 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=805440 CPUtime=1169.25 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 199437 0 0 0 116856 69 0 0 25 0 4 0 653344068 824770560 133059 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=805440 CPUtime=1181.45 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 202329 0 0 0 118077 68 0 0 25 0 4 0 653344068 824770560 133059 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4715.14
Current children cumulated vsize (KiB) 805440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 5.06 7.12 7.74 5/347 4664
/proc/meminfo: memFree=25693956/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=805800 CPUtime=4800.11 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 811179 0 0 0 479725 286 0 0 25 0 4 0 653344068 825139200 134270 33554432000 4194304 4580107 140736801610912 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 201450 134270 379 95 0 196432 0
[pid=4598/tid=4599] ppid=4596 vsize=805800 CPUtime=1203.47 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 193090 0 0 0 120278 69 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=805800 CPUtime=1190.31 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 202156 0 0 0 118961 70 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=805800 CPUtime=1202.76 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 204292 0 0 0 120207 69 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 805800

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

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

[startup+1203.6 s]
/proc/loadavg: 5.06 7.12 7.74 5/347 4664
/proc/meminfo: memFree=25693956/32951124 swapFree=53501236/67111528
[pid=4598] ppid=4596 vsize=805800 CPUtime=4800.11 cores=0,2,4,6
/proc/4598/stat : 4598 (strangenight2-m) R 4596 4598 4220 0 -1 4202496 811179 0 0 0 479725 286 0 0 25 0 4 0 653344068 825139200 134270 33554432000 4194304 4580107 140736801610912 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4598/statm: 201450 134270 379 95 0 196432 0
[pid=4598/tid=4599] ppid=4596 vsize=805800 CPUtime=1203.47 cores=0,2,4,6
/proc/4598/task/4599/stat : 4599 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 193090 0 0 0 120278 69 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4598/tid=4600] ppid=4596 vsize=805800 CPUtime=1190.31 cores=0,2,4,6
/proc/4598/task/4600/stat : 4600 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 202156 0 0 0 118961 70 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4598/tid=4601] ppid=4596 vsize=805800 CPUtime=1202.76 cores=0,2,4,6
/proc/4598/task/4601/stat : 4601 (strangenight2-m) R 4596 4598 4220 0 -1 4202560 204292 0 0 0 120207 69 0 0 25 0 4 0 653344068 825139200 134271 33554432000 4194304 4580107 140736801610912 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.11
Current children cumulated vsize (KiB) 805800

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.19
CPU user time (s): 4797.3
CPU system time (s): 2.88956
CPU usage (%): 398.806
Max. virtual memory (cumulated for all children) (KiB): 879720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.3
system time used= 2.88956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 811182
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= 432
involuntary context switches= 19668

runsolver used 3.72243 second user time and 9.60254 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 01:56:54
IDJOB=3366792
IDBENCH=87732
IDSOLVER=1844
FILE ID=node103/3366792-1305417414
RUNJOBID= node103-1305415001-4238
PBS_JOBID= 13324557
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/handmade/simon/satex-challenges/f600.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366792-1305417414/watcher-3366792-1305417414 -o /tmp/evaluation-result-3366792-1305417414/solver-3366792-1305417414 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366792-1305417414.cnf

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

MD5SUM BENCH= d42133fd7674f41611be43d1b8ca7db6
RANDOM SEED=623666252

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.858
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.858
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.83
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.858
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:      26047528 kB
Buffers:        304540 kB
Cached:        3884588 kB
SwapCached:     340192 kB
Active:        1507632 kB
Inactive:      5127016 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      26047528 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5492 kB
Writeback:           0 kB
AnonPages:     2115152 kB
Mapped:          11180 kB
Slab:           151536 kB
PageTables:      53480 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 78623672 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= 72984 MiB
End job on node103 at 2011-05-15 02:17:00