Trace number 3264531

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.3 1202.25

General information on the benchmark

NameSAT04/handmade/hirsch03/
hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
MD5SUMf97e40b22ad62886042ca9677daf337d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables260
Number of clauses486
Sum of the clauses size1102
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2421
Number of clauses of size 30
Number of clauses of size 465
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3264531-1304128083.cnf'
0.00/0.00	c -- header says num vars:            260
0.00/0.00	c -- header says num clauses:         486
0.00/0.00	c -- clauses added:            0 learnts,          486 normals,            0 xors
0.00/0.00	c -- vars added        260
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       260        65       421         0      1102         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/65/65 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    260 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         3  cl-subs:        2  v-elim:     76  v-fix:    0  time:  0.00 s
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.00	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.00	c calculated reachability. Time: 0.00
0.00/0.00	c Calc default polars -  time:   0.00 s pos:      94 undec:      77 neg:      89
0.00/0.00	c =========================================================================================
0.00/0.00	c types(t): F = full restart, N = normal restart
0.00/0.00	c types(t): S = simplification begin/end, E = solution found
0.00/0.00	c restart types(rt): st = static, dy = dynamic
0.00/0.00	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.00	c  B st     0         0       184       138       277         0      1248         0   no data   no data
0.00/0.04	c Decided on static restart strategy
0.00/0.12	c  N st     8      4918       184       138       277      4664      1248    172251   no data   no data
0.00/0.35	c  N st    10     11300       184       138       277      4340      1248    128645   no data   no data
2.37/0.60	c  N st    11     17046       184       138       277      9879      1248    354048   no data   no data
3.58/0.95	c  F st    12     25000       184       138       277     12035      1248    401165   no data   no data
3.58/0.95	c  N st    12     25000       184       138       277     12035      1248    401165   no data   no data
4.37/1.14	c Decided on static restart strategy
4.37/1.14	c  N st    18     30000       184       138       277     10334      1248    303898   no data   no data
4.37/1.14	c  S st    18     30000       184       138       277     10334      1248    303898   no data   no data
4.37/1.17	c  S st    18     30505       184       138       277     10820      1248    318928   no data   no data
4.37/1.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
4.37/1.17	c blocked clauses removed:        0 vars:      0 tried:         184 T: 0.00 s
4.37/1.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
4.37/1.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.37/1.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
5.17/1.34	c lits-rem:      1334  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.13 s
5.17/1.35	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
5.17/1.35	c calculated reachability. Time: 0.00
5.17/1.35	c  N st    18     30505       184       138       277     10488      1248    305510   no data   no data
6.37/1.64	c  N st    20     37620       184       138       277      9769      1248    264066   no data   no data
7.57/1.93	c  N st    21     44020       184       138       277     15866      1248    496982   no data   no data
7.97/2.03	c  S st    22     45757       184       138       277      8993      1248    208996   no data   no data
7.97/2.05	c  S st    22     46259       184       138       277      9481      1248    223108   no data   no data
7.97/2.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.97/2.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.97/2.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.97/2.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.97/2.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.97/2.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
7.97/2.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.97/2.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.97/2.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
8.37/2.11	c lits-rem:       127  cl-subs:       67  v-elim:      0  v-fix:    0  time:  0.02 s
8.37/2.11	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
8.37/2.11	c vivif2 --  cl tried     9414 cl shrink        0 lits rem          0 time: 0.00
8.37/2.11	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
8.37/2.11	c calculated reachability. Time: 0.00
8.37/2.11	c  N st    22     46259       184       138       277      9414      1248    220992   no data   no data
11.16/2.88	c  N st    23     60657       184       138       277     13662      1248    380575   no data   no data
13.56/3.41	c  N st    24     69390       184       138       277     11553      1248    271961   no data   no data
13.56/3.41	c  S st    24     69390       184       138       277     11553      1248    271961   no data   no data
13.56/3.45	c  S st    24     69894       184       138       277     12048      1248    287169   no data   no data
13.56/3.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.56/3.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
13.56/3.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.56/3.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.56/3.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.56/3.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
13.56/3.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.56/3.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.56/3.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
13.96/3.54	c lits-rem:       186  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.05 s
13.96/3.54	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
13.96/3.55	c vivif2 --  cl tried    11968 cl shrink        0 lits rem          0 time: 0.00
13.96/3.55	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
13.96/3.55	c calculated reachability. Time: 0.00
13.96/3.55	c  N st    24     69894       184       138       277     11968      1248    284463   no data   no data
18.36/4.65	c  F st    25     87500       184       138       277     17445      1248    471539   no data   no data
18.36/4.65	c  N st    25     87500       184       138       277     17445      1248    471539   no data   no data
19.55/4.93	c Decided on static restart strategy
20.35/5.15	c  N st    32     95541       184       138       277     12610      1248    271023   no data   no data
22.34/5.65	c  N st    34    104841       184       138       277     21438      1248    609972   no data   no data
22.34/5.65	c  S st    34    104841       184       138       277     21438      1248    609972   no data   no data
22.75/5.70	c  S st    34    105346       184       138       277     21937      1248    625438   no data   no data
22.75/5.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.75/5.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
22.75/5.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.75/5.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.75/5.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.75/5.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
22.75/5.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
22.75/5.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
22.75/5.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
24.75/6.26	c lits-rem:      1351  cl-subs:      473  v-elim:      0  v-fix:    0  time:  0.46 s
24.75/6.26	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
24.75/6.27	c vivif2 --  cl tried    21464 cl shrink        0 lits rem          0 time: 0.01
24.75/6.27	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
24.75/6.27	c calculated reachability. Time: 0.00
24.75/6.27	c  N st    34    105346       184       138       277     21464      1248    605451   no data   no data
27.14/6.86	c  N st    35    114947       184       138       277     17342      1248    418567   no data   no data
31.95/8.02	c  N st    36    129344       184       138       277     16780      1248    379221   no data   no data
37.13/9.37	c  N st    37    150939       184       138       277     22106      1248    585594   no data   no data
39.53/9.93	c  S st    38    158019       184       138       277     28898      1248    828964   no data   no data
39.93/10.00	c  S st    38    158524       184       138       277     29392      1248    843506   no data   no data
39.93/10.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.93/10.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.01
39.93/10.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.93/10.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.93/10.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.93/10.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
39.93/10.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.93/10.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
40.33/10.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
43.52/10.98	c lits-rem:       476  cl-subs:      870  v-elim:      0  v-fix:    0  time:  0.85 s
43.52/10.98	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
43.52/10.99	c vivif2 --  cl tried    28522 cl shrink        0 lits rem          0 time: 0.01
43.52/10.99	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
43.52/10.99	c calculated reachability. Time: 0.00
43.52/10.99	c  N st    38    158524       184       138       277     28522      1248    809474   no data   no data
61.11/15.32	c  N st    39    207113       184       138       277     23297      1248    574719   no data   no data
71.09/17.82	c  N st    40    237787       184       138       277     33088      1248    890362   no data   no data
71.09/17.82	c  S st    40    237787       184       138       277     33088      1248    890362   no data   no data
71.09/17.90	c  S st    40    238287       184       138       277     33578      1248    906058   no data   no data
71.09/17.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.51/17.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
71.51/17.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.51/17.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
71.51/17.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.51/17.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
71.51/17.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.51/17.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
71.92/18.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
75.90/19.09	c lits-rem:      1412  cl-subs:     1110  v-elim:      0  v-fix:    0  time:  1.07 s
75.90/19.09	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
76.31/19.10	c vivif2 --  cl tried    32468 cl shrink        0 lits rem          0 time: 0.01
76.31/19.11	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
76.31/19.11	c calculated reachability. Time: 0.00
76.31/19.11	c  N st    40    238287       184       138       277     32468      1248    866991   no data   no data
101.06/25.38	c  F st    41    306250       184       138       277     34583      1248    939174   no data   no data
101.06/25.38	c  N st    41    306250       184       138       277     34583      1248    939174   no data   no data
103.06/25.83	c Decided on static restart strategy
110.65/27.77	c  N st    51    334556       184       138       277     38895      1248   1085954   no data   no data
118.64/29.71	c  N st    53    357430       184       138       277     36793      1248    964539   no data   no data
118.64/29.71	c  S st    53    357430       184       138       277     36793      1248    964539   no data   no data
118.64/29.79	c  S st    53    357934       184       138       277     37286      1248    979804   no data   no data
118.64/29.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
119.04/29.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
119.04/29.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.04/29.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
119.04/29.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
119.04/29.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
119.04/29.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
119.04/29.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
119.44/29.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
123.43/30.93	c lits-rem:       865  cl-subs:     1048  v-elim:      0  v-fix:    0  time:  0.99 s
123.43/30.93	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
123.43/30.94	c vivif2 --  cl tried    36238 cl shrink        0 lits rem          0 time: 0.01
123.43/30.95	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
123.43/30.95	c calculated reachability. Time: 0.00
123.43/30.95	c  N st    53    357934       184       138       277     36238      1248    940401   no data   no data
137.43/34.47	c  N st    54    390326       184       138       277     42271      1248   1034338   no data   no data
156.19/39.16	c  N st    55    438915       184       138       277     36297      1248    862210   no data   no data
186.96/46.80	c  N st    56    511797       184       138       277     49767      1248   1325676   no data   no data
196.14/49.11	c  N st    57    536901       184       138       277     44033      1248   1138174   no data   no data
196.14/49.11	c  S st    57    536901       184       138       277     44033      1248   1138174   no data   no data
196.54/49.21	c  S st    57    537407       184       138       277     44532      1248   1154357   no data   no data
196.54/49.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
196.54/49.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.02
196.54/49.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
196.54/49.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
196.54/49.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
196.54/49.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
196.54/49.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
196.54/49.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
196.95/49.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
202.54/50.77	c lits-rem:       943  cl-subs:     1003  v-elim:      0  v-fix:    0  time:  1.39 s
202.54/50.77	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
202.54/50.79	c vivif2 --  cl tried    43529 cl shrink        0 lits rem          0 time: 0.02
202.94/50.80	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
202.94/50.81	c calculated reachability. Time: 0.00
202.94/50.81	c  N st    57    537407       184       138       277     43529      1248   1114649   no data   no data
275.65/69.04	c  N st    58    701391       184       138       277     37786      1248    752160   no data   no data
327.18/81.92	c  N st    59    806110       184       138       277     66650      1248   1704191   no data   no data
327.18/81.92	c  S st    59    806110       184       138       277     66650      1248   1704191   no data   no data
327.58/82.05	c  S st    59    806616       184       138       277     67150      1248   1720554   no data   no data
327.58/82.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
327.98/82.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.05
327.98/82.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
327.98/82.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
327.98/82.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
327.98/82.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
327.98/82.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
327.98/82.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
328.79/82.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
346.36/86.78	c lits-rem:      2558  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  4.47 s
346.36/86.78	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
346.76/86.81	c vivif2 --  cl tried    65254 cl shrink        0 lits rem          0 time: 0.03
346.76/86.84	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.03
346.76/86.84	c calculated reachability. Time: 0.00
346.76/86.84	c  N st    59    806616       184       138       277     65254      1248   1657375   no data   no data
493.39/123.51	c  F st    60   1071878       184       138       277     80705      1248   2165136   no data   no data
493.39/123.51	c  N st    60   1071878       184       138       277     80705      1248   2165136   no data   no data
496.18/124.25	c Decided on static restart strategy
506.58/126.85	c  N st    70   1100184       184       138       277     64863      1248   1613716   no data   no data
524.55/131.33	c  N st    72   1136178       184       138       277     55228      1248   1192639   no data   no data
542.51/135.85	c  N st    73   1168570       184       138       277     86196      1248   2383875   no data   no data
567.28/142.08	c  N st    74   1209925       184       138       277     79739      1248   2101399   no data   no data
567.28/142.08	c  S st    74   1209925       184       138       277     79739      1248   2101399   no data   no data
568.09/142.26	c  S st    74   1210426       184       138       277     80239      1248   2117489   no data   no data
568.09/142.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
568.50/142.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
568.50/142.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
568.50/142.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
568.50/142.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
568.50/142.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
568.50/142.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
568.50/142.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
569.67/142.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
615.21/154.08	c lits-rem:      7808  cl-subs:     4890  v-elim:      0  v-fix:    0  time: 11.42 s
615.21/154.08	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
615.61/154.12	c vivif2 --  cl tried    75349 cl shrink        0 lits rem          0 time: 0.03
615.61/154.15	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.03
615.61/154.15	c calculated reachability. Time: 0.00
615.61/154.15	c  N st    74   1210426       184       138       277     75349      1248   1950359   no data   no data
654.75/163.90	c  N st    75   1283309       184       138       277     53127      1248   1053182   no data   no data
720.27/180.39	c  N st    76   1392633       184       138       277     60984      1248   1320830   no data   no data
821.33/205.60	c  N st    77   1556617       184       138       277     65767      1248   1390935   no data   no data
922.00/230.84	c  N st    78   1710426       184       138       277    106689      1248   2781092   no data   no data
922.00/230.84	c  S st    78   1710426       184       138       277    106689      1248   2781092   no data   no data
922.80/231.06	c  S st    78   1710928       184       138       277    107174      1248   2795930   no data   no data
922.80/231.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
923.20/231.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.08
923.20/231.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
923.20/231.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
923.20/231.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
923.20/231.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
923.20/231.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
923.20/231.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
924.80/231.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
987.12/247.13	c lits-rem:      6016  cl-subs:     4229  v-elim:      0  v-fix:    0  time: 15.62 s
987.12/247.13	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
987.12/247.18	c vivif2 --  cl tried   102945 cl shrink        0 lits rem          0 time: 0.05
987.52/247.22	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.04
987.52/247.22	c calculated reachability. Time: 0.00
987.52/247.22	c  N st    78   1710928       184       138       277    102945      1248   2650043   no data   no data
1263.55/316.31	c  N st    79   2079892       184       138       277    112492      1248   2666963   no data   no data
1357.42/339.83	c  N st    80   2210929       184       138       277    117835      1248   2938144   no data   no data
1357.42/339.83	c  S st    80   2210929       184       138       277    117835      1248   2938144   no data   no data
1358.22/340.06	c  S st    80   2211429       184       138       277    118327      1248   2955802   no data   no data
1358.22/340.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1358.62/340.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.09
1358.62/340.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1358.62/340.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1358.62/340.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1358.62/340.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
1358.62/340.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1358.62/340.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1360.22/340.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.31 s
1430.12/358.07	c lits-rem:      4406  cl-subs:     6314  v-elim:      0  v-fix:    0  time: 17.48 s
1430.12/358.07	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
1430.52/358.13	c vivif2 --  cl tried   112013 cl shrink        0 lits rem          0 time: 0.05
1430.52/358.18	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.05
1430.52/358.18	c calculated reachability. Time: 0.00
1430.52/358.18	c  N st    80   2211429       184       138       277    112013      1248   2779875   no data   no data
1786.03/447.14	c  N st    81   2711430       184       138       277    135500      1248   3889148   no data   no data
1786.03/447.14	c  S st    81   2711430       184       138       277    135500      1248   3889148   no data   no data
1787.23/447.43	c  S st    81   2711933       184       138       277    135992      1248   3904988   no data   no data
1787.23/447.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1787.63/447.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.10
1787.63/447.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1787.63/447.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1787.63/447.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1787.63/447.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
1787.63/447.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1788.03/447.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
1789.65/448.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.37 s
1877.93/470.15	c lits-rem:      5217  cl-subs:     3599  v-elim:      0  v-fix:    0  time: 22.08 s
1877.93/470.15	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
1878.31/470.22	c vivif2 --  cl tried   132393 cl shrink        0 lits rem          0 time: 0.06
1878.31/470.28	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.06
1878.31/470.28	c calculated reachability. Time: 0.00
1878.31/470.28	c  N st    81   2711933       184       138       277    132393      1248   3752089   no data   no data
2374.48/594.49	c  N st    82   3211934       184       138       277    109757      1248   2667852   no data   no data
2374.48/594.49	c  S st    82   3211934       184       138       277    109757      1248   2667852   no data   no data
2375.65/594.72	c  S st    82   3212437       184       138       277    110249      1248   2682933   no data   no data
2375.65/594.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2376.05/594.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.08
2376.05/594.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2376.05/594.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2376.05/594.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2376.05/594.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
2376.05/594.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2376.05/594.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2377.25/595.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
2411.60/603.77	c lits-rem:      2822  cl-subs:     2074  v-elim:      0  v-fix:    0  time:  8.59 s
2411.60/603.77	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
2412.00/603.81	c vivif2 --  cl tried   108175 cl shrink        0 lits rem          0 time: 0.04
2412.00/603.86	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.05
2412.00/603.87	c calculated reachability. Time: 0.00
2412.00/603.87	c  N st    82   3212437       184       138       277    108175      1248   2603842   no data   no data
2972.44/744.10	c  N st    83   3712438       184       138       277    119022      1248   2999824   no data   no data
2972.44/744.10	c  S st    83   3712438       184       138       277    119022      1248   2999824   no data   no data
2973.24/744.37	c  S st    83   3712940       184       138       277    119515      1248   3015663   no data   no data
2973.24/744.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2973.64/744.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.10
2973.64/744.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2973.64/744.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2973.64/744.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2973.64/744.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
2973.64/744.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2974.04/744.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
2975.64/744.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.33 s
3019.18/755.87	c lits-rem:      1930  cl-subs:     2710  v-elim:      0  v-fix:    0  time: 10.94 s
3019.18/755.87	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
3019.58/755.92	c vivif2 --  cl tried   116805 cl shrink        0 lits rem          0 time: 0.05
3019.58/755.98	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.06
3019.58/755.99	c calculated reachability. Time: 0.00
3019.58/755.99	c  N st    83   3712940       184       138       277    116805      1248   2923345   no data   no data
3054.73/764.72	c  F st    84   3751564       184       138       277    153613      1248   4338904   no data   no data
3054.73/764.72	c  N st    84   3751564       184       138       277    153613      1248   4338904   no data   no data
3061.13/766.30	c Decided on static restart strategy
3080.30/771.12	c  N st    94   3779868       184       138       277     99221      1248   2082708   no data   no data
3107.47/777.96	c  N st    96   3815860       184       138       277    133838      1248   3408240   no data   no data
3147.81/788.09	c  N st    97   3848255       184       138       277    165251      1248   4644639   no data   no data
3184.94/797.30	c  N st    98   3896846       184       138       277    129407      1248   3157399   no data   no data
3248.87/813.38	c  N st    99   3969728       184       138       277    115127      1248   2566687   no data   no data
3349.43/838.58	c  N st   100   4079052       184       138       277    136029      1248   3241095   no data   no data
3472.01/869.51	c  N st   101   4212940       184       138       277     92122      1248   1677634   no data   no data
3472.01/869.51	c  S st   101   4212940       184       138       277     92122      1248   1677634   no data   no data
3472.81/869.71	c  S st   101   4213448       184       138       277     92620      1248   1693610   no data   no data
3472.81/869.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3472.81/869.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.06
3472.81/869.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3472.81/869.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3472.81/869.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3472.81/869.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
3472.81/869.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3473.21/869.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3473.61/869.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
3478.01/871.03	c lits-rem:       645  cl-subs:      523  v-elim:      0  v-fix:    0  time:  1.06 s
3478.01/871.03	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
3478.01/871.06	c vivif2 --  cl tried    92097 cl shrink        0 lits rem          0 time: 0.03
3478.41/871.10	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.04
3478.41/871.11	c calculated reachability. Time: 0.00
3478.41/871.11	c  N st   101   4213448       184       138       277     92097      1248   1677769   no data   no data
3706.50/928.27	c  N st   102   4459425       184       138       277    151175      1248   3624124   no data   no data
3962.53/992.56	c  N st   103   4713450       184       138       277    122997      1248   2770644   no data   no data
3962.53/992.56	c  S st   103   4713450       184       138       277    122997      1248   2770644   no data   no data
3963.31/992.80	c  S st   103   4713953       184       138       277    123494      1248   2786817   no data   no data
3963.71/992.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3964.11/992.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.10
3964.11/992.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3964.11/992.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3964.11/992.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3964.11/992.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
3964.11/992.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3964.11/992.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3965.31/993.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.23 s
4013.64/1005.38	c lits-rem:     12980  cl-subs:     3649  v-elim:      0  v-fix:    0  time: 12.06 s
4013.64/1005.38	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
4014.04/1005.42	c vivif2 --  cl tried   119845 cl shrink        0 lits rem          0 time: 0.05
4014.04/1005.48	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.06
4014.04/1005.49	c calculated reachability. Time: 0.00
4014.04/1005.49	c  N st   103   4713953       184       138       277    119845      1248   2649164   no data   no data
4524.60/1133.25	c  N st   104   5213953       184       138       277    131721      1248   3025097   no data   no data
4524.60/1133.25	c  S st   104   5213953       184       138       277    131721      1248   3025097   no data   no data
4526.59/1133.70	c  S st   104   5214453       184       138       277    132215      1248   3040995   no data   no data
4526.59/1133.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4527.39/1133.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.18
4527.39/1133.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4527.39/1133.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4527.39/1133.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4527.39/1133.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
4527.39/1133.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4527.39/1133.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
4529.81/1134.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.44 s
4596.09/1151.12	c lits-rem:      1219  cl-subs:     2343  v-elim:      0  v-fix:    0  time: 16.52 s
4596.09/1151.12	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
4596.09/1151.18	c vivif2 --  cl tried   129872 cl shrink        0 lits rem          0 time: 0.06
4596.49/1151.27	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.09
4596.49/1151.27	c calculated reachability. Time: 0.00
4596.49/1151.27	c  N st   104   5214453       184       138       277    129872      1248   2949113   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3264531-1304128083/watcher-3264531-1304128083 -o /tmp/evaluation-result-3264531-1304128083/solver-3264531-1304128083 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3264531-1304128083.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: 3.78 5.35 6.81 2/172 23565
/proc/meminfo: memFree=30314420/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 524408697 52441088 347 33554432000 4194304 4627427 140736677033856 18446744073709551615 47569900558258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 12803 347 299 106 0 7774 0
[pid=23565/tid=23566] ppid=23563 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 524408697 52441088 347 33554432000 4194304 4627427 140736677033856 18446744073709551615 47569900558258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 524408697 52441088 347 33554432000 4194304 4627427 140736677033856 18446744073709551615 47569900558258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 524408697 52441088 347 33554432000 4194304 4627427 140736677033856 18446744073709551615 253640915953 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.478241 s]
/proc/loadavg: 3.78 5.35 6.81 2/172 23565
/proc/meminfo: memFree=30314420/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=284776 CPUtime=1.88 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 4397 0 0 0 188 0 0 0 18 0 4 0 524408697 291610624 2500 33554432000 4194304 4627427 140736677033856 18446744073709551615 253640520737 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 71194 2500 385 106 0 66165 0
[pid=23565/tid=23566] ppid=23563 vsize=284776 CPUtime=0.47 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1030 0 0 0 47 0 0 0 18 0 4 0 524408697 291610624 2500 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=284776 CPUtime=0.46 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1052 0 0 0 46 0 0 0 24 0 4 0 524408697 291610624 2500 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=284776 CPUtime=0.47 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 890 0 0 0 47 0 0 0 18 0 4 0 524408697 291610624 2500 33554432000 4194304 4627427 140736677033856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 284776

[startup+0.556091 s]
/proc/loadavg: 3.78 5.35 6.81 2/172 23565
/proc/meminfo: memFree=30314420/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=284868 CPUtime=2.19 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 4839 0 0 0 219 0 0 0 18 0 4 0 524408697 291704832 2634 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 71217 2634 385 106 0 66188 0
[pid=23565/tid=23566] ppid=23563 vsize=284868 CPUtime=0.55 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1109 0 0 0 55 0 0 0 18 0 4 0 524408697 291704832 2634 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=284868 CPUtime=0.54 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1132 0 0 0 54 0 0 0 25 0 4 0 524408697 291704832 2634 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=284868 CPUtime=0.54 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1077 0 0 0 54 0 0 0 18 0 4 0 524408697 291704832 2634 33554432000 4194304 4627427 140736677033856 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 284868

[startup+0.601083 s]
/proc/loadavg: 3.78 5.35 6.81 2/172 23565
/proc/meminfo: memFree=30314420/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=285156 CPUtime=2.37 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 5332 0 0 0 237 0 0 0 18 0 4 0 524408697 291999744 2355 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 71289 2356 385 106 0 66260 0
[pid=23565/tid=23566] ppid=23563 vsize=285156 CPUtime=0.59 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1311 0 0 0 59 0 0 0 18 0 4 0 524408697 291999744 2356 33554432000 4194304 4627427 140736677033856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=285156 CPUtime=0.58 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1337 0 0 0 58 0 0 0 25 0 4 0 524408697 291999744 2356 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=285156 CPUtime=0.59 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1126 0 0 0 59 0 0 0 18 0 4 0 524408697 291999744 2356 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 285156

[startup+0.701066 s]
/proc/loadavg: 3.78 5.35 6.81 2/172 23565
/proc/meminfo: memFree=30314420/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=285312 CPUtime=2.78 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 5947 0 0 0 277 1 0 0 18 0 4 0 524408697 292159488 2558 33554432000 4194304 4627427 140736677033856 18446744073709551615 4322369 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 71328 2558 385 106 0 66299 0
[pid=23565/tid=23566] ppid=23563 vsize=285312 CPUtime=0.69 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1413 0 0 0 69 0 0 0 18 0 4 0 524408697 292159488 2558 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=285312 CPUtime=0.68 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1470 0 0 0 68 0 0 0 25 0 4 0 524408697 292159488 2558 33554432000 4194304 4627427 140736677033856 18446744073709551615 4321628 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=285312 CPUtime=0.69 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 1227 0 0 0 69 0 0 0 18 0 4 0 524408697 292159488 2558 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285312

[startup+1.50692 s]
/proc/loadavg: 4.20 5.41 6.83 9/184 23577
/proc/meminfo: memFree=30271544/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=286836 CPUtime=5.99 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 13516 0 0 0 597 2 0 0 20 0 4 0 524408697 293720064 7129 33554432000 4194304 4627427 140736677033856 18446744073709551615 4321736 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 71709 7129 389 106 0 66680 0
[pid=23565/tid=23566] ppid=23563 vsize=286836 CPUtime=1.49 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 3968 0 0 0 149 0 0 0 20 0 4 0 524408697 293720064 7129 33554432000 4194304 4627427 140736677033856 18446744073709551615 4332603 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=286836 CPUtime=1.49 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 2710 0 0 0 148 1 0 0 25 0 4 0 524408697 293720064 7129 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=286836 CPUtime=1.49 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 2264 0 0 0 149 0 0 0 20 0 4 0 524408697 293720064 7129 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 286836

[startup+3.10063 s]
/proc/loadavg: 4.20 5.41 6.83 9/184 23577
/proc/meminfo: memFree=30252556/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=299084 CPUtime=12.36 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 22958 0 0 0 1232 4 0 0 25 0 4 0 524408697 306262016 12442 33554432000 4194304 4627427 140736677033856 18446744073709551615 4333251 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 74771 12442 389 106 0 69742 0
[pid=23565/tid=23566] ppid=23563 vsize=299084 CPUtime=3.09 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 5633 0 0 0 308 1 0 0 25 0 4 0 524408697 306262016 12442 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=299084 CPUtime=3.08 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 6769 0 0 0 307 1 0 0 25 0 4 0 524408697 306262016 12442 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=299084 CPUtime=3.07 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 4035 0 0 0 307 0 0 0 25 0 4 0 524408697 306262016 12442 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299084

[startup+6.30105 s]
/proc/loadavg: 4.20 5.41 6.83 9/184 23577
/proc/meminfo: memFree=30187808/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=299548 CPUtime=25.15 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 41569 0 0 0 2508 7 0 0 25 0 4 0 524408697 306737152 23508 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 74887 23508 389 106 0 69858 0
[pid=23565/tid=23566] ppid=23563 vsize=299548 CPUtime=6.29 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 10050 0 0 0 628 1 0 0 25 0 4 0 524408697 306737152 23508 33554432000 4194304 4627427 140736677033856 18446744073709551615 4308499 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=299548 CPUtime=6.28 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 10113 0 0 0 626 2 0 0 25 0 4 0 524408697 306737152 23508 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=299548 CPUtime=6.26 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 10930 0 0 0 625 1 0 0 25 0 4 0 524408697 306737152 23508 33554432000 4194304 4627427 140736677033856 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 299548

[startup+12.7009 s]
/proc/loadavg: 4.85 5.51 6.84 9/184 23577
/proc/meminfo: memFree=30140720/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=310300 CPUtime=50.71 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 60298 0 0 0 5061 10 0 0 25 0 4 0 524408697 317747200 31224 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 77575 31224 389 106 0 72546 0
[pid=23565/tid=23566] ppid=23563 vsize=310300 CPUtime=12.69 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 12920 0 0 0 1267 2 0 0 25 0 4 0 524408697 317747200 31224 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=310300 CPUtime=12.68 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 15237 0 0 0 1265 3 0 0 25 0 4 0 524408697 317747200 31224 33554432000 4194304 4627427 140736677033856 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=310300 CPUtime=12.63 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 16114 0 0 0 1261 2 0 0 25 0 4 0 524408697 317747200 31224 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 310300

[startup+25.5005 s]
/proc/loadavg: 5.42 5.61 6.86 9/184 23578
/proc/meminfo: memFree=30076984/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=339892 CPUtime=101.86 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 90544 0 0 0 10170 16 0 0 25 0 4 0 524408697 348049408 39922 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 84973 39922 389 106 0 79944 0
[pid=23565/tid=23566] ppid=23563 vsize=339892 CPUtime=25.48 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 17407 0 0 0 2546 2 0 0 25 0 4 0 524408697 348049408 39922 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=339892 CPUtime=25.48 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 23680 0 0 0 2543 5 0 0 25 0 4 0 524408697 348049408 39923 33554432000 4194304 4627427 140736677033856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=339892 CPUtime=25.37 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 25915 0 0 0 2533 4 0 0 25 0 4 0 524408697 348049408 39923 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 339892

[startup+51.1009 s]
/proc/loadavg: 6.43 5.84 6.89 9/184 23578
/proc/meminfo: memFree=30034880/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=354816 CPUtime=204.13 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 132022 0 0 0 20389 24 0 0 25 0 4 0 524408697 363331584 45035 33554432000 4194304 4627427 140736677033856 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 88704 45035 389 106 0 83675 0
[pid=23565/tid=23566] ppid=23563 vsize=354816 CPUtime=51.09 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 19060 0 0 0 5106 3 0 0 25 0 4 0 524408697 363331584 45035 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=354816 CPUtime=51.08 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 38700 0 0 0 5100 8 0 0 25 0 4 0 524408697 363331584 45035 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=354816 CPUtime=50.84 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 38633 0 0 0 5078 6 0 0 25 0 4 0 524408697 363331584 45035 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 354816

[startup+102.301 s]
/proc/loadavg: 7.41 6.20 6.96 9/184 23610
/proc/meminfo: memFree=29984780/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=374260 CPUtime=408.69 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 223282 0 0 0 40823 46 0 0 25 0 4 0 524408697 383242240 62777 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 93565 62777 389 106 0 88536 0
[pid=23565/tid=23566] ppid=23563 vsize=374260 CPUtime=102.28 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 36123 0 0 0 10222 6 0 0 25 0 4 0 524408697 383242240 62777 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=374260 CPUtime=102.28 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 60737 0 0 0 10215 13 0 0 25 0 4 0 524408697 383242240 62777 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=374260 CPUtime=101.8 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 65119 0 0 0 10167 13 0 0 25 0 4 0 524408697 383242240 62777 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.69
Current children cumulated vsize (KiB) 374260

[startup+162.301 s]

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

[pid=23565] ppid=23563 vsize=939788 CPUtime=2565.81 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 682660 0 0 0 256410 171 0 0 25 0 4 0 524408697 962342912 163797 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 234947 163797 389 106 0 229918 0
[pid=23565/tid=23566] ppid=23563 vsize=939788 CPUtime=642.29 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 108180 0 0 0 64201 28 0 0 25 0 4 0 524408697 962342912 163797 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=939788 CPUtime=642.29 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 171099 0 0 0 64185 44 0 0 25 0 4 0 524408697 962342912 163797 33554432000 4194304 4627427 140736677033856 18446744073709551615 4322044 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=939788 CPUtime=638.89 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 234241 0 0 0 63831 58 0 0 25 0 4 0 524408697 962342912 163797 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.81
Current children cumulated vsize (KiB) 939788

[startup+702.301 s]
/proc/loadavg: 8.09 7.84 7.49 9/184 23626
/proc/meminfo: memFree=29120224/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1085296 CPUtime=2805.48 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 725189 0 0 0 280364 184 0 0 25 0 4 0 524408697 1111343104 175585 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 271324 175585 389 106 0 266295 0
[pid=23565/tid=23566] ppid=23563 vsize=1085296 CPUtime=702.29 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 120445 0 0 0 70197 32 0 0 25 0 4 0 524408697 1111343104 175585 33554432000 4194304 4627427 140736677033856 18446744073709551615 4467823 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1085296 CPUtime=702.29 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 180268 0 0 0 70181 48 0 0 25 0 4 0 524408697 1111343104 175585 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1085296 CPUtime=698.55 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 247164 0 0 0 69795 60 0 0 25 0 4 0 524408697 1111343104 175585 33554432000 4194304 4627427 140736677033856 18446744073709551615 4427207 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.48
Current children cumulated vsize (KiB) 1085296

[startup+762.301 s]
/proc/loadavg: 8.03 7.87 7.52 9/184 23627
/proc/meminfo: memFree=29060184/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=947720 CPUtime=3045.15 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 777952 0 0 0 304314 201 0 0 25 0 4 0 524408697 970465280 184376 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 236930 184376 389 106 0 231901 0
[pid=23565/tid=23566] ppid=23563 vsize=947720 CPUtime=762.29 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 134719 0 0 0 76192 37 0 0 25 0 4 0 524408697 970465280 184376 33554432000 4194304 4627427 140736677033856 18446744073709551615 4333328 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=947720 CPUtime=762.29 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 193067 0 0 0 76176 53 0 0 25 0 4 0 524408697 970465280 184376 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=947720 CPUtime=758.23 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 262191 0 0 0 75758 65 0 0 25 0 4 0 524408697 970465280 184376 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.15
Current children cumulated vsize (KiB) 947720

[startup+822.301 s]
/proc/loadavg: 8.06 7.91 7.55 9/184 23638
/proc/meminfo: memFree=29037856/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1014448 CPUtime=3284.8 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 833276 0 0 0 328264 216 0 0 25 0 4 0 524408697 1038794752 194885 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/23565/statm: 253612 194885 389 106 0 248583 0
[pid=23565/tid=23566] ppid=23563 vsize=1014448 CPUtime=822.29 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 149812 0 0 0 82188 41 0 0 25 0 4 0 524408697 1038794752 194885 33554432000 4194304 4627427 140736677033856 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1014448 CPUtime=822.3 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 208130 0 0 0 82172 58 0 0 25 0 4 0 524408697 1038794752 194885 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1014448 CPUtime=817.89 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 276748 0 0 0 81720 69 0 0 25 0 4 0 524408697 1038794752 194885 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 1014448

[startup+882.301 s]
/proc/loadavg: 8.29 8.01 7.61 9/184 24105
/proc/meminfo: memFree=29009760/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1084428 CPUtime=3523.15 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 876659 0 0 0 352082 233 0 0 25 0 4 0 524408697 1110454272 195123 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 271107 195123 389 106 0 266078 0
[pid=23565/tid=23566] ppid=23563 vsize=1084428 CPUtime=882.25 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 162362 0 0 0 88180 45 0 0 25 0 4 0 524408697 1110454272 195123 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1084428 CPUtime=882.14 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 216287 0 0 0 88152 62 0 0 25 0 4 0 524408697 1110454272 195123 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1084428 CPUtime=877.46 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 289365 0 0 0 87673 73 0 0 25 0 4 0 524408697 1110454272 195123 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.15
Current children cumulated vsize (KiB) 1084428

[startup+942.301 s]
/proc/loadavg: 8.15 8.02 7.64 9/184 24109
/proc/meminfo: memFree=28879452/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1194340 CPUtime=3762.82 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 928745 0 0 0 376034 248 0 0 25 0 4 0 524408697 1223004160 213596 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 298585 213596 389 106 0 293556 0
[pid=23565/tid=23566] ppid=23563 vsize=1194340 CPUtime=942.24 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 174117 0 0 0 94174 50 0 0 25 0 4 0 524408697 1223004160 213596 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1194340 CPUtime=942.14 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 235049 0 0 0 94150 64 0 0 25 0 4 0 524408697 1223004160 213596 33554432000 4194304 4627427 140736677033856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1194340 CPUtime=937.47 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 300782 0 0 0 93669 78 0 0 25 0 4 0 524408697 1223004160 213596 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.82
Current children cumulated vsize (KiB) 1194340

[startup+1002.3 s]
/proc/loadavg: 8.34 8.13 7.70 9/184 24112
/proc/meminfo: memFree=28919260/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1126788 CPUtime=4001.67 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 965042 0 0 0 399906 261 0 0 25 0 4 0 524408697 1153830912 207214 33554432000 4194304 4627427 140736677033856 18446744073709551615 4420116 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 281697 207214 389 106 0 276668 0
[pid=23565/tid=23566] ppid=23563 vsize=1126788 CPUtime=1002.23 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 183755 0 0 0 100171 52 0 0 25 0 4 0 524408697 1153830912 207214 33554432000 4194304 4627427 140736677033856 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1126788 CPUtime=1001.94 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 243172 0 0 0 100126 68 0 0 25 0 4 0 524408697 1153830912 207214 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1126788 CPUtime=996.86 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 313062 0 0 0 99605 81 0 0 25 0 4 0 524408697 1153830912 207214 33554432000 4194304 4627427 140736677033856 18446744073709551615 4324267 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4001.67
Current children cumulated vsize (KiB) 1126788

[startup+1062.3 s]
/proc/loadavg: 8.16 8.12 7.72 9/184 24113
/proc/meminfo: memFree=28854148/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1071776 CPUtime=4241.36 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 1006261 0 0 0 423864 272 0 0 25 0 4 0 524408697 1097498624 204307 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 267944 204307 389 106 0 262915 0
[pid=23565/tid=23566] ppid=23563 vsize=1071776 CPUtime=1062.23 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 196595 0 0 0 106167 56 0 0 25 0 4 0 524408697 1097498624 204307 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1071776 CPUtime=1061.95 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 253037 0 0 0 106124 71 0 0 25 0 4 0 524408697 1097498624 204307 33554432000 4194304 4627427 140736677033856 18446744073709551615 4409170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1071776 CPUtime=1056.86 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 323275 0 0 0 105603 83 0 0 25 0 4 0 524408697 1097498624 204307 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4241.36
Current children cumulated vsize (KiB) 1071776

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 7.74 9/184 24115
/proc/meminfo: memFree=28811344/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1156064 CPUtime=4481.07 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 1051026 0 0 0 447822 285 0 0 25 0 4 0 524408697 1183809536 223610 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 289016 223610 389 106 0 283987 0
[pid=23565/tid=23566] ppid=23563 vsize=1156064 CPUtime=1122.24 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 208945 0 0 0 112164 60 0 0 25 0 4 0 524408697 1183809536 223611 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1156064 CPUtime=1121.95 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 265445 0 0 0 112121 74 0 0 25 0 4 0 524408697 1183809536 223611 33554432000 4194304 4627427 140736677033856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1156064 CPUtime=1116.86 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 330622 0 0 0 111601 85 0 0 25 0 4 0 524408697 1183809536 223611 33554432000 4194304 4627427 140736677033856 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.07
Current children cumulated vsize (KiB) 1156064

[startup+1182.3 s]
/proc/loadavg: 8.15 8.12 7.76 9/184 24116
/proc/meminfo: memFree=28837476/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1163424 CPUtime=4720.72 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 1075633 0 0 0 471775 297 0 0 25 0 4 0 524408697 1191346176 216136 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309200 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 290856 216136 389 106 0 285827 0
[pid=23565/tid=23566] ppid=23563 vsize=1163424 CPUtime=1182.23 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 215225 0 0 0 118161 62 0 0 25 0 4 0 524408697 1191346176 216136 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1163424 CPUtime=1181.95 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 275713 0 0 0 118115 80 0 0 25 0 4 0 524408697 1191346176 216136 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1163424 CPUtime=1176.86 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 333077 0 0 0 117599 87 0 0 25 0 4 0 524408697 1191346176 216136 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4720.72
Current children cumulated vsize (KiB) 1163424



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.17 8.12 7.77 9/184 24117
/proc/meminfo: memFree=28808948/32951124 swapFree=67111364/67111528
[pid=23565] ppid=23563 vsize=1180764 CPUtime=4800.23 cores=0,2,4,6
/proc/23565/stat : 23565 (strangenight2-m) R 23563 23565 23167 0 -1 4202496 1092500 0 0 0 479722 301 0 0 25 0 4 0 524408697 1209102336 218839 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/23565/statm: 295191 218839 389 106 0 290162 0
[pid=23565/tid=23566] ppid=23563 vsize=1180764 CPUtime=1202.14 cores=0,2,4,6
/proc/23565/task/23566/stat : 23566 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 219937 0 0 0 120151 63 0 0 25 0 4 0 524408697 1209102336 218839 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23565/tid=23567] ppid=23563 vsize=1180764 CPUtime=1201.85 cores=0,2,4,6
/proc/23565/task/23567/stat : 23567 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 280864 0 0 0 120104 81 0 0 25 0 4 0 524408697 1209102336 218839 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23565/tid=23568] ppid=23563 vsize=1180764 CPUtime=1196.77 cores=0,2,4,6
/proc/23565/task/23568/stat : 23568 (strangenight2-m) R 23563 23565 23167 0 -1 4202560 338159 0 0 0 119589 88 0 0 25 0 4 0 524408697 1209102336 218839 33554432000 4194304 4627427 140736677033856 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1180764

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.25
CPU time (s): 4800.3
CPU user time (s): 4797.25
CPU system time (s): 3.04654
CPU usage (%): 399.277
Max. virtual memory (cumulated for all children) (KiB): 1368064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.25
system time used= 3.04654
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1092503
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= 170
involuntary context switches= 26956

runsolver used 1.84672 second user time and 4.53431 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-30 03:48:03
IDJOB=3264531
IDBENCH=84715
IDSOLVER=1586
FILE ID=node106/3264531-1304128083
RUNJOBID= node106-1304128083-23550
PBS_JOBID= 13170755
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT04/handmade/hirsch03/hgen8-n320-01-S1432474240.shuffled-as.sat03-890.used-as.sat04-841.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264531-1304128083/watcher-3264531-1304128083 -o /tmp/evaluation-result-3264531-1304128083/solver-3264531-1304128083 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3264531-1304128083.cnf

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

MD5SUM BENCH= f97e40b22ad62886042ca9677daf337d
RANDOM SEED=1511450291

node106.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30314584 kB
Buffers:        268724 kB
Cached:        2093452 kB
SwapCached:         88 kB
Active:         813404 kB
Inactive:      1611836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30314584 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           11288 kB
Writeback:           0 kB
AnonPages:       63692 kB
Mapped:          14484 kB
Slab:           146916 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188068 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= 72876 MiB
End job on node106 at 2011-04-30 04:08:07