Trace number 3366456

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.41 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf
MD5SUM9ba35b45d3c5bc2de5bf2217a9a677d5
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.055991
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-3366456-1305404592.cnf'
0.00/0.01	c -- header says num vars:            600
0.00/0.01	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     275 undec:      61 neg:     264
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       589      2545         0         0      7697         0   no data   no data
0.21/0.07	c Decided on static restart strategy
0.37/0.17	c  N st     8      4918       589      2545         0      4853      7697    128383   no data   no data
1.57/0.45	c  N st    10     11302       589      2545         0      4507      7697     83972   no data   no data
2.77/0.74	c  N st    11     17047       589      2545         0     10200      7697    241718   no data   no data
4.40/1.16	c  F st    12     25001       589      2545         0     12430      7697    297379   no data   no data
4.40/1.16	c  N st    12     25001       589      2545         0     12430      7697    297379   no data   no data
5.56/1.43	c Decided on static restart strategy
5.56/1.43	c  N st    18     30000       589      2545         0     10711      7697    224035   no data   no data
5.56/1.43	c  S st    18     30000       589      2545         0     10711      7697    224035   no data   no data
5.56/1.46	c  S st    18     30506       589      2545         0     11216      7697    237055   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.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.46	c blocked clauses removed:       12 vars:      2 tried:         589 T: 0.00 s
5.56/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
5.56/1.46	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.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.52	c lits-rem:       144  cl-subs:      371  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.53	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
5.96/1.53	c calculated reachability. Time: 0.00
5.96/1.53	c  N st    18     30506       587      2533         0     10839      7661    225746   no data   no data
7.55/1.93	c  N st    20     37616       587      2533         0     10104      7661    190212   no data   no data
9.15/2.33	c  N st    21     44016       587      2533         0     16414      7661    373073   no data   no data
9.55/2.45	c  S st    22     45759       587      2533         0      9335      7661    148610   no data   no data
9.55/2.48	c  S st    22     46259       587      2533         0      9834      7661    160006   no data   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:    587 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.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.50	c lits-rem:        27  cl-subs:       25  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.50	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c vivif2 --  cl tried     9809 cl shrink        0 lits rem          0 time: 0.00
9.94/2.51	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
9.94/2.51	c calculated reachability. Time: 0.00
9.94/2.51	c  N st    22     46259       587      2533         0      9809      7661    159224   no data   no data
13.54/3.47	c  N st    23     60658       587      2533         0     14213      7661    273000   no data   no data
16.34/4.11	c  N st    24     69388       587      2533         0     11967      7661    194116   no data   no data
16.34/4.11	c  S st    24     69388       587      2533         0     11967      7661    194116   no data   no data
16.34/4.14	c  S st    24     69893       587      2533         0     12471      7661    206818   no data   no data
16.34/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.34/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.34/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
16.34/4.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.34/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.34/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.17	c lits-rem:        57  cl-subs:      100  v-elim:      0  v-fix:    0  time:  0.02 s
16.34/4.17	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
16.34/4.17	c vivif2 --  cl tried    12371 cl shrink        0 lits rem          0 time: 0.00
16.34/4.18	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
16.34/4.18	c calculated reachability. Time: 0.00
16.34/4.18	c  N st    24     69893       587      2533         0     12371      7661    203936   no data   no data
21.96/5.55	c  F st    25     87500       587      2533         0     17861      7661    344453   no data   no data
21.96/5.55	c  N st    25     87500       587      2533         0     17861      7661    344453   no data   no data
23.52/5.99	c Decided on static restart strategy
24.72/6.25	c  N st    32     95543       587      2533         0     13009      7661    193408   no data   no data
27.51/6.93	c  N st    34    104839       587      2533         0     22153      7661    446275   no data   no data
27.51/6.93	c  S st    34    104839       587      2533         0     22153      7661    446275   no data   no data
27.51/6.98	c  S st    34    105343       587      2533         0     22657      7661    459236   no data   no data
27.51/6.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.51/6.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.51/6.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.51/6.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.51/6.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
27.51/6.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.91/7.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.91/7.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.31/7.15	c lits-rem:       153  cl-subs:      592  v-elim:      0  v-fix:    0  time:  0.14 s
28.31/7.15	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
28.31/7.16	c vivif2 --  cl tried    22065 cl shrink        0 lits rem          0 time: 0.00
28.31/7.17	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.01
28.31/7.17	c calculated reachability. Time: 0.00
28.31/7.17	c  N st    34    105343       587      2533         0     22065      7661    440550   no data   no data
31.90/8.00	c  N st    35    114941       587      2533         0     17742      7661    302350   no data   no data
37.09/9.36	c  N st    36    129339       587      2533         0     17127      7661    259665   no data   no data
44.66/11.21	c  N st    37    150937       587      2533         0     22604      7661    408230   no data   no data
47.47/11.96	c  S st    38    158015       587      2533         0     29524      7661    598077   no data   no data
47.89/12.04	c  S st    38    158517       587      2533         0     30026      7661    610481   no data   no data
47.89/12.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.89/12.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.89/12.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.89/12.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.89/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.89/12.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
47.89/12.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.89/12.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.89/12.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.86/12.52	c lits-rem:       380  cl-subs:     1434  v-elim:      0  v-fix:    0  time:  0.44 s
49.86/12.52	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
49.86/12.52	c vivif2 --  cl tried    28592 cl shrink        0 lits rem          0 time: 0.01
49.86/12.54	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
49.86/12.54	c calculated reachability. Time: 0.00
49.86/12.54	c  N st    38    158517       587      2533         0     28592      7661    566076   no data   no data
70.25/17.67	c  N st    39    207105       587      2533         0     23361      7661    372066   no data   no data
83.78/21.02	c  N st    40    237776       587      2533         0     33826      7661    657513   no data   no data
83.78/21.02	c  S st    40    237776       587      2533         0     33826      7661    657513   no data   no data
84.18/21.11	c  S st    40    238287       587      2533         0     34337      7661    670882   no data   no data
84.18/21.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.18/21.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.18/21.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.18/21.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.18/21.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.18/21.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
84.18/21.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.18/21.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.18/21.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.98/21.86	c lits-rem:       419  cl-subs:     1727  v-elim:      0  v-fix:    0  time:  0.71 s
86.98/21.86	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
86.98/21.87	c vivif2 --  cl tried    32610 cl shrink        0 lits rem          0 time: 0.01
86.98/21.89	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
86.98/21.89	c calculated reachability. Time: 0.00
86.98/21.89	c  N st    40    238287       587      2533         0     32610      7661    618439   no data   no data
122.10/30.60	c  F st    41    306251       587      2533         0     34448      7661    636927   no data   no data
122.10/30.60	c  N st    41    306251       587      2533         0     34448      7661    636927   no data   no data
124.49/31.27	c Decided on static restart strategy
136.10/34.18	c  N st    51    334554       587      2533         0     38710      7661    724737   no data   no data
148.44/37.30	c  N st    53    357431       587      2533         0     36656      7661    635601   no data   no data
148.44/37.30	c  S st    53    357431       587      2533         0     36656      7661    635601   no data   no data
148.86/37.39	c  S st    53    357935       587      2533         0     37160      7661    647612   no data   no data
148.86/37.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.27/37.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.27/37.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.27/37.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.27/37.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.27/37.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
149.27/37.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.27/37.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.27/37.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.43/37.70	c lits-rem:       266  cl-subs:      768  v-elim:      0  v-fix:    0  time:  0.26 s
150.43/37.70	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
150.43/37.70	c vivif2 --  cl tried    36392 cl shrink        0 lits rem          0 time: 0.01
150.43/37.73	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.02
150.43/37.73	c calculated reachability. Time: 0.00
150.43/37.73	c  N st    53    357935       587      2533         0     36392      7661    624179   no data   no data
167.19/41.97	c  N st    54    390328       587      2533         0     42684      7661    795882   no data   no data
195.53/49.04	c  N st    55    438916       587      2533         0     36508      7661    569159   no data   no data
240.63/60.36	c  N st    56    511798       587      2533         0     50015      7661    924238   no data   no data
256.99/64.42	c  N st    57    536902       587      2533         0     44280      7661    718520   no data   no data
256.99/64.42	c  S st    57    536902       587      2533         0     44280      7661    718520   no data   no data
257.39/64.54	c  S st    57    537404       587      2533         0     44781      7661    731836   no data   no data
257.39/64.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.39/64.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.39/64.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.39/64.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.39/64.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.39/64.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
257.39/64.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.39/64.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.39/64.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.18/65.28	c lits-rem:       279  cl-subs:     1795  v-elim:      0  v-fix:    0  time:  0.69 s
260.18/65.28	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
260.18/65.29	c vivif2 --  cl tried    42986 cl shrink        0 lits rem          0 time: 0.01
260.58/65.33	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.03
260.58/65.33	c calculated reachability. Time: 0.00
260.58/65.33	c  N st    57    537404       587      2533         0     42986      7661    684490   no data   no data
373.52/93.63	c  N st    58    701390       587      2533         0     37046      7661    431741   no data   no data
451.78/113.23	c  N st    59    806106       587      2533         0     65893      7661   1179480   no data   no data
451.78/113.23	c  S st    59    806106       587      2533         0     65893      7661   1179480   no data   no data
452.55/113.44	c  S st    59    806610       587      2533         0     66396      7661   1192398   no data   no data
452.55/113.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.55/113.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
452.55/113.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.55/113.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.55/113.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.55/113.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
452.55/113.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
452.55/113.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
452.94/113.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.71/116.70	c lits-rem:       541  cl-subs:     4594  v-elim:      0  v-fix:    0  time:  3.17 s
465.71/116.70	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
465.71/116.71	c vivif2 --  cl tried    61802 cl shrink        0 lits rem          0 time: 0.01
465.71/116.77	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.05
465.71/116.77	c calculated reachability. Time: 0.00
465.71/116.77	c  N st    59    806610       587      2533         0     61802      7661   1085131   no data   no data
685.22/171.76	c  F st    60   1071875       587      2533         0     77982      7661   1437720   no data   no data
685.22/171.76	c  N st    60   1071875       587      2533         0     77982      7661   1437720   no data   no data
690.41/173.02	c Decided on static restart strategy
707.17/177.26	c  N st    70   1100180       587      2533         0     61795      7661    962655   no data   no data
737.90/184.97	c  N st    72   1136172       587      2533         0     52034      7661    670946   no data   no data
770.23/193.01	c  N st    73   1168564       587      2533         0     83852      7661   1607893   no data   no data
812.17/203.51	c  N st    74   1209915       587      2533         0     78209      7661   1377818   no data   no data
812.17/203.51	c  S st    74   1209915       587      2533         0     78209      7661   1377818   no data   no data
812.93/203.79	c  S st    74   1210421       587      2533         0     78715      7661   1391160   no data   no data
813.33/203.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
813.33/203.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
813.33/203.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
813.33/203.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
813.33/203.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
813.33/203.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
813.33/203.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
813.33/203.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
813.73/203.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
834.12/209.06	c lits-rem:       302  cl-subs:     3425  v-elim:      0  v-fix:    0  time:  5.14 s
834.12/209.06	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
834.12/209.08	c vivif2 --  cl tried    75290 cl shrink        0 lits rem          0 time: 0.02
834.47/209.15	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.07
834.47/209.16	c calculated reachability. Time: 0.00
834.47/209.16	c  N st    74   1210421       587      2533         0     75290      7661   1296667   no data   no data
909.51/227.97	c  N st    75   1283303       587      2533         0     51669      7661    586948   no data   no data
1017.26/254.92	c  N st    76   1392626       587      2533         0     59836      7661    775123   no data   no data
1189.71/298.14	c  N st    77   1556611       587      2533         0     64742      7661    863449   no data   no data
1348.92/338.00	c  N st    78   1710426       587      2533         0    106963      7661   2163404   no data   no data
1348.92/338.00	c  S st    78   1710426       587      2533         0    106963      7661   2163404   no data   no data
1350.12/338.34	c  S st    78   1710930       587      2533         0    107467      7661   2176729   no data   no data
1350.12/338.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1350.52/338.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1350.52/338.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1350.52/338.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1350.52/338.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1350.52/338.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1350.52/338.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1350.52/338.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1350.52/338.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1397.20/350.11	c lits-rem:       894  cl-subs:     5190  v-elim:      0  v-fix:    0  time: 11.62 s
1397.20/350.11	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
1397.20/350.15	c vivif2 --  cl tried   102277 cl shrink        0 lits rem          0 time: 0.03
1397.60/350.26	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
1397.60/350.26	c calculated reachability. Time: 0.00
1397.60/350.26	c  N st    78   1710930       587      2533         0    102277      7661   2018546   no data   no data
1792.72/449.25	c  N st    79   2079894       587      2533         0    113787      7661   2250740   no data   no data
1961.96/491.68	c  N st    80   2210931       587      2533         0    117591      7661   2286601   no data   no data
1961.96/491.68	c  S st    80   2210931       587      2533         0    117591      7661   2286601   no data   no data
1963.54/492.08	c  S st    80   2211436       587      2533         0    118096      7661   2299476   no data   no data
1963.54/492.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1963.94/492.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
1963.94/492.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1963.94/492.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1963.94/492.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1963.94/492.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
1963.94/492.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1963.94/492.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1964.34/492.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2021.00/506.40	c lits-rem:      1411  cl-subs:     5704  v-elim:      0  v-fix:    0  time: 14.14 s
2021.00/506.41	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2021.00/506.44	c vivif2 --  cl tried   112392 cl shrink        0 lits rem          0 time: 0.03
2021.40/506.57	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.13
2021.40/506.57	c calculated reachability. Time: 0.00
2021.40/506.57	c  N st    80   2211436       587      2533         0    112392      7661   2123923   no data   no data
2694.69/675.25	c  N st    81   2711439       587      2533         0    135906      7661   2653989   no data   no data
2694.69/675.25	c  S st    81   2711439       587      2533         0    135906      7661   2653989   no data   no data
2696.69/675.74	c  S st    81   2711941       587      2533         0    136408      7661   2666996   no data   no data
2696.69/675.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2697.09/675.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2697.09/675.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2697.09/675.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2697.09/675.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2697.09/675.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
2697.09/675.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2697.09/675.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2697.48/675.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2793.67/700.09	c lits-rem:       984  cl-subs:     8558  v-elim:      0  v-fix:    0  time: 24.16 s
2793.67/700.09	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
2794.07/700.14	c vivif2 --  cl tried   127850 cl shrink        0 lits rem          0 time: 0.05
2794.47/700.29	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.15
2794.47/700.29	c calculated reachability. Time: 0.00
2794.47/700.29	c  N st    81   2711941       587      2533         0    127850      7661   2425142   no data   no data
3529.22/884.38	c  N st    82   3211941       587      2533         0    102911      7661   1497875   no data   no data
3529.22/884.38	c  S st    82   3211941       587      2533         0    102911      7661   1497875   no data   no data
3530.79/884.72	c  S st    82   3212443       587      2533         0    103412      7661   1511391   no data   no data
3530.79/884.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3530.79/884.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3530.79/884.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3530.79/884.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3530.79/884.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3530.79/884.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
3530.79/884.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3531.19/884.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3531.19/884.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3549.54/889.45	c lits-rem:       569  cl-subs:     4401  v-elim:      0  v-fix:    0  time:  4.60 s
3549.54/889.45	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
3549.54/889.47	c vivif2 --  cl tried    99011 cl shrink        0 lits rem          0 time: 0.02
3549.94/889.58	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.11
3549.94/889.58	c calculated reachability. Time: 0.00
3549.94/889.58	c  N st    82   3212443       587      2533         0     99011      7661   1397754   no data   no data
4319.43/1082.38	c  N st    83   3712444       587      2533         0    110081      7661   1578075   no data   no data
4319.43/1082.38	c  S st    83   3712444       587      2533         0    110081      7661   1578075   no data   no data
4321.01/1082.71	c  S st    83   3712952       587      2533         0    110587      7661   1592031   no data   no data
4321.01/1082.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4321.01/1082.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4321.01/1082.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4321.01/1082.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4321.01/1082.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4321.01/1082.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    587 time:  0.00 s
4321.01/1082.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4321.42/1082.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4321.42/1082.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4340.56/1087.65	c lits-rem:       387  cl-subs:     4703  v-elim:      0  v-fix:    0  time:  4.79 s
4340.56/1087.65	c vivif2 --  cl tried     2533 cl shrink        0 lits rem          0 time: 0.00
4340.56/1087.67	c vivif2 --  cl tried   105884 cl shrink        0 lits rem          0 time: 0.02
4340.96/1087.79	c asymm  cl-useful: 0/2533/2533 lits-rem:0 time: 0.12
4340.96/1087.79	c calculated reachability. Time: 0.00
4340.96/1087.79	c  N st    83   3712952       587      2533         0    105884      7661   1472190   no data   no data
4402.43/1103.11	c  F st    84   3751562       587      2533         0    143492      7661   2485832   no data   no data
4402.43/1103.12	c  N st    84   3751562       587      2533         0    143492      7661   2485832   no data   no data
4413.60/1105.97	c Decided on static restart strategy
4459.10/1117.38	c  N st    94   3779867       587      2533         0     88281      7661    934015   no data   no data
4511.78/1130.56	c  N st    96   3815861       587      2533         0    123324      7661   1848991   no data   no data
4578.03/1147.14	c  N st    97   3848255       587      2533         0    154793      7661   2641799   no data   no data
4653.86/1166.17	c  N st    98   3896845       587      2533         0    118470      7661   1729347   no data   no data
4775.59/1196.64	c  N st    99   3969729       587      2533         0    104896      7661   1363046   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.37 7.93 8.03 2/286 27713
/proc/meminfo: memFree=24425196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 408 0 0 0 1 0 0 0 22 0 4 0 632875117 52396032 348 33554432000 4194304 4580107 140736625717232 18446744073709551615 47796829636530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 12792 348 299 95 0 7774 0
[pid=27713/tid=27714] ppid=27711 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632875118 52396032 348 33554432000 4194304 4580107 140736625717232 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 632875118 52396032 348 33554432000 4194304 4580107 140736625717232 18446744073709551615 47796829636530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 632875118 52396032 348 33554432000 4194304 4580107 140736625717232 18446744073709551615 47796829636524 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0627391 s]
/proc/loadavg: 7.37 7.93 8.03 2/286 27713
/proc/meminfo: memFree=24425196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=282600 CPUtime=0.21 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 1618 0 0 0 21 0 0 0 23 0 4 0 632875117 289382400 1481 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 70650 1481 376 95 0 65632 0
[pid=27713/tid=27714] ppid=27711 vsize=282600 CPUtime=0.04 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 361 0 0 0 4 0 0 0 24 0 4 0 632875118 289382400 1481 33554432000 4194304 4580107 140736625717232 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=282600 CPUtime=0.05 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 289 0 0 0 5 0 0 0 24 0 4 0 632875118 289382400 1481 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=282600 CPUtime=0.05 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 214 0 0 0 5 0 0 0 24 0 4 0 632875118 289382400 1481 33554432000 4194304 4580107 140736625717232 18446744073709551615 4318767 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 282600

[startup+0.100731 s]
/proc/loadavg: 7.37 7.93 8.03 2/286 27713
/proc/meminfo: memFree=24425196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=282600 CPUtime=0.37 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 1815 0 0 0 37 0 0 0 23 0 4 0 632875117 289382400 1678 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 70650 1678 377 95 0 65632 0
[pid=27713/tid=27714] ppid=27711 vsize=282600 CPUtime=0.08 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 414 0 0 0 8 0 0 0 24 0 4 0 632875118 289382400 1678 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=282600 CPUtime=0.09 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 343 0 0 0 9 0 0 0 24 0 4 0 632875118 289382400 1678 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=282600 CPUtime=0.09 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 268 0 0 0 9 0 0 0 24 0 4 0 632875118 289382400 1678 33554432000 4194304 4580107 140736625717232 18446744073709551615 4322920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282600

[startup+0.300694 s]
/proc/loadavg: 7.37 7.93 8.03 2/286 27713
/proc/meminfo: memFree=24425196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=283900 CPUtime=1.17 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 2930 0 0 0 116 1 0 0 24 0 4 0 632875117 290713600 2152 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 70975 2152 377 95 0 65957 0
[pid=27713/tid=27714] ppid=27711 vsize=283900 CPUtime=0.28 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 699 0 0 0 28 0 0 0 25 0 4 0 632875118 290713600 2152 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=283900 CPUtime=0.29 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 640 0 0 0 29 0 0 0 25 0 4 0 632875118 290713600 2152 33554432000 4194304 4580107 140736625717232 18446744073709551615 4318380 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=283900 CPUtime=0.29 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 553 0 0 0 29 0 0 0 25 0 4 0 632875118 290713600 2152 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283900

[startup+0.700622 s]
/proc/loadavg: 7.37 7.93 8.03 2/286 27713
/proc/meminfo: memFree=24425196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=284744 CPUtime=2.77 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 4641 0 0 0 276 1 0 0 25 0 4 0 632875117 291577856 2892 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 71186 2892 377 95 0 66168 0
[pid=27713/tid=27714] ppid=27711 vsize=284744 CPUtime=0.68 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1140 0 0 0 68 0 0 0 25 0 4 0 632875118 291577856 2892 33554432000 4194304 4580107 140736625717232 18446744073709551615 4320689 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=284744 CPUtime=0.69 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1066 0 0 0 69 0 0 0 25 0 4 0 632875118 291577856 2892 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=284744 CPUtime=0.69 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 972 0 0 0 69 0 0 0 25 0 4 0 632875118 291577856 2892 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284744

[startup+1.50048 s]
/proc/loadavg: 7.37 7.93 8.03 9/298 27725
/proc/meminfo: memFree=24397440/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=286516 CPUtime=5.96 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 9344 0 0 0 594 2 0 0 25 0 4 0 632875117 293392384 4863 33554432000 4194304 4580107 140736625717232 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 71629 4863 381 95 0 66611 0
[pid=27713/tid=27714] ppid=27711 vsize=286516 CPUtime=1.47 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1965 0 0 0 147 0 0 0 25 0 4 0 632875118 293392384 4863 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=286516 CPUtime=1.48 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1904 0 0 0 148 0 0 0 25 0 4 0 632875118 293392384 4863 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=286516 CPUtime=1.48 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 1737 0 0 0 148 0 0 0 25 0 4 0 632875118 293392384 4863 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286516

[startup+3.10118 s]
/proc/loadavg: 7.42 7.93 8.03 9/298 27725
/proc/meminfo: memFree=24371028/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=282036 CPUtime=12.35 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 18842 0 0 0 1231 4 0 0 25 0 4 0 632875117 288804864 10552 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 70509 10552 382 95 0 65491 0
[pid=27713/tid=27714] ppid=27711 vsize=282036 CPUtime=3.06 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 4179 0 0 0 306 0 0 0 25 0 4 0 632875118 288804864 10552 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=282036 CPUtime=3.09 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 4958 0 0 0 308 1 0 0 25 0 4 0 632875118 288804864 10552 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=282036 CPUtime=3.08 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 4610 0 0 0 308 0 0 0 25 0 4 0 632875118 288804864 10552 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 282036

[startup+6.30059 s]
/proc/loadavg: 7.42 7.93 8.03 9/298 27725
/proc/meminfo: memFree=24314208/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=292112 CPUtime=25.11 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 28779 0 0 0 2505 6 0 0 25 0 4 0 632875117 299122688 14841 33554432000 4194304 4580107 140736625717232 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 73028 14841 380 95 0 68010 0
[pid=27713/tid=27714] ppid=27711 vsize=292112 CPUtime=6.23 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 7106 0 0 0 622 1 0 0 25 0 4 0 632875118 299122688 14841 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=292112 CPUtime=6.29 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 7325 0 0 0 627 2 0 0 25 0 4 0 632875118 299122688 14841 33554432000 4194304 4580107 140736625717232 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=292112 CPUtime=6.28 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 6812 0 0 0 627 1 0 0 25 0 4 0 632875118 299122688 14841 33554432000 4194304 4580107 140736625717232 18446744073709551615 4317544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 292112

[startup+12.7004 s]
/proc/loadavg: 7.51 7.93 8.03 9/298 27725
/proc/meminfo: memFree=24263796/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=273452 CPUtime=50.66 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 44803 0 0 0 5056 10 0 0 25 0 4 0 632875117 280014848 22387 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 68363 22387 380 95 0 63345 0
[pid=27713/tid=27714] ppid=27711 vsize=273452 CPUtime=12.56 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 10460 0 0 0 1255 1 0 0 25 0 4 0 632875118 280014848 22387 33554432000 4194304 4580107 140736625717232 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=273452 CPUtime=12.68 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 10486 0 0 0 1266 2 0 0 25 0 4 0 632875118 280014848 22387 33554432000 4194304 4580107 140736625717232 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=273452 CPUtime=12.68 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 11079 0 0 0 1266 2 0 0 25 0 4 0 632875118 280014848 22387 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 273452

[startup+25.5011 s]
/proc/loadavg: 7.58 7.93 8.03 9/298 27726
/proc/meminfo: memFree=24209204/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=302936 CPUtime=101.74 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 60702 0 0 0 10160 14 0 0 25 0 4 0 632875117 310206464 27914 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 75734 27915 379 95 0 70716 0
[pid=27713/tid=27714] ppid=27711 vsize=302936 CPUtime=25.25 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 11745 0 0 0 2523 2 0 0 25 0 4 0 632875118 310206464 27915 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=302936 CPUtime=25.48 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 15766 0 0 0 2545 3 0 0 25 0 4 0 632875118 310206464 27915 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=302936 CPUtime=25.49 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 16017 0 0 0 2545 4 0 0 25 0 4 0 632875118 310206464 27915 33554432000 4194304 4580107 140736625717232 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 302936

[startup+51.1003 s]
/proc/loadavg: 7.72 7.94 8.03 9/298 27727
/proc/meminfo: memFree=24158196/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=293780 CPUtime=203.91 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 90641 0 0 0 20368 23 0 0 25 0 4 0 632875117 300830720 36220 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 73445 36220 379 95 0 68427 0
[pid=27713/tid=27714] ppid=27711 vsize=293780 CPUtime=50.62 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 20382 0 0 0 5057 5 0 0 25 0 4 0 632875118 300830720 36220 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=293780 CPUtime=51.08 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 24137 0 0 0 5102 6 0 0 25 0 4 0 632875118 300830720 36220 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=293780 CPUtime=51.09 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 23553 0 0 0 5103 6 0 0 25 0 4 0 632875118 300830720 36220 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 293780

[startup+102.311 s]
/proc/loadavg: 7.89 7.94 8.02 9/298 27728
/proc/meminfo: memFree=24098512/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=356604 CPUtime=408.28 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 136068 0 0 0 40790 38 0 0 25 0 4 0 632875117 365162496 46011 33554432000 4194304 4580107 140736625717232 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 89151 46011 379 95 0 84133 0
[pid=27713/tid=27714] ppid=27711 vsize=356604 CPUtime=101.36 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 36940 0 0 0 10126 10 0 0 25 0 4 0 632875118 365162496 46011 33554432000 4194304 4580107 140736625717232 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=356604 CPUtime=102.29 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 34996 0 0 0 10219 10 0 0 25 0 4 0 632875118 365162496 46011 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=356604 CPUtime=102.3 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 34602 0 0 0 10221 9 0 0 25 0 4 0 632875118 365162496 46011 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.28
Current children cumulated vsize (KiB) 356604

[startup+162.301 s]

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

[pid=27713] ppid=27711 vsize=546856 CPUtime=2563.41 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 386489 0 0 0 256189 152 0 0 25 0 4 0 632875117 559980544 88301 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 136714 88301 379 95 0 131696 0
[pid=27713/tid=27714] ppid=27711 vsize=546856 CPUtime=636.45 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 82499 0 0 0 63612 33 0 0 25 0 4 0 632875118 559980544 88302 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=546856 CPUtime=642.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 87866 0 0 0 64196 34 0 0 25 0 4 0 632875118 559980544 88302 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=546856 CPUtime=642.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 113338 0 0 0 64190 41 0 0 25 0 4 0 632875118 559980544 88302 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.41
Current children cumulated vsize (KiB) 546856

[startup+702.3 s]
/proc/loadavg: 8.06 8.08 8.07 9/298 27747
/proc/meminfo: memFree=23735900/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=649784 CPUtime=2802.84 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 408630 0 0 0 280121 163 0 0 25 0 4 0 632875117 665378816 97604 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 162446 97604 379 95 0 157428 0
[pid=27713/tid=27714] ppid=27711 vsize=649784 CPUtime=695.9 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 86843 0 0 0 69554 36 0 0 25 0 4 0 632875118 665378816 97604 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=649784 CPUtime=702.29 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 93200 0 0 0 70192 37 0 0 25 0 4 0 632875118 665378816 97604 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=649784 CPUtime=702.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 117273 0 0 0 70187 44 0 0 25 0 4 0 632875118 665378816 97604 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.84
Current children cumulated vsize (KiB) 649784

[startup+762.311 s]
/proc/loadavg: 8.06 8.08 8.07 9/298 27749
/proc/meminfo: memFree=23747400/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=614396 CPUtime=3042.34 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 426085 0 0 0 304062 172 0 0 25 0 4 0 632875117 629141504 95433 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 153599 95433 379 95 0 148581 0
[pid=27713/tid=27714] ppid=27711 vsize=614396 CPUtime=755.36 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 89736 0 0 0 75499 37 0 0 25 0 4 0 632875118 629141504 95433 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=614396 CPUtime=762.31 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 97051 0 0 0 76191 40 0 0 25 0 4 0 632875118 629141504 95433 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=614396 CPUtime=762.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 120214 0 0 0 76186 45 0 0 25 0 4 0 632875118 629141504 95433 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.34
Current children cumulated vsize (KiB) 614396

[startup+822.301 s]
/proc/loadavg: 8.09 8.09 8.07 9/298 27750
/proc/meminfo: memFree=23719988/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=549080 CPUtime=3281.77 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 448320 0 0 0 327993 184 0 0 25 0 4 0 632875117 562257920 96837 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 137270 96837 379 95 0 132252 0
[pid=27713/tid=27714] ppid=27711 vsize=549080 CPUtime=814.81 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 94990 0 0 0 81442 39 0 0 25 0 4 0 632875118 562257920 96837 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=549080 CPUtime=822.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 100557 0 0 0 82189 41 0 0 25 0 4 0 632875118 562257920 96837 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=549080 CPUtime=822.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 126740 0 0 0 82182 49 0 0 25 0 4 0 632875118 562257920 96837 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.77
Current children cumulated vsize (KiB) 549080

[startup+882.301 s]
/proc/loadavg: 8.23 8.13 8.09 9/298 27752
/proc/meminfo: memFree=23667888/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=572964 CPUtime=3521.21 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 471078 0 0 0 351925 196 0 0 25 0 4 0 632875117 586715136 100508 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 143241 100508 379 95 0 138223 0
[pid=27713/tid=27714] ppid=27711 vsize=572964 CPUtime=874.25 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 99386 0 0 0 87383 42 0 0 25 0 4 0 632875118 586715136 100508 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=572964 CPUtime=882.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 104683 0 0 0 88186 44 0 0 25 0 4 0 632875118 586715136 100508 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=572964 CPUtime=882.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 134604 0 0 0 88179 52 0 0 25 0 4 0 632875118 586715136 100508 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.21
Current children cumulated vsize (KiB) 572964

[startup+942.301 s]
/proc/loadavg: 8.24 8.14 8.09 9/298 27753
/proc/meminfo: memFree=23648512/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=572076 CPUtime=3760.68 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 490001 0 0 0 375860 208 0 0 25 0 4 0 632875117 585805824 104457 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 143019 104457 379 95 0 138001 0
[pid=27713/tid=27714] ppid=27711 vsize=572076 CPUtime=933.71 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 104550 0 0 0 93326 45 0 0 25 0 4 0 632875118 585805824 104457 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=572076 CPUtime=942.31 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 109195 0 0 0 94183 48 0 0 25 0 4 0 632875118 585805824 104457 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=572076 CPUtime=942.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 139930 0 0 0 94175 56 0 0 25 0 4 0 632875118 585805824 104457 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.68
Current children cumulated vsize (KiB) 572076

[startup+1002.3 s]
/proc/loadavg: 8.21 8.14 8.09 9/298 27755
/proc/meminfo: memFree=23672564/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=655584 CPUtime=4000.13 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 511201 0 0 0 399794 219 0 0 25 0 4 0 632875117 671318016 97967 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 163896 97967 379 95 0 158878 0
[pid=27713/tid=27714] ppid=27711 vsize=655584 CPUtime=993.16 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 108522 0 0 0 99269 47 0 0 25 0 4 0 632875118 671318016 97967 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=655584 CPUtime=1002.31 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 114542 0 0 0 100180 51 0 0 25 0 4 0 632875118 671318016 97967 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=655584 CPUtime=1002.31 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 145622 0 0 0 100172 59 0 0 25 0 4 0 632875118 671318016 97967 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.13
Current children cumulated vsize (KiB) 655584

[startup+1062.3 s]
/proc/loadavg: 8.16 8.13 8.09 9/298 27756
/proc/meminfo: memFree=23619832/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=623404 CPUtime=4239.6 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 536347 0 0 0 423730 230 0 0 25 0 4 0 632875117 638365696 111180 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 155851 111180 379 95 0 150833 0
[pid=27713/tid=27714] ppid=27711 vsize=623404 CPUtime=1052.62 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 115504 0 0 0 105213 49 0 0 25 0 4 0 632875118 638365696 111180 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=623404 CPUtime=1062.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 118634 0 0 0 106177 53 0 0 25 0 4 0 632875118 638365696 111180 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=623404 CPUtime=1062.32 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 153327 0 0 0 106170 62 0 0 25 0 4 0 632875118 638365696 111180 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.6
Current children cumulated vsize (KiB) 623404

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.09 9/298 27758
/proc/meminfo: memFree=23599484/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=623648 CPUtime=4479.05 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 556686 0 0 0 447664 241 0 0 25 0 4 0 632875117 638615552 112650 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 155912 112650 379 95 0 150894 0
[pid=27713/tid=27714] ppid=27711 vsize=623648 CPUtime=1112.07 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 119509 0 0 0 111155 52 0 0 25 0 4 0 632875118 638615552 112650 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=623648 CPUtime=1122.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 120846 0 0 0 112176 54 0 0 25 0 4 0 632875118 638615552 112650 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=623648 CPUtime=1122.32 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 160169 0 0 0 112166 66 0 0 25 0 4 0 632875118 638615552 112650 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.05
Current children cumulated vsize (KiB) 623648

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 8.09 9/298 27760
/proc/meminfo: memFree=23615708/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=623780 CPUtime=4718.51 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 575092 0 0 0 471602 249 0 0 25 0 4 0 632875117 638750720 111203 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 155945 111203 379 95 0 150927 0
[pid=27713/tid=27714] ppid=27711 vsize=623780 CPUtime=1171.53 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 121830 0 0 0 117101 52 0 0 25 0 4 0 632875118 638750720 111203 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=623780 CPUtime=1182.3 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 125048 0 0 0 118174 56 0 0 25 0 4 0 632875118 638750720 111203 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=623780 CPUtime=1182.32 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 167117 0 0 0 118162 70 0 0 25 0 4 0 632875118 638750720 111203 33554432000 4194304 4580107 140736625717232 18446744073709551615 4339024 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.51
Current children cumulated vsize (KiB) 623780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.07 8.10 8.09 9/298 27760
/proc/meminfo: memFree=23597480/32951124 swapFree=63485424/67111528
[pid=27713] ppid=27711 vsize=623832 CPUtime=4800.35 cores=1,3,5,7
/proc/27713/stat : 27713 (strangenight2-m) R 27711 27713 27184 0 -1 4202496 582100 0 0 0 479782 253 0 0 25 0 4 0 632875117 638803968 114409 33554432000 4194304 4580107 140736625717232 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27713/statm: 155958 114409 379 95 0 150940 0
[pid=27713/tid=27714] ppid=27711 vsize=623832 CPUtime=1191.85 cores=1,3,5,7
/proc/27713/task/27714/stat : 27714 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 122816 0 0 0 119132 53 0 0 25 0 4 0 632875118 638803968 114411 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27713/tid=27715] ppid=27711 vsize=623832 CPUtime=1202.82 cores=1,3,5,7
/proc/27713/task/27715/stat : 27715 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 126861 0 0 0 120225 57 0 0 25 0 4 0 632875118 638803968 114411 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27713/tid=27716] ppid=27711 vsize=623832 CPUtime=1202.83 cores=1,3,5,7
/proc/27713/task/27716/stat : 27716 (strangenight2-m) R 27711 27713 27184 0 -1 4202560 168687 0 0 0 120212 71 0 0 25 0 4 0 632875118 638803968 114411 33554432000 4194304 4580107 140736625717232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 623832

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.41
CPU user time (s): 4797.86
CPU system time (s): 2.55261
CPU usage (%): 399.091
Max. virtual memory (cumulated for all children) (KiB): 728244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.86
system time used= 2.55261
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 582104
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= 430
involuntary context switches= 19627

runsolver used 2.99454 second user time and 8.01778 second system time

The end

Launcher Data 

Begin job on node147 at 2011-05-14 22:23:12
IDJOB=3366456
IDBENCH=82865
IDSOLVER=1844
FILE ID=node147/3366456-1305404592
RUNJOBID= node147-1305404592-27699
PBS_JOBID= 13324491
Free space on /tmp= 73108 MiB

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

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

MD5SUM BENCH= 9ba35b45d3c5bc2de5bf2217a9a677d5
RANDOM SEED=1359032034

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24425476 kB
Buffers:        288924 kB
Cached:        4974860 kB
SwapCached:      13132 kB
Active:        1628952 kB
Inactive:      6663912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24425476 kB
SwapTotal:    67111528 kB
SwapFree:     63485424 kB
Dirty:           11324 kB
Writeback:           0 kB
AnonPages:     3024908 kB
Mapped:          14440 kB
Slab:           140840 kB
PageTables:      29028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 44827976 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= 73096 MiB
End job on node147 at 2011-05-14 22:43:17