Trace number 3173950

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.31 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
MD5SUMb386c0165fb504493e3604d6c778ca42
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of 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-3173950-1304073902.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.21/0.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.21/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.21/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.21/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
3.21/0.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.21/0.90	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
3.21/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.21/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.21/0.90	c calculated reachability. Time: 0.00
3.21/0.90	c Calc default polars -  time:   0.00 s pos:     284 undec:      57 neg:     259
3.21/0.90	c =========================================================================================
3.21/0.90	c types(t): F = full restart, N = normal restart
3.21/0.90	c types(t): S = simplification begin/end, E = solution found
3.21/0.90	c restart types(rt): st = static, dy = dynamic
3.21/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.21/0.90	c  B st     0         0       584      2540         0         0      7737         0   no data   no data
3.21/0.90	c Decided on static restart strategy
3.21/0.90	c  N st     8      4919       584      2540         0      4830      7737    122088   no data   no data
3.21/0.90	c  N st    10     11303       584      2540         0      4497      7737     82325   no data   no data
3.21/0.90	c  N st    11     17046       584      2540         0     10149      7737    238824   no data   no data
4.77/1.20	c  F st    12     25001       584      2540         0     12421      7737    290153   no data   no data
4.77/1.20	c  N st    12     25001       584      2540         0     12421      7737    290153   no data   no data
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30000       584      2540         0     10702      7737    220254   no data   no data
5.97/1.50	c  S st    18     30000       584      2540         0     10702      7737    220254   no data   no data
5.97/1.50	c  S st    18     30505       584      2540         0     11206      7737    233374   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:        0 vars:      0 tried:         584 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.38/1.60	c lits-rem:       119  cl-subs:      394  v-elim:      0  v-fix:    0  time:  0.05 s
6.38/1.60	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
6.38/1.60	c calculated reachability. Time: 0.00
6.38/1.60	c  N st    18     30505       584      2540         0     10812      7737    221979   no data   no data
7.59/1.94	c  N st    20     37616       584      2540         0     10061      7737    181917   no data   no data
9.17/2.35	c  N st    21     44015       584      2540         0     16327      7737    344081   no data   no data
9.57/2.48	c  S st    22     45759       584      2540         0      9278      7737    144537   no data   no data
9.97/2.51	c  S st    22     46262       584      2540         0      9781      7737    157144   no data   no data
9.97/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.97/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.97/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.97/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.97/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.97/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.97/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.97/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.53	c lits-rem:        21  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.01 s
9.97/2.53	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
9.97/2.53	c vivif2 --  cl tried     9743 cl shrink        0 lits rem          0 time: 0.00
9.97/2.54	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
9.97/2.54	c calculated reachability. Time: 0.00
9.97/2.54	c  N st    22     46262       584      2540         0      9743      7737    156086   no data   no data
13.96/3.55	c  N st    23     60660       584      2540         0     14070      7737    254191   no data   no data
16.76/4.24	c  N st    24     69393       584      2540         0     11852      7737    187183   no data   no data
16.76/4.24	c  S st    24     69393       584      2540         0     11852      7737    187183   no data   no data
16.76/4.27	c  S st    24     69895       584      2540         0     12354      7737    199383   no data   no data
16.76/4.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.76/4.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.76/4.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.76/4.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.31	c lits-rem:        27  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.02 s
17.16/4.31	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
17.16/4.31	c vivif2 --  cl tried    12195 cl shrink        0 lits rem          0 time: 0.00
17.16/4.32	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
17.16/4.32	c calculated reachability. Time: 0.00
17.16/4.32	c  N st    24     69895       584      2540         0     12195      7737    195540   no data   no data
22.34/5.61	c  F st    25     87501       584      2540         0     17759      7737    345427   no data   no data
22.34/5.62	c  N st    25     87501       584      2540         0     17759      7737    345427   no data   no data
23.95/6.03	c Decided on static restart strategy
25.17/6.32	c  N st    32     95538       584      2540         0     25669      7737    549330   no data   no data
27.94/7.00	c  N st    34    104843       584      2540         0     22039      7737    438220   no data   no data
27.94/7.00	c  S st    34    104843       584      2540         0     22039      7737    438220   no data   no data
27.94/7.05	c  S st    34    105344       584      2540         0     22539      7737    450625   no data   no data
27.94/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
27.94/7.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.25	c lits-rem:       107  cl-subs:      637  v-elim:      0  v-fix:    0  time:  0.17 s
28.74/7.25	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
28.74/7.25	c vivif2 --  cl tried    21902 cl shrink        0 lits rem          0 time: 0.00
28.74/7.26	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
28.74/7.27	c calculated reachability. Time: 0.00
28.74/7.27	c  N st    34    105344       584      2540         0     21902      7737    431307   no data   no data
32.34/8.12	c  N st    35    114944       584      2540         0     17557      7737    290812   no data   no data
37.53/9.48	c  N st    36    129343       584      2540         0     16958      7737    250576   no data   no data
45.51/11.47	c  N st    37    150938       584      2540         0     22532      7737    384589   no data   no data
48.30/12.17	c  S st    38    158017       584      2540         0     29452      7737    568087   no data   no data
48.71/12.24	c  S st    38    158520       584      2540         0     29953      7737    580853   no data   no data
48.71/12.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.71/12.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.71/12.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.71/12.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.71/12.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.71/12.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
48.71/12.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.71/12.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.71/12.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.58	c lits-rem:       159  cl-subs:      804  v-elim:      0  v-fix:    0  time:  0.30 s
49.91/12.58	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
49.91/12.58	c vivif2 --  cl tried    29149 cl shrink        0 lits rem          0 time: 0.01
50.31/12.60	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.02
50.31/12.60	c calculated reachability. Time: 0.00
50.31/12.60	c  N st    38    158520       584      2540         0     29149      7737    557813   no data   no data
70.68/17.70	c  N st    39    207108       584      2540         0     23714      7737    369672   no data   no data
84.67/21.28	c  N st    40    237783       584      2540         0     34170      7737    625147   no data   no data
84.67/21.28	c  S st    40    237783       584      2540         0     34170      7737    625147   no data   no data
85.06/21.37	c  S st    40    238289       584      2540         0     34675      7737    637634   no data   no data
85.06/21.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.06/21.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.06/21.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.06/21.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.06/21.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.06/21.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
85.06/21.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.06/21.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.46/21.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.46/21.99	c lits-rem:       145  cl-subs:     1631  v-elim:      0  v-fix:    0  time:  0.58 s
87.46/21.99	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
87.86/22.00	c vivif2 --  cl tried    33044 cl shrink        0 lits rem          0 time: 0.01
87.86/22.03	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.02
87.86/22.03	c calculated reachability. Time: 0.00
87.86/22.03	c  N st    40    238289       584      2540         0     33044      7737    598623   no data   no data
121.43/30.42	c  F st    41    306250       584      2540         0     34795      7737    596351   no data   no data
121.43/30.42	c  N st    41    306250       584      2540         0     34795      7737    596351   no data   no data
132.20/33.10	c  N dy   105    325838       584      2540         0     30621      7737    421184     17.27     18.52
144.18/36.19	c  N dy   174    345953       584      2540         0     25882      7737    266434     17.17     18.10
149.77/37.54	c  S st   197    357435       584      2540         0     37208      7737    542874     16.86     16.09
150.17/37.63	c  S st   197    357939       584      2540         0     37711      7737    555061     16.86   no data
150.17/37.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.17/37.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.17/37.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.17/37.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.17/37.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.17/37.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
150.17/37.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.17/37.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.17/37.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.97/37.86	c lits-rem:       123  cl-subs:      780  v-elim:      0  v-fix:    0  time:  0.19 s
150.97/37.86	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
150.97/37.86	c vivif2 --  cl tried    36931 cl shrink        0 lits rem          0 time: 0.01
150.97/37.89	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.03
150.97/37.89	c calculated reachability. Time: 0.00
150.97/37.89	c  N dy   197    357939       584      2540         0     36931      7737    536643     16.86   no data
163.35/40.90	c  N dy   281    378090       584      2540         0     31217      7737    375405     16.90     17.93
176.53/44.23	c  N dy   408    398107       584      2540         0     51016      7737    882146     17.13     18.04
189.31/47.43	c  N dy   484    418135       584      2540         0     44154      7737    670712     17.15     18.13
202.50/50.78	c  N dy   579    438706       584      2540         0     36855      7737    471012     17.19     18.12
217.67/54.51	c  N dy   657    459673       584      2540         0     28909      7737    249596     17.19     18.40
229.26/57.46	c  N dy   766    479681       584      2540         0     48699      7737    753007     17.26     18.80
242.84/60.87	c  N dy   861    499727       584      2540         0     38844      7737    477548     17.30     18.73
257.64/64.57	c  N dy   943    520091       584      2540         0     58987      7737    992015     17.31     18.29
268.01/67.11	c  S st  1011    536908       584      2540         0     44956      7737    611372     17.30   no data
268.40/67.22	c  S st  1011    537414       584      2540         0     45460      7737    624727     17.30   no data
268.40/67.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
268.40/67.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
268.40/67.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.40/67.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.40/67.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.40/67.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
268.40/67.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
268.40/67.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
268.40/67.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.60/67.52	c lits-rem:       150  cl-subs:      720  v-elim:      0  v-fix:    0  time:  0.25 s
269.60/67.52	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
269.60/67.53	c vivif2 --  cl tried    44740 cl shrink        0 lits rem          0 time: 0.01
269.60/67.56	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.03
269.60/67.56	c calculated reachability. Time: 0.00
269.60/67.56	c  N dy  1011    537414       584      2540         0     44740      7737    605961     17.30   no data
290.38/72.75	c  N dy  1102    566115       584      2540         0     41386      7737    483911     17.23     18.24
306.37/76.79	c  N dy  1207    586204       584      2540         0     61270      7737    991320     17.26     19.42
320.73/80.30	c  N dy  1304    606260       584      2540         0     48505      7737    661888     17.29     19.32
338.71/84.81	c  N dy  1367    627740       584      2540         0     36127      7737    330262     17.24     18.17
353.09/88.44	c  N dy  1428    648887       584      2540         0     56972      7737    848041     17.21     18.14
369.86/92.60	c  N dy  1497    669255       584      2540         0     42532      7737    467720     17.20     18.33
385.46/96.54	c  N dy  1573    689270       584      2540         0     62269      7737    967855     17.20     18.21
403.42/101.05	c  N dy  1679    709709       584      2540         0     46945      7737    562267     17.23     18.19
421.40/105.59	c  N dy  1764    730457       584      2540         0     67452      7737   1080731     17.23     18.20
440.58/110.32	c  N dy  1836    755202       584      2540         0     55304      7737    757854     17.21     18.30
460.55/115.34	c  N dy  1909    775298       584      2540         0     37628      7737    285477     17.20     21.76
474.92/118.91	c  N dy  2027    795392       584      2540         0     57493      7737    795336     17.24     18.64
485.71/121.65	c  S st  2079    806121       584      2540         0     68108      7737   1067342     17.25     14.16
486.53/121.85	c  S st  2079    806625       584      2540         0     68612      7737   1080170     17.25   no data
486.53/121.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
486.53/121.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
486.53/121.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
486.53/121.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
486.53/121.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.53/121.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
486.53/121.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
486.90/121.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
486.90/121.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.71/122.62	c lits-rem:       254  cl-subs:     1266  v-elim:      0  v-fix:    0  time:  0.69 s
489.71/122.62	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
489.71/122.64	c vivif2 --  cl tried    67346 cl shrink        0 lits rem          0 time: 0.02
490.11/122.70	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.06
490.11/122.70	c calculated reachability. Time: 0.00
490.11/122.70	c  N dy  2079    806625       584      2540         0     67346      7737   1045261     17.25   no data
508.88/127.41	c  N dy  2187    826711       584      2540         0     48661      7737    547841     17.27     18.32
527.25/132.00	c  N dy  2291    846767       584      2540         0     68465      7737   1051465     17.29     18.20
546.83/136.90	c  N dy  2372    868344       584      2540         0     50284      7737    568294     17.29     18.20
564.80/141.45	c  N dy  2450    888361       584      2540         0     69974      7737   1070581     17.29     20.08
584.78/146.42	c  N dy  2590    908371       584      2540         0     49331      7737    534203     17.33     24.50
603.55/151.19	c  N dy  2678    929113       584      2540         0     69801      7737   1054556     17.34     18.29
623.92/156.27	c  N dy  2774    949256       584      2540         0     48222      7737    481699     17.35     18.29
641.09/160.59	c  N dy  2837    969282       584      2540         0     67968      7737    979998     17.34     19.88
663.87/166.28	c  N dy  2895    989285       584      2540         0     45222      7737    382569     17.32     19.69
681.05/170.53	c  N dy  3021   1009305       584      2540         0     64945      7737    893107     17.36     18.29
705.42/176.63	c  N dy  3122   1029391       584      2540         0     84774      7737   1402321     17.37     21.79
722.59/180.95	c  N dy  3211   1049554       584      2540         0     61280      7737    777401     17.38     18.33
744.55/186.46	c  N dy  3286   1069575       584      2540         0     81038      7737   1279082     17.38     18.32
748.16/187.30	c  F st  3306   1071877       584      2540         0     83324      7737   1338664     17.39   no data
754.56/188.97	c Decided on static restart strategy
764.52/191.47	c  N st  3315   1090584       584      2540         0     57268      7737    758642     17.39   no data
787.30/197.17	c  N st  3317   1114580       584      2540         0     80780      7737   1421683     17.39   no data
808.07/202.39	c  N st  3318   1136177       584      2540         0     56748      7737    980242     17.39   no data
846.02/211.80	c  N st  3319   1168570       584      2540         0     88358      7737   1829449     17.39   no data
887.56/222.29	c  N st  3320   1209938       584      2540         0     82795      7737   1730678     17.39   no data
887.56/222.29	c  S st  3320   1209938       584      2540         0     82795      7737   1730678     17.39   no data
889.16/222.61	c  S st  3320   1210442       584      2540         0     83299      7737   1742932     17.39   no data
889.16/222.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
889.16/222.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
889.16/222.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
889.16/222.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
889.16/222.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
889.16/222.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
889.16/222.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
889.56/222.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
889.56/222.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
941.49/235.77	c lits-rem:       779  cl-subs:     5927  v-elim:      0  v-fix:    0  time: 13.01 s
941.49/235.77	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
941.49/235.79	c vivif2 --  cl tried    77372 cl shrink        0 lits rem          0 time: 0.02
941.89/235.87	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.08
941.89/235.88	c calculated reachability. Time: 0.00
941.89/235.88	c  N st  3320   1210442       584      2540         0     77372      7737   1570762     17.39   no data
1027.37/257.29	c  N st  3321   1283326       584      2540         0     53794      7737    764077     17.39   no data
1132.45/283.55	c  N st  3322   1392650       584      2540         0     62094      7737    941026     17.39   no data
1294.63/324.13	c  N st  3323   1556635       584      2540         0     66773      7737    986256     17.39   no data
1459.59/365.48	c  N st  3324   1710442       584      2540         0    108177      7737   2076906     17.39   no data
1459.59/365.48	c  S st  3324   1710442       584      2540         0    108177      7737   2076906     17.39   no data
1461.19/365.87	c  S st  3324   1710947       584      2540         0    108682      7737   2090255     17.39   no data
1461.19/365.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1461.60/365.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1461.60/365.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1461.60/365.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1461.60/365.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1461.60/365.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1461.60/365.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1461.60/365.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1462.00/366.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1541.47/385.92	c lits-rem:       861  cl-subs:     9666  v-elim:      0  v-fix:    0  time: 19.89 s
1541.47/385.92	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
1541.47/385.95	c vivif2 --  cl tried    99016 cl shrink        0 lits rem          0 time: 0.03
1541.87/386.06	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.11
1541.87/386.07	c calculated reachability. Time: 0.00
1541.87/386.07	c  N st  3324   1710947       584      2540         0     99016      7737   1836384     17.39   no data
1966.50/492.39	c  N st  3325   2079911       584      2540         0    110873      7737   2023235     17.39   no data
2125.88/532.27	c  N st  3326   2210948       584      2540         0    115069      7737   2112851     17.39   no data
2125.88/532.27	c  S st  3326   2210948       584      2540         0    115069      7737   2112851     17.39   no data
2127.48/532.69	c  S st  3326   2211448       584      2540         0    115569      7737   2125970     17.39   no data
2127.88/532.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2127.88/532.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2127.88/532.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2127.88/532.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2127.88/532.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2127.88/532.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2127.88/532.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2127.88/532.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2128.28/532.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2205.37/552.17	c lits-rem:      1318  cl-subs:     9608  v-elim:      0  v-fix:    0  time: 19.32 s
2205.37/552.17	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
2205.77/552.20	c vivif2 --  cl tried   105961 cl shrink        0 lits rem          0 time: 0.03
2206.17/552.33	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.13
2206.17/552.33	c calculated reachability. Time: 0.00
2206.17/552.33	c  N st  3326   2211448       584      2540         0    105961      7737   1867609     17.39   no data
2875.27/719.84	c  N st  3327   2711448       584      2540         0    129398      7737   2402423     17.39   no data
2875.27/719.84	c  S st  3327   2711448       584      2540         0    129398      7737   2402423     17.39   no data
2876.88/720.27	c  S st  3327   2711952       584      2540         0    129900      7737   2415784     17.39   no data
2876.88/720.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2877.26/720.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2877.26/720.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2877.26/720.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2877.26/720.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2877.26/720.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2877.26/720.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2877.26/720.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2877.66/720.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2969.54/743.45	c lits-rem:       896  cl-subs:     9930  v-elim:      0  v-fix:    0  time: 22.99 s
2969.54/743.45	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
2969.54/743.48	c vivif2 --  cl tried   119970 cl shrink        0 lits rem          0 time: 0.03
2970.34/743.63	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.15
2970.34/743.63	c calculated reachability. Time: 0.00
2970.34/743.63	c  N st  3327   2711952       584      2540         0    119970      7737   2172709     17.39   no data
3729.33/933.65	c  N st  3328   3211952       584      2540         0     96090      7737   1327902     17.39   no data
3729.33/933.65	c  S st  3328   3211952       584      2540         0     96090      7737   1327902     17.39   no data
3730.51/933.92	c  S st  3328   3212453       584      2540         0     96591      7737   1340486     17.39   no data
3730.51/933.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3730.51/933.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3730.51/933.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3730.51/933.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3730.51/933.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3730.51/933.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3730.51/933.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3730.91/934.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3730.91/934.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3741.30/936.67	c lits-rem:       231  cl-subs:     3135  v-elim:      0  v-fix:    0  time:  2.63 s
3741.30/936.67	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
3741.30/936.69	c vivif2 --  cl tried    93456 cl shrink        0 lits rem          0 time: 0.02
3741.70/936.79	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.10
3741.70/936.79	c calculated reachability. Time: 0.00
3741.70/936.79	c  N st  3328   3212453       584      2540         0     93456      7737   1258529     17.39   no data
4481.06/1121.84	c  N st  3329   3712453       584      2540         0    103940      7737   1387678     17.39   no data
4481.06/1121.84	c  S st  3329   3712453       584      2540         0    103940      7737   1387678     17.39   no data
4482.26/1122.19	c  S st  3329   3712955       584      2540         0    104442      7737   1400814     17.39   no data
4482.26/1122.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4482.66/1122.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4482.66/1122.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4482.66/1122.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4482.66/1122.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4482.66/1122.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4482.66/1122.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4482.66/1122.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4483.07/1122.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4495.05/1125.33	c lits-rem:       276  cl-subs:     4398  v-elim:      0  v-fix:    0  time:  3.01 s
4495.05/1125.33	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
4495.05/1125.35	c vivif2 --  cl tried   100044 cl shrink        0 lits rem          0 time: 0.02
4495.45/1125.46	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.11
4495.45/1125.46	c calculated reachability. Time: 0.00
4495.45/1125.46	c  N st  3329   3712955       584      2540         0    100044      7737   1303038     17.39   no data
4554.99/1140.32	c  F st  3330   3751564       584      2540         0    137849      7737   2348523     17.39   no data
4554.99/1140.32	c  N st  3330   3751564       584      2540         0    137849      7737   2348523     17.39   no data
4564.95/1142.87	c Decided on static restart strategy
4611.29/1154.43	c  N st  3340   3779872       584      2540         0    165608      7737   3092680     17.39   no data
4656.05/1165.64	c  N st  3342   3815864       584      2540         0    117933      7737   1761876     17.39   no data
4712.76/1179.83	c  N st  3343   3848256       584      2540         0    149597      7737   2628769     17.39   no data
4783.48/1197.52	c  N st  3344   3896846       584      2540         0    113247      7737   1607173     17.39   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-3173950-1304073902/watcher-3173950-1304073902 -o /tmp/evaluation-result-3173950-1304073902/solver-3173950-1304073902 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173950-1304073902.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: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 414 0 0 0 0 0 0 0 25 0 4 0 597620877 52441088 353 33554432000 4194304 4627427 140735722478816 18446744073709551615 231895490491 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 12803 353 303 106 0 7774 0
[pid=32659/tid=32660] ppid=32657 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597620877 52441088 353 33554432000 4194304 4627427 140735722478816 18446744073709551615 47781016156082 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597620877 52441088 353 33554432000 4194304 4627427 140735722478816 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597620877 52441088 353 33554432000 4194304 4627427 140735722478816 18446744073709551615 231890537558 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0120221 s]
/proc/loadavg: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=285564 CPUtime=3.21 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 5409 0 0 0 320 1 0 0 18 0 4 0 597620877 292417536 2515 33554432000 4194304 4627427 140735722478816 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 71391 2515 385 106 0 66362 0
[pid=32659/tid=32660] ppid=32657 vsize=285564 CPUtime=0.8 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1302 0 0 0 80 0 0 0 19 0 4 0 597620877 292417536 2515 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=285564 CPUtime=0.8 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1245 0 0 0 80 0 0 0 19 0 4 0 597620877 292417536 2516 33554432000 4194304 4627427 140735722478816 18446744073709551615 4332826 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=285564 CPUtime=0.8 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1146 0 0 0 80 0 0 0 25 0 4 0 597620877 292417536 2516 33554432000 4194304 4627427 140735722478816 18446744073709551615 4332609 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 285564

[startup+0.908435 s]
/proc/loadavg: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=285564 CPUtime=3.61 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 5661 0 0 0 360 1 0 0 19 0 4 0 597620877 292417536 2767 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 71391 2767 385 106 0 66362 0
[pid=32659/tid=32660] ppid=32657 vsize=285564 CPUtime=0.9 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1367 0 0 0 90 0 0 0 19 0 4 0 597620877 292417536 2768 33554432000 4194304 4627427 140735722478816 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=285564 CPUtime=0.9 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1313 0 0 0 90 0 0 0 19 0 4 0 597620877 292417536 2768 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=285564 CPUtime=0.9 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1204 0 0 0 90 0 0 0 25 0 4 0 597620877 292417536 2768 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 285564

[startup+1.00042 s]
/proc/loadavg: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=285564 CPUtime=3.97 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 5912 0 0 0 396 1 0 0 19 0 4 0 597620877 292417536 3018 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 71391 3018 385 106 0 66362 0
[pid=32659/tid=32660] ppid=32657 vsize=285564 CPUtime=0.99 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1431 0 0 0 99 0 0 0 19 0 4 0 597620877 292417536 3018 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=285564 CPUtime=0.99 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1384 0 0 0 99 0 0 0 19 0 4 0 597620877 292417536 3018 33554432000 4194304 4627427 140735722478816 18446744073709551615 4299749 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=285564 CPUtime=0.99 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1252 0 0 0 99 0 0 0 25 0 4 0 597620877 292417536 3018 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285564

[startup+1.1004 s]
/proc/loadavg: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=285564 CPUtime=4.37 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 6156 0 0 0 436 1 0 0 19 0 4 0 597620877 292417536 3262 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 71391 3262 385 106 0 66362 0
[pid=32659/tid=32660] ppid=32657 vsize=285564 CPUtime=1.09 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1509 0 0 0 109 0 0 0 19 0 4 0 597620877 292417536 3262 33554432000 4194304 4627427 140735722478816 18446744073709551615 4332599 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=285564 CPUtime=1.09 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1447 0 0 0 109 0 0 0 19 0 4 0 597620877 292417536 3262 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=285564 CPUtime=1.09 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1300 0 0 0 109 0 0 0 25 0 4 0 597620877 292417536 3262 33554432000 4194304 4627427 140735722478816 18446744073709551615 4330054 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285564

[startup+1.50033 s]
/proc/loadavg: 7.85 7.98 7.36 6/180 32659
/proc/meminfo: memFree=20171692/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=286132 CPUtime=5.97 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 9188 0 0 0 596 1 0 0 20 0 4 0 597620877 292999168 4865 33554432000 4194304 4627427 140735722478816 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 71533 4865 390 106 0 66504 0
[pid=32659/tid=32660] ppid=32657 vsize=286132 CPUtime=1.49 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1909 0 0 0 149 0 0 0 20 0 4 0 597620877 292999168 4865 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=286132 CPUtime=1.49 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1857 0 0 0 149 0 0 0 20 0 4 0 597620877 292999168 4865 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308123 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=286132 CPUtime=1.48 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 1739 0 0 0 148 0 0 0 25 0 4 0 597620877 292999168 4865 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286132

[startup+3.10103 s]
/proc/loadavg: 7.85 7.98 7.36 9/184 32663
/proc/meminfo: memFree=20130612/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=294000 CPUtime=12.36 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 18722 0 0 0 1232 4 0 0 25 0 4 0 597620877 301056000 10062 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 73500 10062 390 106 0 68471 0
[pid=32659/tid=32660] ppid=32657 vsize=294000 CPUtime=3.09 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 4413 0 0 0 309 0 0 0 25 0 4 0 597620877 301056000 10062 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=294000 CPUtime=3.07 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 5091 0 0 0 307 0 0 0 25 0 4 0 597620877 301056000 10062 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=294000 CPUtime=3.09 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 4507 0 0 0 308 1 0 0 25 0 4 0 597620877 301056000 10062 33554432000 4194304 4627427 140735722478816 18446744073709551615 4299583 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 294000

[startup+6.30643 s]
/proc/loadavg: 7.86 7.98 7.36 9/184 32664
/proc/meminfo: memFree=20110696/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=294620 CPUtime=25.17 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 29739 0 0 0 2511 6 0 0 25 0 4 0 597620877 301690880 14134 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 73655 14134 389 106 0 68626 0
[pid=32659/tid=32660] ppid=32657 vsize=294620 CPUtime=6.29 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 7864 0 0 0 629 0 0 0 25 0 4 0 597620877 301690880 14134 33554432000 4194304 4627427 140735722478816 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=294620 CPUtime=6.26 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 8587 0 0 0 625 1 0 0 25 0 4 0 597620877 301690880 14134 33554432000 4194304 4627427 140735722478816 18446744073709551615 4427838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=294620 CPUtime=6.3 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 6469 0 0 0 628 2 0 0 25 0 4 0 597620877 301690880 14134 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 294620

[startup+12.7002 s]
/proc/loadavg: 7.87 7.98 7.36 9/184 32664
/proc/meminfo: memFree=20086292/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=313636 CPUtime=50.71 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 46967 0 0 0 5062 9 0 0 25 0 4 0 597620877 321163264 21738 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 78409 21738 389 106 0 73380 0
[pid=32659/tid=32660] ppid=32657 vsize=313636 CPUtime=12.69 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 12236 0 0 0 1268 1 0 0 25 0 4 0 597620877 321163264 21738 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=313636 CPUtime=12.62 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 11731 0 0 0 1260 2 0 0 25 0 4 0 597620877 321163264 21738 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=313636 CPUtime=12.68 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 10073 0 0 0 1266 2 0 0 25 0 4 0 597620877 321163264 21738 33554432000 4194304 4627427 140735722478816 18446744073709551615 4322369 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 313636

[startup+25.5008 s]
/proc/loadavg: 7.61 7.92 7.35 9/184 32695
/proc/meminfo: memFree=20337940/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=311456 CPUtime=101.84 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 70152 0 0 0 10169 15 0 0 25 0 4 0 597620877 318930944 27979 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 77864 27979 389 106 0 72835 0
[pid=32659/tid=32660] ppid=32657 vsize=311456 CPUtime=25.49 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 19299 0 0 0 2546 3 0 0 25 0 4 0 597620877 318930944 27979 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=311456 CPUtime=25.35 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 18695 0 0 0 2531 4 0 0 25 0 4 0 597620877 318930944 27979 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=311456 CPUtime=25.49 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 13821 0 0 0 2545 4 0 0 25 0 4 0 597620877 318930944 27979 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 311456

[startup+51.101 s]
/proc/loadavg: 7.80 7.94 7.37 9/184 32696
/proc/meminfo: memFree=20244944/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=379876 CPUtime=204.1 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 98463 0 0 0 20388 22 0 0 25 0 4 0 597620877 388993024 35869 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 94969 35869 389 106 0 89940 0
[pid=32659/tid=32660] ppid=32657 vsize=379876 CPUtime=51.08 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 30270 0 0 0 5103 5 0 0 25 0 4 0 597620877 388993024 35869 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=379876 CPUtime=50.81 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 27688 0 0 0 5075 6 0 0 25 0 4 0 597620877 388993024 35869 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=379876 CPUtime=51.08 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 15639 0 0 0 5104 4 0 0 25 0 4 0 597620877 388993024 35869 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 379876

[startup+102.3 s]
/proc/loadavg: 7.98 7.96 7.41 9/184 32697
/proc/meminfo: memFree=20178316/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=382588 CPUtime=408.61 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 137941 0 0 0 40827 34 0 0 25 0 4 0 597620877 391770112 43602 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 95647 43602 389 106 0 90618 0
[pid=32659/tid=32660] ppid=32657 vsize=382588 CPUtime=102.27 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 45888 0 0 0 10218 9 0 0 25 0 4 0 597620877 391770112 43602 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=382588 CPUtime=101.73 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 41180 0 0 0 10163 10 0 0 25 0 4 0 597620877 391770112 43602 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=382588 CPUtime=102.29 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 17699 0 0 0 10224 5 0 0 25 0 4 0 597620877 391770112 43602 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.61
Current children cumulated vsize (KiB) 382588

[startup+162.3 s]

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

[pid=32659] ppid=32657 vsize=617764 CPUtime=2805.37 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 422275 0 0 0 280397 140 0 0 25 0 4 0 597620877 632590336 105170 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 154441 105170 389 106 0 149412 0
[pid=32659/tid=32660] ppid=32657 vsize=617764 CPUtime=702.24 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 125695 0 0 0 70184 40 0 0 25 0 4 0 597620877 632590336 105170 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=617764 CPUtime=698.49 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 119719 0 0 0 69809 40 0 0 25 0 4 0 597620877 632590336 105170 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=617764 CPUtime=702.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 74375 0 0 0 70203 28 0 0 25 0 4 0 597620877 632590336 105170 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 617764

[startup+762.301 s]
/proc/loadavg: 8.16 8.08 7.73 9/184 32715
/proc/meminfo: memFree=19685056/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=617852 CPUtime=3045.03 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 439593 0 0 0 304355 148 0 0 25 0 4 0 597620877 632680448 109563 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 154463 109563 389 106 0 149434 0
[pid=32659/tid=32660] ppid=32657 vsize=617852 CPUtime=762.24 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 129036 0 0 0 76182 42 0 0 25 0 4 0 597620877 632680448 109563 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=617852 CPUtime=758.15 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 123074 0 0 0 75774 41 0 0 25 0 4 0 597620877 632680448 109563 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=617852 CPUtime=762.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 80490 0 0 0 76200 31 0 0 25 0 4 0 597620877 632680448 109563 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 617852

[startup+822.301 s]
/proc/loadavg: 8.24 8.11 7.76 9/184 32716
/proc/meminfo: memFree=19693824/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=630684 CPUtime=3284.71 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 459785 0 0 0 328315 156 0 0 25 0 4 0 597620877 645820416 109146 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 157671 109146 389 106 0 152642 0
[pid=32659/tid=32660] ppid=32657 vsize=630684 CPUtime=822.23 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 133171 0 0 0 82180 43 0 0 25 0 4 0 597620877 645820416 109146 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=630684 CPUtime=817.84 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 128763 0 0 0 81740 44 0 0 25 0 4 0 597620877 645820416 109146 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=630684 CPUtime=822.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 87017 0 0 0 82198 33 0 0 25 0 4 0 597620877 645820416 109146 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 630684

[startup+882.3 s]
/proc/loadavg: 8.21 8.12 7.79 9/184 32718
/proc/meminfo: memFree=19653112/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=630856 CPUtime=3524.39 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 492050 0 0 0 352272 167 0 0 25 0 4 0 597620877 645996544 110108 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 157714 110108 389 106 0 152685 0
[pid=32659/tid=32660] ppid=32657 vsize=630856 CPUtime=882.23 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 144668 0 0 0 88177 46 0 0 25 0 4 0 597620877 645996544 110108 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=630856 CPUtime=877.51 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 135766 0 0 0 87705 46 0 0 25 0 4 0 597620877 645996544 110108 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=630856 CPUtime=882.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 93762 0 0 0 88195 36 0 0 25 0 4 0 597620877 645996544 110108 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 630856

[startup+942.301 s]
/proc/loadavg: 8.18 8.12 7.81 9/184 32720
/proc/meminfo: memFree=19611396/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=704872 CPUtime=3764.08 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 518567 0 0 0 376230 178 0 0 25 0 4 0 597620877 721788928 118870 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 176218 118870 389 106 0 171189 0
[pid=32659/tid=32660] ppid=32657 vsize=704872 CPUtime=942.23 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 151040 0 0 0 94174 49 0 0 25 0 4 0 597620877 721788928 118870 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=704872 CPUtime=937.18 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 143945 0 0 0 93669 49 0 0 25 0 4 0 597620877 721788928 118870 33554432000 4194304 4627427 140735722478816 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=704872 CPUtime=942.33 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 99812 0 0 0 94194 39 0 0 25 0 4 0 597620877 721788928 118870 33554432000 4194304 4627427 140735722478816 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 704872

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 7.82 9/184 32730
/proc/meminfo: memFree=19600572/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=718376 CPUtime=4003.72 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 541935 0 0 0 400185 187 0 0 25 0 4 0 597620877 735617024 120032 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309344 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 179594 120032 389 106 0 174565 0
[pid=32659/tid=32660] ppid=32657 vsize=718376 CPUtime=1002.22 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 156890 0 0 0 100171 51 0 0 25 0 4 0 597620877 735617024 120032 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=718376 CPUtime=996.85 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 150916 0 0 0 99633 52 0 0 25 0 4 0 597620877 735617024 120032 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=718376 CPUtime=1002.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 106793 0 0 0 100189 42 0 0 25 0 4 0 597620877 735617024 120032 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 718376

[startup+1062.31 s]
/proc/loadavg: 8.08 8.10 7.83 9/184 32732
/proc/meminfo: memFree=19552292/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=666888 CPUtime=4243.41 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 572464 0 0 0 424142 199 0 0 25 0 4 0 597620877 682893312 122075 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 166722 122075 389 106 0 161693 0
[pid=32659/tid=32660] ppid=32657 vsize=666888 CPUtime=1062.22 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 166898 0 0 0 106168 54 0 0 25 0 4 0 597620877 682893312 122075 33554432000 4194304 4627427 140735722478816 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=666888 CPUtime=1056.53 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 158050 0 0 0 105598 55 0 0 25 0 4 0 597620877 682893312 122075 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=666888 CPUtime=1062.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 113445 0 0 0 106187 44 0 0 25 0 4 0 597620877 682893312 122075 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 666888

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 7.85 9/184 32733
/proc/meminfo: memFree=19534372/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=739524 CPUtime=4483.07 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 598695 0 0 0 448096 211 0 0 25 0 4 0 597620877 757272576 125871 33554432000 4194304 4627427 140735722478816 18446744073709551615 4416255 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 184881 125871 389 106 0 179852 0
[pid=32659/tid=32660] ppid=32657 vsize=739524 CPUtime=1122.21 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 171460 0 0 0 112164 57 0 0 25 0 4 0 597620877 757272576 125871 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=739524 CPUtime=1116.2 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 164330 0 0 0 111562 58 0 0 25 0 4 0 597620877 757272576 125871 33554432000 4194304 4627427 140735722478816 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=739524 CPUtime=1122.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 122426 0 0 0 112184 47 0 0 25 0 4 0 597620877 757272576 125871 33554432000 4194304 4627427 140735722478816 18446744073709551615 4324754 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 739524

[startup+1182.3 s]
/proc/loadavg: 8.13 8.12 7.87 9/184 32735
/proc/meminfo: memFree=19510756/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=687232 CPUtime=4722.74 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 621828 0 0 0 472053 221 0 0 25 0 4 0 597620877 703725568 126852 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 171808 126852 389 106 0 166779 0
[pid=32659/tid=32660] ppid=32657 vsize=687232 CPUtime=1182.2 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 177872 0 0 0 118161 59 0 0 25 0 4 0 597620877 703725568 126852 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=687232 CPUtime=1175.87 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 169728 0 0 0 117526 61 0 0 25 0 4 0 597620877 703725568 126852 33554432000 4194304 4627427 140735722478816 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=687232 CPUtime=1182.31 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 128622 0 0 0 118181 50 0 0 25 0 4 0 597620877 703725568 126852 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 687232



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.12 7.87 9/184 32735
/proc/meminfo: memFree=19504796/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=687356 CPUtime=4800.25 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 630601 0 0 0 479801 224 0 0 25 0 4 0 597620877 703852544 124534 33554432000 4194304 4627427 140735722478816 18446744073709551615 4332929 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 171839 124534 389 106 0 166810 0
[pid=32659/tid=32660] ppid=32657 vsize=687356 CPUtime=1201.61 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 180227 0 0 0 120101 60 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=687356 CPUtime=1195.17 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 172472 0 0 0 119455 62 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=687356 CPUtime=1201.72 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 129688 0 0 0 120121 51 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 687356

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.15 8.12 7.87 9/184 32735
/proc/meminfo: memFree=19504796/32950928 swapFree=67111524/67111528
[pid=32659] ppid=32657 vsize=687356 CPUtime=4800.25 cores=0,2,4,6
/proc/32659/stat : 32659 (strangenight2-m) R 32657 32659 32106 0 -1 4202496 630601 0 0 0 479801 224 0 0 25 0 4 0 597620877 703852544 124534 33554432000 4194304 4627427 140735722478816 18446744073709551615 4332929 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32659/statm: 171839 124534 389 106 0 166810 0
[pid=32659/tid=32660] ppid=32657 vsize=687356 CPUtime=1201.61 cores=0,2,4,6
/proc/32659/task/32660/stat : 32660 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 180227 0 0 0 120101 60 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32659/tid=32661] ppid=32657 vsize=687356 CPUtime=1195.17 cores=0,2,4,6
/proc/32659/task/32661/stat : 32661 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 172472 0 0 0 119455 62 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32659/tid=32662] ppid=32657 vsize=687356 CPUtime=1201.72 cores=0,2,4,6
/proc/32659/task/32662/stat : 32662 (strangenight2-m) R 32657 32659 32106 0 -1 4202560 129688 0 0 0 120121 51 0 0 25 0 4 0 597620877 703852544 124535 33554432000 4194304 4627427 140735722478816 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 687356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.31
CPU user time (s): 4798.04
CPU system time (s): 2.26666
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 876820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.04
system time used= 2.26666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630604
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= 295
involuntary context switches= 20741

runsolver used 1.9827 second user time and 4.5823 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-29 12:45:02
IDJOB=3173950
IDBENCH=82768
IDSOLVER=1586
FILE ID=node114/3173950-1304073902
RUNJOBID= node114-1304072698-32540
PBS_JOBID= 13170474
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173950-1304073902/watcher-3173950-1304073902 -o /tmp/evaluation-result-3173950-1304073902/solver-3173950-1304073902 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173950-1304073902.cnf

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

MD5SUM BENCH= b386c0165fb504493e3604d6c778ca42
RANDOM SEED=138300867

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:      20171972 kB
Buffers:       2257068 kB
Cached:        9556712 kB
SwapCached:          4 kB
Active:        3770560 kB
Inactive:      8427400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      20171972 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5836 kB
Writeback:           0 kB
AnonPages:      383724 kB
Mapped:          15500 kB
Slab:           516432 kB
PageTables:       5184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   653200 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= 71792 MiB
End job on node114 at 2011-04-29 13:05:06