Trace number 3366926

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.34 1203.46

General information on the benchmark

NameSAT02/handmade/pehoushek/plainoldcnf/
5cnf_4300_4300_170.shuffled.cnf
MD5SUM82789f57e506af1994452e76af2dcbf0
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.073988
Satisfiable
(Un)Satisfiability was proved
Number of variables170
Number of clauses2924
Sum of the clauses size14457
Maximum clause length5
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31
Number of clauses of size 4161
Number of clauses of size 52762
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-3366926-1305417333.cnf'
0.00/0.01	c -- header says num vars:            170
0.00/0.01	c -- header says num clauses:        2924
0.00/0.01	c -- clauses added:            0 learnts,         2924 normals,            0 xors
0.00/0.01	c -- vars added        170
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       170      2924         0         0     14457         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.17/0.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.17/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.83	c calculated reachability. Time: 0.00
3.17/0.83	c Calc default polars -  time:   0.00 s pos:      77 undec:      28 neg:      65
3.17/0.83	c =========================================================================================
3.17/0.83	c types(t): F = full restart, N = normal restart
3.17/0.83	c types(t): S = simplification begin/end, E = solution found
3.17/0.83	c restart types(rt): st = static, dy = dynamic
3.17/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.83	c  B st     0         0       170      2924         0         0     14457         0   no data   no data
3.17/0.83	c Decided on static restart strategy
3.17/0.83	c  N st     8      4919       170      2924         0      4732     14457    166432   no data   no data
3.17/0.83	c  N st    10     11301       170      2924         0      4388     14457    114396   no data   no data
3.17/0.83	c  N st    11     17046       170      2924         0      9902     14457    309431   no data   no data
3.97/1.03	c  F st    12     25001       170      2924         0     12146     14457    378220   no data   no data
3.97/1.03	c  N st    12     25001       170      2924         0     12146     14457    378220   no data   no data
4.81/1.23	c Decided on static restart strategy
4.81/1.23	c  N st    18     30000       170      2924         0     10430     14457    299480   no data   no data
4.81/1.23	c  S st    18     30000       170      2924         0     10430     14457    299480   no data   no data
4.81/1.23	c  S st    18     30509       170      2924         0     10934     14457    316539   no data   no data
4.81/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.81/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.81/1.23	c blocked clauses removed:        0 vars:      0 tried:         170 T: 0.00 s
4.81/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.81/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.81/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
4.81/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.81/1.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.81/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.40	c lits-rem:       202  cl-subs:      940  v-elim:      0  v-fix:    0  time:  0.18 s
5.55/1.43	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.04
5.55/1.43	c calculated reachability. Time: 0.00
5.55/1.43	c  N st    18     30509       170      2924         0      9994     14457    278538   no data   no data
6.75/1.79	c  N st    20     37620       170      2924         0      9232     14457    230988   no data   no data
8.35/2.12	c  N st    21     44020       170      2924         0     15346     14457    441786   no data   no data
8.77/2.23	c  S st    22     45764       170      2924         0     17027     14457    500060   no data   no data
8.77/2.27	c  S st    22     46266       170      2924         0      8918     14457    193224   no data   no data
8.77/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
8.77/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.31	c lits-rem:        21  cl-subs:      119  v-elim:      0  v-fix:    0  time:  0.03 s
8.77/2.31	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
9.19/2.31	c vivif2 --  cl tried     8799 cl shrink        0 lits rem          0 time: 0.00
9.19/2.34	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.03
9.19/2.34	c calculated reachability. Time: 0.00
9.19/2.34	c  N st    22     46266       170      2924         0      8799     14457    188182   no data   no data
12.74/3.20	c  N st    23     60663       170      2924         0     13046     14457    322979   no data   no data
15.12/3.81	c  N st    24     69399       170      2924         0     10900     14457    227981   no data   no data
15.12/3.81	c  S st    24     69399       170      2924         0     10900     14457    227981   no data   no data
15.12/3.85	c  S st    24     69901       170      2924         0     11390     14457    244614   no data   no data
15.12/3.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.12/3.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.12/3.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.12/3.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.12/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.12/3.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
15.12/3.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.12/3.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.12/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.52/3.92	c lits-rem:        45  cl-subs:      209  v-elim:      0  v-fix:    0  time:  0.05 s
15.52/3.92	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
15.52/3.92	c vivif2 --  cl tried    11181 cl shrink        0 lits rem          0 time: 0.00
15.52/3.96	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.04
15.52/3.96	c calculated reachability. Time: 0.00
15.52/3.96	c  N st    24     69901       170      2924         0     11181     14457    236308   no data   no data
20.31/5.15	c  F st    25     87500       170      2924         0     16562     14457    422984   no data   no data
20.31/5.15	c  N st    25     87500       170      2924         0     16562     14457    422984   no data   no data
21.93/5.53	c Decided on static restart strategy
22.69/5.78	c  N st    32     95541       170      2924         0     24289     14457    689254   no data   no data
25.50/6.41	c  N st    34    104854       170      2924         0     20725     14457    550892   no data   no data
25.50/6.41	c  S st    34    104854       170      2924         0     20725     14457    550892   no data   no data
25.50/6.47	c  S st    34    105357       170      2924         0     21213     14457    567004   no data   no data
25.50/6.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.50/6.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.50/6.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.50/6.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.50/6.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.50/6.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
25.50/6.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.50/6.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.50/6.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.48/6.96	c lits-rem:       644  cl-subs:     1093  v-elim:      0  v-fix:    0  time:  0.47 s
27.48/6.96	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
27.48/6.97	c vivif2 --  cl tried    20120 cl shrink        0 lits rem          0 time: 0.01
27.88/7.04	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.07
27.88/7.04	c calculated reachability. Time: 0.00
27.88/7.04	c  N st    34    105357       170      2924         0     20120     14457    522000   no data   no data
30.71/7.73	c  N st    35    114956       170      2924         0     15931     14457    351211   no data   no data
35.51/8.92	c  N st    36    129355       170      2924         0     15371     14457    301014   no data   no data
42.24/10.64	c  N st    37    150950       170      2924         0     20638     14457    462207   no data   no data
44.29/11.16	c  S st    38    158037       170      2924         0     27452     14457    703914   no data   no data
44.64/11.23	c  S st    38    158541       170      2924         0     27949     14457    720019   no data   no data
44.64/11.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.64/11.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.64/11.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.64/11.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.64/11.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.64/11.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
44.64/11.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.64/11.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.64/11.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.02/12.30	c lits-rem:       417  cl-subs:     1774  v-elim:      0  v-fix:    0  time:  1.04 s
49.02/12.30	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
49.02/12.31	c vivif2 --  cl tried    26175 cl shrink        0 lits rem          0 time: 0.01
49.42/12.40	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.09
49.42/12.40	c calculated reachability. Time: 0.00
49.42/12.40	c  N st    38    158541       170      2924         0     26175     14457    649531   no data   no data
67.77/17.09	c  N st    39    207129       170      2924         0     20984     14457    425130   no data   no data
80.14/20.14	c  N st    40    237812       170      2924         0     31291     14457    781975   no data   no data
80.14/20.14	c  S st    40    237812       170      2924         0     31291     14457    781975   no data   no data
80.55/20.25	c  S st    40    238315       170      2924         0     31789     14457    798256   no data   no data
80.55/20.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.55/20.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.02
80.55/20.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.55/20.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.55/20.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.55/20.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
80.55/20.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.55/20.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.95/20.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.92/22.39	c lits-rem:       577  cl-subs:     2028  v-elim:      0  v-fix:    0  time:  2.08 s
88.92/22.39	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
88.92/22.40	c vivif2 --  cl tried    29761 cl shrink        0 lits rem          0 time: 0.01
89.71/22.50	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.11
89.71/22.50	c calculated reachability. Time: 0.00
89.71/22.50	c  N st    40    238315       170      2924         0     29761     14457    720218   no data   no data
118.88/29.89	c  F st    41    306251       170      2924         0     31646     14457    722843   no data   no data
118.88/29.90	c  N st    41    306251       170      2924         0     31646     14457    722843   no data   no data
121.23/30.47	c Decided on static restart strategy
130.81/32.84	c  N st    51    334555       170      2924         0     35777     14457    831883   no data   no data
140.40/35.30	c  N st    53    357474       170      2924         0     33852     14457    756302   no data   no data
140.40/35.30	c  S st    53    357474       170      2924         0     33852     14457    756302   no data   no data
140.83/35.39	c  S st    53    357975       170      2924         0     34348     14457    772427   no data   no data
140.83/35.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
141.18/35.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
141.18/35.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
141.18/35.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
141.18/35.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.18/35.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
141.18/35.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
141.18/35.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
141.18/35.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.78/36.34	c lits-rem:       490  cl-subs:     1304  v-elim:      0  v-fix:    0  time:  0.91 s
144.78/36.34	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
144.78/36.35	c vivif2 --  cl tried    33044 cl shrink        0 lits rem          0 time: 0.01
145.20/36.47	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.12
145.20/36.47	c calculated reachability. Time: 0.00
145.20/36.47	c  N st    53    357975       170      2924         0     33044     14457    717086   no data   no data
160.72/40.32	c  N st    54    390367       170      2924         0     39194     14457    920401   no data   no data
189.44/47.54	c  N st    55    438955       170      2924         0     33062     14457    646199   no data   no data
228.15/57.22	c  N st    56    511837       170      2924         0     46354     14457   1087388   no data   no data
240.91/60.48	c  N st    57    536962       170      2924         0     40755     14457    852824   no data   no data
240.91/60.48	c  S st    57    536962       170      2924         0     40755     14457    852824   no data   no data
241.32/60.58	c  S st    57    537462       170      2924         0     41249     14457    869071   no data   no data
241.32/60.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
241.32/60.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
241.32/60.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.32/60.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
241.32/60.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.32/60.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
241.32/60.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
241.74/60.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.74/60.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
246.89/61.95	c lits-rem:       655  cl-subs:     1572  v-elim:      0  v-fix:    0  time:  1.32 s
246.89/61.95	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
246.89/61.96	c vivif2 --  cl tried    39677 cl shrink        0 lits rem          0 time: 0.01
247.68/62.13	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.17
247.68/62.13	c calculated reachability. Time: 0.00
247.68/62.13	c  N st    57    537462       170      2924         0     39677     14457    807293   no data   no data
348.21/87.33	c  N st    58    701447       170      2924         0     67959     14457   1708075   no data   no data
421.23/105.64	c  N st    59    806193       170      2924         0     62308     14457   1464700   no data   no data
421.23/105.64	c  S st    59    806193       170      2924         0     62308     14457   1464700   no data   no data
422.01/105.81	c  S st    59    806697       170      2924         0     62804     14457   1481203   no data   no data
422.01/105.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
422.01/105.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
422.01/105.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
422.01/105.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
422.01/105.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
422.01/105.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
422.01/105.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
422.01/105.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
422.40/105.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.71/113.55	c lits-rem:      1876  cl-subs:     4130  v-elim:      0  v-fix:    0  time:  7.65 s
452.71/113.55	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
452.71/113.57	c vivif2 --  cl tried    58674 cl shrink        0 lits rem          0 time: 0.02
453.91/113.86	c asymm  cl-useful: 0/2924/2924 lits-rem:0 time: 0.29
453.91/113.86	c calculated reachability. Time: 0.00
453.91/113.86	c  N st    59    806697       170      2924         0     58674     14457   1331288   no data   no data
651.37/163.30	c  F st    60   1071876       170      2924         0     74187     14457   1817692   no data   no data
651.37/163.30	c  N st    60   1071876       170      2924         0     74187     14457   1817692   no data   no data
656.17/164.56	c Decided on static restart strategy
673.72/168.99	c  N st    70   1100183       170      2924         0     58403     14457   1162621   no data   no data
704.43/176.63	c  N st    72   1136180       170      2924         0     48862     14457    802740   no data   no data
733.55/183.91	c  N st    73   1168572       170      2924         0     79789     14457   1940753   no data   no data
770.24/193.11	c  N st    74   1210048       170      2924         0     74668     14457   1756956   no data   no data
770.24/193.11	c  S st    74   1210048       170      2924         0     74668     14457   1756956   no data   no data
771.44/193.40	c  S st    74   1210548       170      2924         0     75162     14457   1773389   no data   no data
771.44/193.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
771.44/193.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
771.44/193.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
771.44/193.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
771.44/193.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
771.44/193.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
771.44/193.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.44/193.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
771.84/193.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
835.26/209.43	c lits-rem:      1863  cl-subs:     4001  v-elim:      0  v-fix:    0  time: 15.89 s
835.26/209.43	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
835.26/209.46	c vivif2 --  cl tried    71161 cl shrink        0 lits rem          0 time: 0.02
837.26/209.93	c asymm  cl-useful: 0/2656/2924 lits-rem:0 time: 0.47
837.26/209.93	c calculated reachability. Time: 0.00
837.26/209.93	c  N st    74   1210548       170      2924         0     71161     14457   1607043   no data   no data
910.65/228.36	c  N st    75   1283431       170      2924         0     47980     14457    707879   no data   no data
1015.95/254.72	c  N st    76   1392755       170      2924         0     56002     14457    942535   no data   no data
1163.55/291.73	c  N st    77   1556740       170      2924         0     60674     14457   1048284   no data   no data
1314.32/329.51	c  N st    78   1710548       170      2924         0    101218     14457   2440843   no data   no data
1314.32/329.51	c  S st    78   1710548       170      2924         0    101218     14457   2440843   no data   no data
1315.12/329.79	c  S st    78   1711051       170      2924         0    101712     14457   2456983   no data   no data
1315.52/329.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1315.52/329.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1315.52/329.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1315.52/329.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1315.52/329.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1315.52/329.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
1315.52/329.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1315.52/329.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1315.92/329.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1426.79/357.71	c lits-rem:      3768  cl-subs:     8395  v-elim:      0  v-fix:    0  time: 27.76 s
1426.79/357.71	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
1426.79/357.75	c vivif2 --  cl tried    93317 cl shrink        0 lits rem          0 time: 0.03
1428.39/358.12	c asymm  cl-useful: 0/1965/2924 lits-rem:0 time: 0.37
1428.39/358.12	c calculated reachability. Time: 0.00
1428.39/358.12	c  N st    78   1711051       170      2924         0     93317     14457   2159502   no data   no data
1807.37/453.11	c  N st    79   2080015       170      2924         0    105375     14457   2516535   no data   no data
1942.19/486.97	c  N st    80   2211054       170      2924         0    109117     14457   2567277   no data   no data
1942.19/486.97	c  S st    80   2211054       170      2924         0    109117     14457   2567277   no data   no data
1943.81/487.32	c  S st    80   2211554       170      2924         0    109612     14457   2583967   no data   no data
1943.81/487.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1943.81/487.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1943.81/487.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1943.81/487.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1943.81/487.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1943.81/487.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
1943.81/487.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1944.23/487.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1944.23/487.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2065.03/517.78	c lits-rem:      2314  cl-subs:     8622  v-elim:      0  v-fix:    0  time: 30.30 s
2065.03/517.78	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
2065.43/517.82	c vivif2 --  cl tried   100990 cl shrink        0 lits rem          0 time: 0.03
2066.23/518.03	c asymm  cl-useful: 0/959/2924 lits-rem:0 time: 0.21
2066.23/518.04	c calculated reachability. Time: 0.00
2066.23/518.04	c  N st    80   2211554       170      2924         0    100990     14457   2270507   no data   no data
2653.83/665.34	c  N st    81   2711554       170      2924         0    123723     14457   2940279   no data   no data
2653.83/665.34	c  S st    81   2711554       170      2924         0    123723     14457   2940279   no data   no data
2655.42/665.70	c  S st    81   2712057       170      2924         0    124221     14457   2957745   no data   no data
2655.42/665.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2655.42/665.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2655.42/665.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2655.42/665.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2655.42/665.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2655.42/665.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
2655.42/665.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2655.82/665.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2655.82/665.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2833.31/710.33	c lits-rem:      4039  cl-subs:    10543  v-elim:      0  v-fix:    0  time: 44.45 s
2833.31/710.33	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
2833.31/710.38	c vivif2 --  cl tried   113678 cl shrink        0 lits rem          0 time: 0.05
2834.95/710.77	c asymm  cl-useful: 0/1594/2924 lits-rem:0 time: 0.39
2834.95/710.78	c calculated reachability. Time: 0.00
2834.95/710.78	c  N st    81   2712057       170      2924         0    113678     14457   2584658   no data   no data
3542.92/888.27	c  N st    82   3212057       170      2924         0     90698     14457   1600212   no data   no data
3542.92/888.27	c  S st    82   3212057       170      2924         0     90698     14457   1600212   no data   no data
3544.52/888.62	c  S st    82   3212560       170      2924         0     91196     14457   1616891   no data   no data
3544.52/888.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3544.52/888.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3544.52/888.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3544.52/888.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3544.52/888.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3544.52/888.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
3544.52/888.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3544.92/888.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3544.92/888.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3579.62/897.46	c lits-rem:      1151  cl-subs:     2800  v-elim:      0  v-fix:    0  time:  8.69 s
3579.62/897.46	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
3579.62/897.49	c vivif2 --  cl tried    88396 cl shrink        0 lits rem          0 time: 0.03
3581.21/897.81	c asymm  cl-useful: 0/1330/2924 lits-rem:0 time: 0.32
3581.21/897.81	c calculated reachability. Time: 0.00
3581.21/897.81	c  N st    82   3212560       170      2924         0     88396     14457   1515718   no data   no data
4323.11/1083.81	c  N st    83   3712560       170      2924         0     99253     14457   1779733   no data   no data
4323.11/1083.81	c  S st    83   3712560       170      2924         0     99253     14457   1779733   no data   no data
4324.32/1084.10	c  S st    83   3713067       170      2924         0     99753     14457   1797087   no data   no data
4324.32/1084.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4324.32/1084.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4324.32/1084.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4324.32/1084.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4324.32/1084.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4324.32/1084.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    170 time:  0.00 s
4324.32/1084.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4324.32/1084.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4324.72/1084.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4353.42/1091.43	c lits-rem:       738  cl-subs:     3389  v-elim:      0  v-fix:    0  time:  7.20 s
4353.42/1091.43	c vivif2 --  cl tried     2924 cl shrink        0 lits rem          0 time: 0.00
4353.42/1091.46	c vivif2 --  cl tried    96364 cl shrink        0 lits rem          0 time: 0.03
4355.03/1091.83	c asymm  cl-useful: 0/1878/2924 lits-rem:0 time: 0.37
4355.03/1091.84	c calculated reachability. Time: 0.00
4355.03/1091.84	c  N st    83   3713067       170      2924         0     96364     14457   1668884   no data   no data
4416.87/1107.32	c  F st    84   3751564       170      2924         0    133208     14457   2997231   no data   no data
4416.87/1107.32	c  N st    84   3751564       170      2924         0    133208     14457   2997231   no data   no data
4426.84/1109.82	c Decided on static restart strategy
4471.13/1120.95	c  N st    94   3779871       170      2924         0    160471     14457   3970222   no data   no data
4516.19/1132.25	c  N st    96   3815866       170      2924         0    113689     14457   2237541   no data   no data
4570.05/1145.75	c  N st    97   3848258       170      2924         0    144660     14457   3361616   no data   no data
4644.63/1164.43	c  N st    98   3896846       170      2924         0    108781     14457   2050707   no data   no data
4754.33/1191.96	c  N st    99   3969729       170      2924         0     95175     14457   1538987   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-3366926-1305417333/watcher-3366926-1305417333 -o /tmp/evaluation-result-3366926-1305417333/solver-3366926-1305417333 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366926-1305417333.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: 8.10 8.09 8.04 5/352 4565
/proc/meminfo: memFree=25559224/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 653335972 52396032 353 33554432000 4194304 4580107 140733588263472 18446744073709551615 216634515387 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 12792 353 302 95 0 7774 0
[pid=4565/tid=4566] ppid=4563 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653335972 52396032 353 33554432000 4194304 4580107 140733588263472 18446744073709551615 47104059037618 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653335972 52396032 353 33554432000 4194304 4580107 140733588263472 18446744073709551615 47104059037209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653335972 52396032 353 33554432000 4194304 4580107 140733588263472 18446744073709551615 47104059037209 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.157123 s]
/proc/loadavg: 8.10 8.09 8.04 5/352 4565
/proc/meminfo: memFree=25559224/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=292420 CPUtime=0.58 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 2658 0 0 0 58 0 0 0 18 0 4 0 653335972 299438080 1950 33554432000 4194304 4580107 140733588263472 18446744073709551615 4301509 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 73105 1950 376 95 0 68087 0
[pid=4565/tid=4566] ppid=4563 vsize=292420 CPUtime=0.14 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 557 0 0 0 14 0 0 0 18 0 4 0 653335972 299438080 1951 33554432000 4194304 4580107 140733588263472 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=292420 CPUtime=0.14 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 623 0 0 0 14 0 0 0 18 0 4 0 653335972 299438080 1951 33554432000 4194304 4580107 140733588263472 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=292420 CPUtime=0.15 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 424 0 0 0 15 0 0 0 18 0 4 0 653335972 299438080 1951 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 292420

[startup+0.215304 s]
/proc/loadavg: 8.10 8.09 8.04 5/352 4565
/proc/meminfo: memFree=25559224/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=284216 CPUtime=0.83 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 3006 0 0 0 82 1 0 0 18 0 4 0 653335972 291037184 2098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 71054 2098 376 95 0 66036 0
[pid=4565/tid=4566] ppid=4563 vsize=284216 CPUtime=0.19 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 691 0 0 0 19 0 0 0 18 0 4 0 653335972 291037184 2098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=284216 CPUtime=0.2 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 696 0 0 0 20 0 0 0 18 0 4 0 653335972 291037184 2098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=284216 CPUtime=0.2 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 492 0 0 0 20 0 0 0 18 0 4 0 653335972 291037184 2098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4324526 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 284216

[startup+0.300291 s]
/proc/loadavg: 8.10 8.09 8.04 5/352 4565
/proc/meminfo: memFree=25559224/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=284216 CPUtime=1.17 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 3471 0 0 0 116 1 0 0 18 0 4 0 653335972 291037184 2563 33554432000 4194304 4580107 140733588263472 18446744073709551615 4306341 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 71054 2563 377 95 0 66036 0
[pid=4565/tid=4566] ppid=4563 vsize=284216 CPUtime=0.28 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 814 0 0 0 28 0 0 0 18 0 4 0 653335972 291037184 2563 33554432000 4194304 4580107 140733588263472 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=284216 CPUtime=0.28 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 805 0 0 0 28 0 0 0 18 0 4 0 653335972 291037184 2563 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=284216 CPUtime=0.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 603 0 0 0 29 0 0 0 18 0 4 0 653335972 291037184 2563 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284216

[startup+0.700223 s]
/proc/loadavg: 8.10 8.09 8.04 5/352 4565
/proc/meminfo: memFree=25559224/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=286144 CPUtime=2.76 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 6432 0 0 0 275 1 0 0 18 0 4 0 653335972 293011456 2761 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 71536 2761 377 95 0 66518 0
[pid=4565/tid=4566] ppid=4563 vsize=286144 CPUtime=0.68 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1554 0 0 0 68 0 0 0 18 0 4 0 653335972 293011456 2762 33554432000 4194304 4580107 140733588263472 18446744073709551615 4302568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=286144 CPUtime=0.68 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1544 0 0 0 68 0 0 0 18 0 4 0 653335972 293011456 2762 33554432000 4194304 4580107 140733588263472 18446744073709551615 4324244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=286144 CPUtime=0.68 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 1346 0 0 0 68 0 0 0 18 0 4 0 653335972 293011456 2762 33554432000 4194304 4580107 140733588263472 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 286144

[startup+1.50108 s]
/proc/loadavg: 8.10 8.09 8.04 9/356 4569
/proc/meminfo: memFree=25544560/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=286972 CPUtime=5.95 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 12338 0 0 0 592 3 0 0 20 0 4 0 653335972 293859328 5204 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 71743 5204 379 95 0 66725 0
[pid=4565/tid=4566] ppid=4563 vsize=286972 CPUtime=1.46 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 2613 0 0 0 146 0 0 0 20 0 4 0 653335972 293859328 5204 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=286972 CPUtime=1.48 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 2670 0 0 0 148 0 0 0 20 0 4 0 653335972 293859328 5204 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=286972 CPUtime=1.49 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 2477 0 0 0 148 1 0 0 20 0 4 0 653335972 293859328 5204 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286972

[startup+3.1008 s]
/proc/loadavg: 8.09 8.09 8.04 9/356 4569
/proc/meminfo: memFree=25515692/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=302504 CPUtime=12.34 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 24222 0 0 0 1229 5 0 0 25 0 4 0 653335972 309764096 12030 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 75626 12030 379 95 0 70608 0
[pid=4565/tid=4566] ppid=4563 vsize=302504 CPUtime=3.05 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 5595 0 0 0 304 1 0 0 25 0 4 0 653335972 309764096 12030 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=302504 CPUtime=3.08 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 6388 0 0 0 307 1 0 0 25 0 4 0 653335972 309764096 12030 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=302504 CPUtime=3.08 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 5876 0 0 0 307 1 0 0 25 0 4 0 653335972 309764096 12030 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 302504

[startup+6.30024 s]
/proc/loadavg: 8.09 8.09 8.04 9/356 4569
/proc/meminfo: memFree=25483264/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=312268 CPUtime=25.1 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 37562 0 0 0 2502 8 0 0 25 0 4 0 653335972 319762432 17110 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 78067 17110 379 95 0 73049 0
[pid=4565/tid=4566] ppid=4563 vsize=312268 CPUtime=6.22 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 9288 0 0 0 620 2 0 0 25 0 4 0 653335972 319762432 17110 33554432000 4194304 4580107 140733588263472 18446744073709551615 4318504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=312268 CPUtime=6.28 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 10507 0 0 0 627 1 0 0 25 0 4 0 653335972 319762432 17110 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=312268 CPUtime=6.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 8577 0 0 0 627 2 0 0 25 0 4 0 653335972 319762432 17110 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 312268

[startup+12.7011 s]
/proc/loadavg: 8.07 8.09 8.04 9/356 4570
/proc/meminfo: memFree=25427164/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=325784 CPUtime=50.62 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 60248 0 0 0 5050 12 0 0 25 0 4 0 653335972 333602816 24599 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 81446 24599 379 95 0 76428 0
[pid=4565/tid=4566] ppid=4563 vsize=325784 CPUtime=12.54 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 14188 0 0 0 1251 3 0 0 25 0 4 0 653335972 333602816 24599 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=325784 CPUtime=12.69 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 15192 0 0 0 1266 3 0 0 25 0 4 0 653335972 333602816 24599 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=325784 CPUtime=12.69 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 14485 0 0 0 1266 3 0 0 25 0 4 0 653335972 333602816 24599 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 325784

[startup+25.5009 s]
/proc/loadavg: 8.13 8.10 8.05 9/356 4570
/proc/meminfo: memFree=25341368/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=319712 CPUtime=101.68 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 92174 0 0 0 10148 20 0 0 25 0 4 0 653335972 327385088 32641 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 79928 32641 379 95 0 74910 0
[pid=4565/tid=4566] ppid=4563 vsize=319712 CPUtime=25.2 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 22814 0 0 0 2515 5 0 0 25 0 4 0 653335972 327385088 32641 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=319712 CPUtime=25.48 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 23537 0 0 0 2543 5 0 0 25 0 4 0 653335972 327385088 32641 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=319712 CPUtime=25.49 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 21728 0 0 0 2544 5 0 0 25 0 4 0 653335972 327385088 32641 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 319712

[startup+51.1004 s]
/proc/loadavg: 8.09 8.09 8.04 9/356 4571
/proc/meminfo: memFree=25374376/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=337920 CPUtime=203.8 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 132716 0 0 0 20348 32 0 0 25 0 4 0 653335972 346030080 45297 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 84480 45297 379 95 0 79462 0
[pid=4565/tid=4566] ppid=4563 vsize=337920 CPUtime=50.52 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 31679 0 0 0 5045 7 0 0 25 0 4 0 653335972 346030080 45297 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=337920 CPUtime=51.08 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 33452 0 0 0 5099 9 0 0 25 0 4 0 653335972 346030080 45297 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=337920 CPUtime=51.09 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 32611 0 0 0 5101 8 0 0 25 0 4 0 653335972 346030080 45297 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 337920

[startup+102.3 s]
/proc/loadavg: 8.07 8.09 8.04 9/356 4603
/proc/meminfo: memFree=25900200/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=370300 CPUtime=408.07 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 197185 0 0 0 40757 50 0 0 25 0 4 0 653335972 379187200 51183 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 92575 51183 379 95 0 87557 0
[pid=4565/tid=4566] ppid=4563 vsize=370300 CPUtime=101.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 47159 0 0 0 10106 10 0 0 25 0 4 0 653335972 379187200 51187 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=370300 CPUtime=102.29 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 49358 0 0 0 10215 14 0 0 25 0 4 0 653335972 379187200 51187 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=370300 CPUtime=102.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 50682 0 0 0 10216 13 0 0 25 0 4 0 653335972 379187200 51187 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.07
Current children cumulated vsize (KiB) 370300

[startup+162.301 s]

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

[pid=4565] ppid=4563 vsize=654812 CPUtime=2801.4 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 642272 0 0 0 279919 221 0 0 25 0 4 0 653335972 670527488 121098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4406385 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 163703 121098 379 95 0 158685 0
[pid=4565/tid=4566] ppid=4563 vsize=654812 CPUtime=699.15 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 159135 0 0 0 69856 59 0 0 25 0 4 0 653335972 670527488 121098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=654812 CPUtime=697.63 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 159257 0 0 0 69707 56 0 0 25 0 4 0 653335972 670527488 121098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=654812 CPUtime=702.28 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 160220 0 0 0 70171 57 0 0 25 0 4 0 653335972 670527488 121098 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.4
Current children cumulated vsize (KiB) 654812

[startup+762.301 s]
/proc/loadavg: 8.17 8.18 8.10 9/356 4633
/proc/meminfo: memFree=25295256/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=873284 CPUtime=3040.76 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 675946 0 0 0 303841 235 0 0 25 0 4 0 653335972 894242816 128397 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 218321 128397 379 95 0 213303 0
[pid=4565/tid=4566] ppid=4563 vsize=873284 CPUtime=759.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 168469 0 0 0 75853 63 0 0 25 0 4 0 653335972 894242816 128398 33554432000 4194304 4580107 140733588263472 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=873284 CPUtime=756.97 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 165956 0 0 0 75638 59 0 0 25 0 4 0 653335972 894242816 128398 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=873284 CPUtime=762.31 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 169418 0 0 0 76169 62 0 0 25 0 4 0 653335972 894242816 128398 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.76
Current children cumulated vsize (KiB) 873284

[startup+822.301 s]
/proc/loadavg: 8.11 8.16 8.09 9/356 4634
/proc/meminfo: memFree=25220808/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=852464 CPUtime=3280.04 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 708860 0 0 0 327755 249 0 0 25 0 4 0 653335972 872923136 147444 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 213116 147444 379 95 0 208098 0
[pid=4565/tid=4566] ppid=4563 vsize=852464 CPUtime=819.15 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 174668 0 0 0 81850 65 0 0 25 0 4 0 653335972 872923136 147444 33554432000 4194304 4580107 140733588263472 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=852464 CPUtime=816.27 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 173457 0 0 0 81564 63 0 0 25 0 4 0 653335972 872923136 147444 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=852464 CPUtime=822.3 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 180555 0 0 0 82165 65 0 0 25 0 4 0 653335972 872923136 147444 33554432000 4194304 4580107 140733588263472 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.04
Current children cumulated vsize (KiB) 852464

[startup+882.313 s]
/proc/loadavg: 8.08 8.14 8.09 9/356 4636
/proc/meminfo: memFree=25229200/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=853372 CPUtime=3519.43 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 737196 0 0 0 351681 262 0 0 25 0 4 0 653335972 873852928 145155 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 213343 145155 379 95 0 208325 0
[pid=4565/tid=4566] ppid=4563 vsize=853372 CPUtime=879.17 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 182359 0 0 0 87849 68 0 0 25 0 4 0 653335972 873852928 145155 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=853372 CPUtime=875.6 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 182357 0 0 0 87493 67 0 0 25 0 4 0 653335972 873852928 145155 33554432000 4194304 4580107 140733588263472 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=853372 CPUtime=882.3 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 187373 0 0 0 88163 67 0 0 25 0 4 0 653335972 873852928 145155 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.43
Current children cumulated vsize (KiB) 853372

[startup+942.301 s]
/proc/loadavg: 8.15 8.16 8.09 9/356 4637
/proc/meminfo: memFree=25149552/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=911352 CPUtime=3758.72 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 768542 0 0 0 375592 280 0 0 25 0 4 0 653335972 933224448 146043 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 227838 146043 379 95 0 222820 0
[pid=4565/tid=4566] ppid=4563 vsize=911352 CPUtime=939.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 191246 0 0 0 93843 73 0 0 25 0 4 0 653335972 933224448 146043 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=911352 CPUtime=934.93 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 187708 0 0 0 93423 70 0 0 25 0 4 0 653335972 933224448 146043 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=911352 CPUtime=942.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 196083 0 0 0 94157 72 0 0 25 0 4 0 653335972 933224448 146043 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.72
Current children cumulated vsize (KiB) 911352

[startup+1002.3 s]
/proc/loadavg: 8.09 8.14 8.09 9/356 4639
/proc/meminfo: memFree=25133880/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=978568 CPUtime=3998.05 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 806413 0 0 0 399507 298 0 0 25 0 4 0 653335972 1002053632 155345 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 244642 155345 379 95 0 239624 0
[pid=4565/tid=4566] ppid=4563 vsize=978568 CPUtime=999.15 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 200780 0 0 0 99837 78 0 0 25 0 4 0 653335972 1002053632 155345 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=978568 CPUtime=994.26 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 196969 0 0 0 99352 74 0 0 25 0 4 0 653335972 1002053632 155345 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=978568 CPUtime=1002.3 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 206005 0 0 0 100153 77 0 0 25 0 4 0 653335972 1002053632 155345 33554432000 4194304 4580107 140733588263472 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.05
Current children cumulated vsize (KiB) 978568

[startup+1062.3 s]
/proc/loadavg: 8.07 8.13 8.09 9/356 4640
/proc/meminfo: memFree=25119080/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=862740 CPUtime=4237.36 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 818915 0 0 0 423430 306 0 0 25 0 4 0 653335972 883445760 153739 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 215685 153739 379 95 0 210667 0
[pid=4565/tid=4566] ppid=4563 vsize=862740 CPUtime=1059.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 202245 0 0 0 105836 80 0 0 25 0 4 0 653335972 883445760 153739 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=862740 CPUtime=1053.56 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 201180 0 0 0 105279 77 0 0 25 0 4 0 653335972 883445760 153739 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=862740 CPUtime=1062.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 208834 0 0 0 106151 78 0 0 25 0 4 0 653335972 883445760 153739 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.36
Current children cumulated vsize (KiB) 862740

[startup+1122.3 s]
/proc/loadavg: 8.09 8.12 8.09 9/356 4642
/proc/meminfo: memFree=25097556/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=987012 CPUtime=4476.7 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 850317 0 0 0 447350 320 0 0 25 0 4 0 653335972 1010700288 159434 33554432000 4194304 4580107 140733588263472 18446744073709551615 4305090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 246753 159435 379 95 0 241735 0
[pid=4565/tid=4566] ppid=4563 vsize=987012 CPUtime=1119.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 210816 0 0 0 111832 84 0 0 25 0 4 0 653335972 1010700288 159435 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=987012 CPUtime=1112.9 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 208381 0 0 0 111210 80 0 0 25 0 4 0 653335972 1010700288 159435 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=987012 CPUtime=1122.3 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 216861 0 0 0 112148 82 0 0 25 0 4 0 653335972 1010700288 159435 33554432000 4194304 4580107 140733588263472 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.7
Current children cumulated vsize (KiB) 987012

[startup+1182.3 s]
/proc/loadavg: 8.04 8.09 8.08 9/356 4644
/proc/meminfo: memFree=25080632/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=922744 CPUtime=4716.04 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 877992 0 0 0 471268 336 0 0 25 0 4 0 653335972 944889856 153872 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 230686 153872 379 95 0 225668 0
[pid=4565/tid=4566] ppid=4563 vsize=922744 CPUtime=1179.16 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 215600 0 0 0 117829 87 0 0 25 0 4 0 653335972 944889856 153872 33554432000 4194304 4580107 140733588263472 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=922744 CPUtime=1172.24 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 217297 0 0 0 117139 85 0 0 25 0 4 0 653335972 944889856 153872 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=922744 CPUtime=1182.29 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 225958 0 0 0 118142 87 0 0 25 0 4 0 653335972 944889856 153872 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.04
Current children cumulated vsize (KiB) 922744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.02 8.09 8.08 10/356 4644
/proc/meminfo: memFree=25072428/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=974136 CPUtime=4800.27 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 886667 0 0 0 479687 340 0 0 25 0 4 0 653335972 997515264 156945 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 243534 156945 379 95 0 238516 0
[pid=4565/tid=4566] ppid=4563 vsize=974136 CPUtime=1200.28 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 217451 0 0 0 119941 87 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=974136 CPUtime=1193.1 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 218173 0 0 0 119225 85 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=974136 CPUtime=1203.43 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 228309 0 0 0 120254 89 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 974136

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

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

[startup+1203.4 s]
/proc/loadavg: 8.02 8.09 8.08 10/356 4644
/proc/meminfo: memFree=25072428/32951124 swapFree=53501236/67111528
[pid=4565] ppid=4563 vsize=974136 CPUtime=4800.27 cores=1,3,5,7
/proc/4565/stat : 4565 (strangenight2-m) R 4563 4565 4220 0 -1 4202496 886667 0 0 0 479687 340 0 0 25 0 4 0 653335972 997515264 156945 33554432000 4194304 4580107 140733588263472 18446744073709551615 4295727 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/4565/statm: 243534 156945 379 95 0 238516 0
[pid=4565/tid=4566] ppid=4563 vsize=974136 CPUtime=1200.28 cores=1,3,5,7
/proc/4565/task/4566/stat : 4566 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 217451 0 0 0 119941 87 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=4565/tid=4567] ppid=4563 vsize=974136 CPUtime=1193.1 cores=1,3,5,7
/proc/4565/task/4567/stat : 4567 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 218173 0 0 0 119225 85 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=4565/tid=4568] ppid=4563 vsize=974136 CPUtime=1203.43 cores=1,3,5,7
/proc/4565/task/4568/stat : 4568 (strangenight2-m) R 4563 4565 4220 0 -1 4202560 228309 0 0 0 120254 89 0 0 25 0 4 0 653335972 997515264 156947 33554432000 4194304 4580107 140733588263472 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 974136

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.34
CPU user time (s): 4796.91
CPU system time (s): 3.42848
CPU usage (%): 398.879
Max. virtual memory (cumulated for all children) (KiB): 1050616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.91
system time used= 3.42848
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886670
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= 659
involuntary context switches= 34443

runsolver used 3.62445 second user time and 9.8545 second system time

The end

Launcher Data 

Begin job on node103 at 2011-05-15 01:55:34
IDJOB=3366926
IDBENCH=87447
IDSOLVER=1844
FILE ID=node103/3366926-1305417333
RUNJOBID= node103-1305415001-4239
PBS_JOBID= 13324557
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT02/handmade/pehoushek/plainoldcnf/5cnf_4300_4300_170.shuffled.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366926-1305417333/watcher-3366926-1305417333 -o /tmp/evaluation-result-3366926-1305417333/solver-3366926-1305417333 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366926-1305417333.cnf

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

MD5SUM BENCH= 82789f57e506af1994452e76af2dcbf0
RANDOM SEED=43939106

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:      25559504 kB
Buffers:        304428 kB
Cached:        3884868 kB
SwapCached:     340192 kB
Active:        1993592 kB
Inactive:      5126960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25559504 kB
SwapTotal:    67111528 kB
SwapFree:     53501236 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:     2601464 kB
Mapped:          11116 kB
Slab:           152144 kB
PageTables:      54292 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79106468 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= 72980 MiB
End job on node103 at 2011-05-15 02:15:39