Trace number 3366359

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.32 1203.64

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366359-1305402347.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	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
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     284 undec:      57 neg:     259
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       584      2540         0         0      7737         0   no data   no data
0.00/0.12	c Decided on static restart strategy
0.00/0.17	c  N st     8      4919       584      2540         0      4830      7737    122088   no data   no data
0.00/0.44	c  N st    10     11303       584      2540         0      4497      7737     82325   no data   no data
0.00/0.73	c  N st    11     17046       584      2540         0     10149      7737    238824   no data   no data
4.37/1.16	c  F st    12     25001       584      2540         0     12421      7737    290153   no data   no data
4.37/1.16	c  N st    12     25001       584      2540         0     12421      7737    290153   no data   no data
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30000       584      2540         0     10702      7737    220254   no data   no data
5.57/1.42	c  S st    18     30000       584      2540         0     10702      7737    220254   no data   no data
5.57/1.45	c  S st    18     30505       584      2540         0     11206      7737    233374   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.45	c blocked clauses removed:        0 vars:      0 tried:         584 T: 0.00 s
5.57/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
5.57/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c lits-rem:       119  cl-subs:      394  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.52	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
5.97/1.52	c calculated reachability. Time: 0.00
5.97/1.52	c  N st    18     30505       584      2540         0     10812      7737    221979   no data   no data
7.55/1.95	c  N st    20     37616       584      2540         0     10061      7737    181917   no data   no data
9.16/2.36	c  N st    21     44015       584      2540         0     16327      7737    344081   no data   no data
9.56/2.49	c  S st    22     45759       584      2540         0      9278      7737    144537   no data   no data
9.96/2.52	c  S st    22     46262       584      2540         0      9781      7737    157144   no data   no data
9.96/2.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
9.96/2.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.54	c lits-rem:        21  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.54	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
9.96/2.54	c vivif2 --  cl tried     9743 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
9.96/2.55	c calculated reachability. Time: 0.00
9.96/2.55	c  N st    22     46262       584      2540         0      9743      7737    156086   no data   no data
13.94/3.56	c  N st    23     60660       584      2540         0     14070      7737    254191   no data   no data
16.73/4.25	c  N st    24     69393       584      2540         0     11852      7737    187183   no data   no data
16.73/4.25	c  S st    24     69393       584      2540         0     11852      7737    187183   no data   no data
16.73/4.28	c  S st    24     69895       584      2540         0     12354      7737    199383   no data   no data
16.73/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
16.73/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.13/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.32	c lits-rem:        27  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.02 s
17.13/4.32	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
17.13/4.32	c vivif2 --  cl tried    12195 cl shrink        0 lits rem          0 time: 0.00
17.13/4.33	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
17.13/4.33	c calculated reachability. Time: 0.00
17.13/4.33	c  N st    24     69895       584      2540         0     12195      7737    195540   no data   no data
22.31/5.63	c  F st    25     87501       584      2540         0     17759      7737    345427   no data   no data
22.31/5.63	c  N st    25     87501       584      2540         0     17759      7737    345427   no data   no data
23.91/6.04	c Decided on static restart strategy
25.10/6.33	c  N st    32     95538       584      2540         0     25669      7737    549330   no data   no data
27.91/7.01	c  N st    34    104843       584      2540         0     22039      7737    438220   no data   no data
27.91/7.01	c  S st    34    104843       584      2540         0     22039      7737    438220   no data   no data
27.91/7.07	c  S st    34    105344       584      2540         0     22539      7737    450625   no data   no data
27.91/7.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.91/7.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.91/7.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.91/7.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
27.91/7.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.91/7.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.91/7.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.72/7.26	c lits-rem:       107  cl-subs:      637  v-elim:      0  v-fix:    0  time:  0.16 s
28.72/7.26	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
28.72/7.26	c vivif2 --  cl tried    21902 cl shrink        0 lits rem          0 time: 0.00
28.72/7.28	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.01
28.72/7.28	c calculated reachability. Time: 0.00
28.72/7.28	c  N st    34    105344       584      2540         0     21902      7737    431307   no data   no data
32.29/8.13	c  N st    35    114944       584      2540         0     17557      7737    290812   no data   no data
37.49/9.50	c  N st    36    129343       584      2540         0     16958      7737    250576   no data   no data
45.45/11.49	c  N st    37    150938       584      2540         0     22532      7737    384589   no data   no data
48.23/12.19	c  S st    38    158017       584      2540         0     29452      7737    568087   no data   no data
48.63/12.26	c  S st    38    158520       584      2540         0     29953      7737    580853   no data   no data
48.63/12.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.63/12.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.63/12.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.63/12.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.63/12.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.63/12.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
48.63/12.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.63/12.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.04/12.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.84/12.59	c lits-rem:       159  cl-subs:      804  v-elim:      0  v-fix:    0  time:  0.29 s
49.84/12.59	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
50.24/12.60	c vivif2 --  cl tried    29149 cl shrink        0 lits rem          0 time: 0.01
50.24/12.62	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.02
50.24/12.62	c calculated reachability. Time: 0.00
50.24/12.62	c  N st    38    158520       584      2540         0     29149      7737    557813   no data   no data
70.57/17.73	c  N st    39    207108       584      2540         0     23714      7737    369672   no data   no data
84.93/21.31	c  N st    40    237783       584      2540         0     34170      7737    625147   no data   no data
84.93/21.31	c  S st    40    237783       584      2540         0     34170      7737    625147   no data   no data
85.34/21.40	c  S st    40    238289       584      2540         0     34675      7737    637634   no data   no data
85.34/21.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.34/21.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.34/21.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.34/21.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.34/21.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.34/21.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
85.34/21.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.34/21.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.34/21.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.71/22.02	c lits-rem:       145  cl-subs:     1631  v-elim:      0  v-fix:    0  time:  0.58 s
87.71/22.02	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
87.71/22.03	c vivif2 --  cl tried    33044 cl shrink        0 lits rem          0 time: 0.01
87.71/22.05	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.02
87.71/22.05	c calculated reachability. Time: 0.00
87.71/22.05	c  N st    40    238289       584      2540         0     33044      7737    598623   no data   no data
121.27/30.44	c  F st    41    306250       584      2540         0     34795      7737    596351   no data   no data
121.27/30.44	c  N st    41    306250       584      2540         0     34795      7737    596351   no data   no data
131.99/33.11	c  N dy   105    325838       584      2540         0     30621      7737    421184     17.27     18.52
144.36/36.20	c  N dy   174    345953       584      2540         0     25882      7737    266434     17.17     18.10
149.54/37.55	c  S st   197    357435       584      2540         0     37208      7737    542874     16.86     16.09
149.94/37.64	c  S st   197    357939       584      2540         0     37711      7737    555061     16.86   no data
149.94/37.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.94/37.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.94/37.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.94/37.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.94/37.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.94/37.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
149.94/37.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.94/37.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.94/37.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.73/37.87	c lits-rem:       123  cl-subs:      780  v-elim:      0  v-fix:    0  time:  0.18 s
150.73/37.87	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
150.73/37.87	c vivif2 --  cl tried    36931 cl shrink        0 lits rem          0 time: 0.01
151.13/37.90	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.03
151.13/37.90	c calculated reachability. Time: 0.00
151.13/37.90	c  N dy   197    357939       584      2540         0     36931      7737    536643     16.86   no data
163.10/40.92	c  N dy   281    378090       584      2540         0     31217      7737    375405     16.90     17.93
176.26/44.29	c  N dy   408    398107       584      2540         0     51016      7737    882146     17.13     18.04
189.02/47.48	c  N dy   484    418135       584      2540         0     44154      7737    670712     17.15     18.13
202.59/50.83	c  N dy   579    438706       584      2540         0     36855      7737    471012     17.19     18.12
217.37/54.58	c  N dy   657    459673       584      2540         0     28909      7737    249596     17.19     18.40
229.30/57.53	c  N dy   766    479681       584      2540         0     48699      7737    753007     17.26     18.80
242.87/60.93	c  N dy   861    499727       584      2540         0     38844      7737    477548     17.30     18.73
257.62/64.64	c  N dy   943    520091       584      2540         0     58987      7737    992015     17.31     18.29
267.58/67.19	c  S st  1011    536908       584      2540         0     44956      7737    611372     17.30   no data
268.38/67.30	c  S st  1011    537414       584      2540         0     45460      7737    624727     17.30   no data
268.38/67.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
268.38/67.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
268.38/67.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.38/67.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.38/67.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.38/67.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
268.38/67.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
268.38/67.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
268.38/67.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.59/67.60	c lits-rem:       150  cl-subs:      720  v-elim:      0  v-fix:    0  time:  0.25 s
269.59/67.60	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
269.59/67.61	c vivif2 --  cl tried    44740 cl shrink        0 lits rem          0 time: 0.01
269.59/67.64	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.03
269.59/67.64	c calculated reachability. Time: 0.00
269.59/67.64	c  N dy  1011    537414       584      2540         0     44740      7737    605961     17.30   no data
290.32/72.84	c  N dy  1102    566115       584      2540         0     41386      7737    483911     17.23     18.24
306.27/76.89	c  N dy  1207    586204       584      2540         0     61270      7737    991320     17.26     19.42
320.64/80.40	c  N dy  1304    606260       584      2540         0     48505      7737    661888     17.29     19.32
338.59/84.91	c  N dy  1367    627740       584      2540         0     36127      7737    330262     17.24     18.17
352.95/88.57	c  N dy  1428    648887       584      2540         0     56972      7737    848041     17.21     18.14
369.69/92.72	c  N dy  1497    669255       584      2540         0     42532      7737    467720     17.20     18.33
385.24/96.65	c  N dy  1573    689270       584      2540         0     62269      7737    967855     17.20     18.21
403.18/101.17	c  N dy  1679    709709       584      2540         0     46945      7737    562267     17.23     18.19
421.53/105.71	c  N dy  1764    730457       584      2540         0     67452      7737   1080731     17.23     18.20
440.29/110.45	c  N dy  1836    755202       584      2540         0     55304      7737    757854     17.21     18.30
460.22/115.47	c  N dy  1909    775298       584      2540         0     37628      7737    285477     17.20     21.76
474.58/119.03	c  N dy  2027    795392       584      2540         0     57493      7737    795336     17.24     18.64
485.40/121.79	c  S st  2079    806121       584      2540         0     68108      7737   1067342     17.25     14.16
486.14/121.98	c  S st  2079    806625       584      2540         0     68612      7737   1080170     17.25   no data
486.14/121.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
486.54/122.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
486.54/122.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
486.54/122.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
486.54/122.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.54/122.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
486.54/122.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
486.54/122.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
486.54/122.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.37/122.75	c lits-rem:       254  cl-subs:     1266  v-elim:      0  v-fix:    0  time:  0.68 s
489.37/122.75	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
489.37/122.76	c vivif2 --  cl tried    67346 cl shrink        0 lits rem          0 time: 0.01
489.79/122.82	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.06
489.79/122.82	c calculated reachability. Time: 0.00
489.79/122.82	c  N dy  2079    806625       584      2540         0     67346      7737   1045261     17.25   no data
508.48/127.51	c  N dy  2187    826711       584      2540         0     48661      7737    547841     17.27     18.32
526.83/132.14	c  N dy  2291    846767       584      2540         0     68465      7737   1051465     17.29     18.20
546.40/137.01	c  N dy  2372    868344       584      2540         0     50284      7737    568294     17.29     18.20
564.37/141.56	c  N dy  2450    888361       584      2540         0     69974      7737   1070581     17.29     20.08
584.27/146.51	c  N dy  2590    908371       584      2540         0     49331      7737    534203     17.33     24.50
603.01/151.31	c  N dy  2678    929113       584      2540         0     69801      7737   1054556     17.34     18.29
623.34/156.39	c  N dy  2774    949256       584      2540         0     48222      7737    481699     17.35     18.29
640.89/160.71	c  N dy  2837    969282       584      2540         0     67968      7737    979998     17.34     19.88
663.23/166.38	c  N dy  2895    989285       584      2540         0     45222      7737    382569     17.32     19.69
680.38/170.65	c  N dy  3021   1009305       584      2540         0     64945      7737    893107     17.36     18.29
704.75/176.76	c  N dy  3122   1029391       584      2540         0     84774      7737   1402321     17.37     21.79
721.88/181.08	c  N dy  3211   1049554       584      2540         0     61280      7737    777401     17.38     18.33
744.24/186.63	c  N dy  3286   1069575       584      2540         0     81038      7737   1279082     17.38     18.32
747.39/187.48	c  F st  3306   1071877       584      2540         0     83324      7737   1338664     17.39   no data
754.15/189.15	c Decided on static restart strategy
764.13/191.66	c  N st  3315   1090584       584      2540         0     57268      7737    758642     17.39   no data
786.87/197.38	c  N st  3317   1114580       584      2540         0     80780      7737   1421683     17.39   no data
807.60/202.57	c  N st  3318   1136177       584      2540         0     56748      7737    980242     17.39   no data
845.13/211.95	c  N st  3319   1168570       584      2540         0     88358      7737   1829449     17.39   no data
887.37/222.57	c  N st  3320   1209938       584      2540         0     82795      7737   1730678     17.39   no data
887.37/222.57	c  S st  3320   1209938       584      2540         0     82795      7737   1730678     17.39   no data
888.59/222.89	c  S st  3320   1210442       584      2540         0     83299      7737   1742932     17.39   no data
888.59/222.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
889.01/222.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
889.01/222.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
889.01/222.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
889.01/222.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
889.01/222.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
889.01/222.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
889.01/222.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
889.36/223.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
940.41/235.87	c lits-rem:       779  cl-subs:     5927  v-elim:      0  v-fix:    0  time: 12.83 s
940.41/235.87	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
940.41/235.89	c vivif2 --  cl tried    77372 cl shrink        0 lits rem          0 time: 0.02
940.80/235.98	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.08
940.80/235.98	c calculated reachability. Time: 0.00
940.80/235.98	c  N st  3320   1210442       584      2540         0     77372      7737   1570762     17.39   no data
1024.57/256.96	c  N st  3321   1283326       584      2540         0     53794      7737    764077     17.39   no data
1131.44/283.71	c  N st  3322   1392650       584      2540         0     62094      7737    941026     17.39   no data
1293.36/324.30	c  N st  3323   1556635       584      2540         0     66773      7737    986256     17.39   no data
1458.49/365.73	c  N st  3324   1710442       584      2540         0    108177      7737   2076906     17.39   no data
1458.49/365.73	c  S st  3324   1710442       584      2540         0    108177      7737   2076906     17.39   no data
1460.07/366.12	c  S st  3324   1710947       584      2540         0    108682      7737   2090255     17.39   no data
1460.07/366.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1460.07/366.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1460.07/366.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1460.07/366.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1460.07/366.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1460.07/366.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
1460.07/366.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1460.47/366.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1460.47/366.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1541.83/386.60	c lits-rem:       861  cl-subs:     9666  v-elim:      0  v-fix:    0  time: 20.33 s
1541.83/386.60	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
1541.83/386.63	c vivif2 --  cl tried    99016 cl shrink        0 lits rem          0 time: 0.03
1542.24/386.75	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.11
1542.24/386.75	c calculated reachability. Time: 0.00
1542.24/386.75	c  N st  3324   1710947       584      2540         0     99016      7737   1836384     17.39   no data
1966.58/493.10	c  N st  3325   2079911       584      2540         0    110873      7737   2023235     17.39   no data
2125.33/532.96	c  N st  3326   2210948       584      2540         0    115069      7737   2112851     17.39   no data
2125.33/532.96	c  S st  3326   2210948       584      2540         0    115069      7737   2112851     17.39   no data
2126.91/533.38	c  S st  3326   2211448       584      2540         0    115569      7737   2125970     17.39   no data
2126.91/533.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2127.31/533.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2127.31/533.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2127.31/533.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2127.31/533.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2127.31/533.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2127.31/533.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2127.31/533.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2127.71/533.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2206.67/553.35	c lits-rem:      1318  cl-subs:     9608  v-elim:      0  v-fix:    0  time: 19.80 s
2206.67/553.35	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
2206.67/553.37	c vivif2 --  cl tried   105961 cl shrink        0 lits rem          0 time: 0.03
2207.47/553.50	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.13
2207.47/553.51	c calculated reachability. Time: 0.00
2207.47/553.51	c  N st  3326   2211448       584      2540         0    105961      7737   1867609     17.39   no data
2877.11/721.42	c  N st  3327   2711448       584      2540         0    129398      7737   2402423     17.39   no data
2877.11/721.42	c  S st  3327   2711448       584      2540         0    129398      7737   2402423     17.39   no data
2878.70/721.84	c  S st  3327   2711952       584      2540         0    129900      7737   2415784     17.39   no data
2878.70/721.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2879.10/721.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2879.10/721.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2879.10/721.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2879.10/721.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2879.10/721.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
2879.10/721.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2879.10/721.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2879.50/722.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2973.62/745.62	c lits-rem:       896  cl-subs:     9930  v-elim:      0  v-fix:    0  time: 23.60 s
2973.62/745.62	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
2973.62/745.65	c vivif2 --  cl tried   119970 cl shrink        0 lits rem          0 time: 0.03
2974.02/745.79	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.14
2974.42/745.80	c calculated reachability. Time: 0.00
2974.42/745.80	c  N st  3327   2711952       584      2540         0    119970      7737   2172709     17.39   no data
3733.78/936.23	c  N st  3328   3211952       584      2540         0     96090      7737   1327902     17.39   no data
3733.78/936.23	c  S st  3328   3211952       584      2540         0     96090      7737   1327902     17.39   no data
3734.98/936.51	c  S st  3328   3212453       584      2540         0     96591      7737   1340486     17.39   no data
3734.98/936.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3734.98/936.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3734.98/936.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3734.98/936.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3734.98/936.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3734.98/936.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
3734.98/936.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3734.98/936.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3735.38/936.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3746.13/939.31	c lits-rem:       231  cl-subs:     3135  v-elim:      0  v-fix:    0  time:  2.68 s
3746.13/939.31	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
3746.13/939.33	c vivif2 --  cl tried    93456 cl shrink        0 lits rem          0 time: 0.02
3746.53/939.43	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.10
3746.53/939.43	c calculated reachability. Time: 0.00
3746.53/939.43	c  N st  3328   3212453       584      2540         0     93456      7737   1258529     17.39   no data
4484.76/1124.55	c  N st  3329   3712453       584      2540         0    103940      7737   1387678     17.39   no data
4484.76/1124.55	c  S st  3329   3712453       584      2540         0    103940      7737   1387678     17.39   no data
4485.98/1124.90	c  S st  3329   3712955       584      2540         0    104442      7737   1400814     17.39   no data
4485.98/1124.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4486.40/1124.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4486.40/1124.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4486.40/1124.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4486.40/1124.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4486.40/1124.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    584 time:  0.00 s
4486.40/1124.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4486.40/1124.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4486.75/1125.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4498.72/1128.00	c lits-rem:       276  cl-subs:     4398  v-elim:      0  v-fix:    0  time:  2.98 s
4498.72/1128.00	c vivif2 --  cl tried     2540 cl shrink        0 lits rem          0 time: 0.00
4498.72/1128.02	c vivif2 --  cl tried   100044 cl shrink        0 lits rem          0 time: 0.02
4499.14/1128.13	c asymm  cl-useful: 0/2540/2540 lits-rem:0 time: 0.11
4499.14/1128.14	c calculated reachability. Time: 0.00
4499.14/1128.14	c  N st  3329   3712955       584      2540         0    100044      7737   1303038     17.39   no data
4556.59/1142.53	c  F st  3330   3751564       584      2540         0    137849      7737   2348523     17.39   no data
4556.59/1142.53	c  N st  3330   3751564       584      2540         0    137849      7737   2348523     17.39   no data
4568.51/1145.56	c Decided on static restart strategy
4614.77/1157.19	c  N st  3340   3779872       584      2540         0    165608      7737   3092680     17.39   no data
4659.44/1168.36	c  N st  3342   3815864       584      2540         0    117933      7737   1761876     17.39   no data
4716.07/1182.54	c  N st  3343   3848256       584      2540         0    149597      7737   2628769     17.39   no data
4786.26/1200.19	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: 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-3366359-1305402347/watcher-3366359-1305402347 -o /tmp/evaluation-result-3366359-1305402347/solver-3366359-1305402347 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366359-1305402347.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: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 632650946 52396032 348 33554432000 4194304 4580107 140735543057792 18446744073709551615 47056272443308 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 12792 348 299 95 0 7774 0
[pid=7549/tid=7550] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 632650946 52396032 348 33554432000 4194304 4580107 140735543057792 18446744073709551615 47056272443314 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632650946 52396032 348 33554432000 4194304 4580107 140735543057792 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 632650946 52396032 348 33554432000 4194304 4580107 140735543057792 18446744073709551615 47056272443308 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.792661 s]
/proc/loadavg: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=351080 CPUtime=3.14 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 5347 0 0 0 313 1 0 0 25 0 4 0 632650946 359505920 2461 33554432000 4194304 4580107 140735543057792 18446744073709551615 212039698567 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 87770 2461 377 95 0 82752 0
[pid=7549/tid=7550] ppid=7547 vsize=351080 CPUtime=0.78 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1269 0 0 0 78 0 0 0 25 0 4 0 632650946 359505920 2461 33554432000 4194304 4580107 140735543057792 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=351080 CPUtime=0.77 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1257 0 0 0 77 0 0 0 19 0 4 0 632650946 359505920 2461 33554432000 4194304 4580107 140735543057792 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=351080 CPUtime=0.78 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1159 0 0 0 78 0 0 0 25 0 4 0 632650946 359505920 2461 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.14
Current children cumulated vsize (KiB) 351080

[startup+0.801185 s]
/proc/loadavg: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=351080 CPUtime=3.17 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 5370 0 0 0 316 1 0 0 25 0 4 0 632650946 359505920 2484 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 87770 2484 377 95 0 82752 0
[pid=7549/tid=7550] ppid=7547 vsize=351080 CPUtime=0.79 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1274 0 0 0 79 0 0 0 25 0 4 0 632650946 359505920 2484 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=351080 CPUtime=0.78 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1264 0 0 0 78 0 0 0 19 0 4 0 632650946 359505920 2484 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=351080 CPUtime=0.79 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1164 0 0 0 79 0 0 0 25 0 4 0 632650946 359505920 2484 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 351080

[startup+0.901167 s]
/proc/loadavg: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=351080 CPUtime=3.57 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 5622 0 0 0 356 1 0 0 25 0 4 0 632650946 359505920 2736 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 87770 2736 377 95 0 82752 0
[pid=7549/tid=7550] ppid=7547 vsize=351080 CPUtime=0.89 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1338 0 0 0 89 0 0 0 25 0 4 0 632650946 359505920 2736 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=351080 CPUtime=0.88 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1328 0 0 0 88 0 0 0 19 0 4 0 632650946 359505920 2736 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=351080 CPUtime=0.89 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1224 0 0 0 89 0 0 0 25 0 4 0 632650946 359505920 2736 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 351080

[startup+1.00115 s]
/proc/loadavg: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=351080 CPUtime=3.97 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 5864 0 0 0 396 1 0 0 25 0 4 0 632650946 359505920 2978 33554432000 4194304 4580107 140735543057792 18446744073709551615 4324904 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 87770 2978 377 95 0 82752 0
[pid=7549/tid=7550] ppid=7547 vsize=351080 CPUtime=0.99 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1402 0 0 0 99 0 0 0 25 0 4 0 632650946 359505920 2978 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=351080 CPUtime=0.98 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1385 0 0 0 98 0 0 0 19 0 4 0 632650946 359505920 2978 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=351080 CPUtime=0.99 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1275 0 0 0 99 0 0 0 25 0 4 0 632650946 359505920 2978 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 351080

[startup+1.50107 s]
/proc/loadavg: 7.60 7.96 8.04 5/367 7549
/proc/meminfo: memFree=30255956/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=351656 CPUtime=5.97 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 9163 0 0 0 595 2 0 0 25 0 4 0 632650946 360095744 4851 33554432000 4194304 4580107 140735543057792 18446744073709551615 4415779 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 87914 4851 379 95 0 82896 0
[pid=7549/tid=7550] ppid=7547 vsize=351656 CPUtime=1.49 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1890 0 0 0 149 0 0 0 25 0 4 0 632650946 360095744 4851 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=351656 CPUtime=1.48 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1852 0 0 0 148 0 0 0 20 0 4 0 632650946 360095744 4851 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=351656 CPUtime=1.49 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 1750 0 0 0 149 0 0 0 25 0 4 0 632650946 360095744 4851 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 351656

[startup+3.10078 s]
/proc/loadavg: 7.60 7.96 8.04 9/371 7553
/proc/meminfo: memFree=30214632/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=357344 CPUtime=12.34 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 18813 0 0 0 1231 3 0 0 25 0 4 0 632650946 365920256 9933 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 89336 9933 379 95 0 84318 0
[pid=7549/tid=7550] ppid=7547 vsize=357344 CPUtime=3.09 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 4365 0 0 0 309 0 0 0 25 0 4 0 632650946 365920256 9933 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=357344 CPUtime=3.05 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 5013 0 0 0 305 0 0 0 25 0 4 0 632650946 365920256 9933 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=357344 CPUtime=3.09 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 4524 0 0 0 308 1 0 0 25 0 4 0 632650946 365920256 9933 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 357344

[startup+6.30121 s]
/proc/loadavg: 7.63 7.96 8.04 9/371 7553
/proc/meminfo: memFree=30193580/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=356744 CPUtime=25.1 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 30047 0 0 0 2505 5 0 0 25 0 4 0 632650946 365305856 14496 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 89186 14496 379 95 0 84168 0
[pid=7549/tid=7550] ppid=7547 vsize=356744 CPUtime=6.29 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 7759 0 0 0 628 1 0 0 25 0 4 0 632650946 365305856 14496 33554432000 4194304 4580107 140735543057792 18446744073709551615 4340648 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=356744 CPUtime=6.22 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 8461 0 0 0 621 1 0 0 25 0 4 0 632650946 365305856 14496 33554432000 4194304 4580107 140735543057792 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=356744 CPUtime=6.28 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 6660 0 0 0 627 1 0 0 25 0 4 0 632650946 365305856 14496 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 356744

[startup+12.7011 s]
/proc/loadavg: 7.66 7.96 8.04 9/371 7553
/proc/meminfo: memFree=30155128/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=361828 CPUtime=50.66 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 46679 0 0 0 5057 9 0 0 25 0 4 0 632650946 370511872 20744 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 90457 20744 379 95 0 85439 0
[pid=7549/tid=7550] ppid=7547 vsize=361828 CPUtime=12.7 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 11768 0 0 0 1268 2 0 0 25 0 4 0 632650946 370511872 20747 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=361828 CPUtime=12.55 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 11552 0 0 0 1254 1 0 0 25 0 4 0 632650946 370511872 20747 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=361828 CPUtime=12.7 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 10243 0 0 0 1268 2 0 0 25 0 4 0 632650946 370511872 20747 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 361828

[startup+25.5008 s]
/proc/loadavg: 7.80 7.98 8.05 9/371 7554
/proc/meminfo: memFree=30125196/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=372488 CPUtime=101.68 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 69560 0 0 0 10154 14 0 0 25 0 4 0 632650946 381427712 27151 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 93122 27151 379 95 0 88104 0
[pid=7549/tid=7550] ppid=7547 vsize=372488 CPUtime=25.49 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 18576 0 0 0 2546 3 0 0 25 0 4 0 632650946 381427712 27151 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=372488 CPUtime=25.19 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 18354 0 0 0 2517 2 0 0 25 0 4 0 632650946 381427712 27151 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=372488 CPUtime=25.49 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 13204 0 0 0 2546 3 0 0 25 0 4 0 632650946 381427712 27151 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 372488

[startup+51.1002 s]
/proc/loadavg: 7.87 7.98 8.04 9/371 7554
/proc/meminfo: memFree=30078312/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=383160 CPUtime=203.78 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 100434 0 0 0 20353 25 0 0 25 0 4 0 632650946 392355840 35372 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 95790 35372 379 95 0 90772 0
[pid=7549/tid=7550] ppid=7547 vsize=383160 CPUtime=51.09 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 28343 0 0 0 5103 6 0 0 25 0 4 0 632650946 392355840 35372 33554432000 4194304 4580107 140735543057792 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=383160 CPUtime=50.5 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 28473 0 0 0 5045 5 0 0 25 0 4 0 632650946 392355840 35372 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=383160 CPUtime=51.08 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 17402 0 0 0 5104 4 0 0 25 0 4 0 632650946 392355840 35372 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 383160

[startup+102.301 s]
/proc/loadavg: 7.94 7.98 8.04 9/371 7556
/proc/meminfo: memFree=30026292/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=394600 CPUtime=407.98 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 141566 0 0 0 40757 41 0 0 25 0 4 0 632650946 404070400 41735 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 98650 41735 379 95 0 93632 0
[pid=7549/tid=7550] ppid=7547 vsize=394600 CPUtime=102.3 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 41840 0 0 0 10219 11 0 0 25 0 4 0 632650946 404070400 41735 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=394600 CPUtime=101.09 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 41496 0 0 0 10098 11 0 0 25 0 4 0 632650946 404070400 41735 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=394600 CPUtime=102.28 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 24458 0 0 0 10222 6 0 0 25 0 4 0 632650946 404070400 41735 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.98
Current children cumulated vsize (KiB) 394600

[startup+162.3 s]

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

[pid=7549] ppid=7547 vsize=659004 CPUtime=2800.93 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 380567 0 0 0 279944 149 0 0 25 0 4 0 632650946 674820096 107892 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 164751 107892 379 95 0 159733 0
[pid=7549/tid=7550] ppid=7547 vsize=659004 CPUtime=702.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 81532 0 0 0 70203 28 0 0 25 0 4 0 632650946 674820096 107892 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=659004 CPUtime=693.99 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 117181 0 0 0 69354 45 0 0 25 0 4 0 632650946 674820096 107892 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=659004 CPUtime=702.3 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 99502 0 0 0 70189 41 0 0 25 0 4 0 632650946 674820096 107892 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.93
Current children cumulated vsize (KiB) 659004

[startup+762.301 s]
/proc/loadavg: 8.09 8.11 8.09 9/371 7573
/proc/meminfo: memFree=29578704/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=790164 CPUtime=3040.23 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 395717 0 0 0 303867 156 0 0 25 0 4 0 632650946 809127936 114992 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 197541 114992 379 95 0 192523 0
[pid=7549/tid=7550] ppid=7547 vsize=790164 CPUtime=762.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 81653 0 0 0 76203 28 0 0 25 0 4 0 632650946 809127936 114992 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=790164 CPUtime=753.28 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 121848 0 0 0 75280 48 0 0 25 0 4 0 632650946 809127936 114992 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=790164 CPUtime=762.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 105879 0 0 0 76187 44 0 0 25 0 4 0 632650946 809127936 114992 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.23
Current children cumulated vsize (KiB) 790164

[startup+822.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/371 7575
/proc/meminfo: memFree=29596372/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=713828 CPUtime=3279.54 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 416598 0 0 0 327787 167 0 0 25 0 4 0 632650946 730959872 110390 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 178457 110390 379 95 0 173439 0
[pid=7549/tid=7550] ppid=7547 vsize=713828 CPUtime=822.32 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 85091 0 0 0 82203 29 0 0 25 0 4 0 632650946 730959872 110390 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294496 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=713828 CPUtime=812.59 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 125367 0 0 0 81208 51 0 0 25 0 4 0 632650946 730959872 110390 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=713828 CPUtime=822.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 112837 0 0 0 82184 47 0 0 25 0 4 0 632650946 730959872 110390 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.54
Current children cumulated vsize (KiB) 713828

[startup+882.301 s]
/proc/loadavg: 8.08 8.11 8.09 9/371 7576
/proc/meminfo: memFree=29592336/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=721548 CPUtime=3518.81 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 438850 0 0 0 351700 181 0 0 25 0 4 0 632650946 738865152 105989 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 180387 105989 379 95 0 175369 0
[pid=7549/tid=7550] ppid=7547 vsize=721548 CPUtime=882.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 89892 0 0 0 88198 33 0 0 25 0 4 0 632650946 738865152 105989 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=721548 CPUtime=871.86 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 132098 0 0 0 87132 54 0 0 25 0 4 0 632650946 738865152 105989 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=721548 CPUtime=882.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 119852 0 0 0 88179 52 0 0 25 0 4 0 632650946 738865152 105989 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.81
Current children cumulated vsize (KiB) 721548

[startup+942.314 s]
/proc/loadavg: 8.10 8.11 8.09 9/371 7587
/proc/meminfo: memFree=29526856/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=721700 CPUtime=3758.15 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 467879 0 0 0 375620 195 0 0 25 0 4 0 632650946 739020800 118894 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 180425 118894 379 95 0 175407 0
[pid=7549/tid=7550] ppid=7547 vsize=721700 CPUtime=942.32 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 94621 0 0 0 94196 36 0 0 25 0 4 0 632650946 739020800 118894 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=721700 CPUtime=931.16 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 139831 0 0 0 93059 57 0 0 25 0 4 0 632650946 739020800 118894 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=721700 CPUtime=942.32 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 130438 0 0 0 94176 56 0 0 25 0 4 0 632650946 739020800 118894 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.15
Current children cumulated vsize (KiB) 721700

[startup+1002.3 s]
/proc/loadavg: 8.08 8.11 8.09 9/371 7589
/proc/meminfo: memFree=29528772/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=799804 CPUtime=3997.39 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 492707 0 0 0 399532 207 0 0 25 0 4 0 632650946 818999296 119012 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 199951 119012 379 95 0 194933 0
[pid=7549/tid=7550] ppid=7547 vsize=799804 CPUtime=1002.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 98382 0 0 0 100194 37 0 0 25 0 4 0 632650946 818999296 119012 33554432000 4194304 4580107 140735543057792 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=799804 CPUtime=990.44 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 146806 0 0 0 98983 61 0 0 25 0 4 0 632650946 818999296 119012 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=799804 CPUtime=1002.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 137640 0 0 0 100171 60 0 0 25 0 4 0 632650946 818999296 119012 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.39
Current children cumulated vsize (KiB) 799804

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.09 9/371 7590
/proc/meminfo: memFree=29521032/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=751292 CPUtime=4236.69 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 520449 0 0 0 423447 222 0 0 25 0 4 0 632650946 769323008 121534 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 187823 121534 379 95 0 182805 0
[pid=7549/tid=7550] ppid=7547 vsize=751292 CPUtime=1062.32 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 105245 0 0 0 106192 40 0 0 25 0 4 0 632650946 769323008 121534 33554432000 4194304 4580107 140735543057792 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=751292 CPUtime=1049.73 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 153696 0 0 0 104909 64 0 0 25 0 4 0 632650946 769323008 121534 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=751292 CPUtime=1062.3 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 144599 0 0 0 106166 64 0 0 25 0 4 0 632650946 769323008 121534 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.69
Current children cumulated vsize (KiB) 751292

[startup+1122.3 s]
/proc/loadavg: 8.09 8.11 8.09 9/371 7592
/proc/meminfo: memFree=29487384/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=857516 CPUtime=4475.98 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 546258 0 0 0 447365 233 0 0 25 0 4 0 632650946 878096384 127811 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 214379 127811 379 95 0 209361 0
[pid=7549/tid=7550] ppid=7547 vsize=857516 CPUtime=1122.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 109964 0 0 0 112190 41 0 0 25 0 4 0 632650946 878096384 127811 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=857516 CPUtime=1109.03 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 158879 0 0 0 110836 67 0 0 25 0 4 0 632650946 878096384 127811 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=857516 CPUtime=1122.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 154138 0 0 0 112162 69 0 0 25 0 4 0 632650946 878096384 127811 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.98
Current children cumulated vsize (KiB) 857516

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.09 9/371 7593
/proc/meminfo: memFree=29482724/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=739144 CPUtime=4715.27 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 572828 0 0 0 471280 247 0 0 25 0 4 0 632650946 756883456 127923 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 184786 127923 379 95 0 179768 0
[pid=7549/tid=7550] ppid=7547 vsize=739144 CPUtime=1182.31 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 116394 0 0 0 118186 45 0 0 25 0 4 0 632650946 756883456 127923 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=739144 CPUtime=1168.32 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 167349 0 0 0 116763 69 0 0 25 0 4 0 632650946 756883456 127923 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=739144 CPUtime=1182.31 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 160540 0 0 0 118158 73 0 0 25 0 4 0 632650946 756883456 127923 33554432000 4194304 4580107 140735543057792 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.27
Current children cumulated vsize (KiB) 739144



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.07 8.09 8.09 9/371 7625
/proc/meminfo: memFree=29742104/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=792300 CPUtime=4800.24 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 580899 0 0 0 479773 251 0 0 25 0 4 0 632650946 811315200 128771 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 198075 128771 379 95 0 193057 0
[pid=7549/tid=7550] ppid=7547 vsize=792300 CPUtime=1203.63 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 118936 0 0 0 120317 46 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=792300 CPUtime=1189.36 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 168939 0 0 0 118867 69 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=792300 CPUtime=1203.62 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 161756 0 0 0 120288 74 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 792300

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

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

[startup+1203.6 s]
/proc/loadavg: 8.07 8.09 8.09 9/371 7625
/proc/meminfo: memFree=29742104/32951124 swapFree=51873460/67111528
[pid=7549] ppid=7547 vsize=792300 CPUtime=4800.24 cores=1,3,5,7
/proc/7549/stat : 7549 (strangenight2-m) R 7547 7549 7181 0 -1 4202496 580899 0 0 0 479773 251 0 0 25 0 4 0 632650946 811315200 128771 33554432000 4194304 4580107 140735543057792 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7549/statm: 198075 128771 379 95 0 193057 0
[pid=7549/tid=7550] ppid=7547 vsize=792300 CPUtime=1203.63 cores=1,3,5,7
/proc/7549/task/7550/stat : 7550 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 118936 0 0 0 120317 46 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7549/tid=7551] ppid=7547 vsize=792300 CPUtime=1189.36 cores=1,3,5,7
/proc/7549/task/7551/stat : 7551 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 168939 0 0 0 118867 69 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7549/tid=7552] ppid=7547 vsize=792300 CPUtime=1203.62 cores=1,3,5,7
/proc/7549/task/7552/stat : 7552 (strangenight2-m) R 7547 7549 7181 0 -1 4202560 161756 0 0 0 120288 74 0 0 25 0 4 0 632650946 811315200 128774 33554432000 4194304 4580107 140735543057792 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 792300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.32
CPU user time (s): 4797.78
CPU system time (s): 2.53961
CPU usage (%): 398.817
Max. virtual memory (cumulated for all children) (KiB): 911184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.78
system time used= 2.53961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580903
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= 230
involuntary context switches= 20001

runsolver used 3.9324 second user time and 10.3524 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 21:45:47
IDJOB=3366359
IDBENCH=82768
IDSOLVER=1844
FILE ID=node146/3366359-1305402347
RUNJOBID= node146-1305402332-7497
PBS_JOBID= 13324493
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= b386c0165fb504493e3604d6c778ca42
RANDOM SEED=1274176742

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30256112 kB
Buffers:         51380 kB
Cached:          97984 kB
SwapCached:      56048 kB
Active:         818600 kB
Inactive:      1655520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30256112 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:           11348 kB
Writeback:         152 kB
AnonPages:     2275616 kB
Mapped:          17576 kB
Slab:            96588 kB
PageTables:      58988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81947592 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= 73260 MiB
End job on node146 at 2011-05-14 22:05:52