Trace number 3366937

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.48 1203.76

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.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-3366937-1305416139.cnf'
0.00/0.01	c -- header says num vars:            260
0.00/0.01	c -- header says num clauses:         486
0.00/0.01	c -- clauses added:            0 learnts,          486 normals,            0 xors
0.00/0.01	c -- vars added        260
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       260        65       421         0      1102         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/65/65 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    260 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.57/0.90	c lits-rem:         3  cl-subs:        2  v-elim:     76  v-fix:    0  time:  0.00 s
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:      94 undec:      77 neg:      89
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       184       138       277         0      1248         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4918       184       138       277      4664      1248    172251   no data   no data
3.57/0.90	c  N st    10     11300       184       138       277      4340      1248    128645   no data   no data
3.57/0.90	c  N st    11     17046       184       138       277      9879      1248    354048   no data   no data
3.57/1.00	c  F st    12     25000       184       138       277     12035      1248    401165   no data   no data
3.57/1.00	c  N st    12     25000       184       138       277     12035      1248    401165   no data   no data
4.75/1.20	c Decided on static restart strategy
4.75/1.20	c  N st    18     30000       184       138       277     10334      1248    303898   no data   no data
4.75/1.20	c  S st    18     30000       184       138       277     10334      1248    303898   no data   no data
4.75/1.20	c  S st    18     30505       184       138       277     10820      1248    318928   no data   no data
4.75/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.75/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
4.75/1.20	c blocked clauses removed:        0 vars:      0 tried:         184 T: 0.00 s
4.75/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.75/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.75/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
4.75/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.75/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
5.55/1.40	c lits-rem:      1334  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.13 s
5.55/1.40	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
5.55/1.40	c calculated reachability. Time: 0.00
5.55/1.40	c  N st    18     30505       184       138       277     10488      1248    305510   no data   no data
6.76/1.70	c  N st    20     37620       184       138       277      9769      1248    264066   no data   no data
7.56/1.93	c  N st    21     44020       184       138       277     15866      1248    496982   no data   no data
7.95/2.03	c  S st    22     45757       184       138       277      8993      1248    208996   no data   no data
7.95/2.05	c  S st    22     46259       184       138       277      9481      1248    223108   no data   no data
7.95/2.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.95/2.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.95/2.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.95/2.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.95/2.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.95/2.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
7.95/2.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.95/2.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.95/2.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
7.95/2.11	c lits-rem:       127  cl-subs:       67  v-elim:      0  v-fix:    0  time:  0.02 s
7.95/2.11	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
7.95/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.14/2.87	c  N st    23     60657       184       138       277     13662      1248    380575   no data   no data
13.18/3.39	c  N st    24     69390       184       138       277     11553      1248    271961   no data   no data
13.18/3.39	c  S st    24     69390       184       138       277     11553      1248    271961   no data   no data
13.53/3.43	c  S st    24     69894       184       138       277     12048      1248    287169   no data   no data
13.53/3.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.53/3.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
13.53/3.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
13.53/3.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.53/3.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
13.53/3.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
13.53/3.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
13.53/3.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
13.53/3.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
13.93/3.52	c lits-rem:       186  cl-subs:       80  v-elim:      0  v-fix:    0  time:  0.05 s
13.93/3.52	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
13.93/3.53	c vivif2 --  cl tried    11968 cl shrink        0 lits rem          0 time: 0.00
13.93/3.53	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
13.93/3.53	c calculated reachability. Time: 0.00
13.93/3.53	c  N st    24     69894       184       138       277     11968      1248    284463   no data   no data
18.31/4.64	c  F st    25     87500       184       138       277     17445      1248    471539   no data   no data
18.31/4.64	c  N st    25     87500       184       138       277     17445      1248    471539   no data   no data
19.52/4.92	c Decided on static restart strategy
20.32/5.14	c  N st    32     95541       184       138       277     12610      1248    271023   no data   no data
22.30/5.64	c  N st    34    104841       184       138       277     21438      1248    609972   no data   no data
22.30/5.64	c  S st    34    104841       184       138       277     21438      1248    609972   no data   no data
22.70/5.70	c  S st    34    105346       184       138       277     21937      1248    625438   no data   no data
22.70/5.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.70/5.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
22.70/5.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.70/5.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.70/5.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.70/5.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
22.70/5.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
22.70/5.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
22.70/5.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
24.70/6.25	c lits-rem:      1351  cl-subs:      473  v-elim:      0  v-fix:    0  time:  0.46 s
24.70/6.25	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
24.70/6.26	c vivif2 --  cl tried    21464 cl shrink        0 lits rem          0 time: 0.01
24.70/6.26	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
24.70/6.26	c calculated reachability. Time: 0.00
24.70/6.26	c  N st    34    105346       184       138       277     21464      1248    605451   no data   no data
27.09/6.85	c  N st    35    114947       184       138       277     17342      1248    418567   no data   no data
31.87/8.00	c  N st    36    129344       184       138       277     16780      1248    379221   no data   no data
37.06/9.35	c  N st    37    150939       184       138       277     22106      1248    585594   no data   no data
39.51/9.91	c  S st    38    158019       184       138       277     28898      1248    828964   no data   no data
39.51/9.98	c  S st    38    158524       184       138       277     29392      1248    843506   no data   no data
39.51/9.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.86/10.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.01
39.86/10.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.86/10.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.86/10.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.86/10.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
39.86/10.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.86/10.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
40.25/10.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
43.47/10.95	c lits-rem:       476  cl-subs:      870  v-elim:      0  v-fix:    0  time:  0.85 s
43.47/10.95	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
43.47/10.96	c vivif2 --  cl tried    28522 cl shrink        0 lits rem          0 time: 0.01
43.47/10.97	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.00
43.47/10.97	c calculated reachability. Time: 0.00
43.47/10.97	c  N st    38    158524       184       138       277     28522      1248    809474   no data   no data
60.59/15.30	c  N st    39    207113       184       138       277     23297      1248    574719   no data   no data
70.55/17.78	c  N st    40    237787       184       138       277     33088      1248    890362   no data   no data
70.55/17.78	c  S st    40    237787       184       138       277     33088      1248    890362   no data   no data
70.95/17.86	c  S st    40    238287       184       138       277     33578      1248    906058   no data   no data
70.95/17.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
70.95/17.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
70.95/17.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
70.95/17.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
70.95/17.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.95/17.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
70.95/17.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.35/17.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
71.76/18.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
75.74/19.06	c lits-rem:      1412  cl-subs:     1110  v-elim:      0  v-fix:    0  time:  1.06 s
75.74/19.06	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
75.74/19.07	c vivif2 --  cl tried    32468 cl shrink        0 lits rem          0 time: 0.01
75.74/19.08	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
75.74/19.08	c calculated reachability. Time: 0.00
75.74/19.08	c  N st    40    238287       184       138       277     32468      1248    866991   no data   no data
100.49/25.31	c  F st    41    306250       184       138       277     34583      1248    939174   no data   no data
100.49/25.31	c  N st    41    306250       184       138       277     34583      1248    939174   no data   no data
102.46/25.76	c Decided on static restart strategy
110.44/27.70	c  N st    51    334556       184       138       277     38895      1248   1085954   no data   no data
118.03/29.63	c  N st    53    357430       184       138       277     36793      1248    964539   no data   no data
118.03/29.63	c  S st    53    357430       184       138       277     36793      1248    964539   no data   no data
118.46/29.71	c  S st    53    357934       184       138       277     37286      1248    979804   no data   no data
118.46/29.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
118.46/29.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
118.46/29.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.46/29.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
118.46/29.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
118.46/29.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
118.46/29.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
118.46/29.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
118.81/29.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
122.85/30.84	c lits-rem:       865  cl-subs:     1048  v-elim:      0  v-fix:    0  time:  0.98 s
122.85/30.84	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
122.85/30.85	c vivif2 --  cl tried    36238 cl shrink        0 lits rem          0 time: 0.01
122.85/30.86	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
122.85/30.86	c calculated reachability. Time: 0.00
122.85/30.86	c  N st    53    357934       184       138       277     36238      1248    940401   no data   no data
136.76/34.37	c  N st    54    390326       184       138       277     42271      1248   1034338   no data   no data
155.50/39.07	c  N st    55    438915       184       138       277     36297      1248    862210   no data   no data
186.22/46.73	c  N st    56    511797       184       138       277     49767      1248   1325676   no data   no data
195.39/49.04	c  N st    57    536901       184       138       277     44033      1248   1138174   no data   no data
195.39/49.04	c  S st    57    536901       184       138       277     44033      1248   1138174   no data   no data
195.79/49.14	c  S st    57    537407       184       138       277     44532      1248   1154357   no data   no data
195.79/49.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
195.79/49.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.02
195.79/49.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
195.79/49.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
195.79/49.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
195.79/49.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
195.79/49.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
195.79/49.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
196.59/49.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
201.82/50.68	c lits-rem:       943  cl-subs:     1003  v-elim:      0  v-fix:    0  time:  1.37 s
201.82/50.68	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
201.82/50.69	c vivif2 --  cl tried    43529 cl shrink        0 lits rem          0 time: 0.02
202.16/50.71	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.01
202.16/50.71	c calculated reachability. Time: 0.00
202.16/50.71	c  N st    57    537407       184       138       277     43529      1248   1114649   no data   no data
274.74/68.92	c  N st    58    701391       184       138       277     37786      1248    752160   no data   no data
326.19/81.83	c  N st    59    806110       184       138       277     66650      1248   1704191   no data   no data
326.19/81.83	c  S st    59    806110       184       138       277     66650      1248   1704191   no data   no data
326.59/81.96	c  S st    59    806616       184       138       277     67150      1248   1720554   no data   no data
326.59/81.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
326.99/82.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.05
326.99/82.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
326.99/82.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
326.99/82.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
326.99/82.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
326.99/82.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
326.99/82.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
327.79/82.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
345.34/86.69	c lits-rem:      2558  cl-subs:     1896  v-elim:      0  v-fix:    0  time:  4.47 s
345.34/86.69	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
345.74/86.72	c vivif2 --  cl tried    65254 cl shrink        0 lits rem          0 time: 0.03
345.74/86.74	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.03
345.74/86.75	c calculated reachability. Time: 0.00
345.74/86.75	c  N st    59    806616       184       138       277     65254      1248   1657375   no data   no data
492.09/123.41	c  F st    60   1071878       184       138       277     80705      1248   2165136   no data   no data
492.09/123.41	c  N st    60   1071878       184       138       277     80705      1248   2165136   no data   no data
494.88/124.16	c Decided on static restart strategy
505.25/126.74	c  N st    70   1100184       184       138       277     64863      1248   1613716   no data   no data
523.20/131.21	c  N st    72   1136178       184       138       277     55228      1248   1192639   no data   no data
541.15/135.78	c  N st    73   1168570       184       138       277     86196      1248   2383875   no data   no data
565.93/141.93	c  N st    74   1209925       184       138       277     79739      1248   2101399   no data   no data
565.93/141.93	c  S st    74   1209925       184       138       277     79739      1248   2101399   no data   no data
566.67/142.11	c  S st    74   1210426       184       138       277     80239      1248   2117489   no data   no data
566.67/142.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
566.67/142.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
566.67/142.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
566.67/142.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
566.67/142.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
566.67/142.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
566.67/142.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
567.07/142.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
568.27/142.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.22 s
612.93/153.71	c lits-rem:      7808  cl-subs:     4890  v-elim:      0  v-fix:    0  time: 11.21 s
612.93/153.71	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
612.93/153.74	c vivif2 --  cl tried    75349 cl shrink        0 lits rem          0 time: 0.03
612.93/153.77	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.03
612.93/153.77	c calculated reachability. Time: 0.00
612.93/153.77	c  N st    74   1210426       184       138       277     75349      1248   1950359   no data   no data
652.02/163.51	c  N st    75   1283309       184       138       277     53127      1248   1053182   no data   no data
717.42/179.98	c  N st    76   1392633       184       138       277     60984      1248   1320830   no data   no data
817.92/205.15	c  N st    77   1556617       184       138       277     65767      1248   1390935   no data   no data
917.22/230.05	c  N st    78   1710426       184       138       277    106689      1248   2781092   no data   no data
917.22/230.05	c  S st    78   1710426       184       138       277    106689      1248   2781092   no data   no data
918.42/230.31	c  S st    78   1710928       184       138       277    107174      1248   2795930   no data   no data
918.42/230.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
918.82/230.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.10
918.82/230.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
918.82/230.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
918.82/230.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
918.82/230.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
918.82/230.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
918.82/230.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
920.43/230.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.32 s
984.21/246.86	c lits-rem:      6016  cl-subs:     4229  v-elim:      0  v-fix:    0  time: 16.00 s
984.21/246.86	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
984.61/246.90	c vivif2 --  cl tried   102945 cl shrink        0 lits rem          0 time: 0.04
984.61/246.95	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.05
984.61/246.95	c calculated reachability. Time: 0.00
984.61/246.95	c  N st    78   1710928       184       138       277    102945      1248   2650043   no data   no data
1260.59/316.19	c  N st    79   2079892       184       138       277    112492      1248   2666963   no data   no data
1354.71/339.72	c  N st    80   2210929       184       138       277    117835      1248   2938144   no data   no data
1354.71/339.72	c  S st    80   2210929       184       138       277    117835      1248   2938144   no data   no data
1355.55/339.95	c  S st    80   2211429       184       138       277    118327      1248   2955802   no data   no data
1355.55/339.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1355.89/340.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.3M T:  0.09
1355.89/340.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1355.89/340.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1355.89/340.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1355.89/340.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
1355.89/340.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1355.89/340.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1357.49/340.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.30 s
1425.32/357.43	c lits-rem:      4406  cl-subs:     6314  v-elim:      0  v-fix:    0  time: 16.98 s
1425.32/357.43	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
1425.32/357.48	c vivif2 --  cl tried   112013 cl shrink        0 lits rem          0 time: 0.05
1425.74/357.53	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.05
1425.74/357.54	c calculated reachability. Time: 0.00
1425.74/357.54	c  N st    80   2211429       184       138       277    112013      1248   2779875   no data   no data
1780.66/446.56	c  N st    81   2711430       184       138       277    135500      1248   3889148   no data   no data
1780.66/446.56	c  S st    81   2711430       184       138       277    135500      1248   3889148   no data   no data
1781.83/446.85	c  S st    81   2711933       184       138       277    135992      1248   3904988   no data   no data
1781.83/446.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1782.23/446.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.10
1782.23/446.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1782.23/446.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1782.23/446.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1782.23/446.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
1782.23/446.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1782.63/447.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1784.23/447.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.36 s
1870.75/469.13	c lits-rem:      5217  cl-subs:     3599  v-elim:      0  v-fix:    0  time: 21.66 s
1870.75/469.13	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
1870.75/469.19	c vivif2 --  cl tried   132393 cl shrink        0 lits rem          0 time: 0.06
1871.15/469.26	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.06
1871.15/469.26	c calculated reachability. Time: 0.00
1871.15/469.26	c  N st    81   2711933       184       138       277    132393      1248   3752089   no data   no data
2366.08/593.36	c  N st    82   3211934       184       138       277    109757      1248   2667852   no data   no data
2366.08/593.36	c  S st    82   3211934       184       138       277    109757      1248   2667852   no data   no data
2366.88/593.59	c  S st    82   3212437       184       138       277    110249      1248   2682933   no data   no data
2367.28/593.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2367.28/593.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.08
2367.28/593.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2367.28/593.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2367.28/593.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2367.28/593.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
2367.28/593.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2367.68/593.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2368.92/594.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.26 s
2402.77/602.53	c lits-rem:      2822  cl-subs:     2074  v-elim:      0  v-fix:    0  time:  8.49 s
2402.77/602.53	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
2402.77/602.57	c vivif2 --  cl tried   108175 cl shrink        0 lits rem          0 time: 0.04
2403.17/602.62	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.05
2403.17/602.62	c calculated reachability. Time: 0.00
2403.17/602.62	c  N st    82   3212437       184       138       277    108175      1248   2603842   no data   no data
2958.70/741.90	c  N st    83   3712438       184       138       277    119022      1248   2999824   no data   no data
2958.70/741.90	c  S st    83   3712438       184       138       277    119022      1248   2999824   no data   no data
2959.50/742.17	c  S st    83   3712940       184       138       277    119515      1248   3015663   no data   no data
2959.50/742.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2959.90/742.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.10
2959.90/742.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2959.90/742.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2959.90/742.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2959.90/742.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
2959.90/742.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2960.30/742.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2961.88/742.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.32 s
3000.20/752.39	c lits-rem:      1930  cl-subs:     2710  v-elim:      0  v-fix:    0  time:  9.68 s
3000.20/752.39	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
3000.62/752.45	c vivif2 --  cl tried   116805 cl shrink        0 lits rem          0 time: 0.05
3000.96/752.52	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.08
3000.96/752.53	c calculated reachability. Time: 0.00
3000.96/752.53	c  N st    83   3712940       184       138       277    116805      1248   2923345   no data   no data
3037.26/761.68	c  F st    84   3751564       184       138       277    153613      1248   4338904   no data   no data
3037.26/761.69	c  N st    84   3751564       184       138       277    153613      1248   4338904   no data   no data
3043.64/763.26	c Decided on static restart strategy
3062.38/767.92	c  N st    94   3779868       184       138       277     99221      1248   2082708   no data   no data
3089.90/774.88	c  N st    96   3815860       184       138       277    133838      1248   3408240   no data   no data
3130.18/784.96	c  N st    97   3848255       184       138       277    165251      1248   4644639   no data   no data
3166.89/794.18	c  N st    98   3896846       184       138       277    129407      1248   3157399   no data   no data
3231.09/810.24	c  N st    99   3969728       184       138       277    115127      1248   2566687   no data   no data
3329.98/835.08	c  N st   100   4079052       184       138       277    136029      1248   3241095   no data   no data
3449.23/864.96	c  N st   101   4212940       184       138       277     92122      1248   1677634   no data   no data
3449.23/864.96	c  S st   101   4212940       184       138       277     92122      1248   1677634   no data   no data
3450.03/865.16	c  S st   101   4213448       184       138       277     92620      1248   1693610   no data   no data
3450.03/865.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3450.43/865.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.06
3450.43/865.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3450.43/865.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3450.43/865.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3450.43/865.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
3450.43/865.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3450.43/865.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3451.23/865.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
3455.21/866.50	c lits-rem:       645  cl-subs:      523  v-elim:      0  v-fix:    0  time:  1.08 s
3455.21/866.50	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
3455.61/866.53	c vivif2 --  cl tried    92097 cl shrink        0 lits rem          0 time: 0.03
3455.61/866.57	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.04
3455.61/866.57	c calculated reachability. Time: 0.00
3455.61/866.57	c  N st   101   4213448       184       138       277     92097      1248   1677769   no data   no data
3683.32/923.61	c  N st   102   4459425       184       138       277    151175      1248   3624124   no data   no data
3930.97/985.78	c  N st   103   4713450       184       138       277    122997      1248   2770644   no data   no data
3930.97/985.78	c  S st   103   4713450       184       138       277    122997      1248   2770644   no data   no data
3932.17/986.08	c  S st   103   4713953       184       138       277    123494      1248   2786817   no data   no data
3932.17/986.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3932.97/986.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.6M T:  0.13
3932.97/986.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3932.97/986.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3932.97/986.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3932.97/986.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
3932.97/986.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3932.97/986.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3934.59/986.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.28 s
3988.00/1000.04	c lits-rem:     12980  cl-subs:     3649  v-elim:      0  v-fix:    0  time: 13.42 s
3988.00/1000.04	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
3988.00/1000.09	c vivif2 --  cl tried   119845 cl shrink        0 lits rem          0 time: 0.05
3988.40/1000.16	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.06
3988.40/1000.16	c calculated reachability. Time: 0.00
3988.40/1000.16	c  N st   103   4713953       184       138       277    119845      1248   2649164   no data   no data
4496.88/1127.62	c  N st   104   5213953       184       138       277    131721      1248   3025097   no data   no data
4496.88/1127.62	c  S st   104   5213953       184       138       277    131721      1248   3025097   no data   no data
4498.08/1127.94	c  S st   104   5214453       184       138       277    132215      1248   3040995   no data   no data
4498.08/1127.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4498.48/1128.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.13
4498.48/1128.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4498.48/1128.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4498.48/1128.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.48/1128.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    184 time:  0.00 s
4498.48/1128.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4498.88/1128.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4500.08/1128.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.29 s
4537.96/1137.97	c lits-rem:      1219  cl-subs:     2343  v-elim:      0  v-fix:    0  time:  9.47 s
4537.96/1137.97	c vivif2 --  cl tried      138 cl shrink        0 lits rem          0 time: 0.00
4538.36/1138.02	c vivif2 --  cl tried   129872 cl shrink        0 lits rem          0 time: 0.05
4538.36/1138.09	c asymm  cl-useful: 0/138/138 lits-rem:0 time: 0.07
4538.36/1138.09	c calculated reachability. Time: 0.00
4538.36/1138.09	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: 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-3366937-1305416139/watcher-3366937-1305416139 -o /tmp/evaluation-result-3366937-1305416139/solver-3366937-1305416139 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366937-1305416139.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.09 8.04 7.37 5/373 18653
/proc/meminfo: memFree=22580220/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 653211657 52396032 351 33554432000 4194304 4580107 140737336159248 18446744073709551615 47944747574809 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 12792 351 302 95 0 7774 0
[pid=18653/tid=18654] ppid=18651 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653211658 52396032 351 33554432000 4194304 4580107 140737336159248 18446744073709551615 47944747575218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653211658 52396032 351 33554432000 4194304 4580107 140737336159248 18446744073709551615 47944747574809 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653211658 52396032 351 33554432000 4194304 4580107 140737336159248 18446744073709551615 47944747574803 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.086854 s]
/proc/loadavg: 8.09 8.04 7.37 5/373 18653
/proc/meminfo: memFree=22580220/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=281948 CPUtime=0.31 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1458 0 0 0 31 0 0 0 18 0 4 0 653211657 288714752 1360 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 70487 1361 377 95 0 65469 0
[pid=18653/tid=18654] ppid=18651 vsize=281948 CPUtime=0.07 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 268 0 0 0 7 0 0 0 25 0 4 0 653211658 288714752 1361 33554432000 4194304 4580107 140737336159248 18446744073709551615 212687336133 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=281948 CPUtime=0.08 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 271 0 0 0 8 0 0 0 18 0 4 0 653211658 288714752 1362 33554432000 4194304 4580107 140737336159248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=281948 CPUtime=0.08 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 237 0 0 0 8 0 0 0 18 0 4 0 653211658 288714752 1362 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 281948

[startup+0.114882 s]
/proc/loadavg: 8.09 8.04 7.37 5/373 18653
/proc/meminfo: memFree=22580220/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=281948 CPUtime=0.42 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1658 0 0 0 42 0 0 0 18 0 4 0 653211657 288714752 1560 33554432000 4194304 4580107 140737336159248 18446744073709551615 4324385 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 70487 1560 377 95 0 65469 0
[pid=18653/tid=18654] ppid=18651 vsize=281948 CPUtime=0.09 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 314 0 0 0 9 0 0 0 25 0 4 0 653211658 288714752 1560 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=281948 CPUtime=0.11 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 321 0 0 0 11 0 0 0 18 0 4 0 653211658 288714752 1560 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=281948 CPUtime=0.1 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 288 0 0 0 10 0 0 0 18 0 4 0 653211658 288714752 1560 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 281948

[startup+0.300848 s]
/proc/loadavg: 8.09 8.04 7.37 5/373 18653
/proc/meminfo: memFree=22580220/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=283648 CPUtime=1.17 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 3061 0 0 0 117 0 0 0 18 0 4 0 653211657 290455552 2274 33554432000 4194304 4580107 140737336159248 18446744073709551615 4316439 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 70912 2274 377 95 0 65894 0
[pid=18653/tid=18654] ppid=18651 vsize=283648 CPUtime=0.28 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 691 0 0 0 28 0 0 0 25 0 4 0 653211658 290455552 2274 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=283648 CPUtime=0.29 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 678 0 0 0 29 0 0 0 18 0 4 0 653211658 290455552 2274 33554432000 4194304 4580107 140737336159248 18446744073709551615 4317088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=283648 CPUtime=0.29 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 626 0 0 0 29 0 0 0 18 0 4 0 653211658 290455552 2274 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283648

[startup+0.700776 s]
/proc/loadavg: 8.09 8.04 7.37 5/373 18653
/proc/meminfo: memFree=22580220/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=285276 CPUtime=2.77 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 5934 0 0 0 277 0 0 0 18 0 4 0 653211657 292122624 2533 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 71319 2533 377 95 0 66301 0
[pid=18653/tid=18654] ppid=18651 vsize=285276 CPUtime=0.68 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 1420 0 0 0 68 0 0 0 25 0 4 0 653211658 292122624 2533 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=285276 CPUtime=0.69 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 1447 0 0 0 69 0 0 0 18 0 4 0 653211658 292122624 2533 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=285276 CPUtime=0.69 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 1237 0 0 0 69 0 0 0 18 0 4 0 653211658 292122624 2533 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285276

[startup+1.50063 s]
/proc/loadavg: 8.16 8.06 7.37 11/377 18657
/proc/meminfo: memFree=22559480/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=293156 CPUtime=5.96 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 13523 0 0 0 594 2 0 0 20 0 4 0 653211657 300191744 7215 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 73289 7215 379 95 0 68271 0
[pid=18653/tid=18654] ppid=18651 vsize=293156 CPUtime=1.46 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 3976 0 0 0 146 0 0 0 25 0 4 0 653211658 300191744 7215 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=293156 CPUtime=1.49 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 2664 0 0 0 149 0 0 0 20 0 4 0 653211658 300191744 7215 33554432000 4194304 4580107 140737336159248 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=293156 CPUtime=1.49 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 2315 0 0 0 149 0 0 0 20 0 4 0 653211658 300191744 7215 33554432000 4194304 4580107 140737336159248 18446744073709551615 4322556 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 293156

[startup+3.10034 s]
/proc/loadavg: 8.16 8.06 7.37 10/377 18657
/proc/meminfo: memFree=22523984/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=293652 CPUtime=12.34 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 23020 0 0 0 1230 4 0 0 25 0 4 0 653211657 300699648 12304 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294743 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 73413 12304 379 95 0 68395 0
[pid=18653/tid=18654] ppid=18651 vsize=293652 CPUtime=3.05 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 5541 0 0 0 304 1 0 0 25 0 4 0 653211658 300699648 12304 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=293652 CPUtime=3.09 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 6867 0 0 0 308 1 0 0 25 0 4 0 653211658 300699648 12305 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=293652 CPUtime=3.08 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 4096 0 0 0 308 0 0 0 25 0 4 0 653211658 300699648 12305 33554432000 4194304 4580107 140737336159248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 293652

[startup+6.30076 s]
/proc/loadavg: 8.16 8.06 7.37 10/377 18657
/proc/meminfo: memFree=22473908/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=295928 CPUtime=25.1 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 42172 0 0 0 2504 6 0 0 25 0 4 0 653211657 303030272 23154 33554432000 4194304 4580107 140737336159248 18446744073709551615 4318508 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 73982 23154 379 95 0 68964 0
[pid=18653/tid=18654] ppid=18651 vsize=295928 CPUtime=6.21 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 9805 0 0 0 620 1 0 0 25 0 4 0 653211658 303030272 23154 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=295928 CPUtime=6.29 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 11091 0 0 0 627 2 0 0 25 0 4 0 653211658 303030272 23154 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=295928 CPUtime=6.29 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 10803 0 0 0 628 1 0 0 25 0 4 0 653211658 303030272 23154 33554432000 4194304 4580107 140737336159248 18446744073709551615 4415952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 295928

[startup+12.7006 s]
/proc/loadavg: 8.21 8.07 7.39 10/377 18657
/proc/meminfo: memFree=22391900/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=311652 CPUtime=50.61 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 62627 0 0 0 5051 10 0 0 25 0 4 0 653211657 319131648 32339 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 77913 32339 379 95 0 72895 0
[pid=18653/tid=18654] ppid=18651 vsize=311652 CPUtime=12.53 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 14090 0 0 0 1251 2 0 0 25 0 4 0 653211658 319131648 32339 33554432000 4194304 4580107 140737336159248 18446744073709551615 4296111 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=311652 CPUtime=12.69 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 16486 0 0 0 1266 3 0 0 25 0 4 0 653211658 319131648 32339 33554432000 4194304 4580107 140737336159248 18446744073709551615 4413077 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=311652 CPUtime=12.68 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 15997 0 0 0 1266 2 0 0 25 0 4 0 653211658 319131648 32339 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 311652

[startup+25.5003 s]
/proc/loadavg: 8.18 8.07 7.39 10/377 18657
/proc/meminfo: memFree=22316756/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=411292 CPUtime=101.66 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 92691 0 0 0 10150 16 0 0 25 0 4 0 653211657 421163008 42933 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 102823 42933 379 95 0 97805 0
[pid=18653/tid=18654] ppid=18651 vsize=411292 CPUtime=25.17 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 18519 0 0 0 2514 3 0 0 25 0 4 0 653211658 421163008 42933 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=411292 CPUtime=25.48 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 23514 0 0 0 2544 4 0 0 25 0 4 0 653211658 421163008 42933 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=411292 CPUtime=25.48 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 26077 0 0 0 2544 4 0 0 25 0 4 0 653211658 421163008 42933 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.66
Current children cumulated vsize (KiB) 411292

[startup+51.1006 s]
/proc/loadavg: 8.12 8.06 7.41 10/377 18658
/proc/meminfo: memFree=22298672/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=361352 CPUtime=203.76 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 139130 0 0 0 20349 27 0 0 25 0 4 0 653211657 370024448 46623 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 90338 46623 379 95 0 85320 0
[pid=18653/tid=18654] ppid=18651 vsize=361352 CPUtime=50.47 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 24608 0 0 0 5043 4 0 0 25 0 4 0 653211658 370024448 46623 33554432000 4194304 4580107 140737336159248 18446744073709551615 4321108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=361352 CPUtime=51.08 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 39515 0 0 0 5101 7 0 0 25 0 4 0 653211658 370024448 46623 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=361352 CPUtime=51.09 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 39351 0 0 0 5101 8 0 0 25 0 4 0 653211658 370024448 46623 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 361352

[startup+102.313 s]
/proc/loadavg: 8.09 8.06 7.44 10/377 18660
/proc/meminfo: memFree=22201628/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=375920 CPUtime=407.99 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 229043 0 0 0 40752 47 0 0 25 0 4 0 653211657 384942080 63605 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 93980 63605 379 95 0 88962 0
[pid=18653/tid=18654] ppid=18651 vsize=375920 CPUtime=101.06 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 37256 0 0 0 10099 7 0 0 25 0 4 0 653211658 384942080 63605 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=375920 CPUtime=102.29 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 64465 0 0 0 10217 12 0 0 25 0 4 0 653211658 384942080 63605 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=375920 CPUtime=102.3 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 65929 0 0 0 10215 15 0 0 25 0 4 0 653211658 384942080 63605 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 375920

[startup+162.3 s]

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

[pid=18653] ppid=18651 vsize=1114724 CPUtime=2800.77 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 790411 0 0 0 279861 216 0 0 25 0 4 0 653211657 1141477376 169149 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 278681 169149 379 95 0 273663 0
[pid=18653/tid=18654] ppid=18651 vsize=1114724 CPUtime=693.83 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 155185 0 0 0 69341 42 0 0 25 0 4 0 653211658 1141477376 169149 33554432000 4194304 4580107 140737336159248 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1114724 CPUtime=702.3 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 190019 0 0 0 70177 53 0 0 25 0 4 0 653211658 1141477376 169149 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1114724 CPUtime=702.3 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 256582 0 0 0 70157 73 0 0 25 0 4 0 653211658 1141477376 169149 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.77
Current children cumulated vsize (KiB) 1114724

[startup+762.314 s]
/proc/loadavg: 8.10 8.08 7.75 10/377 18677
/proc/meminfo: memFree=21599008/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1036264 CPUtime=3040.1 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 841696 0 0 0 303775 235 0 0 25 0 4 0 653211657 1061134336 181411 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 259066 181411 379 95 0 254048 0
[pid=18653/tid=18654] ppid=18651 vsize=1036264 CPUtime=753.11 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 168767 0 0 0 75265 46 0 0 25 0 4 0 653211658 1061134336 181411 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1036264 CPUtime=762.31 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 201663 0 0 0 76175 56 0 0 25 0 4 0 653211658 1061134336 181411 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1036264 CPUtime=762.32 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 271876 0 0 0 76152 80 0 0 25 0 4 0 653211658 1061134336 181411 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.1
Current children cumulated vsize (KiB) 1036264

[startup+822.301 s]
/proc/loadavg: 8.13 8.09 7.77 10/377 18679
/proc/meminfo: memFree=21532148/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=972064 CPUtime=3279.33 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 893586 0 0 0 327683 250 0 0 25 0 4 0 653211657 995393536 183711 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 243016 183711 379 95 0 237998 0
[pid=18653/tid=18654] ppid=18651 vsize=972064 CPUtime=812.38 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 184774 0 0 0 81187 51 0 0 25 0 4 0 653211658 995393536 183711 33554432000 4194304 4580107 140737336159248 18446744073709551615 4413658 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=972064 CPUtime=822.3 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 212585 0 0 0 82171 59 0 0 25 0 4 0 653211658 995393536 183711 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=972064 CPUtime=822.3 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 286215 0 0 0 82146 84 0 0 25 0 4 0 653211658 995393536 183711 33554432000 4194304 4580107 140737336159248 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.33
Current children cumulated vsize (KiB) 972064

[startup+882.301 s]
/proc/loadavg: 8.09 8.08 7.79 10/377 18680
/proc/meminfo: memFree=21510420/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1108904 CPUtime=3518.62 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 936783 0 0 0 351597 265 0 0 25 0 4 0 653211657 1135517696 183636 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 277226 183636 379 95 0 272208 0
[pid=18653/tid=18654] ppid=18651 vsize=1108904 CPUtime=871.66 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 196767 0 0 0 87112 54 0 0 25 0 4 0 653211658 1135517696 183636 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1108904 CPUtime=882.3 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 220695 0 0 0 88169 61 0 0 25 0 4 0 653211658 1135517696 183636 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1108904 CPUtime=882.31 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 299032 0 0 0 88141 90 0 0 25 0 4 0 653211658 1135517696 183636 33554432000 4194304 4580107 140737336159248 18446744073709551615 4292956 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.62
Current children cumulated vsize (KiB) 1108904

[startup+942.301 s]
/proc/loadavg: 8.11 8.10 7.81 10/377 18682
/proc/meminfo: memFree=21467984/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1093796 CPUtime=3757.9 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 989789 0 0 0 375507 283 0 0 25 0 4 0 653211657 1120047104 197196 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 273449 197196 379 95 0 268431 0
[pid=18653/tid=18654] ppid=18651 vsize=1093796 CPUtime=930.95 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 208551 0 0 0 93035 60 0 0 25 0 4 0 653211658 1120047104 197196 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1093796 CPUtime=942.31 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 238028 0 0 0 94166 65 0 0 25 0 4 0 653211658 1120047104 197196 33554432000 4194304 4580107 140737336159248 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1093796 CPUtime=942.31 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 312602 0 0 0 94136 95 0 0 25 0 4 0 653211658 1120047104 197196 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.9
Current children cumulated vsize (KiB) 1093796

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 7.83 10/377 18683
/proc/meminfo: memFree=21384620/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1178932 CPUtime=3997.17 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1027183 0 0 0 399419 298 0 0 25 0 4 0 653211657 1207226368 209917 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 294733 209917 379 95 0 289715 0
[pid=18653/tid=18654] ppid=18651 vsize=1178932 CPUtime=990.21 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 219208 0 0 0 98958 63 0 0 25 0 4 0 653211658 1207226368 209917 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1178932 CPUtime=1002.3 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 246022 0 0 0 100161 69 0 0 25 0 4 0 653211658 1207226368 209917 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1178932 CPUtime=1002.31 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 325485 0 0 0 100132 99 0 0 25 0 4 0 653211658 1207226368 209918 33554432000 4194304 4580107 140737336159248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.17
Current children cumulated vsize (KiB) 1178932

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 7.85 10/377 18685
/proc/meminfo: memFree=21421556/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1196784 CPUtime=4236.46 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1068425 0 0 0 423335 311 0 0 25 0 4 0 653211657 1225506816 202937 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 299196 202937 379 95 0 294178 0
[pid=18653/tid=18654] ppid=18651 vsize=1196784 CPUtime=1049.49 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 233563 0 0 0 104882 67 0 0 25 0 4 0 653211658 1225506816 202937 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1196784 CPUtime=1062.31 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 256599 0 0 0 106158 73 0 0 25 0 4 0 653211658 1225506816 202937 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1196784 CPUtime=1062.31 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 333230 0 0 0 106129 102 0 0 25 0 4 0 653211658 1225506816 202937 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4236.46
Current children cumulated vsize (KiB) 1196784

[startup+1122.3 s]
/proc/loadavg: 8.08 8.10 7.86 10/377 18687
/proc/meminfo: memFree=21443840/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1060072 CPUtime=4475.74 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1110690 0 0 0 447251 323 0 0 25 0 4 0 653211657 1085513728 201018 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 265018 201018 379 95 0 260000 0
[pid=18653/tid=18654] ppid=18651 vsize=1060072 CPUtime=1108.78 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 245457 0 0 0 110807 71 0 0 25 0 4 0 653211658 1085513728 201018 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1060072 CPUtime=1122.31 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 268708 0 0 0 112155 76 0 0 25 0 4 0 653211658 1085513728 201018 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1060072 CPUtime=1122.31 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 339339 0 0 0 112128 103 0 0 25 0 4 0 653211658 1085513728 201018 33554432000 4194304 4580107 140737336159248 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.74
Current children cumulated vsize (KiB) 1060072

[startup+1182.3 s]
/proc/loadavg: 8.06 8.10 7.87 10/377 18688
/proc/meminfo: memFree=21348208/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1232888 CPUtime=4715.03 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1149693 0 0 0 471164 339 0 0 25 0 4 0 653211657 1262477312 213823 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 308222 213823 379 95 0 303204 0
[pid=18653/tid=18654] ppid=18651 vsize=1232888 CPUtime=1168.06 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 255896 0 0 0 116731 75 0 0 25 0 4 0 653211658 1262477312 213823 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1232888 CPUtime=1182.31 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 279525 0 0 0 118149 82 0 0 25 0 4 0 653211658 1262477312 213823 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1232888 CPUtime=1182.32 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 350570 0 0 0 118125 107 0 0 25 0 4 0 653211658 1262477312 213823 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4715.03
Current children cumulated vsize (KiB) 1232888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.11 8.11 7.88 5/372 18690
/proc/meminfo: memFree=21729040/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1234384 CPUtime=4800.39 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1166921 0 0 0 479695 344 0 0 25 0 4 0 653211657 1264009216 216985 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 308596 216985 379 95 0 303578 0
[pid=18653/tid=18654] ppid=18651 vsize=1234384 CPUtime=1189.2 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 260644 0 0 0 118844 76 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1234384 CPUtime=1203.72 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 284911 0 0 0 120289 83 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1234384 CPUtime=1203.73 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 353093 0 0 0 120265 108 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1234384

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

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

[startup+1203.7 s]
/proc/loadavg: 8.11 8.11 7.88 5/372 18690
/proc/meminfo: memFree=21729040/32951124 swapFree=67111348/67111528
[pid=18653] ppid=18651 vsize=1234384 CPUtime=4800.39 cores=0,2,4,6
/proc/18653/stat : 18653 (strangenight2-m) R 18651 18653 18458 0 -1 4202496 1166921 0 0 0 479695 344 0 0 25 0 4 0 653211657 1264009216 216985 33554432000 4194304 4580107 140737336159248 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18653/statm: 308596 216985 379 95 0 303578 0
[pid=18653/tid=18654] ppid=18651 vsize=1234384 CPUtime=1189.2 cores=0,2,4,6
/proc/18653/task/18654/stat : 18654 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 260644 0 0 0 118844 76 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18653/tid=18655] ppid=18651 vsize=1234384 CPUtime=1203.72 cores=0,2,4,6
/proc/18653/task/18655/stat : 18655 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 284911 0 0 0 120289 83 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18653/tid=18656] ppid=18651 vsize=1234384 CPUtime=1203.73 cores=0,2,4,6
/proc/18653/task/18656/stat : 18656 (strangenight2-m) R 18651 18653 18458 0 -1 4202560 353093 0 0 0 120265 108 0 0 25 0 4 0 653211658 1264009216 216989 33554432000 4194304 4580107 140737336159248 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 1234384

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.76
CPU time (s): 4800.48
CPU user time (s): 4796.99
CPU system time (s): 3.48747
CPU usage (%): 398.791
Max. virtual memory (cumulated for all children) (KiB): 1337372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.99
system time used= 3.48747
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1166927
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= 165
involuntary context switches= 22453

runsolver used 4.07738 second user time and 10.1994 second system time

The end

Launcher Data 

Begin job on node139 at 2011-05-15 01:35:39
IDJOB=3366937
IDBENCH=84715
IDSOLVER=1844
FILE ID=node139/3366937-1305416139
RUNJOBID= node139-1305414932-18476
PBS_JOBID= 13324554
Free space on /tmp= 73352 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366937-1305416139/watcher-3366937-1305416139 -o /tmp/evaluation-result-3366937-1305416139/solver-3366937-1305416139 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366937-1305416139.cnf

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

MD5SUM BENCH= f97e40b22ad62886042ca9677daf337d
RANDOM SEED=1956957537

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22580252 kB
Buffers:        301120 kB
Cached:        2897420 kB
SwapCached:          0 kB
Active:        8004856 kB
Inactive:      2059440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22580252 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11244 kB
Writeback:           0 kB
AnonPages:     6865764 kB
Mapped:          29340 kB
Slab:           203432 kB
PageTables:      38344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 76878468 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= 73348 MiB
End job on node139 at 2011-05-15 01:55:45