Trace number 3366631

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.11 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
MD5SUM016ccbb74f587730ed4815e028a75eb1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.233964
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366631-1305410850.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         1  cl-subs:        2  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     242 undec:      62 neg:     296
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       588      2542         1         0      7696         0   no data   no data
0.15/0.06	c Decided on static restart strategy
0.37/0.16	c  N st     8      4913       588      2542         1      4865      7696    134363   no data   no data
1.57/0.43	c  N st    10     11296       588      2542         1      4490      7696     86128   no data   no data
2.77/0.70	c  N st    11     17039       588      2542         1     10140      7696    240065   no data   no data
4.41/1.13	c  F st    12     25000       588      2542         1     12435      7696    294226   no data   no data
4.41/1.13	c  N st    12     25000       588      2542         1     12435      7696    294226   no data   no data
5.16/1.37	c Decided on static restart strategy
5.16/1.37	c  N st    18     30002       588      2542         1     10712      7696    224359   no data   no data
5.16/1.37	c  S st    18     30002       588      2542         1     10712      7696    224359   no data   no data
5.56/1.41	c  S st    18     30506       588      2542         1     11214      7696    236547   no data   no data
5.56/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.41	c blocked clauses removed:       26 vars:      3 tried:         588 T: 0.00 s
5.56/1.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.56/1.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.41	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.56/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c lits-rem:       158  cl-subs:      337  v-elim:      0  v-fix:    0  time:  0.04 s
5.56/1.47	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
5.56/1.47	c calculated reachability. Time: 0.00
5.56/1.47	c  N st    18     30506       584      2514         1     10821      7622    224730   no data   no data
7.15/1.86	c  N st    20     37618       584      2514         1     10091      7622    192747   no data   no data
8.79/2.25	c  N st    21     44018       584      2514         1     16422      7622    376110   no data   no data
9.15/2.37	c  S st    22     45759       584      2514         1      9359      7622    149533   no data   no data
9.55/2.40	c  S st    22     46264       584      2514         1      9863      7622    162313   no data   no data
9.55/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.55/2.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.42	c lits-rem:        14  cl-subs:       35  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.42	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
9.55/2.43	c vivif2 --  cl tried     9828 cl shrink        0 lits rem          0 time: 0.00
9.55/2.43	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
9.55/2.43	c calculated reachability. Time: 0.00
9.55/2.43	c  N st    22     46264       584      2514         1      9828      7622    161148   no data   no data
13.54/3.43	c  N st    23     60662       584      2514         1     14145      7622    265246   no data   no data
16.33/4.14	c  N st    24     69397       584      2514         1     11931      7622    194718   no data   no data
16.33/4.14	c  S st    24     69397       584      2514         1     11931      7622    194718   no data   no data
16.33/4.17	c  S st    24     69900       584      2514         1     12434      7622    207643   no data   no data
16.33/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.33/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.74/4.21	c lits-rem:        16  cl-subs:      278  v-elim:      0  v-fix:    0  time:  0.03 s
16.74/4.21	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
16.74/4.21	c vivif2 --  cl tried    12156 cl shrink        0 lits rem          0 time: 0.00
16.74/4.22	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
16.74/4.22	c calculated reachability. Time: 0.00
16.74/4.22	c  N st    24     69900       584      2514         1     12156      7622    200153   no data   no data
21.95/5.54	c  F st    25     87500       584      2514         1     17656      7622    352201   no data   no data
21.95/5.54	c  N st    25     87500       584      2514         1     17656      7622    352201   no data   no data
23.51/5.94	c Decided on static restart strategy
24.72/6.21	c  N st    32     95535       584      2514         1     25583      7622    562894   no data   no data
27.10/6.87	c  N st    34    104852       584      2514         1     21977      7622    442996   no data   no data
27.10/6.87	c  S st    34    104852       584      2514         1     21977      7622    442996   no data   no data
27.50/6.92	c  S st    34    105358       584      2514         1     22482      7622    455955   no data   no data
27.50/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.50/6.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
27.50/6.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.50/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.50/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.13	c lits-rem:       175  cl-subs:      735  v-elim:      0  v-fix:    0  time:  0.18 s
28.30/7.13	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
28.30/7.13	c vivif2 --  cl tried    21747 cl shrink        0 lits rem          0 time: 0.00
28.30/7.15	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.01
28.30/7.15	c calculated reachability. Time: 0.00
28.30/7.15	c  N st    34    105358       584      2514         1     21747      7622    433337   no data   no data
31.49/7.93	c  N st    35    114956       584      2514         1     17441      7622    292636   no data   no data
36.28/9.17	c  N st    36    129354       584      2514         1     16815      7622    252347   no data   no data
44.26/11.13	c  N st    37    150951       584      2514         1     22300      7622    398711   no data   no data
46.65/11.76	c  S st    38    158037       584      2514         1     29291      7622    609028   no data   no data
47.05/11.84	c  S st    38    158543       584      2514         1     29796      7622    621689   no data   no data
47.05/11.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.05/11.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.05/11.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.05/11.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.05/11.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.05/11.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
47.05/11.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.05/11.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.05/11.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.64/12.26	c lits-rem:       360  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.38 s
48.64/12.26	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
48.64/12.27	c vivif2 --  cl tried    28800 cl shrink        0 lits rem          0 time: 0.01
48.64/12.29	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
48.64/12.29	c calculated reachability. Time: 0.00
48.64/12.29	c  N st    38    158543       584      2514         1     28800      7622    589290   no data   no data
69.00/17.33	c  N st    39    207131       584      2514         1     23373      7622    370551   no data   no data
84.16/21.12	c  N st    40    237816       584      2514         1     33884      7622    637297   no data   no data
84.16/21.12	c  S st    40    237816       584      2514         1     33884      7622    637297   no data   no data
84.16/21.19	c  S st    40    238317       584      2514         1     34383      7622    650225   no data   no data
84.16/21.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.56/21.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.56/21.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.56/21.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.56/21.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.56/21.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
84.56/21.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.56/21.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.56/21.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.37/21.91	c lits-rem:       383  cl-subs:     1729  v-elim:      0  v-fix:    0  time:  0.68 s
87.37/21.91	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
87.37/21.92	c vivif2 --  cl tried    32654 cl shrink        0 lits rem          0 time: 0.01
87.37/21.94	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
87.37/21.95	c calculated reachability. Time: 0.00
87.37/21.95	c  N st    40    238317       584      2514         1     32654      7622    604363   no data   no data
119.28/29.96	c  F st    41    306251       584      2514         1     34622      7622    629121   no data   no data
119.28/29.96	c  N st    41    306251       584      2514         1     34622      7622    629121   no data   no data
122.07/30.65	c Decided on static restart strategy
133.64/33.54	c  N st    51    334563       584      2514         1     38888      7622    713254   no data   no data
145.21/36.45	c  N st    53    357475       584      2514         1     36821      7622    633441   no data   no data
145.21/36.45	c  S st    53    357475       584      2514         1     36821      7622    633441   no data   no data
145.61/36.55	c  S st    53    357978       584      2514         1     37324      7622    646571   no data   no data
145.61/36.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.61/36.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.61/36.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.61/36.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.61/36.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.61/36.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
145.61/36.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.61/36.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.61/36.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.20/36.99	c lits-rem:       219  cl-subs:     1216  v-elim:      0  v-fix:    0  time:  0.39 s
147.20/36.99	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
147.60/37.00	c vivif2 --  cl tried    36108 cl shrink        0 lits rem          0 time: 0.01
147.60/37.02	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.02
147.60/37.02	c calculated reachability. Time: 0.00
147.60/37.02	c  N st    53    357978       584      2514         1     36108      7622    610703   no data   no data
163.96/41.17	c  N st    54    390370       584      2514         1     42308      7622    757802   no data   no data
192.71/48.35	c  N st    55    438959       584      2514         1     36105      7622    553709   no data   no data
235.79/59.12	c  N st    56    511841       584      2514         1     49770      7622    925629   no data   no data
250.54/62.83	c  N st    57    536967       584      2514         1     44064      7622    727879   no data   no data
250.54/62.83	c  S st    57    536967       584      2514         1     44064      7622    727879   no data   no data
250.94/62.94	c  S st    57    537468       584      2514         1     44565      7622    741790   no data   no data
250.94/62.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
250.94/62.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
250.94/62.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
250.94/62.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
250.94/62.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
250.94/62.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
250.94/62.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
250.94/62.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
250.94/62.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
253.34/63.57	c lits-rem:       235  cl-subs:     1224  v-elim:      0  v-fix:    0  time:  0.58 s
253.34/63.57	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
253.34/63.58	c vivif2 --  cl tried    43341 cl shrink        0 lits rem          0 time: 0.01
253.75/63.62	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.03
253.75/63.62	c calculated reachability. Time: 0.00
253.75/63.62	c  N st    57    537468       584      2514         1     43341      7622    704794   no data   no data
365.46/91.65	c  N st    58    701452       584      2514         1     37173      7622    442429   no data   no data
442.89/111.09	c  N st    59    806204       584      2514         1     66436      7622   1260331   no data   no data
442.89/111.09	c  S st    59    806204       584      2514         1     66436      7622   1260331   no data   no data
443.66/111.29	c  S st    59    806708       584      2514         1     66939      7622   1273928   no data   no data
443.66/111.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
444.06/111.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
444.06/111.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
444.06/111.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
444.06/111.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
444.06/111.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
444.06/111.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
444.06/111.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
444.06/111.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
456.48/114.46	c lits-rem:       587  cl-subs:     3150  v-elim:      0  v-fix:    0  time:  3.08 s
456.48/114.46	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
456.48/114.48	c vivif2 --  cl tried    63789 cl shrink        0 lits rem          0 time: 0.02
456.84/114.54	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.06
456.84/114.54	c calculated reachability. Time: 0.00
456.84/114.54	c  N st    59    806708       584      2514         1     63789      7622   1184226   no data   no data
668.31/167.54	c  F st    60   1071878       584      2514         1     79722      7622   1529904   no data   no data
668.31/167.54	c  N st    60   1071878       584      2514         1     79722      7622   1529904   no data   no data
674.31/169.07	c Decided on static restart strategy
694.24/174.00	c  N st    70   1100182       584      2514         1     63410      7622    961609   no data   no data
725.77/181.93	c  N st    72   1136177       584      2514         1     53669      7622    704883   no data   no data
754.94/189.21	c  N st    73   1168571       584      2514         1     85461      7622   1593111   no data   no data
797.60/199.99	c  N st    74   1210063       584      2514         1     79782      7622   1392767   no data   no data
797.60/199.99	c  S st    74   1210063       584      2514         1     79782      7622   1392767   no data   no data
798.84/200.29	c  S st    74   1210565       584      2514         1     80281      7622   1406229   no data   no data
799.19/200.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
799.19/200.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
799.19/200.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
799.19/200.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
799.19/200.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
799.19/200.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
799.19/200.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
799.19/200.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
799.59/200.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
831.50/208.40	c lits-rem:       373  cl-subs:     4778  v-elim:      0  v-fix:    0  time:  7.98 s
831.50/208.40	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
831.50/208.42	c vivif2 --  cl tried    75503 cl shrink        0 lits rem          0 time: 0.02
831.90/208.50	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.08
831.90/208.50	c calculated reachability. Time: 0.00
831.90/208.50	c  N st    74   1210565       584      2514         1     75503      7622   1278848   no data   no data
912.94/228.90	c  N st    75   1283447       584      2514         1     52170      7622    606368   no data   no data
1038.20/260.22	c  N st    76   1392773       584      2514         1     60032      7622    783251   no data   no data
1206.18/302.39	c  N st    77   1556758       584      2514         1     65059      7622    890492   no data   no data
1376.96/345.18	c  N st    78   1710565       584      2514         1    106882      7622   2077433   no data   no data
1376.96/345.18	c  S st    78   1710565       584      2514         1    106882      7622   2077433   no data   no data
1378.55/345.51	c  S st    78   1711069       584      2514         1    107386      7622   2090777   no data   no data
1378.55/345.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1378.55/345.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1378.55/345.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1378.55/345.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1378.55/345.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1378.55/345.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1378.55/345.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1378.95/345.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1378.95/345.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.59/361.30	c lits-rem:      1089  cl-subs:     7725  v-elim:      0  v-fix:    0  time: 15.64 s
1441.59/361.30	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
1441.59/361.33	c vivif2 --  cl tried    99661 cl shrink        0 lits rem          0 time: 0.03
1441.99/361.44	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.11
1441.99/361.44	c calculated reachability. Time: 0.00
1441.99/361.44	c  N st    78   1711069       584      2514         1     99661      7622   1875505   no data   no data
1893.27/474.53	c  N st    79   2080034       584      2514         1    111290      7622   2136263   no data   no data
2065.65/517.72	c  N st    80   2211070       584      2514         1    115500      7622   2175569   no data   no data
2065.65/517.72	c  S st    80   2211070       584      2514         1    115500      7622   2175569   no data   no data
2067.28/518.11	c  S st    80   2211574       584      2514         1    115999      7622   2188086   no data   no data
2067.28/518.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2067.28/518.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2067.28/518.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2067.28/518.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2067.28/518.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2067.28/518.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2067.28/518.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2067.64/518.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2067.64/518.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2121.50/531.79	c lits-rem:       615  cl-subs:     5628  v-elim:      0  v-fix:    0  time: 13.52 s
2121.50/531.79	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2121.90/531.82	c vivif2 --  cl tried   110371 cl shrink        0 lits rem          0 time: 0.03
2122.30/531.94	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.12
2122.30/531.95	c calculated reachability. Time: 0.00
2122.30/531.95	c  N st    80   2211574       584      2514         1    110371      7622   2023405   no data   no data
2810.20/704.31	c  N st    81   2711574       584      2514         1    133727      7622   2533594   no data   no data
2810.20/704.31	c  S st    81   2711574       584      2514         1    133727      7622   2533594   no data   no data
2811.80/704.78	c  S st    81   2712080       584      2514         1    134231      7622   2546986   no data   no data
2811.80/704.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2812.20/704.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2812.20/704.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2812.20/704.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2812.20/704.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2812.20/704.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2812.20/704.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2812.60/704.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2812.60/704.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2895.17/725.66	c lits-rem:       583  cl-subs:     8328  v-elim:      0  v-fix:    0  time: 20.69 s
2895.17/725.66	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
2895.57/725.70	c vivif2 --  cl tried   125903 cl shrink        0 lits rem          0 time: 0.04
2895.97/725.85	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.15
2895.97/725.85	c calculated reachability. Time: 0.00
2895.97/725.85	c  N st    81   2712080       584      2514         1    125903      7622   2328047   no data   no data
3644.49/913.49	c  N st    82   3212081       584      2514         1    101759      7622   1487871   no data   no data
3644.49/913.49	c  S st    82   3212081       584      2514         1    101759      7622   1487871   no data   no data
3646.09/913.82	c  S st    82   3212581       584      2514         1    102259      7622   1500903   no data   no data
3646.09/913.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3646.09/913.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3646.09/913.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3646.09/913.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3646.09/913.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3646.09/913.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3646.09/913.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3646.49/913.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3646.49/913.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3659.25/917.17	c lits-rem:       319  cl-subs:     3050  v-elim:      0  v-fix:    0  time:  3.22 s
3659.25/917.17	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
3659.25/917.19	c vivif2 --  cl tried    99209 cl shrink        0 lits rem          0 time: 0.02
3659.65/917.30	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.10
3659.65/917.30	c calculated reachability. Time: 0.00
3659.65/917.30	c  N st    82   3212581       584      2514         1     99209      7622   1420774   no data   no data
4517.12/1132.18	c  N st    83   3712581       584      2514         1    109844      7622   1586491   no data   no data
4517.12/1132.18	c  S st    83   3712581       584      2514         1    109844      7622   1586491   no data   no data
4518.32/1132.49	c  S st    83   3713082       584      2514         1    110345      7622   1599465   no data   no data
4518.72/1132.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4518.72/1132.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4518.72/1132.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4518.72/1132.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4518.72/1132.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4518.72/1132.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4518.72/1132.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4518.72/1132.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4519.12/1132.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4535.48/1136.75	c lits-rem:       513  cl-subs:     3838  v-elim:      0  v-fix:    0  time:  4.12 s
4535.48/1136.75	c vivif2 --  cl tried     2514 cl shrink        0 lits rem          0 time: 0.00
4535.48/1136.78	c vivif2 --  cl tried   106507 cl shrink        0 lits rem          0 time: 0.02
4535.88/1136.89	c asymm  cl-useful: 0/2514/2514 lits-rem:0 time: 0.12
4536.28/1136.90	c calculated reachability. Time: 0.00
4536.28/1136.90	c  N st    83   3713082       584      2514         1    106507      7622   1500562   no data   no data
4602.51/1153.59	c  F st    84   3751562       584      2514         1    144093      7622   2480445   no data   no data
4602.51/1153.59	c  N st    84   3751562       584      2514         1    144093      7622   2480445   no data   no data
4614.48/1156.53	c Decided on static restart strategy
4665.59/1169.35	c  N st    94   3779864       584      2514         1     88896      7622    954948   no data   no data
4714.23/1181.58	c  N st    96   3815856       584      2514         1    124178      7622   1916228   no data   no data
4774.09/1196.53	c  N st    97   3848248       584      2514         1    155882      7622   2808929   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-3366631-1305410850/watcher-3366631-1305410850 -o /tmp/evaluation-result-3366631-1305410850/solver-3366631-1305410850 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366631-1305410850.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 18370
/proc/meminfo: memFree=15694288/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=216472 CPUtime=0 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 840 0 0 0 0 0 0 0 20 0 4 0 731315740 221667328 768 33554432000 4194304 4580107 140733386793616 18446744073709551615 231895595551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 54118 769 337 95 0 49100 0
[pid=18370/tid=18371] ppid=18368 vsize=217016 CPUtime=0 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 271 0 0 0 0 0 0 0 20 0 4 0 731315740 222224384 1147 33554432000 4194304 4580107 140733386793616 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=217016 CPUtime=0 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) S 18368 18370 18342 0 -1 4202560 106 0 0 0 0 0 0 0 21 0 4 0 731315740 222224384 1123 33554432000 4194304 4580107 140733386793616 18446744073709551615 231895595502 0 0 4096 2 18446604454223473344 0 0 -1 3 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=216856 CPUtime=0 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 137 0 0 0 0 0 0 0 21 0 4 0 731315740 222060544 1126 33554432000 4194304 4580107 140733386793616 18446744073709551615 231895150596 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0448441 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 18370
/proc/meminfo: memFree=15694288/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=217244 CPUtime=0.15 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 1531 0 0 0 15 0 0 0 18 0 4 0 731315740 222457856 1390 33554432000 4194304 4580107 140733386793616 18446744073709551615 4320853 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 54311 1390 376 95 0 49293 0
[pid=18370/tid=18371] ppid=18368 vsize=217244 CPUtime=0.03 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 311 0 0 0 3 0 0 0 18 0 4 0 731315740 222457856 1390 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=217244 CPUtime=0.03 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 286 0 0 0 3 0 0 0 21 0 4 0 731315740 222457856 1390 33554432000 4194304 4580107 140733386793616 18446744073709551615 4321192 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=217244 CPUtime=0.03 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 175 0 0 0 3 0 0 0 21 0 4 0 731315740 222457856 1391 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 217244

[startup+0.100833 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 18370
/proc/meminfo: memFree=15694288/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=217532 CPUtime=0.37 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 1806 0 0 0 37 0 0 0 18 0 4 0 731315740 222752768 1665 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 54383 1665 377 95 0 49365 0
[pid=18370/tid=18371] ppid=18368 vsize=217532 CPUtime=0.09 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 382 0 0 0 9 0 0 0 18 0 4 0 731315740 222752768 1665 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=217532 CPUtime=0.09 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 366 0 0 0 9 0 0 0 21 0 4 0 731315740 222752768 1666 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=217532 CPUtime=0.09 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 233 0 0 0 9 0 0 0 21 0 4 0 731315740 222752768 1667 33554432000 4194304 4580107 140733386793616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 217532

[startup+0.300795 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 18370
/proc/meminfo: memFree=15694288/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=219308 CPUtime=1.17 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 2947 0 0 0 117 0 0 0 18 0 4 0 731315740 224571392 2160 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 54827 2160 377 95 0 49809 0
[pid=18370/tid=18371] ppid=18368 vsize=219308 CPUtime=0.29 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 657 0 0 0 29 0 0 0 18 0 4 0 731315740 224571392 2160 33554432000 4194304 4580107 140733386793616 18446744073709551615 4321131 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=219308 CPUtime=0.28 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 668 0 0 0 28 0 0 0 18 0 4 0 731315740 224571392 2160 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=219308 CPUtime=0.29 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 523 0 0 0 29 0 0 0 21 0 4 0 731315740 224571392 2160 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219308

[startup+0.70072 s]
/proc/loadavg: 0.00 0.00 0.03 2/311 18370
/proc/meminfo: memFree=15694288/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=220416 CPUtime=2.77 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 4582 0 0 0 277 0 0 0 18 0 4 0 731315740 225705984 2849 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 55104 2850 377 95 0 50086 0
[pid=18370/tid=18371] ppid=18368 vsize=220416 CPUtime=0.69 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 1069 0 0 0 69 0 0 0 18 0 4 0 731315740 225705984 2850 33554432000 4194304 4580107 140733386793616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=220416 CPUtime=0.68 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 1066 0 0 0 68 0 0 0 18 0 4 0 731315740 225705984 2850 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=220416 CPUtime=0.69 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 943 0 0 0 69 0 0 0 22 0 4 0 731315740 225705984 2850 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220416

[startup+1.50057 s]
/proc/loadavg: 0.00 0.00 0.03 13/323 18387
/proc/meminfo: memFree=15669980/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=222228 CPUtime=5.96 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 9260 0 0 0 595 1 0 0 20 0 4 0 731315740 227561472 4671 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 55557 4671 379 95 0 50539 0
[pid=18370/tid=18371] ppid=18368 vsize=222228 CPUtime=1.49 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 1869 0 0 0 149 0 0 0 20 0 4 0 731315740 227561472 4671 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=222228 CPUtime=1.47 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 1849 0 0 0 147 0 0 0 19 0 4 0 731315740 227561472 4671 33554432000 4194304 4580107 140733386793616 18446744073709551615 4320448 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=222228 CPUtime=1.48 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 1785 0 0 0 148 0 0 0 25 0 4 0 731315740 227561472 4671 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 222228

[startup+3.10027 s]
/proc/loadavg: 0.00 0.00 0.03 9/323 18387
/proc/meminfo: memFree=15650884/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=235408 CPUtime=12.34 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 18882 0 0 0 1232 2 0 0 25 0 4 0 731315740 241057792 10150 33554432000 4194304 4580107 140733386793616 18446744073709551615 4316661 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 58852 10150 379 95 0 53834 0
[pid=18370/tid=18371] ppid=18368 vsize=235408 CPUtime=3.08 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 4089 0 0 0 308 0 0 0 25 0 4 0 731315740 241057792 10150 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=235408 CPUtime=3.06 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 4760 0 0 0 306 0 0 0 25 0 4 0 731315740 241057792 10150 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=235408 CPUtime=3.08 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 4904 0 0 0 308 0 0 0 25 0 4 0 731315740 241057792 10150 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 235408

[startup+6.30065 s]
/proc/loadavg: 0.64 0.13 0.07 9/323 18387
/proc/meminfo: memFree=15580216/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=249972 CPUtime=25.11 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 30285 0 0 0 2506 5 0 0 25 0 4 0 731315740 255971328 14058 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 62493 14058 379 95 0 57475 0
[pid=18370/tid=18371] ppid=18368 vsize=249972 CPUtime=6.29 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 7697 0 0 0 628 1 0 0 25 0 4 0 731315740 255971328 14058 33554432000 4194304 4580107 140733386793616 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=249972 CPUtime=6.23 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 7987 0 0 0 622 1 0 0 25 0 4 0 731315740 255971328 14058 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=249972 CPUtime=6.29 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 6949 0 0 0 628 1 0 0 25 0 4 0 731315740 255971328 14058 33554432000 4194304 4580107 140733386793616 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 249972

[startup+12.7004 s]
/proc/loadavg: 1.23 0.26 0.12 9/323 18387
/proc/meminfo: memFree=15513912/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=255976 CPUtime=50.64 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 48840 0 0 0 5056 8 0 0 25 0 4 0 731315740 262119424 20915 33554432000 4194304 4580107 140733386793616 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 63994 20915 379 95 0 58976 0
[pid=18370/tid=18371] ppid=18368 vsize=255976 CPUtime=12.69 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 11855 0 0 0 1267 2 0 0 25 0 4 0 731315740 262119424 20916 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=255976 CPUtime=12.56 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 10975 0 0 0 1254 2 0 0 25 0 4 0 731315740 262119424 20916 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=255976 CPUtime=12.68 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 12135 0 0 0 1266 2 0 0 25 0 4 0 731315740 262119424 20916 33554432000 4194304 4580107 140733386793616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 255976

[startup+25.501 s]
/proc/loadavg: 2.73 0.64 0.24 9/323 18387
/proc/meminfo: memFree=15441500/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=272692 CPUtime=101.72 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 73180 0 0 0 10157 15 0 0 25 0 4 0 731315740 279236608 27772 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 68173 27772 379 95 0 63155 0
[pid=18370/tid=18371] ppid=18368 vsize=272692 CPUtime=25.48 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 18026 0 0 0 2545 3 0 0 25 0 4 0 731315740 279236608 27772 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=272692 CPUtime=25.22 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 18180 0 0 0 2519 3 0 0 25 0 4 0 731315740 279236608 27772 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=272692 CPUtime=25.48 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 17375 0 0 0 2545 3 0 0 25 0 4 0 731315740 279236608 27772 33554432000 4194304 4580107 140733386793616 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 272692

[startup+51.1011 s]
/proc/loadavg: 4.53 1.23 0.45 9/323 18388
/proc/meminfo: memFree=15383972/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=298364 CPUtime=203.87 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 110588 0 0 0 20361 26 0 0 25 0 4 0 731315740 305524736 35640 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 74591 35640 379 95 0 69573 0
[pid=18370/tid=18371] ppid=18368 vsize=298364 CPUtime=51.08 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 28099 0 0 0 5103 5 0 0 25 0 4 0 731315740 305524736 35640 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=298364 CPUtime=50.57 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 27530 0 0 0 5051 6 0 0 25 0 4 0 731315740 305524736 35640 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=298364 CPUtime=51.08 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 25562 0 0 0 5101 7 0 0 25 0 4 0 731315740 305524736 35640 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 298364

[startup+102.312 s]
/proc/loadavg: 6.55 2.29 0.84 9/323 18389
/proc/meminfo: memFree=15291320/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=309304 CPUtime=408.2 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 169995 0 0 0 40775 45 0 0 25 0 4 0 731315740 316727296 44358 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 77326 44358 379 95 0 72308 0
[pid=18370/tid=18371] ppid=18368 vsize=309304 CPUtime=102.29 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 42942 0 0 0 10219 10 0 0 25 0 4 0 731315740 316727296 44358 33554432000 4194304 4580107 140733386793616 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=309304 CPUtime=101.27 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 40635 0 0 0 10115 12 0 0 25 0 4 0 731315740 316727296 44358 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293110 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=309304 CPUtime=102.29 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 41290 0 0 0 10218 11 0 0 25 0 4 0 731315740 316727296 44358 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 309304

[startup+162.301 s]

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

[pid=18370] ppid=18368 vsize=583404 CPUtime=2562.83 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 495342 0 0 0 256096 187 0 0 25 0 4 0 731315740 597405696 99475 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 145851 99475 379 95 0 140833 0
[pid=18370/tid=18371] ppid=18368 vsize=583404 CPUtime=642.31 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 120093 0 0 0 64186 45 0 0 25 0 4 0 731315740 597405696 99476 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=583404 CPUtime=635.86 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 109665 0 0 0 63545 41 0 0 25 0 4 0 731315740 597405696 99476 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=583404 CPUtime=642.31 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 131569 0 0 0 64181 50 0 0 25 0 4 0 731315740 597405696 99476 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2562.83
Current children cumulated vsize (KiB) 583404

[startup+702.301 s]
/proc/loadavg: 8.13 7.33 4.29 9/323 18405
/proc/meminfo: memFree=14834716/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=608644 CPUtime=2802.22 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 517250 0 0 0 280025 197 0 0 25 0 4 0 731315740 623251456 105439 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 152161 105439 379 95 0 147143 0
[pid=18370/tid=18371] ppid=18368 vsize=608644 CPUtime=702.31 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 126292 0 0 0 70183 48 0 0 25 0 4 0 731315740 623251456 105439 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=608644 CPUtime=695.26 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 113293 0 0 0 69482 44 0 0 25 0 4 0 731315740 623251456 105439 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=608644 CPUtime=702.3 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 139307 0 0 0 70177 53 0 0 25 0 4 0 731315740 623251456 105439 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.22
Current children cumulated vsize (KiB) 608644

[startup+762.312 s]
/proc/loadavg: 8.11 7.46 4.52 9/323 18407
/proc/meminfo: memFree=14775524/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=609052 CPUtime=3041.65 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 545502 0 0 0 303953 212 0 0 25 0 4 0 731315740 623669248 110212 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 152263 110212 379 95 0 147245 0
[pid=18370/tid=18371] ppid=18368 vsize=609052 CPUtime=762.31 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 132933 0 0 0 76179 52 0 0 25 0 4 0 731315740 623669248 110212 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=609052 CPUtime=754.65 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 121050 0 0 0 75417 48 0 0 25 0 4 0 731315740 623669248 110212 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=609052 CPUtime=762.31 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 146558 0 0 0 76174 57 0 0 25 0 4 0 731315740 623669248 110212 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.65
Current children cumulated vsize (KiB) 609052

[startup+822.3 s]
/proc/loadavg: 8.17 7.59 4.75 9/323 18408
/proc/meminfo: memFree=14785504/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=660820 CPUtime=3281.02 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 571412 0 0 0 327878 224 0 0 25 0 4 0 731315740 676679680 109601 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 165205 109601 379 95 0 160187 0
[pid=18370/tid=18371] ppid=18368 vsize=660820 CPUtime=822.31 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 141367 0 0 0 82175 56 0 0 25 0 4 0 731315740 676679680 109601 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=660820 CPUtime=814.05 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 127615 0 0 0 81353 52 0 0 25 0 4 0 731315740 676679680 109601 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=660820 CPUtime=822.3 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 153706 0 0 0 82170 60 0 0 25 0 4 0 731315740 676679680 109601 33554432000 4194304 4580107 140733386793616 18446744073709551615 4304894 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3281.02
Current children cumulated vsize (KiB) 660820

[startup+882.301 s]
/proc/loadavg: 8.12 7.68 4.95 9/323 18410
/proc/meminfo: memFree=14724080/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=618220 CPUtime=3520.41 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 599856 0 0 0 351804 237 0 0 25 0 4 0 731315740 633057280 116412 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 154555 116412 379 95 0 149537 0
[pid=18370/tid=18371] ppid=18368 vsize=618220 CPUtime=882.31 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 147532 0 0 0 88172 59 0 0 25 0 4 0 731315740 633057280 116412 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=618220 CPUtime=873.44 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 133113 0 0 0 87288 56 0 0 25 0 4 0 731315740 633057280 116412 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=618220 CPUtime=882.3 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 165739 0 0 0 88166 64 0 0 25 0 4 0 731315740 633057280 116412 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.41
Current children cumulated vsize (KiB) 618220

[startup+942.3 s]
/proc/loadavg: 8.10 7.75 5.15 9/323 18412
/proc/meminfo: memFree=14661904/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=732592 CPUtime=3759.81 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 621170 0 0 0 375730 251 0 0 25 0 4 0 731315740 750174208 123677 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 183148 123677 379 95 0 178130 0
[pid=18370/tid=18371] ppid=18368 vsize=732592 CPUtime=942.32 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 153711 0 0 0 94168 64 0 0 25 0 4 0 731315740 750174208 123677 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=732592 CPUtime=932.83 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 139612 0 0 0 93223 60 0 0 25 0 4 0 731315740 750174208 123677 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=732592 CPUtime=942.31 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 170970 0 0 0 94162 69 0 0 25 0 4 0 731315740 750174208 123677 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.81
Current children cumulated vsize (KiB) 732592

[startup+1002.3 s]
/proc/loadavg: 8.09 7.81 5.33 9/323 18413
/proc/meminfo: memFree=14645376/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=642464 CPUtime=3999.21 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 641761 0 0 0 399660 261 0 0 25 0 4 0 731315740 657883136 122779 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 160616 122779 379 95 0 155598 0
[pid=18370/tid=18371] ppid=18368 vsize=642464 CPUtime=1002.32 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 160847 0 0 0 100165 67 0 0 25 0 4 0 731315740 657883136 122779 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=642464 CPUtime=992.23 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 142733 0 0 0 99162 61 0 0 25 0 4 0 731315740 657883136 122779 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=642464 CPUtime=1002.31 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 177664 0 0 0 100159 72 0 0 25 0 4 0 731315740 657883136 122779 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.21
Current children cumulated vsize (KiB) 642464

[startup+1062.3 s]
/proc/loadavg: 8.08 7.86 5.50 9/323 18415
/proc/meminfo: memFree=14599072/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=695324 CPUtime=4238.63 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 663983 0 0 0 423591 272 0 0 25 0 4 0 731315740 712011776 130127 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 173831 130127 379 95 0 168813 0
[pid=18370/tid=18371] ppid=18368 vsize=695324 CPUtime=1062.32 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 164600 0 0 0 106164 68 0 0 25 0 4 0 731315740 712011776 130127 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=695324 CPUtime=1051.64 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 148522 0 0 0 105100 64 0 0 25 0 4 0 731315740 712011776 130127 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=695324 CPUtime=1062.31 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 184482 0 0 0 106155 76 0 0 25 0 4 0 731315740 712011776 130127 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.63
Current children cumulated vsize (KiB) 695324

[startup+1122.3 s]
/proc/loadavg: 8.13 7.91 5.66 9/323 18416
/proc/meminfo: memFree=14597668/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=682020 CPUtime=4478.02 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 686541 0 0 0 447517 285 0 0 25 0 4 0 731315740 698388480 129204 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 170505 129204 379 95 0 165487 0
[pid=18370/tid=18371] ppid=18368 vsize=682020 CPUtime=1122.33 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 170901 0 0 0 112161 72 0 0 25 0 4 0 731315740 698388480 129204 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=682020 CPUtime=1111.02 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 154904 0 0 0 111034 68 0 0 25 0 4 0 731315740 698388480 129204 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=682020 CPUtime=1122.32 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 192784 0 0 0 112152 80 0 0 25 0 4 0 731315740 698388480 129204 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4478.02
Current children cumulated vsize (KiB) 682020

[startup+1182.3 s]
/proc/loadavg: 8.05 7.92 5.81 9/323 18418
/proc/meminfo: memFree=14568884/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=806924 CPUtime=4717.43 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 702738 0 0 0 471448 295 0 0 25 0 4 0 731315740 826290176 130469 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 201731 130469 379 95 0 196713 0
[pid=18370/tid=18371] ppid=18368 vsize=806924 CPUtime=1182.33 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 175563 0 0 0 118158 75 0 0 25 0 4 0 731315740 826290176 130469 33554432000 4194304 4580107 140733386793616 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=806924 CPUtime=1170.43 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 157840 0 0 0 116974 69 0 0 25 0 4 0 731315740 826290176 130469 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=806924 CPUtime=1182.32 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 197697 0 0 0 118149 83 0 0 25 0 4 0 731315740 826290176 130469 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.43
Current children cumulated vsize (KiB) 806924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.11 7.94 5.86 9/323 18419
/proc/meminfo: memFree=14544800/32950928 swapFree=67085488/67111528
[pid=18370] ppid=18368 vsize=726784 CPUtime=4800.04 cores=1,3,5,7
/proc/18370/stat : 18370 (strangenight2-m) R 18368 18370 18342 0 -1 4202496 711521 0 0 0 479706 298 0 0 25 0 4 0 731315740 744226816 134713 33554432000 4194304 4580107 140733386793616 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18370/statm: 181696 134713 379 95 0 176678 0
[pid=18370/tid=18371] ppid=18368 vsize=726784 CPUtime=1203.04 cores=1,3,5,7
/proc/18370/task/18371/stat : 18371 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 178417 0 0 0 120228 76 0 0 25 0 4 0 731315740 744226816 134715 33554432000 4194304 4580107 140733386793616 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18370/tid=18372] ppid=18368 vsize=726784 CPUtime=1190.92 cores=1,3,5,7
/proc/18370/task/18372/stat : 18372 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 160537 0 0 0 119022 70 0 0 25 0 4 0 731315740 744226816 134715 33554432000 4194304 4580107 140733386793616 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18370/tid=18373] ppid=18368 vsize=726784 CPUtime=1203.03 cores=1,3,5,7
/proc/18370/task/18373/stat : 18373 (strangenight2-m) R 18368 18370 18342 0 -1 4202560 200606 0 0 0 120219 84 0 0 25 0 4 0 731315740 744226816 134715 33554432000 4194304 4580107 140733386793616 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 726784

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.11
CPU user time (s): 4797.1
CPU system time (s): 3.00954
CPU usage (%): 398.997
Max. virtual memory (cumulated for all children) (KiB): 806924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.1
system time used= 3.00954
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 711524
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= 276
involuntary context switches= 32613

runsolver used 3.24051 second user time and 8.89665 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-15 00:07:31
IDJOB=3366631
IDBENCH=83040
IDSOLVER=1844
FILE ID=node114/3366631-1305410850
RUNJOBID= node114-1305410849-18361
PBS_JOBID= 13324529
Free space on /tmp= 72980 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366631-1305410850/watcher-3366631-1305410850 -o /tmp/evaluation-result-3366631-1305410850/solver-3366631-1305410850 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366631-1305410850.cnf

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

MD5SUM BENCH= 016ccbb74f587730ed4815e028a75eb1
RANDOM SEED=1106751146

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15694568 kB
Buffers:        277272 kB
Cached:        6217884 kB
SwapCached:         96 kB
Active:       11883720 kB
Inactive:      4964020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15694568 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:            5500 kB
Writeback:           0 kB
AnonPages:    10352276 kB
Mapped:          26232 kB
Slab:           306848 kB
PageTables:      36688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52430724 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= 72968 MiB
End job on node114 at 2011-05-15 00:27:36