Trace number 3174014

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.44 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174014-1304076770.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.02/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.02/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.02/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.02/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.02/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.02/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
0.02/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.02/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.02/0.02	c calculated reachability. Time: 0.00
0.02/0.02	c Calc default polars -  time:   0.00 s pos:     270 undec:      67 neg:     263
0.02/0.02	c =========================================================================================
0.02/0.02	c types(t): F = full restart, N = normal restart
0.02/0.02	c types(t): S = simplification begin/end, E = solution found
0.02/0.02	c restart types(rt): st = static, dy = dynamic
0.02/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.02/0.02	c  B st     0         0       582      2539         0         0      7719         0   no data   no data
0.02/0.09	c Decided on static restart strategy
0.42/0.17	c  N st     8      4915       582      2539         0      4858      7719    133643   no data   no data
1.57/0.43	c  N st    10     11298       582      2539         0      4483      7719     82813   no data   no data
2.77/0.72	c  N st    11     17043       582      2539         0     10166      7719    251166   no data   no data
4.39/1.17	c  F st    12     25000       582      2539         0     12400      7719    291057   no data   no data
4.39/1.17	c  N st    12     25000       582      2539         0     12400      7719    291057   no data   no data
5.57/1.44	c  N dy    18     30000       582      2539         0     10686      7719    224275   no data   no data
5.57/1.44	c  S st    18     30000       582      2539         0     10686      7719    224275   no data   no data
5.57/1.47	c  S st    18     30507       582      2539         0     11191      7719    236705   no data   no data
5.57/1.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.48	c blocked clauses removed:       10 vars:      2 tried:         582 T: 0.00 s
5.57/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
5.57/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c lits-rem:        82  cl-subs:      432  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.55	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
5.97/1.55	c calculated reachability. Time: 0.00
5.97/1.55	c  N dy    18     30507       580      2529         0     10758      7689    224289   no data   no data
7.16/1.87	c  N dy    32     35765       580      2529         0      8145      7689    112942     17.29     18.29
7.96/2.09	c  N dy    49     40165       580      2529         0     12503      7689    222474     17.17     18.31
9.16/2.38	c  N dy    67     44573       580      2529         0     16862      7689    330861     17.14     18.10
9.56/2.47	c  S st    69     45762       580      2529         0      9188      7689    111818     17.07     15.29
9.56/2.50	c  S st    69     46265       580      2529         0      9687      7689    124616     17.07   no data
9.56/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
9.96/2.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.51	c lits-rem:         8  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.51	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
9.96/2.52	c vivif2 --  cl tried     9660 cl shrink        0 lits rem          0 time: 0.00
9.96/2.52	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
9.96/2.52	c calculated reachability. Time: 0.00
9.96/2.52	c  N dy    69     46265       580      2529         0      9660      7689    123829     17.07   no data
10.76/2.75	c  N dy    79     50443       580      2529         0     13803      7689    226512     16.94     17.86
11.97/3.04	c  N dy    93     54766       580      2529         0     18057      7689    329431     16.94     17.93
13.18/3.31	c  N dy   102     58946       580      2529         0     12328      7689    167252     16.84     17.78
13.96/3.59	c  N dy   129     63393       580      2529         0     16732      7689    276388     16.92     17.84
15.56/3.91	c  N dy   150     67486       580      2529         0     20780      7689    376742     16.97     17.91
15.96/4.05	c  S st   155     69400       580      2529         0     11810      7689    132948     16.91     16.31
15.96/4.08	c  S st   155     69903       580      2529         0     12311      7689    145834     16.91   no data
15.96/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.96/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
15.96/4.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.96/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.11	c lits-rem:        13  cl-subs:       39  v-elim:      0  v-fix:    0  time:  0.01 s
16.36/4.11	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
16.36/4.11	c vivif2 --  cl tried    12272 cl shrink        0 lits rem          0 time: 0.00
16.36/4.12	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
16.36/4.12	c calculated reachability. Time: 0.00
16.36/4.12	c  N dy   155     69903       580      2529         0     12272      7689    144761     16.91   no data
17.58/4.41	c  N dy   171     74427       580      2529         0     16734      7689    254988     16.88     17.77
18.75/4.77	c  N dy   192     79196       580      2529         0     21457      7689    373555     16.89     18.25
20.35/5.16	c  N dy   213     84326       580      2529         0     14680      7689    185916     16.90     17.84
21.14/5.38	c  F st   231     87500       580      2529         0     17828      7689    264320     16.93   no data
22.34/5.62	c  N st   236     90796       580      2529         0     21092      7689    352385     16.93   no data
22.74/5.77	c Decided on static restart strategy
25.15/6.33	c  N st   239     99805       580      2529         0     17139      7689    368489     16.93   no data
26.74/6.74	c  S st   240    104854       580      2529         0     22098      7689    513934     16.93   no data
27.14/6.80	c  S st   240    105361       580      2529         0     22604      7689    527610     16.93   no data
27.14/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.14/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.14/6.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.14/6.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.14/6.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
27.14/6.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.14/6.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.14/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.06	c lits-rem:       133  cl-subs:      826  v-elim:      0  v-fix:    0  time:  0.22 s
27.93/7.06	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
27.93/7.06	c vivif2 --  cl tried    21778 cl shrink        0 lits rem          0 time: 0.01
27.93/7.08	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
27.93/7.08	c calculated reachability. Time: 0.00
27.93/7.08	c  N st   240    105361       580      2529         0     21778      7689    500125     16.93   no data
31.54/7.98	c  N st   241    114960       580      2529         0     17418      7689    312139     16.93   no data
37.13/9.36	c  N st   242    129357       580      2529         0     16870      7689    311306     16.93   no data
45.12/11.36	c  N st   243    150955       580      2529         0     22404      7689    417696     16.93   no data
47.93/12.02	c  S st   244    158042       580      2529         0     29355      7689    615779     16.93   no data
47.93/12.10	c  S st   244    158549       580      2529         0     29861      7689    628321     16.93   no data
47.93/12.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.34/12.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.34/12.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.34/12.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.34/12.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.34/12.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
48.34/12.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.34/12.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.34/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.53	c lits-rem:       256  cl-subs:     1023  v-elim:      0  v-fix:    0  time:  0.39 s
49.91/12.53	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
49.91/12.53	c vivif2 --  cl tried    28838 cl shrink        0 lits rem          0 time: 0.01
49.91/12.55	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
49.91/12.55	c calculated reachability. Time: 0.00
49.91/12.55	c  N st   244    158549       580      2529         0     28838      7689    596073     16.93   no data
69.09/17.32	c  N st   245    207137       580      2529         0     23464      7689    398755     16.93   no data
82.67/20.73	c  N st   246    237825       580      2529         0     34038      7689    667024     16.93   no data
82.67/20.73	c  S st   246    237825       580      2529         0     34038      7689    667024     16.93   no data
83.09/20.82	c  S st   246    238331       580      2529         0     34543      7689    679780     16.93   no data
83.09/20.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.09/20.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.09/20.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.09/20.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.09/20.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.09/20.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
83.09/20.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.09/20.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.09/20.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.47/21.41	c lits-rem:       119  cl-subs:     1241  v-elim:      0  v-fix:    0  time:  0.55 s
85.47/21.41	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
85.47/21.42	c vivif2 --  cl tried    33302 cl shrink        0 lits rem          0 time: 0.01
85.47/21.45	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
85.47/21.45	c calculated reachability. Time: 0.00
85.47/21.45	c  N st   246    238331       580      2529         0     33302      7689    643670     16.93   no data
117.43/29.47	c  F st   247    306251       580      2529         0     35067      7689    635015     16.93   no data
117.43/29.47	c  N st   247    306251       580      2529         0     35067      7689    635015     16.93   no data
128.61/32.20	c  N dy   308    325801       580      2529         0     30763      7689    427495     16.98     18.98
142.20/35.62	c  N dy   406    349155       580      2529         0     29175      7689    359449     16.98     18.14
146.19/36.63	c  S st   424    357496       580      2529         0     37375      7689    557064     16.92     16.45
146.59/36.72	c  S st   424    357998       580      2529         0     37877      7689    569420     16.92   no data
146.59/36.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.59/36.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.59/36.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.59/36.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.59/36.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.59/36.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
146.59/36.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.59/36.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.59/36.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.38/36.97	c lits-rem:       110  cl-subs:      929  v-elim:      0  v-fix:    0  time:  0.21 s
147.38/36.97	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
147.38/36.98	c vivif2 --  cl tried    36948 cl shrink        0 lits rem          0 time: 0.01
147.78/37.01	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
147.78/37.01	c calculated reachability. Time: 0.00
147.78/37.01	c  N dy   424    357998       580      2529         0     36948      7689    547277     16.92   no data
161.37/40.44	c  N dy   548    381152       580      2529         0     34185      7689    451942     17.04     17.95
174.96/43.85	c  N dy   658    401300       580      2529         0     27468      7689    262656     17.15     18.11
186.54/46.74	c  N dy   756    421318       580      2529         0     47238      7689    767506     17.23     18.48
198.92/49.85	c  N dy   853    441424       580      2529         0     39447      7689    540817     17.27     18.29
213.31/53.47	c  N dy   946    461495       580      2529         0     30633      7689    293612     17.30     18.28
225.69/56.55	c  N dy  1025    481520       580      2529         0     50438      7689    795019     17.31     18.85
238.87/59.89	c  N dy  1080    501572       580      2529         0     40540      7689    515446     17.26     18.26
253.65/63.59	c  N dy  1159    521625       580      2529         0     60318      7689   1015238     17.24     18.16
262.84/65.90	c  S st  1244    536997       580      2529         0     44927      7689    616133     17.28     16.24
263.66/66.01	c  S st  1244    537501       580      2529         0     45430      7689    629892     17.28   no data
263.66/66.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.66/66.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.66/66.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.66/66.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.66/66.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.66/66.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
263.66/66.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.66/66.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.66/66.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.83/66.32	c lits-rem:       195  cl-subs:      720  v-elim:      0  v-fix:    0  time:  0.26 s
264.83/66.32	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
264.83/66.33	c vivif2 --  cl tried    44710 cl shrink        0 lits rem          0 time: 0.01
264.83/66.36	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
264.83/66.36	c calculated reachability. Time: 0.00
264.83/66.36	c  N dy  1244    537501       580      2529         0     44710      7689    610445     17.28   no data
280.41/70.26	c  N dy  1299    558365       580      2529         0     33684      7689    307843     17.25     18.36
294.01/73.62	c  N dy  1394    578736       580      2529         0     53817      7689    824497     17.27     18.27
308.78/77.33	c  N dy  1473    599523       580      2529         0     41757      7689    493022     17.27     18.29
329.16/82.46	c  N dy  1533    627173       580      2529         0     35413      7689    310449     17.18     18.23
341.94/85.68	c  N dy  1593    647392       580      2529         0     55382      7689    813921     17.18     18.14
359.12/89.98	c  N dy  1729    667483       580      2529         0     40717      7689    436369     17.23     24.05
373.89/93.68	c  N dy  1791    687554       580      2529         0     60550      7689    938991     17.21     18.41
391.47/98.06	c  N dy  1903    707580       580      2529         0     44841      7689    517882     17.23     18.16
408.26/102.28	c  N dy  2026    727622       580      2529         0     64651      7689   1024221     17.27     21.36
425.02/106.42	c  N dy  2085    748472       580      2529         0     48641      7689    587537     17.26     18.17
442.60/110.86	c  N dy  2176    768542       580      2529         0     68467      7689   1096437     17.27     18.23
458.58/114.89	c  N dy  2247    788575       580      2529         0     50673      7689    616620     17.27     18.82
472.56/118.35	c  S st  2285    806252       580      2529         0     68118      7689   1059076     17.23   no data
473.36/118.53	c  S st  2285    806753       580      2529         0     68618      7689   1072419     17.23   no data
473.36/118.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
473.36/118.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
473.36/118.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
473.36/118.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
473.36/118.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.36/118.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
473.36/118.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
473.36/118.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
473.76/118.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.96/119.48	c lits-rem:       308  cl-subs:     1936  v-elim:      0  v-fix:    0  time:  0.86 s
476.96/119.48	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
476.96/119.49	c vivif2 --  cl tried    66682 cl shrink        0 lits rem          0 time: 0.01
477.36/119.55	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.06
477.36/119.56	c calculated reachability. Time: 0.00
477.36/119.56	c  N dy  2285    806753       580      2529         0     66682      7689   1025022     17.23   no data
494.93/123.94	c  N dy  2367    826776       580      2529         0     47980      7689    532218     17.24     18.17
514.51/128.84	c  N dy  2459    848119       580      2529         0     69039      7689   1068679     17.25     18.16
532.88/133.42	c  N dy  2566    868138       580      2529         0     49319      7689    543439     17.27     21.41
551.27/138.00	c  N dy  2690    888238       580      2529         0     69185      7689   1059824     17.30     18.95
570.43/142.86	c  N dy  2786    908299       580      2529         0     48505      7689    510249     17.31     19.10
588.01/147.30	c  N dy  2883    928315       580      2529         0     68316      7689   1023282     17.33     18.27
609.58/152.60	c  N dy  3000    948381       580      2529         0     46642      7689    439856     17.35     18.30
626.76/156.90	c  N dy  3085    968813       580      2529         0     66825      7689    953407     17.36     18.33
650.34/162.88	c  N dy  3209    989043       580      2529         0     44342      7689    362066     17.39     18.57
666.31/166.87	c  N dy  3299   1009066       580      2529         0     64062      7689    862457     17.39     19.04
690.27/172.84	c  N dy  3397   1029153       580      2529         0     83871      7689   1363445     17.40     18.40
708.25/177.36	c  N dy  3413   1050824       580      2529         0     61666      7689    749911     17.34     18.28
730.22/182.85	c  N dy  3490   1071004       580      2529         0     81534      7689   1242887     17.33     18.30
731.42/183.13	c  F st  3495   1071875       580      2529         0     82390      7689   1264068     17.33     14.92
737.01/184.51	c Decided on static restart strategy
753.79/188.79	c  N st  3505   1100180       580      2529         0     65927      7689   1030399     17.33   no data
787.74/197.25	c  N st  3507   1136174       580      2529         0     56008      7689    938611     17.33   no data
815.70/204.28	c  N st  3508   1168566       580      2529         0     87747      7689   1828418     17.33   no data
851.26/213.14	c  N st  3509   1210130       580      2529         0     82356      7689   1712295     17.33   no data
851.26/213.14	c  S st  3509   1210130       580      2529         0     82356      7689   1712295     17.33   no data
852.08/213.39	c  S st  3509   1210633       580      2529         0     82858      7689   1724985     17.33   no data
852.08/213.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
852.48/213.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
852.48/213.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
852.48/213.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
852.48/213.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
852.48/213.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
852.48/213.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
852.48/213.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
852.85/213.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
884.01/221.33	c lits-rem:       598  cl-subs:     4942  v-elim:      0  v-fix:    0  time:  7.81 s
884.01/221.33	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
884.01/221.35	c vivif2 --  cl tried    77916 cl shrink        0 lits rem          0 time: 0.02
884.41/221.47	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.11
884.41/221.47	c calculated reachability. Time: 0.00
884.41/221.47	c  N st  3509   1210633       580      2529         0     77916      7689   1591546     17.33   no data
965.90/241.88	c  N st  3510   1283515       580      2529         0     54397      7689    796815     17.33   no data
1083.35/271.21	c  N st  3511   1392838       580      2529         0     62533      7689    952015     17.33   no data
1234.77/309.11	c  N st  3512   1556823       580      2529         0     67342      7689   1014687     17.33   no data
1398.92/350.24	c  N st  3513   1710633       580      2529         0    109027      7689   2074072     17.33   no data
1398.92/350.24	c  S st  3513   1710633       580      2529         0    109027      7689   2074072     17.33   no data
1400.12/350.59	c  S st  3513   1711138       580      2529         0    109532      7689   2087134     17.33   no data
1400.52/350.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1400.52/350.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1400.52/350.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1400.52/350.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1400.52/350.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.52/350.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
1400.52/350.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1400.52/350.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1400.93/350.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1465.23/366.80	c lits-rem:      1028  cl-subs:     8188  v-elim:      0  v-fix:    0  time: 16.05 s
1465.23/366.80	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1465.23/366.83	c vivif2 --  cl tried   101344 cl shrink        0 lits rem          0 time: 0.03
1465.63/366.95	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
1465.63/366.96	c calculated reachability. Time: 0.00
1465.63/366.96	c  N st  3513   1711138       580      2529         0    101344      7689   1879976     17.33   no data
1860.31/465.77	c  N st  3514   2080104       580      2529         0    113271      7689   2185607     17.33   no data
2006.51/502.36	c  N st  3515   2211139       580      2529         0    117269      7689   2261664     17.33   no data
2006.51/502.36	c  S st  3515   2211139       580      2529         0    117269      7689   2261664     17.33   no data
2008.13/502.73	c  S st  3515   2211648       580      2529         0    117776      7689   2275350     17.33   no data
2008.13/502.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2008.50/502.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2008.50/502.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2008.50/502.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2008.50/502.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2008.50/502.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
2008.50/502.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2008.50/502.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2008.90/502.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2066.43/517.37	c lits-rem:       643  cl-subs:     6229  v-elim:      0  v-fix:    0  time: 14.46 s
2066.43/517.37	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2066.83/517.40	c vivif2 --  cl tried   111547 cl shrink        0 lits rem          0 time: 0.03
2067.23/517.53	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.13
2067.23/517.53	c calculated reachability. Time: 0.00
2067.23/517.53	c  N st  3515   2211648       580      2529         0    111547      7689   2102418     17.33   no data
2624.48/657.06	c  N st  3516   2711649       580      2529         0    134807      7689   2610692     17.33   no data
2624.48/657.06	c  S st  3516   2711649       580      2529         0    134807      7689   2610692     17.33   no data
2626.48/657.53	c  S st  3516   2712152       580      2529         0    135310      7689   2623716     17.33   no data
2626.48/657.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2626.88/657.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2626.88/657.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2626.88/657.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2626.88/657.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2626.88/657.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
2626.88/657.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2626.88/657.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2627.29/657.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2751.51/688.86	c lits-rem:      1666  cl-subs:    11643  v-elim:      0  v-fix:    0  time: 31.13 s
2751.51/688.86	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2751.51/688.89	c vivif2 --  cl tried   123667 cl shrink        0 lits rem          0 time: 0.03
2752.31/689.03	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.14
2752.31/689.04	c calculated reachability. Time: 0.00
2752.31/689.04	c  N st  3516   2712152       580      2529         0    123667      7689   2314363     17.33   no data
3388.25/848.27	c  N st  3517   3212152       580      2529         0     99338      7689   1387102     17.33   no data
3388.25/848.27	c  S st  3517   3212152       580      2529         0     99338      7689   1387102     17.33   no data
3389.85/848.70	c  S st  3517   3212653       580      2529         0     99838      7689   1400655     17.33   no data
3390.25/848.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3390.25/848.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.08
3390.25/848.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3390.25/848.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3390.25/848.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3390.25/848.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
3390.25/848.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3390.65/848.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3390.65/848.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3426.20/857.72	c lits-rem:       309  cl-subs:     4230  v-elim:      0  v-fix:    0  time:  8.84 s
3426.20/857.72	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
3426.20/857.75	c vivif2 --  cl tried    95608 cl shrink        0 lits rem          0 time: 0.03
3427.02/857.92	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.17
3427.02/857.93	c calculated reachability. Time: 0.00
3427.02/857.93	c  N st  3517   3212653       580      2529         0     95608      7689   1299891     17.33   no data
4146.03/1037.96	c  N st  3518   3712653       580      2529         0    106404      7689   1458463     17.33   no data
4146.03/1037.96	c  S st  3518   3712653       580      2529         0    106404      7689   1458463     17.33   no data
4147.23/1038.30	c  S st  3518   3713159       580      2529         0    106909      7689   1471266     17.33   no data
4147.64/1038.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4147.64/1038.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4147.64/1038.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4147.64/1038.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4147.64/1038.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4147.64/1038.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    580 time:  0.00 s
4147.64/1038.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4147.64/1038.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4148.05/1038.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4164.00/1042.40	c lits-rem:       292  cl-subs:     4678  v-elim:      0  v-fix:    0  time:  3.97 s
4164.00/1042.40	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
4164.00/1042.42	c vivif2 --  cl tried   102231 cl shrink        0 lits rem          0 time: 0.02
4164.40/1042.54	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.11
4164.40/1042.54	c calculated reachability. Time: 0.00
4164.40/1042.54	c  N st  3518   3713159       580      2529         0    102231      7689   1357531     17.33   no data
4231.13/1059.22	c  F st  3519   3751562       580      2529         0    139901      7689   2421114     17.33   no data
4231.13/1059.23	c  N st  3519   3751562       580      2529         0    139901      7689   2421114     17.33   no data
4248.71/1063.68	c Decided on static restart strategy
4305.41/1077.81	c  N st  3529   3779862       580      2529         0     84817      7689    864415     17.33   no data
4355.74/1090.48	c  N st  3531   3815859       580      2529         0    120123      7689   1828499     17.33   no data
4410.88/1104.28	c  N st  3532   3848252       580      2529         0    151901      7689   2719053     17.33   no data
4483.57/1122.46	c  N st  3533   3896841       580      2529         0    115237      7689   1627214     17.33   no data
4588.22/1148.63	c  N st  3534   3969723       580      2529         0    101515      7689   1267427     17.33   no data
4760.81/1191.88	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: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174014-1304076770/watcher-3174014-1304076770 -o /tmp/evaluation-result-3174014-1304076770/solver-3174014-1304076770 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174014-1304076770.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 5.34 6.64 6.77 5/180 24707
/proc/meminfo: memFree=30812280/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 519274092 52441088 347 33554432000 4194304 4627427 140736873690928 18446744073709551615 47508630636464 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 12803 347 299 106 0 7774 0
[pid=24707/tid=24708] ppid=24705 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519274092 52441088 347 33554432000 4194304 4627427 140736873690928 18446744073709551615 47508630636466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519274092 52441088 347 33554432000 4194304 4627427 140736873690928 18446744073709551615 239476751345 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519274092 52441088 347 33554432000 4194304 4627427 140736873690928 18446744073709551615 47508630636460 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0116979 s]
/proc/loadavg: 5.34 6.64 6.77 5/180 24707
/proc/meminfo: memFree=30812280/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=282052 CPUtime=0.02 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 1037 0 0 0 2 0 0 0 25 0 4 0 519274092 288821248 950 33554432000 4194304 4627427 140736873690928 18446744073709551615 239476391691 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 70513 951 370 106 0 65484 0
[pid=24707/tid=24708] ppid=24705 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 208 0 0 0 0 0 0 0 18 0 4 0 519274092 288821248 954 33554432000 4194304 4627427 140736873690928 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 140 0 0 0 0 0 0 0 25 0 4 0 519274092 288821248 954 33554432000 4194304 4627427 140736873690928 18446744073709551615 239476355781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) S 24705 24707 23667 0 -1 4202560 112 0 0 0 0 0 0 0 25 0 4 0 519274092 288821248 954 33554432000 4194304 4627427 140736873690928 18446744073709551615 239476799982 0 0 4096 2 18446604453937234304 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 282052

[startup+0.113553 s]
/proc/loadavg: 5.34 6.64 6.77 5/180 24707
/proc/meminfo: memFree=30812280/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=282624 CPUtime=0.42 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 1875 0 0 0 42 0 0 0 25 0 4 0 519274092 289406976 1726 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 70656 1726 384 106 0 65627 0
[pid=24707/tid=24708] ppid=24705 vsize=282624 CPUtime=0.1 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 431 0 0 0 10 0 0 0 18 0 4 0 519274092 289406976 1726 33554432000 4194304 4627427 140736873690928 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=282624 CPUtime=0.1 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 405 0 0 0 10 0 0 0 25 0 4 0 519274092 289406976 1726 33554432000 4194304 4627427 140736873690928 18446744073709551615 4321620 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=282624 CPUtime=0.1 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 238 0 0 0 10 0 0 0 18 0 4 0 519274092 289406976 1726 33554432000 4194304 4627427 140736873690928 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 282624

[startup+0.300518 s]
/proc/loadavg: 5.34 6.64 6.77 5/180 24707
/proc/meminfo: memFree=30812280/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=284060 CPUtime=1.17 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 2967 0 0 0 117 0 0 0 25 0 4 0 519274092 290877440 2180 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 71015 2180 385 106 0 65986 0
[pid=24707/tid=24708] ppid=24705 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 704 0 0 0 29 0 0 0 18 0 4 0 519274092 290877440 2180 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 668 0 0 0 29 0 0 0 25 0 4 0 519274092 290877440 2180 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 524 0 0 0 29 0 0 0 18 0 4 0 519274092 290877440 2181 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284060

[startup+0.700442 s]
/proc/loadavg: 5.34 6.64 6.77 5/180 24707
/proc/meminfo: memFree=30812280/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=285180 CPUtime=2.77 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 4659 0 0 0 277 0 0 0 25 0 4 0 519274092 292024320 2899 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 71295 2899 385 106 0 66266 0
[pid=24707/tid=24708] ppid=24705 vsize=285180 CPUtime=0.69 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1139 0 0 0 69 0 0 0 18 0 4 0 519274092 292024320 2900 33554432000 4194304 4627427 140736873690928 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=285180 CPUtime=0.69 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1114 0 0 0 69 0 0 0 25 0 4 0 519274092 292024320 2900 33554432000 4194304 4627427 140736873690928 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=285180 CPUtime=0.69 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 928 0 0 0 69 0 0 0 18 0 4 0 519274092 292024320 2900 33554432000 4194304 4627427 140736873690928 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285180

[startup+1.50029 s]
/proc/loadavg: 5.34 6.64 6.77 9/184 24711
/proc/meminfo: memFree=30794268/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=286692 CPUtime=5.97 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 9398 0 0 0 596 1 0 0 25 0 4 0 519274092 293572608 4905 33554432000 4194304 4627427 140736873690928 18446744073709551615 4420136 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 71673 4905 389 106 0 66644 0
[pid=24707/tid=24708] ppid=24705 vsize=286692 CPUtime=1.49 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1948 0 0 0 149 0 0 0 20 0 4 0 519274092 293572608 4905 33554432000 4194304 4627427 140736873690928 18446744073709551615 4321507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=286692 CPUtime=1.48 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1919 0 0 0 148 0 0 0 25 0 4 0 519274092 293572608 4905 33554432000 4194304 4627427 140736873690928 18446744073709551615 4249224 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=286692 CPUtime=1.49 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 1784 0 0 0 149 0 0 0 19 0 4 0 519274092 293572608 4905 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286692

[startup+3.10099 s]
/proc/loadavg: 5.56 6.67 6.78 10/184 24711
/proc/meminfo: memFree=30777776/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=293868 CPUtime=12.37 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 18174 0 0 0 1234 3 0 0 25 0 4 0 519274092 300920832 10195 33554432000 4194304 4627427 140736873690928 18446744073709551615 4333109 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 73467 10195 389 106 0 68438 0
[pid=24707/tid=24708] ppid=24705 vsize=293868 CPUtime=3.09 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 4495 0 0 0 308 1 0 0 25 0 4 0 519274092 300920832 10195 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=293868 CPUtime=3.07 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 4588 0 0 0 307 0 0 0 25 0 4 0 519274092 300920832 10195 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=293868 CPUtime=3.09 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 4313 0 0 0 309 0 0 0 25 0 4 0 519274092 300920832 10195 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308135 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 293868

[startup+6.30037 s]
/proc/loadavg: 5.56 6.67 6.78 10/184 24712
/proc/meminfo: memFree=30750068/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=294224 CPUtime=25.15 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 27426 0 0 0 2511 4 0 0 25 0 4 0 519274092 301285376 14557 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 73556 14557 389 106 0 68527 0
[pid=24707/tid=24708] ppid=24705 vsize=294224 CPUtime=6.29 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 7666 0 0 0 628 1 0 0 25 0 4 0 519274092 301285376 14557 33554432000 4194304 4627427 140736873690928 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=294224 CPUtime=6.26 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 7133 0 0 0 625 1 0 0 25 0 4 0 519274092 301285376 14557 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=294224 CPUtime=6.29 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 5830 0 0 0 629 0 0 0 25 0 4 0 519274092 301285376 14557 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294224

[startup+12.7011 s]
/proc/loadavg: 5.93 6.71 6.79 9/184 24712
/proc/meminfo: memFree=30721912/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=276352 CPUtime=50.71 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 42907 0 0 0 5064 7 0 0 25 0 4 0 519274092 282984448 20818 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 69088 20818 389 106 0 64059 0
[pid=24707/tid=24708] ppid=24705 vsize=276352 CPUtime=12.68 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 11306 0 0 0 1267 1 0 0 25 0 4 0 519274092 282984448 20819 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308881 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=276352 CPUtime=12.63 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 8459 0 0 0 1262 1 0 0 25 0 4 0 519274092 282984448 20819 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=276352 CPUtime=12.68 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 9947 0 0 0 1267 1 0 0 25 0 4 0 519274092 282984448 20819 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 276352

[startup+25.5007 s]
/proc/loadavg: 6.33 6.77 6.81 10/184 24712
/proc/meminfo: memFree=30659044/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=305300 CPUtime=101.84 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 64120 0 0 0 10171 13 0 0 25 0 4 0 519274092 312627200 29988 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 76325 29988 389 106 0 71296 0
[pid=24707/tid=24708] ppid=24705 vsize=305300 CPUtime=25.49 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 17815 0 0 0 2546 3 0 0 25 0 4 0 519274092 312627200 29988 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=305300 CPUtime=25.35 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 11955 0 0 0 2533 2 0 0 25 0 4 0 519274092 312627200 29988 33554432000 4194304 4627427 140736873690928 18446744073709551615 4332156 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=305300 CPUtime=25.49 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 14723 0 0 0 2546 3 0 0 25 0 4 0 519274092 312627200 29988 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 305300

[startup+51.1008 s]
/proc/loadavg: 6.96 6.88 6.85 9/184 24713
/proc/meminfo: memFree=30591220/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=392844 CPUtime=204.11 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 89749 0 0 0 20390 21 0 0 25 0 4 0 519274092 402272256 38376 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 98211 38376 389 106 0 93182 0
[pid=24707/tid=24708] ppid=24705 vsize=392844 CPUtime=51.08 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 25463 0 0 0 5103 5 0 0 25 0 4 0 519274092 402272256 38376 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=392844 CPUtime=50.82 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 17129 0 0 0 5079 3 0 0 25 0 4 0 519274092 402272256 38376 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=392844 CPUtime=51.09 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 19926 0 0 0 5104 5 0 0 25 0 4 0 519274092 402272256 38376 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 392844

[startup+102.307 s]
/proc/loadavg: 7.70 7.10 6.92 10/184 24714
/proc/meminfo: memFree=30532888/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=384300 CPUtime=408.66 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 126717 0 0 0 40831 35 0 0 25 0 4 0 519274092 393523200 46121 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 96075 46121 389 106 0 91046 0
[pid=24707/tid=24708] ppid=24705 vsize=384300 CPUtime=102.29 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 36024 0 0 0 10221 8 0 0 25 0 4 0 519274092 393523200 46121 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=384300 CPUtime=101.75 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 29835 0 0 0 10166 9 0 0 25 0 4 0 519274092 393523200 46121 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=384300 CPUtime=102.29 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 26652 0 0 0 10222 7 0 0 25 0 4 0 519274092 393523200 46121 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 384300

[startup+162.301 s]

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

[pid=24707] ppid=24705 vsize=668304 CPUtime=2805.44 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 394277 0 0 0 280413 131 0 0 25 0 4 0 519274092 684343296 120265 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 167076 120265 389 106 0 162047 0
[pid=24707/tid=24708] ppid=24705 vsize=668304 CPUtime=702.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 110908 0 0 0 70194 38 0 0 25 0 4 0 519274092 684343296 120265 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=668304 CPUtime=698.5 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 83169 0 0 0 69822 28 0 0 25 0 4 0 519274092 684343296 120265 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=668304 CPUtime=702.31 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 88322 0 0 0 70203 28 0 0 25 0 4 0 519274092 684343296 120265 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 668304

[startup+762.307 s]
/proc/loadavg: 8.23 8.01 7.50 9/184 24732
/proc/meminfo: memFree=29914240/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=668548 CPUtime=3045.13 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 418288 0 0 0 304373 140 0 0 25 0 4 0 519274092 684593152 125053 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 167137 125053 389 106 0 162108 0
[pid=24707/tid=24708] ppid=24705 vsize=668548 CPUtime=762.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 118296 0 0 0 76192 40 0 0 25 0 4 0 519274092 684593152 125053 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=668548 CPUtime=758.18 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 84296 0 0 0 75789 29 0 0 25 0 4 0 519274092 684593152 125053 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=668548 CPUtime=762.32 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 95693 0 0 0 76201 31 0 0 25 0 4 0 519274092 684593152 125053 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 668548

[startup+822.301 s]
/proc/loadavg: 8.09 8.01 7.53 9/184 24733
/proc/meminfo: memFree=29928324/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=720152 CPUtime=3284.79 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 445864 0 0 0 328328 151 0 0 25 0 4 0 519274092 737435648 122643 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309206 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 180038 122643 389 106 0 175009 0
[pid=24707/tid=24708] ppid=24705 vsize=720152 CPUtime=822.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 126821 0 0 0 82188 44 0 0 25 0 4 0 519274092 737435648 122643 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=720152 CPUtime=817.85 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 90824 0 0 0 81754 31 0 0 25 0 4 0 519274092 737435648 122643 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=720152 CPUtime=822.32 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 102850 0 0 0 82198 34 0 0 25 0 4 0 519274092 737435648 122643 33554432000 4194304 4627427 140736873690928 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.79
Current children cumulated vsize (KiB) 720152

[startup+882.301 s]
/proc/loadavg: 8.16 8.03 7.57 9/184 24735
/proc/meminfo: memFree=29851880/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=786224 CPUtime=3524.46 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 473433 0 0 0 352285 161 0 0 25 0 4 0 519274092 805093376 131212 33554432000 4194304 4627427 140736873690928 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 196556 131212 389 106 0 191527 0
[pid=24707/tid=24708] ppid=24705 vsize=786224 CPUtime=882.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 133966 0 0 0 88186 46 0 0 25 0 4 0 519274092 805093376 131212 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=786224 CPUtime=877.53 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 95449 0 0 0 87719 34 0 0 25 0 4 0 519274092 805093376 131212 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=786224 CPUtime=882.32 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 112475 0 0 0 88195 37 0 0 25 0 4 0 519274092 805093376 131212 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.46
Current children cumulated vsize (KiB) 786224

[startup+942.301 s]
/proc/loadavg: 8.20 8.06 7.60 10/184 24737
/proc/meminfo: memFree=29829520/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=851908 CPUtime=3764.15 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 498559 0 0 0 376242 173 0 0 25 0 4 0 519274092 872353792 135639 33554432000 4194304 4627427 140736873690928 18446744073709551615 4324120 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 212977 135639 389 106 0 207948 0
[pid=24707/tid=24708] ppid=24705 vsize=851908 CPUtime=942.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 140878 0 0 0 94183 49 0 0 25 0 4 0 519274092 872353792 135639 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=851908 CPUtime=937.21 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 101133 0 0 0 93685 36 0 0 25 0 4 0 519274092 872353792 135639 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=851908 CPUtime=942.33 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 118198 0 0 0 94193 40 0 0 25 0 4 0 519274092 872353792 135639 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 851908

[startup+1002.3 s]
/proc/loadavg: 8.18 8.08 7.64 10/184 24738
/proc/meminfo: memFree=29867036/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=787740 CPUtime=4003.81 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 521886 0 0 0 400197 184 0 0 25 0 4 0 519274092 806645760 130977 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 196935 130977 389 106 0 191906 0
[pid=24707/tid=24708] ppid=24705 vsize=787740 CPUtime=1002.32 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 148406 0 0 0 100180 52 0 0 25 0 4 0 519274092 806645760 130977 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=787740 CPUtime=996.88 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 104912 0 0 0 99650 38 0 0 25 0 4 0 519274092 806645760 130977 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=787740 CPUtime=1002.33 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 121929 0 0 0 100191 42 0 0 25 0 4 0 519274092 806645760 130977 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 787740

[startup+1062.3 s]
/proc/loadavg: 8.18 8.09 7.66 9/184 24740
/proc/meminfo: memFree=29807972/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=735576 CPUtime=4243.5 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 550920 0 0 0 424155 195 0 0 25 0 4 0 519274092 753229824 141392 33554432000 4194304 4627427 140736873690928 18446744073709551615 4310102 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 183894 141392 389 106 0 178865 0
[pid=24707/tid=24708] ppid=24705 vsize=735576 CPUtime=1062.33 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 157657 0 0 0 106178 55 0 0 25 0 4 0 519274092 753229824 141392 33554432000 4194304 4627427 140736873690928 18446744073709551615 4420278 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=735576 CPUtime=1056.55 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 108590 0 0 0 105616 39 0 0 25 0 4 0 519274092 753229824 141392 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=735576 CPUtime=1062.33 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 131205 0 0 0 106187 46 0 0 25 0 4 0 519274092 753229824 141392 33554432000 4194304 4627427 140736873690928 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 735576

[startup+1122.3 s]
/proc/loadavg: 8.16 8.10 7.69 9/184 24741
/proc/meminfo: memFree=29804320/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=788880 CPUtime=4483.17 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 571166 0 0 0 448113 204 0 0 25 0 4 0 519274092 807813120 141370 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309134 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 197220 141370 389 106 0 192191 0
[pid=24707/tid=24708] ppid=24705 vsize=788880 CPUtime=1122.33 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 163339 0 0 0 112176 57 0 0 25 0 4 0 519274092 807813120 141370 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=788880 CPUtime=1116.23 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 112297 0 0 0 111582 41 0 0 25 0 4 0 519274092 807813120 141370 33554432000 4194304 4627427 140736873690928 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=788880 CPUtime=1122.33 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 135837 0 0 0 112185 48 0 0 25 0 4 0 519274092 807813120 141370 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 788880

[startup+1182.3 s]
/proc/loadavg: 7.84 8.04 7.70 5/175 24761
/proc/meminfo: memFree=30374556/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=724948 CPUtime=4722.85 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 588435 0 0 0 472073 212 0 0 25 0 4 0 519274092 742346752 142945 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 181237 142945 389 106 0 176208 0
[pid=24707/tid=24708] ppid=24705 vsize=724948 CPUtime=1182.33 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 169018 0 0 0 118173 60 0 0 25 0 4 0 519274092 742346752 142945 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=724948 CPUtime=1175.91 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 113179 0 0 0 117549 42 0 0 25 0 4 0 519274092 742346752 142945 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=724948 CPUtime=1182.33 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 140118 0 0 0 118183 50 0 0 25 0 4 0 519274092 742346752 142945 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 724948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 6.53 7.72 7.60 5/175 24761
/proc/meminfo: memFree=30388596/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=778644 CPUtime=4800.38 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 595656 0 0 0 479822 216 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 194661 139609 389 106 0 189632 0
[pid=24707/tid=24708] ppid=24705 vsize=778644 CPUtime=1201.74 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 171718 0 0 0 120113 61 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=778644 CPUtime=1195.22 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 113618 0 0 0 119480 42 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=778644 CPUtime=1201.73 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 142384 0 0 0 120122 51 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 778644

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

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

[startup+1201.7 s]
/proc/loadavg: 6.53 7.72 7.60 5/175 24761
/proc/meminfo: memFree=30388596/32950928 swapFree=67086492/67111528
[pid=24707] ppid=24705 vsize=778644 CPUtime=4800.38 cores=0,2,4,6
/proc/24707/stat : 24707 (strangenight2-m) R 24705 24707 23667 0 -1 4202496 595656 0 0 0 479822 216 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24707/statm: 194661 139609 389 106 0 189632 0
[pid=24707/tid=24708] ppid=24705 vsize=778644 CPUtime=1201.74 cores=0,2,4,6
/proc/24707/task/24708/stat : 24708 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 171718 0 0 0 120113 61 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24707/tid=24709] ppid=24705 vsize=778644 CPUtime=1195.22 cores=0,2,4,6
/proc/24707/task/24709/stat : 24709 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 113618 0 0 0 119480 42 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24707/tid=24710] ppid=24705 vsize=778644 CPUtime=1201.73 cores=0,2,4,6
/proc/24707/task/24710/stat : 24710 (strangenight2-m) R 24705 24707 23667 0 -1 4202560 142384 0 0 0 120122 51 0 0 25 0 4 0 519274092 797331456 139609 33554432000 4194304 4627427 140736873690928 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 778644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.44
CPU user time (s): 4798.25
CPU system time (s): 2.19267
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 902136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.25
system time used= 2.19267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595656
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= 514
involuntary context switches= 19733

runsolver used 1.84172 second user time and 4.65129 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 13:32:50
IDJOB=3174014
IDBENCH=82832
IDSOLVER=1586
FILE ID=node148/3174014-1304076770
RUNJOBID= node148-1304076744-24654
PBS_JOBID= 13170479
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= b15e29d3a1300cd412b2c819b5ccc2fa
RANDOM SEED=796120900

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30812312 kB
Buffers:        675880 kB
Cached:         926612 kB
SwapCached:       3664 kB
Active:         223896 kB
Inactive:      1550756 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30812312 kB
SwapTotal:    67111528 kB
SwapFree:     67086492 kB
Dirty:           11804 kB
Writeback:           0 kB
AnonPages:      170256 kB
Mapped:          14420 kB
Slab:           300352 kB
PageTables:       4940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   417816 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= 71428 MiB
End job on node148 at 2011-04-29 13:52:54