Trace number 3280916

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

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark643.759
Satisfiable
(Un)Satisfiability was proved
Number of variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

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-3280916-1304028694.cnf'
0.00/0.00	c -- header says num vars:           1400
0.00/0.00	c -- header says num clauses:        4732
0.00/0.01	c -- clauses added:            0 learnts,         4732 normals,            0 xors
0.00/0.01	c -- vars added       1400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0      1400      2677      2052         0     12297         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2677/2677 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     5 Blit:      0 bXBeca:    0 bXProp:   10 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.00/0.01	c Replacing       10 vars Replaced      120 lits Time:     0.00 s 
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1382 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
3.57/0.90	c lits-rem:         0  cl-subs:      136  v-elim:    425  v-fix:    0  time:  0.01 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:     377, avg size: 3.0)
3.57/0.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     0 time:   0.00
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:     139 undec:     488 neg:     773
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       946      1524       867         0      8035         0   no data   no data
3.57/0.90	c Decided on static restart strategy
3.57/0.90	c  N st     8      4919       946      1524       927      4774      8035    194830   no data   no data
3.57/0.90	c  N st    10     11305       946      1524      1032      4573      8035     81983   no data   no data
4.77/1.22	c  N st    11     17049       946      1524      1039     10247      8035    199217   no data   no data
4.77/1.23	c Finding binary XORs  T:     0.00 s  found:       0
7.97/2.00	c  F st    12     25000       943      1520      1108     12769      8007    317581   no data   no data
7.97/2.00	c Replacing        1 vars Replaced      253 lits Time:     0.00 s 
7.97/2.00	c  N st    12     25000       942      1520      1108     12769      8003    317576   no data   no data
9.57/2.47	c Decided on static restart strategy
9.57/2.47	c  N st    18     30001       942      1520      1166     11287      8003    236744   no data   no data
9.57/2.47	c  S st    18     30001       942      1520      1166     11287      8003    236744   no data   no data
9.97/2.52	c  S st    18     30506       942      1520      1170     11786      8003    246918   no data   no data
9.97/2.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.54	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    882 BRemL:    456 BRemN:      0 P:  0.6M T:  0.02
9.97/2.54	c blocked clauses removed:        0 vars:      0 tried:         238 T: 0.00 s
9.97/2.54	c bin-w-bin subsume rem            3 bins  time:  0.00 s
9.97/2.54	c subs with bin:       25  lits-rem:        34  v-fix:    0  time:  0.00 s
9.97/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    941 time:  0.00 s
9.97/2.54	c Removed useless bin:       8  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.54	c lits-rem:         0  cl-subs:       11  v-elim:      9  v-fix:    0  time:  0.00 s
9.97/2.58	c subs with bin:       50  lits-rem:      5782  v-fix:    0  time:  0.03 s
10.36/2.66	c lits-rem:       916  cl-subs:      383  v-elim:      0  v-fix:    0  time:  0.07 s
10.36/2.67	c asymm  cl-useful: 5/1492/1492 lits-rem:5 time: 0.01
10.36/2.67	c calculated reachability. Time: 0.00
10.36/2.67	c  N st    18     30506       932      1492      1521     11121      7849    226332   no data   no data
11.57/2.95	c Finding binary XORs  T:     0.00 s  found:       0
13.18/3.37	c  N st    20     37616       931      1492      1529     10556      7841    184089   no data   no data
15.56/3.97	c  N st    21     44015       929      1492      1529     16914      7841    430557   no data   no data
15.56/3.97	c Finding binary XORs  T:     0.00 s  found:       0
16.36/4.14	c  S st    22     45760       929      1489      1903     10058      7823    141370   no data   no data
16.36/4.19	c  S st    22     46261       929      1489      1903     10557      7823    152046   no data   no data
16.36/4.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:    365 BRemN:      4 P:  0.6M T:  0.01
16.75/4.21	c Replacing        1 vars Replaced       17 lits Time:     0.00 s 
16.75/4.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.21	c bin-w-bin subsume rem           13 bins  time:  0.00 s
16.75/4.21	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    928 time:  0.00 s
16.75/4.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.21	c lits-rem:         0  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
16.75/4.22	c subs with bin:        0  lits-rem:       285  v-fix:    0  time:  0.01 s
16.75/4.23	c lits-rem:       119  cl-subs:       83  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.23	c vivif2 --  cl tried     1492 cl shrink        0 lits rem          0 time: 0.00
16.75/4.24	c vivif2 --  cl tried    10252 cl shrink     1439 lits rem       2998 time: 0.01
16.75/4.25	c asymm  cl-useful: 1/1492/1492 lits-rem:1 time: 0.01
16.75/4.25	c calculated reachability. Time: 0.00
16.75/4.25	c  N st    22     46261       925      1492      1512     10252      7821    141110   no data   no data
23.95/6.07	c  N st    23     60659       925      1492      1513     14840      7821    253912   no data   no data
23.95/6.07	c Finding binary XORs  T:     0.00 s  found:       0
29.14/7.30	c  N st    24     69391       925      1492      1588     12806      7821    172464   no data   no data
29.14/7.30	c  S st    24     69391       925      1492      1588     12806      7821    172464   no data   no data
29.14/7.35	c  S st    24     69897       924      1492      1593     13310      7821    183216   no data   no data
29.14/7.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.14/7.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:     40 BRemN:      0 P:  0.6M T:  0.01
29.14/7.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.14/7.37	c bin-w-bin subsume rem            3 bins  time:  0.00 s
29.14/7.37	c subs with bin:       11  lits-rem:         0  v-fix:    0  time:  0.00 s
29.14/7.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
29.14/7.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
29.14/7.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
29.14/7.39	c subs with bin:       42  lits-rem:       375  v-fix:    0  time:  0.01 s
29.54/7.40	c lits-rem:       174  cl-subs:      208  v-elim:      0  v-fix:    0  time:  0.02 s
29.54/7.40	c vivif2 --  cl tried     1481 cl shrink        0 lits rem          0 time: 0.00
29.54/7.41	c vivif2 --  cl tried    12889 cl shrink      899 lits rem       2162 time: 0.01
29.54/7.42	c asymm  cl-useful: 5/1481/1481 lits-rem:11 time: 0.01
29.54/7.42	c calculated reachability. Time: 0.00
29.54/7.42	c  N st    24     69897       924      1478      1558     12889      7790    173804   no data   no data
37.93/9.52	c  F st    25     87501       924      1478      1558     18529      7790    331391   no data   no data
37.93/9.53	c  N st    25     87501       924      1478      1558     18529      7790    331391   no data   no data
40.72/10.23	c Decided on static restart strategy
41.92/10.58	c  N st    32     95539       924      1478      1558     26499      7790    571565   no data   no data
44.32/11.19	c Finding binary XORs  T:     0.00 s  found:       0
47.52/11.91	c  N st    34    104845       924      1478      1571     22971      7790    410661   no data   no data
47.52/11.91	c  S st    34    104845       924      1478      1571     22971      7790    410661   no data   no data
47.52/11.99	c  S st    34    105351       924      1478      1605     23473      7790    425208   no data   no data
47.52/11.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.93/12.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     27 BRemN:      0 P:  1.0M T:  0.02
47.93/12.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.93/12.01	c bin-w-bin subsume rem            1 bins  time:  0.00 s
47.93/12.01	c subs with bin:        2  lits-rem:         2  v-fix:    0  time:  0.00 s
47.93/12.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
47.93/12.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.93/12.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.93/12.06	c subs with bin:       18  lits-rem:       122  v-fix:    0  time:  0.03 s
48.71/12.27	c lits-rem:       459  cl-subs:     2158  v-elim:      0  v-fix:    0  time:  0.21 s
48.71/12.27	c vivif2 --  cl tried     1476 cl shrink        0 lits rem          0 time: 0.00
48.71/12.29	c vivif2 --  cl tried    21297 cl shrink     3588 lits rem      10641 time: 0.02
49.11/12.31	c asymm  cl-useful: 2/1476/1476 lits-rem:2 time: 0.02
49.11/12.31	c calculated reachability. Time: 0.00
49.11/12.31	c  N st    34    105351       924      1476      1577     21297      7782    378873   no data   no data
54.31/13.67	c  N st    35    114949       924      1476      1577     17130      7782    242644   no data   no data
61.52/15.43	c  N st    36    129346       924      1476      1577     16737      7782    199131   no data   no data
61.52/15.43	c Finding binary XORs  T:     0.00 s  found:       0
72.68/18.25	c  N st    37    150943       924      1476      1578     22219      7782    325620   no data   no data
76.68/19.21	c  S st    38    158026       924      1476      1578     29156      7782    508526   no data   no data
77.08/19.32	c  S st    38    158530       924      1476      1588     29656      7782    517782   no data   no data
77.08/19.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.08/19.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      4 BRemL:      2 BRemN:      0 P:  1.2M T:  0.03
77.08/19.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.08/19.35	c bin-w-bin subsume rem            2 bins  time:  0.00 s
77.08/19.35	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
77.08/19.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
77.08/19.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
77.08/19.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.47/19.40	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.03 s
78.27/19.69	c lits-rem:       911  cl-subs:     2540  v-elim:      0  v-fix:    0  time:  0.29 s
78.27/19.69	c vivif2 --  cl tried     1475 cl shrink        0 lits rem          0 time: 0.00
78.69/19.72	c vivif2 --  cl tried    27116 cl shrink     4162 lits rem       9552 time: 0.03
78.69/19.74	c asymm  cl-useful: 3/1475/1475 lits-rem:3 time: 0.02
78.69/19.74	c calculated reachability. Time: 0.00
78.69/19.74	c  N st    38    158530       924      1475      1588     27116      7778    466558   no data   no data
108.23/27.18	c  N st    39    207118       924      1475      1588     21732      7778    263924   no data   no data
108.23/27.18	c Finding binary XORs  T:     0.00 s  found:       0
129.01/32.38	c  N st    40    237795       924      1475      1590     32347      7778    537621   no data   no data
129.01/32.38	c  S st    40    237795       924      1475      1590     32347      7778    537621   no data   no data
129.41/32.49	c  S st    40    238295       924      1475      1592     32844      7778    550067   no data   no data
129.41/32.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.81/32.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  1.4M T:  0.03
129.81/32.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.81/32.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.81/32.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.81/32.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
129.81/32.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
129.81/32.54	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
129.81/32.58	c subs with bin:       28  lits-rem:        19  v-fix:    0  time:  0.03 s
131.01/32.85	c lits-rem:       560  cl-subs:     2552  v-elim:      0  v-fix:    0  time:  0.27 s
131.01/32.85	c vivif2 --  cl tried     1474 cl shrink        0 lits rem          0 time: 0.00
131.01/32.88	c vivif2 --  cl tried    30264 cl shrink     4606 lits rem       9130 time: 0.03
131.01/32.90	c asymm  cl-useful: 1/1474/1474 lits-rem:1 time: 0.02
131.42/32.90	c calculated reachability. Time: 0.00
131.42/32.90	c  N st    40    238295       924      1474      1592     30264      7758    508117   no data   no data
169.76/42.56	c  F st    41    306250       924      1474      1592     32084      7758    485734   no data   no data
169.76/42.56	c  N st    41    306250       924      1474      1592     32084      7758    485734   no data   no data
169.76/42.56	c Finding binary XORs  T:     0.00 s  found:       0
173.35/43.41	c Decided on static restart strategy
189.73/47.58	c  N st    51    334552       924      1474      1645     36658      7758    615401   no data   no data
205.71/51.59	c  N st    53    357443       924      1474      1649     34567      7758    491176   no data   no data
205.71/51.59	c  S st    53    357443       924      1474      1649     34567      7758    491176   no data   no data
205.71/51.59	c Finding binary XORs  T:     0.00 s  found:       0
206.53/51.71	c  S st    53    357949       924      1474      1650     35072      7758    501134   no data   no data
206.53/51.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
206.53/51.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     26 BRemN:      0 P:  1.5M T:  0.03
206.53/51.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
206.53/51.75	c bin-w-bin subsume rem            1 bins  time:  0.00 s
206.53/51.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
206.53/51.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    924 time:  0.00 s
206.53/51.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
206.53/51.76	c lits-rem:         1  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.01 s
206.53/51.79	c subs with bin:       23  lits-rem:        92  v-fix:    0  time:  0.02 s
207.30/51.99	c lits-rem:       397  cl-subs:     2635  v-elim:      0  v-fix:    0  time:  0.20 s
207.30/51.99	c vivif2 --  cl tried     1475 cl shrink        1 lits rem          1 time: 0.00
207.70/52.01	c vivif2 --  cl tried    31942 cl shrink     2721 lits rem       4773 time: 0.02
207.70/52.04	c asymm  cl-useful: 3/1475/1475 lits-rem:3 time: 0.03
207.70/52.04	c calculated reachability. Time: 0.00
207.70/52.04	c  N st    53    357949       923      1475      1622     31942      7823    449974   no data   no data
231.26/57.93	c  N st    54    390341       923      1475      1622     38564      7823    583205   no data   no data
265.22/66.43	c Finding binary XORs  T:     0.00 s  found:       0
267.63/67.07	c  N st    55    438930       922      1474      1612     26462      7812    322914   no data   no data
323.55/81.08	c  N st    56    511813       922      1474      1612     44469      7812    678374   no data   no data
323.55/81.08	c Finding binary XORs  T:     0.00 s  found:       0
343.91/86.13	c  N st    57    536923       922      1474      1638     39512      7812    521960   no data   no data
343.91/86.13	c  S st    57    536923       922      1474      1638     39512      7812    521960   no data   no data
344.31/86.26	c  S st    57    537423       922      1474      1640     40010      7812    532127   no data   no data
344.31/86.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
344.71/86.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     85 BRemL:     66 BRemN:      0 P:  1.6M T:  0.04
344.71/86.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
344.71/86.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
344.71/86.30	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
344.71/86.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    922 time:  0.00 s
344.71/86.30	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
344.71/86.31	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.01 s
344.71/86.35	c subs with bin:       79  lits-rem:       110  v-fix:    0  time:  0.03 s
345.52/86.57	c lits-rem:       542  cl-subs:     2192  v-elim:      0  v-fix:    0  time:  0.22 s
345.52/86.57	c vivif2 --  cl tried     1471 cl shrink        0 lits rem          0 time: 0.00
345.92/86.60	c vivif2 --  cl tried    37739 cl shrink     2793 lits rem       4703 time: 0.02
345.92/86.63	c asymm  cl-useful: 2/1471/1471 lits-rem:2 time: 0.04
345.92/86.64	c calculated reachability. Time: 0.00
345.92/86.64	c  N st    57    537423       922      1471      1659     37739      7753    500778   no data   no data
486.54/121.85	c  N st    58    701407       922      1471      1659     67834      7753   1155775   no data   no data
486.54/121.85	c Finding binary XORs  T:     0.00 s  found:       0
583.61/146.11	c  N st    59    806134       922      1471      1670     61595      7753    975233   no data   no data
583.61/146.11	c  S st    59    806134       922      1471      1670     61595      7753    975233   no data   no data
583.61/146.12	c Finding binary XORs  T:     0.00 s  found:       0
584.42/146.35	c  S st    59    806638       921      1471      1744     61215      7745    958478   no data   no data
584.42/146.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
584.80/146.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:     51 BRemN:      0 P:  2.5M T:  0.06
584.80/146.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
584.80/146.41	c bin-w-bin subsume rem            2 bins  time:  0.00 s
584.80/146.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
584.80/146.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    921 time:  0.00 s
584.80/146.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
584.80/146.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
585.20/146.55	c subs with bin:      486  lits-rem:       724  v-fix:    0  time:  0.09 s
589.99/147.76	c lits-rem:      1934  cl-subs:     5683  v-elim:      0  v-fix:    0  time:  1.21 s
589.99/147.76	c vivif2 --  cl tried     1471 cl shrink        0 lits rem          0 time: 0.00
590.39/147.82	c vivif2 --  cl tried    55046 cl shrink     6840 lits rem      13707 time: 0.05
590.39/147.88	c asymm  cl-useful: 0/1471/1471 lits-rem:0 time: 0.06
590.39/147.88	c calculated reachability. Time: 0.00
590.39/147.88	c  N st    59    806638       921      1471      1694     55046      7744    850920   no data   no data
857.63/214.75	c  F st    60   1071876       921      1471      1697     72189      7744   1121530   no data   no data
857.63/214.75	c  N st    60   1071876       921      1471      1697     72189      7744   1121530   no data   no data
857.63/214.76	c Finding binary XORs  T:     0.00 s  found:       0
863.22/216.14	c Decided on static restart strategy
888.39/222.43	c  N st    70   1100182       918      1467      1668     55874      7709    718098   no data   no data
924.34/231.41	c  N st    72   1136175       918      1467      1668     91049      7709   1616699   no data   no data
954.31/238.94	c  N st    73   1168567       918      1467      1668     77558      7709   1289570   no data   no data
995.05/249.17	c  N st    74   1209958       918      1467      1671     72200      7709    946781   no data   no data
995.05/249.17	c  S st    74   1209958       918      1467      1671     72200      7709    946781   no data   no data
996.25/249.48	c  S st    74   1210459       918      1467      1671     72694      7709    958569   no data   no data
996.25/249.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
996.65/249.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     89 BRemL:     88 BRemN:      0 P:  3.2M T:  0.09
996.65/249.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
996.65/249.58	c bin-w-bin subsume rem            1 bins  time:  0.00 s
996.65/249.58	c subs with bin:        3  lits-rem:         3  v-fix:    0  time:  0.00 s
996.65/249.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    918 time:  0.00 s
996.65/249.58	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
996.65/249.60	c lits-rem:         0  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.02 s
997.46/249.75	c subs with bin:      718  lits-rem:       206  v-fix:    0  time:  0.13 s
1005.85/251.85	c lits-rem:      1534  cl-subs:     8115  v-elim:      0  v-fix:    0  time:  2.09 s
1005.85/251.85	c vivif2 --  cl tried     1467 cl shrink        0 lits rem          0 time: 0.00
1005.85/251.89	c vivif2 --  cl tried    63747 cl shrink     4398 lits rem       7225 time: 0.05
1006.25/251.97	c asymm  cl-useful: 1/1467/1467 lits-rem:1 time: 0.08
1006.25/251.98	c calculated reachability. Time: 0.00
1006.25/251.98	c  N st    74   1210459       917      1467      1660     63747      7704    827636   no data   no data
1006.25/251.98	c Finding binary XORs  T:     0.00 s  found:       0
1076.94/269.63	c  N st    75   1283343       917      1467      1660     87779      7704   1496192   no data   no data
1076.94/269.64	c Finding binary XORs  T:     0.00 s  found:       0
1201.17/300.76	c  N st    76   1392669       916      1466      1670     97384      7693   1703771   no data   no data
1201.17/300.76	c Finding binary XORs  T:     0.00 s  found:       0
1273.89/318.94	c Finding binary XORs  T:     0.00 s  found:       0
1376.53/344.60	c  N st    77   1556654       915      1465      1667    102373      7682   1680577   no data   no data
1376.53/344.60	c Finding binary XORs  T:     0.00 s  found:       0
1517.54/379.93	c  N st    78   1710459       915      1465      1738     93285      7682   1439054   no data   no data
1517.54/379.93	c  S st    78   1710459       915      1465      1738     93285      7682   1439054   no data   no data
1519.14/380.34	c  S st    78   1710962       915      1465      1739     93786      7682   1449513   no data   no data
1519.14/380.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1519.54/380.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     48 BRemL:     91 BRemN:      0 P:  3.4M T:  0.10
1519.54/380.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1519.54/380.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1519.54/380.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1519.54/380.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    915 time:  0.00 s
1519.54/380.44	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1519.54/380.47	c lits-rem:         1  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.02 s
1519.95/380.57	c subs with bin:        4  lits-rem:        89  v-fix:    0  time:  0.05 s
1552.69/388.74	c lits-rem:      1974  cl-subs:    19878  v-elim:      0  v-fix:    0  time:  8.17 s
1552.69/388.74	c vivif2 --  cl tried     1465 cl shrink        0 lits rem          0 time: 0.00
1553.09/388.80	c vivif2 --  cl tried    73611 cl shrink     5631 lits rem       8262 time: 0.07
1553.49/388.90	c asymm  cl-useful: 1/1465/1465 lits-rem:1 time: 0.09
1553.49/388.90	c calculated reachability. Time: 0.00
1553.49/388.90	c  N st    78   1710962       914      1465      1695     73611      7725   1101116   no data   no data
1605.82/402.03	c Finding binary XORs  T:     0.00 s  found:       0
2008.10/502.75	c  N st    79   2079926       912      1464      1678     86484      7703   1248924   no data   no data
2008.10/502.76	c Finding binary XORs  T:     0.00 s  found:       0
2127.11/532.53	c  N st    80   2210965       911      1463      1815     90331      7692   1301012   no data   no data
2127.11/532.53	c  S st    80   2210965       911      1463      1815     90331      7692   1301012   no data   no data
2127.11/532.53	c Finding binary XORs  T:     0.00 s  found:       0
2128.31/532.86	c  S st    80   2211466       911      1463      1872     90830      7692   1311305   no data   no data
2128.31/532.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2128.71/532.97	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     23 BRemL:     96 BRemN:      0 P:  3.6M T:  0.10
2128.71/532.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2128.71/532.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2128.71/532.97	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  0.00 s
2128.71/532.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    910 time:  0.00 s
2128.71/532.97	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2128.71/532.99	c lits-rem:         1  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.02 s
2129.51/533.10	c subs with bin:       97  lits-rem:       404  v-fix:    0  time:  0.06 s
2145.49/537.19	c lits-rem:      2896  cl-subs:    13838  v-elim:      0  v-fix:    0  time:  4.09 s
2145.49/537.19	c vivif2 --  cl tried     1464 cl shrink        0 lits rem          0 time: 0.00
2145.89/537.25	c vivif2 --  cl tried    76669 cl shrink     4567 lits rem       6335 time: 0.06
2146.29/537.35	c asymm  cl-useful: 0/1464/1464 lits-rem:0 time: 0.10
2146.29/537.35	c calculated reachability. Time: 0.00
2146.29/537.35	c  N st    80   2211466       909      1464      1682     76669      7674   1070041   no data   no data
2857.72/715.44	c  N st    81   2711467       909      1464      1683    101952      7674   1514226   no data   no data
2857.72/715.44	c  S st    81   2711467       909      1464      1683    101952      7674   1514226   no data   no data
2857.72/715.46	c Finding binary XORs  T:     0.00 s  found:       0
2859.32/715.84	c  S st    81   2711970       907      1462      1676    102072      7652   1518248   no data   no data
2859.32/715.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2859.72/715.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     33 BRemL:     70 BRemN:      0 P:  3.9M T:  0.11
2859.72/715.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2859.72/715.95	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2859.72/715.95	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  0.00 s
2859.72/715.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    907 time:  0.00 s
2859.72/715.96	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2859.72/715.98	c lits-rem:         0  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.03 s
2860.13/716.09	c subs with bin:        5  lits-rem:       110  v-fix:    0  time:  0.06 s
2878.88/720.72	c lits-rem:      3097  cl-subs:    10644  v-elim:      0  v-fix:    0  time:  4.63 s
2878.88/720.72	c vivif2 --  cl tried     1463 cl shrink        0 lits rem          0 time: 0.00
2879.28/720.81	c vivif2 --  cl tried    91317 cl shrink     5804 lits rem       8434 time: 0.09
2879.68/720.94	c asymm  cl-useful: 1/1463/1463 lits-rem:1 time: 0.13
2879.68/720.94	c calculated reachability. Time: 0.00
2879.68/720.94	c  N st    81   2711970       906      1463      1629     91317      7648   1344821   no data   no data
3667.41/918.12	c  N st    82   3211970       906      1463      1629    143216      7648   2442110   no data   no data
3667.41/918.12	c  S st    82   3211970       906      1463      1629    143216      7648   2442110   no data   no data
3667.41/918.16	c Finding binary XORs  T:     0.00 s  found:       0
3669.80/918.77	c  S st    82   3212472       903      1457      1756    142409      7604   2423733   no data   no data
3669.80/918.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3670.60/918.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:     99 BRemN:      0 P:  4.5M T:  0.19
3670.60/918.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3670.60/918.98	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3670.60/918.98	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
3670.60/918.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    903 time:  0.00 s
3670.60/918.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3671.00/919.02	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.04 s
3671.80/919.30	c subs with bin:       98  lits-rem:      2142  v-fix:    0  time:  0.19 s
3740.91/936.57	c lits-rem:      4995  cl-subs:    18829  v-elim:      0  v-fix:    0  time: 17.28 s
3740.91/936.57	c vivif2 --  cl tried     1458 cl shrink        1 lits rem          1 time: 0.00
3741.71/936.78	c vivif2 --  cl tried   119811 cl shrink    12015 lits rem      17237 time: 0.20
3742.51/936.95	c asymm  cl-useful: 0/1458/1458 lits-rem:0 time: 0.17
3742.51/936.95	c calculated reachability. Time: 0.00
3742.51/936.95	c  N st    82   3212472       901      1458      1631    119811      7596   2065554   no data   no data
4484.70/1122.70	c  N st    83   3712473       900      1458      1642    140784      7596   2151563   no data   no data
4484.70/1122.70	c  S st    83   3712473       900      1458      1642    140784      7596   2151563   no data   no data
4484.70/1122.73	c Finding binary XORs  T:     0.00 s  found:       0
4487.10/1123.33	c  S st    83   3712979       896      1448      1632    140673      7528   2150777   no data   no data
4487.10/1123.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4487.90/1123.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    238 BRemL:    125 BRemN:      0 P:  5.1M T:  0.17
4487.90/1123.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4487.90/1123.51	c bin-w-bin subsume rem            7 bins  time:  0.00 s
4487.90/1123.51	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.90/1123.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    896 time:  0.00 s
4487.90/1123.51	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4487.90/1123.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4488.70/1123.75	c subs with bin:      100  lits-rem:       708  v-fix:    0  time:  0.14 s
4572.58/1144.72	c lits-rem:      6024  cl-subs:    23122  v-elim:      0  v-fix:    0  time: 20.97 s
4572.58/1144.72	c vivif2 --  cl tried     1446 cl shrink        0 lits rem          0 time: 0.00
4572.98/1144.85	c vivif2 --  cl tried   117451 cl shrink     7274 lits rem       9830 time: 0.12
4573.79/1145.08	c asymm  cl-useful: 1/1446/1446 lits-rem:2 time: 0.23
4573.79/1145.08	c calculated reachability. Time: 0.00
4573.79/1145.08	c  N st    83   3712979       896      1446      1738    117451      7522   1750337   no data   no data
4573.79/1145.08	c Finding binary XORs  T:     0.00 s  found:       0
4635.71/1160.58	c  F st    84   3751566       896      1446      1738    154098      7522   2572121   no data   no data
4635.71/1160.58	c  N st    84   3751566       896      1446      1738    154098      7522   2572121   no data   no data
4636.09/1160.60	c Finding binary XORs  T:     0.00 s  found:       0
4646.08/1163.12	c Decided on static restart strategy
4680.43/1171.72	c  N st    94   3779869       894      1442      1782    101963      7499   1371432   no data   no data
4680.43/1171.72	c Finding binary XORs  T:     0.00 s  found:       0
4731.99/1184.61	c  N st    96   3815862       894      1442      1819    136761      7499   2172479   no data   no data
4745.16/1187.92	c Finding binary XORs  T:     0.00 s  found:       0
4793.49/1200.07	c  N st    97   3848254       893      1441      1788     82503      7488    935510   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-3280916-1304028694/watcher-3280916-1304028694 -o /tmp/evaluation-result-3280916-1304028694/solver-3280916-1304028694 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3280916-1304028694.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: 0.00 0.00 0.00 5/180 22815
/proc/meminfo: memFree=19748684/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 514467352 52441088 347 33554432000 4194304 4627427 140733383415696 18446744073709551615 47132493653932 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 12803 347 299 106 0 7774 0
[pid=22815/tid=22816] ppid=22813 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514467352 52441088 347 33554432000 4194304 4627427 140733383415696 18446744073709551615 47132493653932 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514467352 52441088 347 33554432000 4194304 4627427 140733383415696 18446744073709551615 47132493653938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514467352 52441088 347 33554432000 4194304 4627427 140733383415696 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.095498 s]
/proc/loadavg: 0.00 0.00 0.00 5/180 22815
/proc/meminfo: memFree=19748684/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=283924 CPUtime=0.36 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 2419 0 0 0 35 1 0 0 24 0 4 0 514467352 290738176 2239 33554432000 4194304 4627427 140733383415696 18446744073709551615 4310709 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 70981 2239 387 106 0 65952 0
[pid=22815/tid=22816] ppid=22813 vsize=283924 CPUtime=0.08 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 591 0 0 0 8 0 0 0 24 0 4 0 514467352 290738176 2239 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=283924 CPUtime=0.08 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 549 0 0 0 8 0 0 0 18 0 4 0 514467352 290738176 2239 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=283924 CPUtime=0.08 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 337 0 0 0 8 0 0 0 25 0 4 0 514467352 290738176 2239 33554432000 4194304 4627427 140733383415696 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 283924

[startup+0.100495 s]
/proc/loadavg: 0.00 0.00 0.00 5/180 22815
/proc/meminfo: memFree=19748684/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=283924 CPUtime=0.38 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 2434 0 0 0 37 1 0 0 24 0 4 0 514467352 290738176 2254 33554432000 4194304 4627427 140733383415696 18446744073709551615 4321873 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 70981 2254 387 106 0 65952 0
[pid=22815/tid=22816] ppid=22813 vsize=283924 CPUtime=0.09 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 594 0 0 0 9 0 0 0 24 0 4 0 514467352 290738176 2255 33554432000 4194304 4627427 140733383415696 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=283924 CPUtime=0.09 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 553 0 0 0 9 0 0 0 18 0 4 0 514467352 290738176 2255 33554432000 4194304 4627427 140733383415696 18446744073709551615 4322160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=283924 CPUtime=0.09 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 341 0 0 0 9 0 0 0 25 0 4 0 514467352 290738176 2255 33554432000 4194304 4627427 140733383415696 18446744073709551615 4322044 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 283924

[startup+0.30046 s]
/proc/loadavg: 0.00 0.00 0.00 5/180 22815
/proc/meminfo: memFree=19748684/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=284484 CPUtime=1.18 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 3170 0 0 0 117 1 0 0 25 0 4 0 514467352 291311616 2803 33554432000 4194304 4627427 140733383415696 18446744073709551615 4321720 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 71121 2803 388 106 0 66092 0
[pid=22815/tid=22816] ppid=22813 vsize=284484 CPUtime=0.29 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 763 0 0 0 29 0 0 0 24 0 4 0 514467352 291311616 2803 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=284484 CPUtime=0.29 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 514467352 291311616 2803 33554432000 4194304 4627427 140733383415696 18446744073709551615 4327557 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=284484 CPUtime=0.29 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 590 0 0 0 29 0 0 0 25 0 4 0 514467352 291311616 2803 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284484

[startup+0.70039 s]
/proc/loadavg: 0.00 0.00 0.00 5/180 22815
/proc/meminfo: memFree=19748684/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=285628 CPUtime=2.77 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 4508 0 0 0 276 1 0 0 25 0 4 0 514467352 292483072 3188 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 71407 3188 388 106 0 66378 0
[pid=22815/tid=22816] ppid=22813 vsize=285628 CPUtime=0.69 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1099 0 0 0 69 0 0 0 25 0 4 0 514467352 292483072 3188 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=285628 CPUtime=0.69 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1017 0 0 0 69 0 0 0 18 0 4 0 514467352 292483072 3188 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=285628 CPUtime=0.69 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 955 0 0 0 69 0 0 0 25 0 4 0 514467352 292483072 3188 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285628

[startup+1.50025 s]
/proc/loadavg: 0.00 0.00 0.00 9/184 22819
/proc/meminfo: memFree=19724912/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=286752 CPUtime=5.97 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 6741 0 0 0 595 2 0 0 25 0 4 0 514467352 293634048 3377 33554432000 4194304 4627427 140733383415696 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 71688 3377 388 106 0 66659 0
[pid=22815/tid=22816] ppid=22813 vsize=286752 CPUtime=1.49 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1688 0 0 0 149 0 0 0 25 0 4 0 514467352 293634048 3377 33554432000 4194304 4627427 140733383415696 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=286752 CPUtime=1.48 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1616 0 0 0 148 0 0 0 19 0 4 0 514467352 293634048 3377 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=286752 CPUtime=1.48 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 1420 0 0 0 148 0 0 0 25 0 4 0 514467352 293634048 3377 33554432000 4194304 4627427 140733383415696 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286752

[startup+3.10097 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 22819
/proc/meminfo: memFree=19710032/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=274636 CPUtime=12.37 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 11674 0 0 0 1234 3 0 0 25 0 4 0 514467352 281227264 5929 33554432000 4194304 4627427 140733383415696 18446744073709551615 4321747 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 68659 5929 390 106 0 63630 0
[pid=22815/tid=22816] ppid=22813 vsize=274636 CPUtime=3.09 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 2587 0 0 0 309 0 0 0 25 0 4 0 514467352 281227264 5929 33554432000 4194304 4627427 140733383415696 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=274636 CPUtime=3.08 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 2586 0 0 0 308 0 0 0 25 0 4 0 514467352 281227264 5929 33554432000 4194304 4627427 140733383415696 18446744073709551615 4333554 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=274636 CPUtime=3.07 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 2252 0 0 0 307 0 0 0 25 0 4 0 514467352 281227264 5929 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 274636

[startup+6.30041 s]
/proc/loadavg: 0.64 0.13 0.04 9/184 22819
/proc/meminfo: memFree=19661216/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=287360 CPUtime=25.14 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 19767 0 0 0 2509 5 0 0 25 0 4 0 514467352 294256640 10362 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 71840 10362 390 106 0 66811 0
[pid=22815/tid=22816] ppid=22813 vsize=287360 CPUtime=6.28 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 4489 0 0 0 628 0 0 0 25 0 4 0 514467352 294256640 10362 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=287360 CPUtime=6.28 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 5565 0 0 0 627 1 0 0 25 0 4 0 514467352 294256640 10362 33554432000 4194304 4627427 140733383415696 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=287360 CPUtime=6.26 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 3900 0 0 0 625 1 0 0 25 0 4 0 514467352 294256640 10362 33554432000 4194304 4627427 140733383415696 18446744073709551615 4305936 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 287360

[startup+12.7003 s]
/proc/loadavg: 1.85 0.41 0.13 9/184 22819
/proc/meminfo: memFree=19606672/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=311568 CPUtime=50.71 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 31799 0 0 0 5064 7 0 0 25 0 4 0 514467352 319045632 15879 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 77892 15879 390 106 0 72863 0
[pid=22815/tid=22816] ppid=22813 vsize=311568 CPUtime=12.68 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 7259 0 0 0 1268 0 0 0 25 0 4 0 514467352 319045632 15879 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=311568 CPUtime=12.68 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 8580 0 0 0 1267 1 0 0 25 0 4 0 514467352 319045632 15879 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=311568 CPUtime=12.63 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 7296 0 0 0 1261 2 0 0 25 0 4 0 514467352 319045632 15879 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 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) 311568

[startup+25.501 s]
/proc/loadavg: 2.79 0.66 0.22 9/184 22820
/proc/meminfo: memFree=19563380/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=303420 CPUtime=101.84 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 46452 0 0 0 10174 10 0 0 25 0 4 0 514467352 310702080 19026 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 75855 19026 390 106 0 70826 0
[pid=22815/tid=22816] ppid=22813 vsize=303420 CPUtime=25.49 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 10032 0 0 0 2548 1 0 0 25 0 4 0 514467352 310702080 19026 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=303420 CPUtime=25.48 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 13433 0 0 0 2546 2 0 0 25 0 4 0 514467352 310702080 19026 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=303420 CPUtime=25.36 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 9775 0 0 0 2533 3 0 0 25 0 4 0 514467352 310702080 19026 33554432000 4194304 4627427 140733383415696 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 303420

[startup+51.1005 s]
/proc/loadavg: 4.65 1.26 0.43 9/184 22820
/proc/meminfo: memFree=19518208/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=312416 CPUtime=204.11 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 72787 0 0 0 20394 17 0 0 25 0 4 0 514467352 319913984 24431 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 78104 24431 390 106 0 73075 0
[pid=22815/tid=22816] ppid=22813 vsize=312416 CPUtime=51.09 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 18076 0 0 0 5106 3 0 0 25 0 4 0 514467352 319913984 24431 33554432000 4194304 4627427 140733383415696 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=312416 CPUtime=51.08 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 20029 0 0 0 5104 4 0 0 25 0 4 0 514467352 319913984 24431 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=312416 CPUtime=50.82 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 14485 0 0 0 5078 4 0 0 25 0 4 0 514467352 319913984 24431 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 312416

[startup+102.307 s]
/proc/loadavg: 6.85 2.44 0.88 9/184 22822
/proc/meminfo: memFree=19467724/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=352008 CPUtime=408.66 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 112970 0 0 0 40839 27 0 0 25 0 4 0 514467352 360456192 33108 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 88002 33108 390 106 0 82973 0
[pid=22815/tid=22816] ppid=22813 vsize=352008 CPUtime=102.29 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 30447 0 0 0 10224 5 0 0 25 0 4 0 514467352 360456192 33108 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=352008 CPUtime=102.28 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 30608 0 0 0 10221 7 0 0 25 0 4 0 514467352 360456192 33108 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309763 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=352008 CPUtime=101.77 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 21662 0 0 0 10170 7 0 0 25 0 4 0 514467352 360456192 33108 33554432000 4194304 4627427 140733383415696 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 352008

[startup+162.301 s]

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

[pid=22815] ppid=22813 vsize=542664 CPUtime=2805.39 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 381292 0 0 0 280422 117 0 0 25 0 4 0 514467352 555687936 82908 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 135666 82909 390 106 0 130637 0
[pid=22815/tid=22816] ppid=22813 vsize=542664 CPUtime=702.3 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 95349 0 0 0 70200 30 0 0 25 0 4 0 514467352 555687936 82909 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=542664 CPUtime=702.28 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 103327 0 0 0 70198 30 0 0 25 0 4 0 514467352 555687936 82909 33554432000 4194304 4627427 140733383415696 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=542664 CPUtime=698.54 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 76020 0 0 0 69832 22 0 0 25 0 4 0 514467352 555687936 82909 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 542664

[startup+762.306 s]
/proc/loadavg: 8.13 7.48 4.53 9/184 22869
/proc/meminfo: memFree=19070492/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=529968 CPUtime=3045.08 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 397174 0 0 0 304385 123 0 0 25 0 4 0 514467352 542687232 85125 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 132492 85125 390 106 0 127463 0
[pid=22815/tid=22816] ppid=22813 vsize=529968 CPUtime=762.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 96681 0 0 0 76200 31 0 0 25 0 4 0 514467352 542687232 85125 33554432000 4194304 4627427 140733383415696 18446744073709551615 4332184 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=529968 CPUtime=762.29 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 109717 0 0 0 76196 33 0 0 25 0 4 0 514467352 542687232 85125 33554432000 4194304 4627427 140733383415696 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=529968 CPUtime=758.22 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 80911 0 0 0 75798 24 0 0 25 0 4 0 514467352 542687232 85125 33554432000 4194304 4627427 140733383415696 18446744073709551615 4420184 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 529968

[startup+822.301 s]
/proc/loadavg: 8.13 7.60 4.76 9/184 22871
/proc/meminfo: memFree=19026468/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=543088 CPUtime=3284.74 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 417620 0 0 0 328342 132 0 0 25 0 4 0 514467352 556122112 93586 33554432000 4194304 4627427 140733383415696 18446744073709551615 4321488 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 135772 93586 390 106 0 130743 0
[pid=22815/tid=22816] ppid=22813 vsize=543088 CPUtime=822.3 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 99458 0 0 0 82199 31 0 0 25 0 4 0 514467352 556122112 93586 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=543088 CPUtime=822.29 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 119500 0 0 0 82192 37 0 0 25 0 4 0 514467352 556122112 93586 33554432000 4194304 4627427 140733383415696 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=543088 CPUtime=817.88 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 82531 0 0 0 81764 24 0 0 25 0 4 0 514467352 556122112 93586 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 543088

[startup+882.3 s]
/proc/loadavg: 8.20 7.72 4.97 9/184 22872
/proc/meminfo: memFree=19006364/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=543240 CPUtime=3524.4 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 428929 0 0 0 352303 137 0 0 25 0 4 0 514467352 556277760 91642 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 135810 91642 390 106 0 130781 0
[pid=22815/tid=22816] ppid=22813 vsize=543240 CPUtime=882.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 99459 0 0 0 88199 32 0 0 25 0 4 0 514467352 556277760 91642 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=543240 CPUtime=882.29 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 121885 0 0 0 88191 38 0 0 25 0 4 0 514467352 556277760 91642 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=543240 CPUtime=877.56 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 85529 0 0 0 87730 26 0 0 25 0 4 0 514467352 556277760 91642 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 543240

[startup+942.301 s]
/proc/loadavg: 8.19 7.80 5.17 9/184 22874
/proc/meminfo: memFree=18972752/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=606700 CPUtime=3764.08 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 441151 0 0 0 376268 140 0 0 25 0 4 0 514467352 621260800 95302 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 151675 95302 391 106 0 146646 0
[pid=22815/tid=22816] ppid=22813 vsize=606700 CPUtime=942.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 99504 0 0 0 94199 32 0 0 25 0 4 0 514467352 621260800 95302 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=606700 CPUtime=942.3 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 125141 0 0 0 94191 39 0 0 25 0 4 0 514467352 621260800 95302 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=606700 CPUtime=937.23 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 88284 0 0 0 93696 27 0 0 25 0 4 0 514467352 621260800 95302 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 606700

[startup+1002.3 s]
/proc/loadavg: 8.10 7.84 5.35 9/184 22876
/proc/meminfo: memFree=18904288/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=657180 CPUtime=4003.75 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 459747 0 0 0 400228 147 0 0 25 0 4 0 514467352 672952320 109440 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 164295 109440 391 106 0 159266 0
[pid=22815/tid=22816] ppid=22813 vsize=657180 CPUtime=1002.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 103189 0 0 0 100197 34 0 0 25 0 4 0 514467352 672952320 109440 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309965 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=657180 CPUtime=1002.3 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 131104 0 0 0 100189 41 0 0 25 0 4 0 514467352 672952320 109440 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=657180 CPUtime=996.91 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 91271 0 0 0 99664 27 0 0 25 0 4 0 514467352 672952320 109440 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 657180

[startup+1062.3 s]
/proc/loadavg: 8.07 7.88 5.52 9/184 22877
/proc/meminfo: memFree=18902672/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=627124 CPUtime=4243.43 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 480038 0 0 0 424187 156 0 0 25 0 4 0 514467352 642174976 105254 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 156781 105254 390 106 0 151752 0
[pid=22815/tid=22816] ppid=22813 vsize=627124 CPUtime=1062.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 107189 0 0 0 106195 36 0 0 25 0 4 0 514467352 642174976 105254 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=627124 CPUtime=1062.3 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 136727 0 0 0 106187 43 0 0 25 0 4 0 514467352 642174976 105254 33554432000 4194304 4627427 140733383415696 18446744073709551615 4310879 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=627124 CPUtime=1056.58 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 95680 0 0 0 105630 28 0 0 25 0 4 0 514467352 642174976 105254 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 627124

[startup+1122.3 s]
/proc/loadavg: 8.06 7.92 5.68 9/184 22879
/proc/meminfo: memFree=18855532/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=627268 CPUtime=4483.1 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 502686 0 0 0 448145 165 0 0 25 0 4 0 514467352 642322432 109993 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 156817 109993 390 106 0 151788 0
[pid=22815/tid=22816] ppid=22813 vsize=627268 CPUtime=1122.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 113086 0 0 0 112193 38 0 0 25 0 4 0 514467352 642322432 109993 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=627268 CPUtime=1122.3 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 142713 0 0 0 112185 45 0 0 25 0 4 0 514467352 642322432 109993 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=627268 CPUtime=1116.26 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 100566 0 0 0 111595 31 0 0 25 0 4 0 514467352 642322432 109993 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.1
Current children cumulated vsize (KiB) 627268

[startup+1182.3 s]
/proc/loadavg: 8.02 7.93 5.82 9/184 22880
/proc/meminfo: memFree=18859104/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=575524 CPUtime=4722.77 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 513052 0 0 0 472110 167 0 0 25 0 4 0 514467352 589336576 106197 33554432000 4194304 4627427 140733383415696 18446744073709551615 4308272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 143881 106197 390 106 0 138852 0
[pid=22815/tid=22816] ppid=22813 vsize=575524 CPUtime=1182.31 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 116850 0 0 0 118192 39 0 0 25 0 4 0 514467352 589336576 106197 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=575524 CPUtime=1182.3 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 144317 0 0 0 118184 46 0 0 25 0 4 0 514467352 589336576 106197 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=575524 CPUtime=1175.94 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 100596 0 0 0 117563 31 0 0 25 0 4 0 514467352 589336576 106197 33554432000 4194304 4627427 140733383415696 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.77
Current children cumulated vsize (KiB) 575524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 7.93 5.86 9/184 22881
/proc/meminfo: memFree=18850672/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=561752 CPUtime=4800.29 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 518198 0 0 0 479859 170 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 140438 108137 390 106 0 135409 0
[pid=22815/tid=22816] ppid=22813 vsize=561752 CPUtime=1201.72 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 118139 0 0 0 120132 40 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=561752 CPUtime=1201.7 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 146165 0 0 0 120124 46 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=561752 CPUtime=1195.23 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 100606 0 0 0 119492 31 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 561752

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

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

[startup+1201.7 s]
/proc/loadavg: 8.01 7.93 5.86 9/184 22881
/proc/meminfo: memFree=18850672/32951124 swapFree=67111464/67111528
[pid=22815] ppid=22813 vsize=561752 CPUtime=4800.29 cores=0,2,4,6
/proc/22815/stat : 22815 (strangenight2-m) R 22813 22815 22773 0 -1 4202496 518198 0 0 0 479859 170 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22815/statm: 140438 108137 390 106 0 135409 0
[pid=22815/tid=22816] ppid=22813 vsize=561752 CPUtime=1201.72 cores=0,2,4,6
/proc/22815/task/22816/stat : 22816 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 118139 0 0 0 120132 40 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=22815/tid=22817] ppid=22813 vsize=561752 CPUtime=1201.7 cores=0,2,4,6
/proc/22815/task/22817/stat : 22817 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 146165 0 0 0 120124 46 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22815/tid=22818] ppid=22813 vsize=561752 CPUtime=1195.23 cores=0,2,4,6
/proc/22815/task/22818/stat : 22818 (strangenight2-m) R 22813 22815 22773 0 -1 4202560 100606 0 0 0 119492 31 0 0 25 0 4 0 514467352 575234048 108137 33554432000 4194304 4627427 140733383415696 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 561752

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.34
CPU user time (s): 4798.62
CPU system time (s): 1.72174
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 692804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.62
system time used= 1.72174
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518200
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= 544
involuntary context switches= 22434

runsolver used 1.9367 second user time and 4.5723 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 00:11:34
IDJOB=3280916
IDBENCH=20472
IDSOLVER=1586
FILE ID=node136/3280916-1304028694
RUNJOBID= node136-1304028687-22792
PBS_JOBID= 13170316
Free space on /tmp= 72328 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280916-1304028694/watcher-3280916-1304028694 -o /tmp/evaluation-result-3280916-1304028694/solver-3280916-1304028694 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3280916-1304028694.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED=443346046

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.83
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.809
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.809
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:      19748980 kB
Buffers:       1736848 kB
Cached:       10798068 kB
SwapCached:         60 kB
Active:        5710488 kB
Inactive:      6912916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19748980 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:           12008 kB
Writeback:           0 kB
AnonPages:       87652 kB
Mapped:          15476 kB
Slab:           516440 kB
PageTables:       4764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   299836 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= 72324 MiB
End job on node136 at 2011-04-29 00:31:38