Trace number 3366423

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.47 1202.94

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf
MD5SUMb15e29d3a1300cd412b2c819b5ccc2fa
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.011997
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-3366423-1305404018.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
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     270 undec:      67 neg:     263
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       582      2539         0         0      7719         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4915       582      2539         0      4858      7719    133643   no data   no data
3.17/0.80	c  N st    10     11298       582      2539         0      4483      7719     82813   no data   no data
3.17/0.80	c  N st    11     17043       582      2539         0     10166      7719    251166   no data   no data
4.40/1.16	c  F st    12     25000       582      2539         0     12400      7719    291057   no data   no data
4.40/1.16	c  N st    12     25000       582      2539         0     12400      7719    291057   no data   no data
5.56/1.43	c  N dy    18     30000       582      2539         0     10686      7719    224275   no data   no data
5.56/1.43	c  S st    18     30000       582      2539         0     10686      7719    224275   no data   no data
5.56/1.46	c  S st    18     30507       582      2539         0     11191      7719    236705   no data   no data
5.56/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.47	c blocked clauses removed:       10 vars:      2 tried:         582 T: 0.00 s
5.56/1.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
5.56/1.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c lits-rem:        82  cl-subs:      432  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.54	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
5.97/1.54	c calculated reachability. Time: 0.00
5.97/1.54	c  N dy    18     30507       580      2529         0     10758      7689    224289   no data   no data
7.17/1.85	c  N dy    32     35765       580      2529         0      8145      7689    112942     17.29     18.29
7.96/2.08	c  N dy    49     40165       580      2529         0     12503      7689    222474     17.17     18.31
9.16/2.36	c  N dy    67     44573       580      2529         0     16862      7689    330861     17.14     18.10
9.55/2.45	c  S st    69     45762       580      2529         0      9188      7689    111818     17.07     15.29
9.55/2.48	c  S st    69     46265       580      2529         0      9687      7689    124616     17.07   no data
9.55/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
9.55/2.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.49	c lits-rem:         8  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.49	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
9.55/2.49	c vivif2 --  cl tried     9660 cl shrink        0 lits rem          0 time: 0.00
9.95/2.50	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
9.95/2.50	c calculated reachability. Time: 0.00
9.95/2.50	c  N dy    69     46265       580      2529         0      9660      7689    123829     17.07   no data
10.75/2.73	c  N dy    79     50443       580      2529         0     13803      7689    226512     16.94     17.86
11.96/3.02	c  N dy    93     54766       580      2529         0     18057      7689    329431     16.94     17.93
12.77/3.29	c  N dy   102     58946       580      2529         0     12328      7689    167252     16.84     17.78
13.94/3.57	c  N dy   129     63393       580      2529         0     16732      7689    276388     16.92     17.84
15.15/3.88	c  N dy   150     67486       580      2529         0     20780      7689    376742     16.97     17.91
15.95/4.02	c  S st   155     69400       580      2529         0     11810      7689    132948     16.91     16.31
15.95/4.05	c  S st   155     69903       580      2529         0     12311      7689    145834     16.91   no data
15.95/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.95/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.95/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
15.95/4.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.95/4.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.07	c lits-rem:        13  cl-subs:       39  v-elim:      0  v-fix:    0  time:  0.01 s
15.95/4.07	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
15.95/4.08	c vivif2 --  cl tried    12272 cl shrink        0 lits rem          0 time: 0.00
15.95/4.08	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
15.95/4.08	c calculated reachability. Time: 0.00
15.95/4.08	c  N dy   155     69903       580      2529         0     12272      7689    144761     16.91   no data
17.16/4.38	c  N dy   171     74427       580      2529         0     16734      7689    254988     16.88     17.77
18.74/4.73	c  N dy   192     79196       580      2529         0     21457      7689    373555     16.89     18.25
20.34/5.12	c  N dy   213     84326       580      2529         0     14680      7689    185916     16.90     17.84
21.13/5.34	c  F st   231     87500       580      2529         0     17828      7689    264320     16.93   no data
21.96/5.58	c  N st   236     90796       580      2529         0     21092      7689    352385     16.93   no data
22.72/5.73	c Decided on static restart strategy
24.72/6.28	c  N st   239     99805       580      2529         0     17139      7689    368489     16.93   no data
26.36/6.69	c  S st   240    104854       580      2529         0     22098      7689    513934     16.93   no data
26.72/6.74	c  S st   240    105361       580      2529         0     22604      7689    527610     16.93   no data
26.72/6.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.72/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.72/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.72/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.72/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.72/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
26.72/6.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
26.72/6.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
26.72/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.00	c lits-rem:       133  cl-subs:      826  v-elim:      0  v-fix:    0  time:  0.22 s
27.91/7.00	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
27.91/7.00	c vivif2 --  cl tried    21778 cl shrink        0 lits rem          0 time: 0.00
27.91/7.02	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
27.91/7.02	c calculated reachability. Time: 0.00
27.91/7.02	c  N st   240    105361       580      2529         0     21778      7689    500125     16.93   no data
31.51/7.91	c  N st   241    114960       580      2529         0     17418      7689    312139     16.93   no data
36.69/9.29	c  N st   242    129357       580      2529         0     16870      7689    311306     16.93   no data
44.68/11.27	c  N st   243    150955       580      2529         0     22404      7689    417696     16.93   no data
47.48/11.94	c  S st   244    158042       580      2529         0     29355      7689    615779     16.93   no data
47.89/12.01	c  S st   244    158549       580      2529         0     29861      7689    628321     16.93   no data
47.89/12.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.89/12.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.89/12.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.89/12.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.89/12.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.89/12.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
47.89/12.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.89/12.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.89/12.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.46/12.43	c lits-rem:       256  cl-subs:     1023  v-elim:      0  v-fix:    0  time:  0.39 s
49.46/12.43	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
49.46/12.44	c vivif2 --  cl tried    28838 cl shrink        0 lits rem          0 time: 0.01
49.46/12.46	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
49.46/12.46	c calculated reachability. Time: 0.00
49.46/12.46	c  N st   244    158549       580      2529         0     28838      7689    596073     16.93   no data
68.62/17.20	c  N st   245    207137       580      2529         0     23464      7689    398755     16.93   no data
82.19/20.60	c  N st   246    237825       580      2529         0     34038      7689    667024     16.93   no data
82.19/20.60	c  S st   246    237825       580      2529         0     34038      7689    667024     16.93   no data
82.19/20.69	c  S st   246    238331       580      2529         0     34543      7689    679780     16.93   no data
82.19/20.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
82.59/20.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
82.59/20.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
82.59/20.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
82.59/20.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.59/20.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
82.59/20.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
82.59/20.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
82.59/20.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.57/21.28	c lits-rem:       119  cl-subs:     1241  v-elim:      0  v-fix:    0  time:  0.55 s
84.57/21.28	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
84.57/21.29	c vivif2 --  cl tried    33302 cl shrink        0 lits rem          0 time: 0.01
84.97/21.31	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
84.97/21.31	c calculated reachability. Time: 0.00
84.97/21.31	c  N st   246    238331       580      2529         0     33302      7689    643670     16.93   no data
116.51/29.29	c  F st   247    306251       580      2529         0     35067      7689    635015     16.93   no data
116.51/29.29	c  N st   247    306251       580      2529         0     35067      7689    635015     16.93   no data
127.67/32.01	c  N dy   308    325801       580      2529         0     30763      7689    427495     16.98     18.98
141.25/35.42	c  N dy   406    349155       580      2529         0     29175      7689    359449     16.98     18.14
145.24/36.43	c  S st   424    357496       580      2529         0     37375      7689    557064     16.92     16.45
145.64/36.52	c  S st   424    357998       580      2529         0     37877      7689    569420     16.92   no data
145.64/36.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.64/36.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
145.64/36.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.64/36.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
145.64/36.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.64/36.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
145.64/36.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
145.64/36.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
145.64/36.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.44/36.77	c lits-rem:       110  cl-subs:      929  v-elim:      0  v-fix:    0  time:  0.21 s
146.44/36.77	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
146.44/36.78	c vivif2 --  cl tried    36948 cl shrink        0 lits rem          0 time: 0.01
146.84/36.81	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
146.84/36.81	c calculated reachability. Time: 0.00
146.84/36.81	c  N dy   424    357998       580      2529         0     36948      7689    547277     16.92   no data
160.41/40.23	c  N dy   548    381152       580      2529         0     34185      7689    451942     17.04     17.95
173.97/43.66	c  N dy   658    401300       580      2529         0     27468      7689    262656     17.15     18.11
185.54/46.50	c  N dy   756    421318       580      2529         0     47238      7689    767506     17.23     18.48
197.92/49.60	c  N dy   853    441424       580      2529         0     39447      7689    540817     17.27     18.29
212.29/53.21	c  N dy   946    461495       580      2529         0     30633      7689    293612     17.30     18.28
224.26/56.29	c  N dy  1025    481520       580      2529         0     50438      7689    795019     17.31     18.85
237.83/59.62	c  N dy  1080    501572       580      2529         0     40540      7689    515446     17.26     18.26
252.60/63.32	c  N dy  1159    521625       580      2529         0     60318      7689   1015238     17.24     18.16
261.77/65.62	c  S st  1244    536997       580      2529         0     44927      7689    616133     17.28     16.24
262.17/65.73	c  S st  1244    537501       580      2529         0     45430      7689    629892     17.28   no data
262.17/65.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
262.17/65.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
262.17/65.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
262.17/65.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
262.17/65.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.17/65.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
262.17/65.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
262.17/65.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
262.17/65.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.40/66.04	c lits-rem:       195  cl-subs:      720  v-elim:      0  v-fix:    0  time:  0.26 s
263.40/66.04	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
263.40/66.05	c vivif2 --  cl tried    44710 cl shrink        0 lits rem          0 time: 0.01
263.40/66.08	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
263.40/66.08	c calculated reachability. Time: 0.00
263.40/66.08	c  N dy  1244    537501       580      2529         0     44710      7689    610445     17.28   no data
278.93/69.97	c  N dy  1299    558365       580      2529         0     33684      7689    307843     17.25     18.36
292.50/73.30	c  N dy  1394    578736       580      2529         0     53817      7689    824497     17.27     18.27
307.30/77.02	c  N dy  1473    599523       580      2529         0     41757      7689    493022     17.27     18.29
327.63/82.13	c  N dy  1533    627173       580      2529         0     35413      7689    310449     17.18     18.23
340.39/85.30	c  N dy  1593    647392       580      2529         0     55382      7689    813921     17.18     18.14
357.15/89.59	c  N dy  1729    667483       580      2529         0     40717      7689    436369     17.23     24.05
371.92/93.20	c  N dy  1791    687554       580      2529         0     60550      7689    938991     17.21     18.41
389.48/97.61	c  N dy  1903    707580       580      2529         0     44841      7689    517882     17.23     18.16
406.24/101.86	c  N dy  2026    727622       580      2529         0     64651      7689   1024221     17.27     21.36
422.99/106.01	c  N dy  2085    748472       580      2529         0     48641      7689    587537     17.26     18.17
440.55/110.45	c  N dy  2176    768542       580      2529         0     68467      7689   1096437     17.27     18.23
456.55/114.47	c  N dy  2247    788575       580      2529         0     50673      7689    616620     17.27     18.82
470.48/117.93	c  S st  2285    806252       580      2529         0     68118      7689   1059076     17.23   no data
471.28/118.11	c  S st  2285    806753       580      2529         0     68618      7689   1072419     17.23   no data
471.28/118.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
471.28/118.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
471.28/118.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
471.28/118.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
471.28/118.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
471.28/118.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
471.28/118.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
471.28/118.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
471.68/118.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
474.88/119.06	c lits-rem:       308  cl-subs:     1936  v-elim:      0  v-fix:    0  time:  0.86 s
474.88/119.06	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
474.88/119.07	c vivif2 --  cl tried    66682 cl shrink        0 lits rem          0 time: 0.01
475.28/119.13	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.06
475.28/119.14	c calculated reachability. Time: 0.00
475.28/119.14	c  N dy  2285    806753       580      2529         0     66682      7689   1025022     17.23   no data
493.23/123.61	c  N dy  2367    826776       580      2529         0     47980      7689    532218     17.24     18.17
511.99/128.34	c  N dy  2459    848119       580      2529         0     69039      7689   1068679     17.25     18.16
530.35/132.90	c  N dy  2566    868138       580      2529         0     49319      7689    543439     17.27     21.41
548.32/137.47	c  N dy  2690    888238       580      2529         0     69185      7689   1059824     17.30     18.95
567.47/142.29	c  N dy  2786    908299       580      2529         0     48505      7689    510249     17.31     19.10
585.03/146.68	c  N dy  2883    928315       580      2529         0     68316      7689   1023282     17.33     18.27
606.17/151.96	c  N dy  3000    948381       580      2529         0     46642      7689    439856     17.35     18.30
623.37/156.24	c  N dy  3085    968813       580      2529         0     66825      7689    953407     17.36     18.33
646.88/162.18	c  N dy  3209    989043       580      2529         0     44342      7689    362066     17.39     18.57
662.88/166.15	c  N dy  3299   1009066       580      2529         0     64062      7689    862457     17.39     19.04
686.79/172.11	c  N dy  3397   1029153       580      2529         0     83871      7689   1363445     17.40     18.40
704.35/176.57	c  N dy  3413   1050824       580      2529         0     61666      7689    749911     17.34     18.28
726.30/182.09	c  N dy  3490   1071004       580      2529         0     81534      7689   1242887     17.33     18.30
727.50/182.37	c  F st  3495   1071875       580      2529         0     82390      7689   1264068     17.33     14.92
733.12/183.76	c Decided on static restart strategy
749.84/187.97	c  N st  3505   1100180       580      2529         0     65927      7689   1030399     17.33   no data
783.36/196.39	c  N st  3507   1136174       580      2529         0     56008      7689    938611     17.33   no data
811.30/203.36	c  N st  3508   1168566       580      2529         0     87747      7689   1828418     17.33   no data
846.42/212.17	c  N st  3509   1210130       580      2529         0     82356      7689   1712295     17.33   no data
846.42/212.17	c  S st  3509   1210130       580      2529         0     82356      7689   1712295     17.33   no data
847.61/212.41	c  S st  3509   1210633       580      2529         0     82858      7689   1724985     17.33   no data
847.61/212.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
847.61/212.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
847.61/212.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.61/212.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
847.61/212.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
847.61/212.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
847.61/212.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
847.61/212.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
848.01/212.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
873.95/219.09	c lits-rem:       598  cl-subs:     4942  v-elim:      0  v-fix:    0  time:  6.56 s
873.95/219.09	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
874.35/219.12	c vivif2 --  cl tried    77916 cl shrink        0 lits rem          0 time: 0.02
874.75/219.23	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.11
874.75/219.24	c calculated reachability. Time: 0.00
874.75/219.24	c  N st  3509   1210633       580      2529         0     77916      7689   1591546     17.33   no data
958.55/240.29	c  N st  3510   1283515       580      2529         0     54397      7689    796815     17.33   no data
1074.68/269.37	c  N st  3511   1392838       580      2529         0     62533      7689    952015     17.33   no data
1225.53/307.15	c  N st  3512   1556823       580      2529         0     67342      7689   1014687     17.33   no data
1389.55/348.25	c  N st  3513   1710633       580      2529         0    109027      7689   2074072     17.33   no data
1389.55/348.25	c  S st  3513   1710633       580      2529         0    109027      7689   2074072     17.33   no data
1390.75/348.59	c  S st  3513   1711138       580      2529         0    109532      7689   2087134     17.33   no data
1390.75/348.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1391.17/348.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1391.17/348.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1391.17/348.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1391.17/348.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1391.17/348.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
1391.17/348.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1391.17/348.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1391.58/348.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1457.00/365.19	c lits-rem:      1028  cl-subs:     8188  v-elim:      0  v-fix:    0  time: 16.45 s
1457.00/365.19	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1457.42/365.22	c vivif2 --  cl tried   101344 cl shrink        0 lits rem          0 time: 0.03
1457.78/365.34	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
1457.78/365.34	c calculated reachability. Time: 0.00
1457.78/365.34	c  N st  3513   1711138       580      2529         0    101344      7689   1879976     17.33   no data
1850.88/463.87	c  N st  3514   2080104       580      2529         0    113271      7689   2185607     17.33   no data
1996.95/500.47	c  N st  3515   2211139       580      2529         0    117269      7689   2261664     17.33   no data
1996.95/500.47	c  S st  3515   2211139       580      2529         0    117269      7689   2261664     17.33   no data
1998.54/500.85	c  S st  3515   2211648       580      2529         0    117776      7689   2275350     17.33   no data
1998.54/500.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1998.94/500.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1998.94/500.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1998.94/500.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1998.94/500.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1998.94/500.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
1998.94/500.92	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1998.94/500.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1999.33/501.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2058.40/515.84	c lits-rem:       643  cl-subs:     6229  v-elim:      0  v-fix:    0  time: 14.82 s
2058.40/515.84	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2058.40/515.88	c vivif2 --  cl tried   111547 cl shrink        0 lits rem          0 time: 0.03
2059.18/516.01	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.13
2059.18/516.01	c calculated reachability. Time: 0.00
2059.18/516.01	c  N st  3515   2211648       580      2529         0    111547      7689   2102418     17.33   no data
2614.30/655.18	c  N st  3516   2711649       580      2529         0    134807      7689   2610692     17.33   no data
2614.30/655.18	c  S st  3516   2711649       580      2529         0    134807      7689   2610692     17.33   no data
2616.33/655.65	c  S st  3516   2712152       580      2529         0    135310      7689   2623716     17.33   no data
2616.33/655.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2616.69/655.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2616.69/655.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2616.69/655.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2616.69/655.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2616.69/655.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
2616.69/655.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2616.69/655.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2617.09/655.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2744.78/687.83	c lits-rem:      1666  cl-subs:    11643  v-elim:      0  v-fix:    0  time: 31.99 s
2744.78/687.83	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2744.78/687.86	c vivif2 --  cl tried   123667 cl shrink        0 lits rem          0 time: 0.03
2745.58/688.00	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.14
2745.58/688.01	c calculated reachability. Time: 0.00
2745.58/688.01	c  N st  3516   2712152       580      2529         0    123667      7689   2314363     17.33   no data
3374.92/845.74	c  N st  3517   3212152       580      2529         0     99338      7689   1387102     17.33   no data
3374.92/845.74	c  S st  3517   3212152       580      2529         0     99338      7689   1387102     17.33   no data
3376.11/846.08	c  S st  3517   3212653       580      2529         0     99838      7689   1400655     17.33   no data
3376.11/846.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3376.51/846.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3376.51/846.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3376.51/846.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3376.51/846.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3376.51/846.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
3376.51/846.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3376.51/846.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3376.91/846.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3410.87/854.72	c lits-rem:       309  cl-subs:     4230  v-elim:      0  v-fix:    0  time:  8.49 s
3410.87/854.72	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
3410.87/854.75	c vivif2 --  cl tried    95608 cl shrink        0 lits rem          0 time: 0.03
3411.63/854.91	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.17
3411.63/854.92	c calculated reachability. Time: 0.00
3411.63/854.92	c  N st  3517   3212653       580      2529         0     95608      7689   1299891     17.33   no data
4130.37/1035.02	c  N st  3518   3712653       580      2529         0    106404      7689   1458463     17.33   no data
4130.37/1035.02	c  S st  3518   3712653       580      2529         0    106404      7689   1458463     17.33   no data
4131.55/1035.36	c  S st  3518   3713159       580      2529         0    106909      7689   1471266     17.33   no data
4131.55/1035.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4131.95/1035.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4131.95/1035.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4131.95/1035.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4131.95/1035.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4131.95/1035.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
4131.95/1035.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4131.95/1035.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4131.95/1035.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4148.35/1039.55	c lits-rem:       292  cl-subs:     4678  v-elim:      0  v-fix:    0  time:  4.06 s
4148.35/1039.55	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
4148.35/1039.58	c vivif2 --  cl tried   102231 cl shrink        0 lits rem          0 time: 0.02
4148.71/1039.69	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.11
4148.71/1039.69	c calculated reachability. Time: 0.00
4148.71/1039.69	c  N st  3518   3713159       580      2529         0    102231      7689   1357531     17.33   no data
4214.20/1056.05	c  F st  3519   3751562       580      2529         0    139901      7689   2421114     17.33   no data
4214.20/1056.05	c  N st  3519   3751562       580      2529         0    139901      7689   2421114     17.33   no data
4228.52/1059.67	c Decided on static restart strategy
4283.19/1073.38	c  N st  3529   3779862       580      2529         0     84817      7689    864415     17.33   no data
4336.68/1086.72	c  N st  3531   3815859       580      2529         0    120123      7689   1828499     17.33   no data
4392.12/1100.66	c  N st  3532   3848252       580      2529         0    151901      7689   2719053     17.33   no data
4464.40/1118.74	c  N st  3533   3896841       580      2529         0    115237      7689   1627214     17.33   no data
4568.91/1144.95	c  N st  3534   3969723       580      2529         0    101515      7689   1267427     17.33   no data
4741.71/1188.25	c  N st  3535   4079046       580      2529         0    122168      7689   1788213     17.33   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-3366423-1305404018/watcher-3366423-1305404018 -o /tmp/evaluation-result-3366423-1305404018/solver-3366423-1305404018 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366423-1305404018.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: 3.76 4.54 6.13 7/298 3467
/proc/meminfo: memFree=15879384/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 108011188 52396032 347 33554432000 4194304 4580107 140735957092160 18446744073709551615 47705547216818 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 12792 347 299 95 0 7774 0
[pid=3467/tid=3468] ppid=3465 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 108011188 52396032 347 33554432000 4194304 4580107 140735957092160 18446744073709551615 47705547216818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 108011188 52396032 347 33554432000 4194304 4580107 140735957092160 18446744073709551615 47705547216812 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 108011188 52396032 347 33554432000 4194304 4580107 140735957092160 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.022827 s]
/proc/loadavg: 3.76 4.54 6.13 7/298 3467
/proc/meminfo: memFree=15879384/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=282248 CPUtime=0.07 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 1411 0 0 0 7 0 0 0 18 0 4 0 108011188 289021952 1250 33554432000 4194304 4580107 140735957092160 18446744073709551615 4317211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 70562 1250 376 95 0 65544 0
[pid=3467/tid=3468] ppid=3465 vsize=282248 CPUtime=0.01 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 276 0 0 0 1 0 0 0 18 0 4 0 108011188 289021952 1250 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=282248 CPUtime=0.01 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 291 0 0 0 1 0 0 0 18 0 4 0 108011188 289021952 1250 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=282248 CPUtime=0.01 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 145 0 0 0 1 0 0 0 25 0 4 0 108011188 289021952 1251 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 282248

[startup+0.100814 s]
/proc/loadavg: 3.76 4.54 6.13 7/298 3467
/proc/meminfo: memFree=15879384/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=282376 CPUtime=0.38 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 1821 0 0 0 38 0 0 0 18 0 4 0 108011188 289153024 1660 33554432000 4194304 4580107 140735957092160 18446744073709551615 4489289 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 70594 1660 377 95 0 65576 0
[pid=3467/tid=3468] ppid=3465 vsize=282376 CPUtime=0.09 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 373 0 0 0 9 0 0 0 18 0 4 0 108011188 289153024 1660 33554432000 4194304 4580107 140735957092160 18446744073709551615 4322541 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=282376 CPUtime=0.09 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 388 0 0 0 9 0 0 0 18 0 4 0 108011188 289153024 1660 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=282376 CPUtime=0.08 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 257 0 0 0 8 0 0 0 25 0 4 0 108011188 289153024 1660 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282376

[startup+0.300781 s]
/proc/loadavg: 3.76 4.54 6.13 7/298 3467
/proc/meminfo: memFree=15879384/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=283984 CPUtime=1.18 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 2972 0 0 0 118 0 0 0 18 0 4 0 108011188 290799616 2173 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 70996 2173 377 95 0 65978 0
[pid=3467/tid=3468] ppid=3465 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 661 0 0 0 29 0 0 0 18 0 4 0 108011188 290799616 2173 33554432000 4194304 4580107 140735957092160 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 679 0 0 0 29 0 0 0 18 0 4 0 108011188 290799616 2173 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=283984 CPUtime=0.28 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 546 0 0 0 28 0 0 0 25 0 4 0 108011188 290799616 2173 33554432000 4194304 4580107 140735957092160 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283984

[startup+0.700714 s]
/proc/loadavg: 3.76 4.54 6.13 7/298 3467
/proc/meminfo: memFree=15879384/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=285012 CPUtime=2.77 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 4651 0 0 0 277 0 0 0 18 0 4 0 108011188 291852288 2879 33554432000 4194304 4580107 140735957092160 18446744073709551615 4324217 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 71253 2879 377 95 0 66235 0
[pid=3467/tid=3468] ppid=3465 vsize=285012 CPUtime=0.69 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1076 0 0 0 69 0 0 0 18 0 4 0 108011188 291852288 2879 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=285012 CPUtime=0.69 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1108 0 0 0 69 0 0 0 18 0 4 0 108011188 291852288 2879 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=285012 CPUtime=0.68 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 954 0 0 0 68 0 0 0 25 0 4 0 108011188 291852288 2879 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285012

[startup+1.50058 s]
/proc/loadavg: 4.18 4.61 6.14 9/302 3471
/proc/meminfo: memFree=15861248/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=286320 CPUtime=5.97 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 9398 0 0 0 596 1 0 0 20 0 4 0 108011188 293191680 4893 33554432000 4194304 4580107 140735957092160 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 71580 4893 379 95 0 66562 0
[pid=3467/tid=3468] ppid=3465 vsize=286320 CPUtime=1.49 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1884 0 0 0 149 0 0 0 19 0 4 0 108011188 293191680 4893 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=286320 CPUtime=1.49 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1926 0 0 0 149 0 0 0 20 0 4 0 108011188 293191680 4893 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=286320 CPUtime=1.47 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 1811 0 0 0 147 0 0 0 25 0 4 0 108011188 293191680 4893 33554432000 4194304 4580107 140735957092160 18446744073709551615 4295925 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286320

[startup+3.10031 s]
/proc/loadavg: 4.18 4.61 6.14 9/302 3471
/proc/meminfo: memFree=15835456/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=293876 CPUtime=12.36 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 18554 0 0 0 1233 3 0 0 25 0 4 0 108011188 300929024 10272 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 73469 10272 379 95 0 68451 0
[pid=3467/tid=3468] ppid=3465 vsize=293876 CPUtime=3.08 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 4450 0 0 0 308 0 0 0 25 0 4 0 108011188 300929024 10272 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=293876 CPUtime=3.09 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 4664 0 0 0 309 0 0 0 25 0 4 0 108011188 300929024 10272 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=293876 CPUtime=3.06 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 4676 0 0 0 306 0 0 0 25 0 4 0 108011188 300929024 10272 33554432000 4194304 4580107 140735957092160 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293876

[startup+6.30077 s]
/proc/loadavg: 4.18 4.61 6.14 9/302 3471
/proc/meminfo: memFree=15786620/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=321888 CPUtime=25.12 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 28415 0 0 0 2508 4 0 0 25 0 4 0 108011188 329613312 15037 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 80472 15037 379 95 0 75454 0
[pid=3467/tid=3468] ppid=3465 vsize=321888 CPUtime=6.29 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 8097 0 0 0 628 1 0 0 25 0 4 0 108011188 329613312 15037 33554432000 4194304 4580107 140735957092160 18446744073709551615 4342227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=321888 CPUtime=6.28 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 6565 0 0 0 628 0 0 0 25 0 4 0 108011188 329613312 15037 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=321888 CPUtime=6.23 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 6993 0 0 0 622 1 0 0 25 0 4 0 108011188 329613312 15037 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 321888

[startup+12.7007 s]
/proc/loadavg: 4.77 4.73 6.16 9/302 3471
/proc/meminfo: memFree=15743072/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=294228 CPUtime=50.66 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 44459 0 0 0 5058 8 0 0 25 0 4 0 108011188 301289472 24997 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 73557 24997 379 95 0 68539 0
[pid=3467/tid=3468] ppid=3465 vsize=294228 CPUtime=12.69 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 12476 0 0 0 1267 2 0 0 25 0 4 0 108011188 301289472 24997 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=294228 CPUtime=12.68 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 7065 0 0 0 1268 0 0 0 25 0 4 0 108011188 301289472 24997 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=294228 CPUtime=12.57 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 12084 0 0 0 1255 2 0 0 25 0 4 0 108011188 301289472 24997 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 294228

[startup+25.5005 s]
/proc/loadavg: 5.27 4.83 6.18 9/302 3471
/proc/meminfo: memFree=15700056/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=305240 CPUtime=101.74 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 60320 0 0 0 10161 13 0 0 25 0 4 0 108011188 312565760 29521 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 76310 29521 379 95 0 71292 0
[pid=3467/tid=3468] ppid=3465 vsize=305240 CPUtime=25.49 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 17055 0 0 0 2546 3 0 0 25 0 4 0 108011188 312565760 29521 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=305240 CPUtime=25.49 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 8792 0 0 0 2548 1 0 0 25 0 4 0 108011188 312565760 29521 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=305240 CPUtime=25.25 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 15492 0 0 0 2522 3 0 0 25 0 4 0 108011188 312565760 29521 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 305240

[startup+51.1012 s]
/proc/loadavg: 6.03 5.04 6.21 9/302 3506
/proc/meminfo: memFree=15630800/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=288492 CPUtime=203.91 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 88140 0 0 0 20371 20 0 0 25 0 4 0 108011188 295415808 38117 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 72123 38117 379 95 0 67105 0
[pid=3467/tid=3468] ppid=3465 vsize=288492 CPUtime=51.09 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 25030 0 0 0 5103 6 0 0 25 0 4 0 108011188 295415808 38117 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=288492 CPUtime=51.09 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 16561 0 0 0 5106 3 0 0 25 0 4 0 108011188 295415808 38117 33554432000 4194304 4580107 140735957092160 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=288492 CPUtime=50.62 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 21178 0 0 0 5058 4 0 0 25 0 4 0 108011188 295415808 38117 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 288492

[startup+102.311 s]
/proc/loadavg: 7.31 5.57 6.32 9/302 3507
/proc/meminfo: memFree=15551632/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=311724 CPUtime=408.27 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 123107 0 0 0 40793 34 0 0 25 0 4 0 108011188 319205376 47121 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 77931 47121 379 95 0 72913 0
[pid=3467/tid=3468] ppid=3465 vsize=311724 CPUtime=102.3 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 35868 0 0 0 10220 10 0 0 25 0 4 0 108011188 319205376 47121 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=311724 CPUtime=102.29 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 25228 0 0 0 10223 6 0 0 25 0 4 0 108011188 319205376 47121 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=311724 CPUtime=101.36 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 29112 0 0 0 10129 7 0 0 25 0 4 0 108011188 319205376 47121 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 311724

[startup+162.3 s]

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

[pid=3467] ppid=3465 vsize=574352 CPUtime=2802.64 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 419170 0 0 0 280098 166 0 0 25 0 4 0 108011188 588136448 95766 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 143588 95766 379 95 0 138570 0
[pid=3467/tid=3468] ppid=3465 vsize=574352 CPUtime=702.3 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 101068 0 0 0 70191 39 0 0 25 0 4 0 108011188 588136448 95766 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=574352 CPUtime=702.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 83467 0 0 0 70192 38 0 0 25 0 4 0 108011188 588136448 95766 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=574352 CPUtime=695.84 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 112698 0 0 0 69538 46 0 0 25 0 4 0 108011188 588136448 95766 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.64
Current children cumulated vsize (KiB) 574352

[startup+762.311 s]
/proc/loadavg: 8.19 7.89 7.25 9/302 3526
/proc/meminfo: memFree=15145188/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=639060 CPUtime=3042.14 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 449758 0 0 0 304033 181 0 0 25 0 4 0 108011188 654397440 106938 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 159765 106938 379 95 0 154747 0
[pid=3467/tid=3468] ppid=3465 vsize=639060 CPUtime=762.32 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 108264 0 0 0 76189 43 0 0 25 0 4 0 108011188 654397440 106938 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=639060 CPUtime=762.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 90836 0 0 0 76189 41 0 0 25 0 4 0 108011188 654397440 106938 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=639060 CPUtime=755.29 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 120565 0 0 0 75480 49 0 0 25 0 4 0 108011188 654397440 106938 33554432000 4194304 4580107 140735957092160 18446744073709551615 4295702 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.14
Current children cumulated vsize (KiB) 639060

[startup+822.301 s]
/proc/loadavg: 8.11 7.92 7.30 9/302 3528
/proc/meminfo: memFree=15159428/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=601432 CPUtime=3281.55 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 473920 0 0 0 327962 193 0 0 25 0 4 0 108011188 615866368 101622 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 150358 101622 379 95 0 145340 0
[pid=3467/tid=3468] ppid=3465 vsize=601432 CPUtime=822.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 113903 0 0 0 82185 46 0 0 25 0 4 0 108011188 615866368 101622 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=601432 CPUtime=822.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 94181 0 0 0 82187 43 0 0 25 0 4 0 108011188 615866368 101622 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=601432 CPUtime=814.74 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 128201 0 0 0 81420 54 0 0 25 0 4 0 108011188 615866368 101622 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.55
Current children cumulated vsize (KiB) 601432

[startup+882.301 s]
/proc/loadavg: 8.08 7.94 7.35 9/302 3530
/proc/meminfo: memFree=15091100/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=640276 CPUtime=3520.97 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 504523 0 0 0 351891 206 0 0 25 0 4 0 108011188 655642624 112042 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294704 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 160069 112042 379 95 0 155051 0
[pid=3467/tid=3468] ppid=3465 vsize=640276 CPUtime=882.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 124415 0 0 0 88182 49 0 0 25 0 4 0 108011188 655642624 112042 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=640276 CPUtime=882.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 97513 0 0 0 88185 45 0 0 25 0 4 0 108011188 655642624 112042 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=640276 CPUtime=874.17 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 137690 0 0 0 87359 58 0 0 25 0 4 0 108011188 655642624 112042 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.97
Current children cumulated vsize (KiB) 640276

[startup+942.3 s]
/proc/loadavg: 8.13 7.98 7.39 9/302 3536
/proc/meminfo: memFree=15080916/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=619644 CPUtime=3760.41 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 531464 0 0 0 375821 220 0 0 25 0 4 0 108011188 634515456 114147 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 154911 114147 379 95 0 149893 0
[pid=3467/tid=3468] ppid=3465 vsize=619644 CPUtime=942.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 131516 0 0 0 94178 53 0 0 25 0 4 0 108011188 634515456 114147 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=619644 CPUtime=942.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 103370 0 0 0 94182 48 0 0 25 0 4 0 108011188 634515456 114147 33554432000 4194304 4580107 140735957092160 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=619644 CPUtime=933.62 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 144549 0 0 0 93300 62 0 0 25 0 4 0 108011188 634515456 114147 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.41
Current children cumulated vsize (KiB) 619644

[startup+1002.3 s]
/proc/loadavg: 8.14 8.01 7.44 9/302 3537
/proc/meminfo: memFree=15061320/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=724796 CPUtime=3999.86 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 559677 0 0 0 399750 236 0 0 25 0 4 0 108011188 742191104 117284 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 181199 117284 379 95 0 176181 0
[pid=3467/tid=3468] ppid=3465 vsize=724796 CPUtime=1002.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 139346 0 0 0 100174 57 0 0 25 0 4 0 108011188 742191104 117284 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=724796 CPUtime=1002.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 108880 0 0 0 100179 51 0 0 25 0 4 0 108011188 742191104 117284 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=724796 CPUtime=993.08 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 151831 0 0 0 99242 66 0 0 25 0 4 0 108011188 742191104 117284 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.86
Current children cumulated vsize (KiB) 724796

[startup+1062.3 s]
/proc/loadavg: 8.18 8.04 7.48 9/302 3539
/proc/meminfo: memFree=15039604/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=685884 CPUtime=4239.29 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 588471 0 0 0 423682 247 0 0 25 0 4 0 108011188 702345216 123671 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 171471 123671 379 95 0 166453 0
[pid=3467/tid=3468] ppid=3465 vsize=685884 CPUtime=1062.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 148218 0 0 0 106172 59 0 0 25 0 4 0 108011188 702345216 123671 33554432000 4194304 4580107 140735957092160 18446744073709551615 4416524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=685884 CPUtime=1062.29 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 115247 0 0 0 106175 54 0 0 25 0 4 0 108011188 702345216 123671 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=685884 CPUtime=1052.52 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 158422 0 0 0 105184 68 0 0 25 0 4 0 108011188 702345216 123671 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.29
Current children cumulated vsize (KiB) 685884

[startup+1122.3 s]
/proc/loadavg: 8.12 8.05 7.52 9/302 3541
/proc/meminfo: memFree=15031040/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=695460 CPUtime=4478.72 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 615302 0 0 0 447610 262 0 0 25 0 4 0 108011188 712151040 125958 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 173865 125958 379 95 0 168847 0
[pid=3467/tid=3468] ppid=3465 vsize=695460 CPUtime=1122.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 153697 0 0 0 112168 63 0 0 25 0 4 0 108011188 712151040 125958 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=695460 CPUtime=1122.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 121557 0 0 0 112172 58 0 0 25 0 4 0 108011188 712151040 125958 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=695460 CPUtime=1111.96 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 167027 0 0 0 111124 72 0 0 25 0 4 0 108011188 712151040 125958 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.72
Current children cumulated vsize (KiB) 695460

[startup+1182.3 s]
/proc/loadavg: 8.09 8.05 7.55 9/302 3543
/proc/meminfo: memFree=14991364/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=854648 CPUtime=4718.18 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 636421 0 0 0 471544 274 0 0 25 0 4 0 108011188 875159552 131701 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 213662 131701 379 95 0 208644 0
[pid=3467/tid=3468] ppid=3465 vsize=854648 CPUtime=1182.31 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 159161 0 0 0 118165 66 0 0 25 0 4 0 108011188 875159552 131701 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=854648 CPUtime=1182.3 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 123609 0 0 0 118171 59 0 0 25 0 4 0 108011188 875159552 131701 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=854648 CPUtime=1171.41 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 173818 0 0 0 117066 75 0 0 25 0 4 0 108011188 875159552 131701 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.18
Current children cumulated vsize (KiB) 854648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.06 8.05 7.56 9/302 3543
/proc/meminfo: memFree=14983924/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=761180 CPUtime=4800.39 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 643898 0 0 0 479762 277 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 190295 138137 379 95 0 185277 0
[pid=3467/tid=3468] ppid=3465 vsize=761180 CPUtime=1202.92 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 162054 0 0 0 120225 67 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=761180 CPUtime=1202.91 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 123968 0 0 0 120232 59 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=761180 CPUtime=1191.83 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 176268 0 0 0 119107 76 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 761180

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

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

[startup+1202.9 s]
/proc/loadavg: 8.06 8.05 7.56 9/302 3543
/proc/meminfo: memFree=14983924/32950928 swapFree=67111364/67111528
[pid=3467] ppid=3465 vsize=761180 CPUtime=4800.39 cores=1,3,5,7
/proc/3467/stat : 3467 (strangenight2-m) R 3465 3467 2853 0 -1 4202496 643898 0 0 0 479762 277 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3467/statm: 190295 138137 379 95 0 185277 0
[pid=3467/tid=3468] ppid=3465 vsize=761180 CPUtime=1202.92 cores=1,3,5,7
/proc/3467/task/3468/stat : 3468 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 162054 0 0 0 120225 67 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=3467/tid=3469] ppid=3465 vsize=761180 CPUtime=1202.91 cores=1,3,5,7
/proc/3467/task/3469/stat : 3469 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 123968 0 0 0 120232 59 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=3467/tid=3470] ppid=3465 vsize=761180 CPUtime=1191.83 cores=1,3,5,7
/proc/3467/task/3470/stat : 3470 (strangenight2-m) R 3465 3467 2853 0 -1 4202560 176268 0 0 0 119107 76 0 0 25 0 4 0 108011188 779448320 138137 33554432000 4194304 4580107 140735957092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 761180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.94
CPU time (s): 4800.47
CPU user time (s): 4797.66
CPU system time (s): 2.80357
CPU usage (%): 399.061
Max. virtual memory (cumulated for all children) (KiB): 857500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.80357
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 643899
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= 244
involuntary context switches= 34406

runsolver used 3.14052 second user time and 7.92879 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-14 22:13:38
IDJOB=3366423
IDBENCH=82832
IDSOLVER=1844
FILE ID=node112/3366423-1305404018
RUNJOBID= node112-1305404018-3444
PBS_JOBID= 13324474
Free space on /tmp= 73560 MiB

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

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

MD5SUM BENCH= b15e29d3a1300cd412b2c819b5ccc2fa
RANDOM SEED=1984329869

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15879788 kB
Buffers:        289628 kB
Cached:        2784656 kB
SwapCached:          0 kB
Active:       15072364 kB
Inactive:      1760212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15879788 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           10976 kB
Writeback:           0 kB
AnonPages:    13758500 kB
Mapped:          21236 kB
Slab:           133096 kB
PageTables:      42228 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 35074224 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= 73552 MiB
End job on node112 at 2011-05-14 22:33:43