Trace number 3174095

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
MD5SUM5a6e4de126d24892e5539c0ca63e90ed
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.062989
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
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-3174095-1304090945.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      64 undec:       8 neg:      78
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.78/0.20	c  N st     8      4919       150      3195         0      4701     15975    141351   no data   no data
1.18/0.36	c  N st    10     11302       150      3195         0      4348     15975     99159   no data   no data
2.38/0.60	c  N st    11     17045       150      3195         0      9815     15975    266166   no data   no data
3.58/0.95	c  F st    12     25000       150      3195         0     12009     15975    321623   no data   no data
3.58/0.95	c  N st    12     25000       150      3195         0     12009     15975    321623   no data   no data
4.39/1.17	c Decided on static restart strategy
4.39/1.17	c  N st    18     30002       150      3195         0     10325     15975    262662   no data   no data
4.39/1.17	c  S st    18     30002       150      3195         0     10325     15975    262662   no data   no data
4.39/1.20	c  S st    18     30502       150      3195         0     10817     15975    276924   no data   no data
4.39/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.80/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.80/1.20	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.80/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.80/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.80/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.80/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.80/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.80/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.40	c lits-rem:       240  cl-subs:     1183  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.43	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30502       150      3195         0      9634     15975    237856   no data   no data
6.76/1.79	c  N st    20     37613       150      3195         0      8905     15975    196903   no data   no data
8.37/2.13	c  N st    21     44012       150      3195         0     14984     15975    380405   no data   no data
8.78/2.25	c  S st    22     45754       150      3195         0     16638     15975    430442   no data   no data
9.18/2.30	c  S st    22     46255       150      3195         0      8601     15975    168057   no data   no data
9.18/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.18/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.18/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.18/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.18/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
9.18/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.18/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.34	c lits-rem:        13  cl-subs:      134  v-elim:      0  v-fix:    0  time:  0.02 s
9.18/2.34	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.18/2.34	c vivif2 --  cl tried     8467 cl shrink        0 lits rem          0 time: 0.00
9.18/2.37	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.18/2.38	c calculated reachability. Time: 0.00
9.18/2.38	c  N st    22     46255       150      3195         0      8467     15975    163730   no data   no data
12.76/3.22	c  N st    23     60652       150      3195         0     12638     15975    270306   no data   no data
15.15/3.80	c  N st    24     69383       150      3195         0     10490     15975    193783   no data   no data
15.15/3.80	c  S st    24     69383       150      3195         0     10490     15975    193783   no data   no data
15.15/3.83	c  S st    24     69886       150      3195         0     10982     15975    208137   no data   no data
15.15/3.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.15/3.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
15.15/3.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.88	c lits-rem:        33  cl-subs:      237  v-elim:      0  v-fix:    0  time:  0.04 s
15.15/3.88	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.15/3.88	c vivif2 --  cl tried    10745 cl shrink        0 lits rem          0 time: 0.00
15.55/3.93	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
15.55/3.93	c calculated reachability. Time: 0.00
15.55/3.93	c  N st    24     69886       150      3195         0     10745     15975    200710   no data   no data
19.95/5.08	c  F st    25     87505       150      3195         0     16065     15975    350600   no data   no data
19.95/5.08	c  N st    25     87505       150      3195         0     16065     15975    350600   no data   no data
21.55/5.43	c Decided on static restart strategy
22.37/5.65	c  N st    32     95540       150      3195         0     23711     15975    579942   no data   no data
24.74/6.20	c  N st    34    104830       150      3195         0     20201     15975    470857   no data   no data
24.74/6.20	c  S st    34    104830       150      3195         0     20201     15975    470857   no data   no data
24.74/6.25	c  S st    34    105335       150      3195         0     20697     15975    485405   no data   no data
24.74/6.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.74/6.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.74/6.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.74/6.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.74/6.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.74/6.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.74/6.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.74/6.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.74/6.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.76/6.71	c lits-rem:       305  cl-subs:     1462  v-elim:      0  v-fix:    0  time:  0.43 s
26.76/6.71	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.76/6.71	c vivif2 --  cl tried    19235 cl shrink        0 lits rem          0 time: 0.00
26.76/6.79	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.08
26.76/6.79	c calculated reachability. Time: 0.00
26.76/6.79	c  N st    34    105335       150      3195         0     19235     15975    435282   no data   no data
29.53/7.46	c  N st    35    114935       150      3195         0     15087     15975    297544   no data   no data
33.93/8.57	c  N st    36    129334       150      3195         0     14515     15975    255223   no data   no data
39.94/10.08	c  N st    37    150930       150      3195         0     19803     15975    391165   no data   no data
41.92/10.58	c  S st    38    158002       150      3195         0     26577     15975    601460   no data   no data
42.32/10.64	c  S st    38    158505       150      3195         0     27069     15975    615844   no data   no data
42.32/10.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.32/10.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.32/10.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.32/10.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.32/10.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.32/10.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
42.32/10.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.32/10.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.32/10.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.44	c lits-rem:       961  cl-subs:     1720  v-elim:      0  v-fix:    0  time:  0.77 s
45.52/11.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
45.52/11.45	c vivif2 --  cl tried    25349 cl shrink        0 lits rem          0 time: 0.01
45.91/11.55	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
45.91/11.55	c calculated reachability. Time: 0.00
45.91/11.55	c  N st    38    158505       150      3195         0     25349     15975    561468   no data   no data
63.10/15.87	c  N st    39    207093       150      3195         0     20187     15975    355467   no data   no data
75.47/18.94	c  N st    40    237757       150      3195         0     30226     15975    643255   no data   no data
75.47/18.94	c  S st    40    237757       150      3195         0     30226     15975    643255   no data   no data
75.87/19.01	c  S st    40    238260       150      3195         0     30716     15975    658233   no data   no data
75.87/19.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.87/19.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.87/19.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.87/19.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.87/19.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.87/19.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
75.87/19.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.87/19.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.87/19.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.33	c lits-rem:       453  cl-subs:     2862  v-elim:      0  v-fix:    0  time:  1.28 s
81.06/20.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.06/20.34	c vivif2 --  cl tried    27854 cl shrink        0 lits rem          0 time: 0.01
81.46/20.46	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.46/20.46	c calculated reachability. Time: 0.00
81.46/20.46	c  N st    40    238260       150      3195         0     27854     15975    574714   no data   no data
107.43/26.94	c  F st    41    306250       150      3195         0     29779     15975    581658   no data   no data
107.43/26.94	c  N st    41    306250       150      3195         0     29779     15975    581658   no data   no data
109.83/27.53	c Decided on static restart strategy
119.81/30.02	c  N st    51    334551       150      3195         0     33972     15975    692853   no data   no data
130.20/32.65	c  N st    53    357390       150      3195         0     32003     15975    618161   no data   no data
130.20/32.66	c  S st    53    357390       150      3195         0     32003     15975    618161   no data   no data
130.60/32.73	c  S st    53    357892       150      3195         0     32494     15975    632522   no data   no data
130.60/32.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.60/32.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.60/32.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.60/32.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.60/32.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.60/32.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
130.60/32.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.60/32.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.60/32.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.39/33.46	c lits-rem:       496  cl-subs:     1419  v-elim:      0  v-fix:    0  time:  0.69 s
133.39/33.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
133.39/33.47	c vivif2 --  cl tried    31075 cl shrink        0 lits rem          0 time: 0.01
134.19/33.60	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
134.19/33.60	c calculated reachability. Time: 0.00
134.19/33.60	c  N st    53    357892       150      3195         0     31075     15975    584039   no data   no data
148.97/37.35	c  N st    54    390285       150      3195         0     37124     15975    751813   no data   no data
177.73/44.53	c  N st    55    438874       150      3195         0     31082     15975    541729   no data   no data
212.08/53.15	c  N st    56    511756       150      3195         0     44320     15975    906059   no data   no data
224.48/56.27	c  N st    57    536839       150      3195         0     38740     15975    714098   no data   no data
224.48/56.27	c  S st    57    536839       150      3195         0     38740     15975    714098   no data   no data
224.86/56.37	c  S st    57    537342       150      3195         0     39234     15975    728884   no data   no data
224.86/56.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
224.86/56.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
224.86/56.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
224.86/56.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
224.86/56.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
224.86/56.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
224.86/56.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
225.26/56.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
225.26/56.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
229.26/57.46	c lits-rem:       537  cl-subs:     1726  v-elim:      0  v-fix:    0  time:  1.05 s
229.26/57.46	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
229.26/57.47	c vivif2 --  cl tried    37508 cl shrink        0 lits rem          0 time: 0.01
230.06/57.65	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
230.06/57.65	c calculated reachability. Time: 0.00
230.06/57.65	c  N st    57    537342       150      3195         0     37508     15975    671777   no data   no data
323.53/81.08	c  N st    58    701328       150      3195         0     65718     15975   1505282   no data   no data
388.63/97.38	c  N st    59    806013       150      3195         0     59600     15975   1249133   no data   no data
388.63/97.38	c  S st    59    806013       150      3195         0     59600     15975   1249133   no data   no data
389.43/97.53	c  S st    59    806515       150      3195         0     60091     15975   1263889   no data   no data
389.43/97.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
389.43/97.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
389.43/97.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
389.43/97.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
389.43/97.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
389.43/97.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
389.43/97.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
389.43/97.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
389.83/97.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
418.60/104.82	c lits-rem:      2616  cl-subs:     5186  v-elim:      0  v-fix:    0  time:  7.20 s
418.60/104.82	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
418.60/104.83	c vivif2 --  cl tried    54905 cl shrink        0 lits rem          0 time: 0.02
419.80/105.12	c asymm  cl-useful: 0/3060/3195 lits-rem:0 time: 0.28
419.80/105.12	c calculated reachability. Time: 0.00
419.80/105.12	c  N st    59    806515       150      3195         0     54905     15975   1098312   no data   no data
586.36/146.86	c  F st    60   1071875       150      3195         0     70648     15975   1475908   no data   no data
586.36/146.86	c  N st    60   1071875       150      3195         0     70648     15975   1475908   no data   no data
590.77/147.96	c Decided on static restart strategy
609.94/152.76	c  N st    70   1100177       150      3195         0     55006     15975    951013   no data   no data
641.09/160.56	c  N st    72   1136172       150      3195         0     45606     15975    646552   no data   no data
664.26/166.37	c  N st    73   1168565       150      3195         0     76366     15975   1613405   no data   no data
702.21/175.87	c  N st    74   1209772       150      3195         0     70757     15975   1403667   no data   no data
702.21/175.87	c  S st    74   1209772       150      3195         0     70757     15975   1403667   no data   no data
703.43/176.13	c  S st    74   1210272       150      3195         0     71248     15975   1418767   no data   no data
703.43/176.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
703.43/176.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
703.43/176.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
703.43/176.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
703.43/176.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
703.43/176.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
703.43/176.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
703.81/176.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
703.81/176.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
757.33/189.69	c lits-rem:      1799  cl-subs:     5192  v-elim:      0  v-fix:    0  time: 13.44 s
757.33/189.69	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
757.73/189.71	c vivif2 --  cl tried    66056 cl shrink        0 lits rem          0 time: 0.02
759.33/190.16	c asymm  cl-useful: 0/2575/3195 lits-rem:0 time: 0.45
759.33/190.17	c calculated reachability. Time: 0.00
759.33/190.17	c  N st    74   1210272       150      3195         0     66056     15975   1259716   no data   no data
825.64/206.80	c  N st    75   1283154       150      3195         0     89603     15975   1999033   no data   no data
924.30/231.41	c  N st    76   1392480       150      3195         0     51285     15975    726071   no data   no data
1074.10/268.91	c  N st    77   1556464       150      3195         0     55715     15975    804306   no data   no data
1210.31/303.03	c  N st    78   1710273       150      3195         0     96233     15975   1999023   no data   no data
1210.31/303.03	c  S st    78   1710273       150      3195         0     96233     15975   1999023   no data   no data
1211.51/303.31	c  S st    78   1710775       150      3195         0     96725     15975   2013916   no data   no data
1211.51/303.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1211.51/303.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1211.51/303.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1211.51/303.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1211.51/303.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1211.51/303.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1211.51/303.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1211.51/303.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1211.91/303.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1297.79/324.91	c lits-rem:      2281  cl-subs:     8750  v-elim:      0  v-fix:    0  time: 21.46 s
1297.79/324.91	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1297.79/324.93	c vivif2 --  cl tried    87975 cl shrink        0 lits rem          0 time: 0.02
1298.19/325.08	c asymm  cl-useful: 0/620/3195 lits-rem:0 time: 0.14
1298.19/325.08	c calculated reachability. Time: 0.00
1298.19/325.08	c  N st    78   1710775       150      3195         0     87975     15975   1760167   no data   no data
1661.32/415.97	c  N st    79   2079741       150      3195         0     99427     15975   2042226   no data   no data
1801.92/451.11	c  N st    80   2210776       150      3195         0    103944     15975   2158292   no data   no data
1801.92/451.11	c  S st    80   2210776       150      3195         0    103944     15975   2158292   no data   no data
1803.09/451.48	c  S st    80   2211278       150      3195         0    104437     15975   2173215   no data   no data
1803.09/451.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1803.49/451.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1803.49/451.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1803.49/451.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1803.49/451.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1803.49/451.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1803.49/451.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1803.49/451.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1803.89/451.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1880.60/470.90	c lits-rem:      3272  cl-subs:     6885  v-elim:      0  v-fix:    0  time: 19.27 s
1880.60/470.90	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1881.01/470.93	c vivif2 --  cl tried    97552 cl shrink        0 lits rem          0 time: 0.03
1882.19/471.29	c asymm  cl-useful: 0/1799/3195 lits-rem:0 time: 0.36
1882.19/471.29	c calculated reachability. Time: 0.00
1882.19/471.29	c  N st    80   2211278       150      3195         0     97552     15975   1951103   no data   no data
2407.47/602.79	c  N st    81   2711278       150      3195         0    119460     15975   2497491   no data   no data
2407.47/602.79	c  S st    81   2711278       150      3195         0    119460     15975   2497491   no data   no data
2409.07/603.14	c  S st    81   2711780       150      3195         0    119952     15975   2512387   no data   no data
2409.07/603.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2409.47/603.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2409.47/603.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2409.47/603.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2409.47/603.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2409.47/603.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2409.47/603.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2409.47/603.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2409.87/603.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2568.05/642.96	c lits-rem:      4837  cl-subs:    13069  v-elim:      0  v-fix:    0  time: 39.64 s
2568.05/642.96	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2568.05/642.99	c vivif2 --  cl tried   106883 cl shrink        0 lits rem          0 time: 0.03
2569.65/643.37	c asymm  cl-useful: 0/1396/3195 lits-rem:0 time: 0.38
2569.65/643.37	c calculated reachability. Time: 0.00
2569.65/643.37	c  N st    81   2711780       150      3195         0    106883     15975   2127344   no data   no data
3192.00/799.14	c  N st    82   3211782       150      3195         0     84350     15975   1259296   no data   no data
3192.00/799.14	c  S st    82   3211782       150      3195         0     84350     15975   1259296   no data   no data
3193.20/799.45	c  S st    82   3212286       150      3195         0     84837     15975   1274681   no data   no data
3193.20/799.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3193.59/799.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3193.59/799.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3193.59/799.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3193.59/799.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3193.59/799.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3193.59/799.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3193.59/799.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3193.59/799.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3203.99/802.15	c lits-rem:       603  cl-subs:     2683  v-elim:      0  v-fix:    0  time:  2.59 s
3203.99/802.15	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3203.99/802.17	c vivif2 --  cl tried    82154 cl shrink        0 lits rem          0 time: 0.02
3205.58/802.50	c asymm  cl-useful: 0/2068/3195 lits-rem:0 time: 0.34
3205.58/802.51	c calculated reachability. Time: 0.00
3205.58/802.51	c  N st    82   3212286       150      3195         0     82154     15975   1199840   no data   no data
3830.73/959.06	c  N st    83   3712286       150      3195         0     93149     15975   1438219   no data   no data
3830.73/959.06	c  S st    83   3712286       150      3195         0     93149     15975   1438219   no data   no data
3832.32/959.41	c  S st    83   3712791       150      3195         0     93648     15975   1452871   no data   no data
3832.32/959.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3832.32/959.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3832.32/959.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3832.32/959.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3832.32/959.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3832.32/959.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3832.32/959.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3832.72/959.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3832.72/959.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3863.08/967.19	c lits-rem:       753  cl-subs:     2710  v-elim:      0  v-fix:    0  time:  7.63 s
3863.08/967.19	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3863.48/967.22	c vivif2 --  cl tried    90938 cl shrink        0 lits rem          0 time: 0.03
3865.08/967.65	c asymm  cl-useful: 0/1127/3195 lits-rem:0 time: 0.43
3865.08/967.66	c calculated reachability. Time: 0.00
3865.08/967.66	c  N st    83   3712791       150      3195         0     90938     15975   1371798   no data   no data
3929.39/983.78	c  F st    84   3751563       150      3195         0    127493     15975   2539585   no data   no data
3929.39/983.78	c  N st    84   3751563       150      3195         0    127493     15975   2539585   no data   no data
3946.19/987.99	c Decided on static restart strategy
4004.88/1002.60	c  N st    94   3779870       150      3195         0    154407     15975   3374431   no data   no data
4050.02/1013.92	c  N st    96   3815862       150      3195         0    108328     15975   1893122   no data   no data
4094.77/1025.17	c  N st    97   3848258       150      3195         0    139084     15975   2865933   no data   no data
4158.67/1041.13	c  N st    98   3896846       150      3195         0    103662     15975   1708014   no data   no data
4279.32/1071.39	c  N st    99   3969728       150      3195         0     90275     15975   1284326   no data   no data
4422.32/1107.18	c  N st   100   4079051       150      3195         0    110322     15975   1883071   no data   no data
4616.85/1155.80	c  N st   101   4212792       150      3195         0    152302     15975   3173852   no data   no data
4616.85/1155.80	c  S st   101   4212792       150      3195         0    152302     15975   3173852   no data   no data
4618.84/1156.30	c  S st   101   4213298       150      3195         0    152792     15975   3188717   no data   no data
4618.84/1156.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4618.84/1156.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4618.84/1156.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4618.84/1156.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4618.84/1156.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4618.84/1156.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4618.84/1156.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4619.24/1156.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4619.64/1156.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

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-3174095-1304090945/watcher-3174095-1304090945 -o /tmp/evaluation-result-3174095-1304090945/solver-3174095-1304090945 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174095-1304090945.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: 6.95 7.84 8.00 5/180 829
/proc/meminfo: memFree=24387244/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 520692218 52441088 347 33554432000 4194304 4627427 140734906047488 18446744073709551615 212687731697 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/829/statm: 12803 347 299 106 0 7774 0
[pid=829/tid=830] ppid=827 vsize=273540 CPUtime=0 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 92 0 0 0 0 0 0 0 25 0 4 0 520692218 280104960 632 33554432000 4194304 4627427 140734906047488 18446744073709551615 212687372043 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=273540 CPUtime=0 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 32 0 0 0 0 0 0 0 25 0 4 0 520692218 280104960 635 33554432000 4194304 4627427 140734906047488 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=832] ppid=827 vsize=273540 CPUtime=0 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 90 0 0 0 0 0 0 0 25 0 4 0 520692218 280104960 636 33554432000 4194304 4627427 140734906047488 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.105958 s]
/proc/loadavg: 6.95 7.84 8.00 5/180 829
/proc/meminfo: memFree=24387244/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=283208 CPUtime=0.4 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 2044 0 0 0 40 0 0 0 25 0 4 0 520692218 290004992 1922 33554432000 4194304 4627427 140734906047488 18446744073709551615 4332320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 70802 1922 383 106 0 65773 0
[pid=829/tid=830] ppid=827 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 436 0 0 0 10 0 0 0 25 0 4 0 520692218 290004992 1922 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=283208 CPUtime=0.09 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 409 0 0 0 9 0 0 0 25 0 4 0 520692218 290004992 1922 33554432000 4194304 4627427 140734906047488 18446744073709551615 4333184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=283208 CPUtime=0.1 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 319 0 0 0 10 0 0 0 25 0 4 0 520692218 290004992 1922 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 283208

[startup+0.200942 s]
/proc/loadavg: 6.95 7.84 8.00 5/180 829
/proc/meminfo: memFree=24387244/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=284884 CPUtime=0.78 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 2865 0 0 0 78 0 0 0 25 0 4 0 520692218 291721216 2025 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 71221 2025 384 106 0 66192 0
[pid=829/tid=830] ppid=827 vsize=284884 CPUtime=0.19 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 626 0 0 0 19 0 0 0 25 0 4 0 520692218 291721216 2025 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=284884 CPUtime=0.19 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 619 0 0 0 19 0 0 0 25 0 4 0 520692218 291721216 2025 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=284884 CPUtime=0.19 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 528 0 0 0 19 0 0 0 25 0 4 0 520692218 291721216 2025 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 284884

[startup+0.300923 s]
/proc/loadavg: 6.95 7.84 8.00 5/180 829
/proc/meminfo: memFree=24387244/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=284884 CPUtime=1.18 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 3333 0 0 0 118 0 0 0 25 0 4 0 520692218 291721216 2493 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 71221 2493 384 106 0 66192 0
[pid=829/tid=830] ppid=827 vsize=284884 CPUtime=0.29 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 726 0 0 0 29 0 0 0 25 0 4 0 520692218 291721216 2493 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=284884 CPUtime=0.29 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 746 0 0 0 29 0 0 0 25 0 4 0 520692218 291721216 2493 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=284884 CPUtime=0.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 652 0 0 0 29 0 0 0 25 0 4 0 520692218 291721216 2494 33554432000 4194304 4627427 140734906047488 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284884

[startup+0.700851 s]
/proc/loadavg: 6.95 7.84 8.00 5/180 829
/proc/meminfo: memFree=24387244/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=286876 CPUtime=2.78 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 6031 0 0 0 278 0 0 0 25 0 4 0 520692218 293761024 2719 33554432000 4194304 4627427 140734906047488 18446744073709551615 4321913 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 71719 2720 384 106 0 66690 0
[pid=829/tid=830] ppid=827 vsize=286876 CPUtime=0.69 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 1406 0 0 0 69 0 0 0 25 0 4 0 520692218 293761024 2720 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=286876 CPUtime=0.69 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 1428 0 0 0 69 0 0 0 25 0 4 0 520692218 293761024 2720 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=286876 CPUtime=0.69 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 1326 0 0 0 69 0 0 0 25 0 4 0 520692218 293761024 2720 33554432000 4194304 4627427 140734906047488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 286876

[startup+1.50071 s]
/proc/loadavg: 6.95 7.84 8.00 9/184 833
/proc/meminfo: memFree=24350384/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=288012 CPUtime=5.97 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 11440 0 0 0 596 1 0 0 25 0 4 0 520692218 294924288 4898 33554432000 4194304 4627427 140734906047488 18446744073709551615 4507021 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 72003 4898 388 106 0 66974 0
[pid=829/tid=830] ppid=827 vsize=288012 CPUtime=1.49 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 2416 0 0 0 149 0 0 0 25 0 4 0 520692218 294924288 4898 33554432000 4194304 4627427 140734906047488 18446744073709551615 212687699863 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=288012 CPUtime=1.48 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 2471 0 0 0 148 0 0 0 25 0 4 0 520692218 294924288 4898 33554432000 4194304 4627427 140734906047488 18446744073709551615 4332324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=288012 CPUtime=1.49 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 2358 0 0 0 149 0 0 0 25 0 4 0 520692218 294924288 4898 33554432000 4194304 4627427 140734906047488 18446744073709551615 4507260 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) 288012

[startup+3.10042 s]
/proc/loadavg: 6.95 7.84 8.00 9/184 833
/proc/meminfo: memFree=24319892/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=312624 CPUtime=12.37 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 22120 0 0 0 1234 3 0 0 25 0 4 0 520692218 320126976 11035 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 78156 11035 388 106 0 73127 0
[pid=829/tid=830] ppid=827 vsize=312624 CPUtime=3.08 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 5074 0 0 0 308 0 0 0 25 0 4 0 520692218 320126976 11035 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=312624 CPUtime=3.07 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 5580 0 0 0 307 0 0 0 25 0 4 0 520692218 320126976 11035 33554432000 4194304 4627427 140734906047488 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=312624 CPUtime=3.08 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 5630 0 0 0 308 0 0 0 25 0 4 0 520692218 320126976 11035 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308414 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) 312624

[startup+6.30084 s]
/proc/loadavg: 7.03 7.84 8.00 9/184 833
/proc/meminfo: memFree=24275568/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=316652 CPUtime=25.15 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 35496 0 0 0 2509 6 0 0 25 0 4 0 520692218 324251648 16577 33554432000 4194304 4627427 140734906047488 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 79163 16577 388 106 0 74134 0
[pid=829/tid=830] ppid=827 vsize=316652 CPUtime=6.29 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 8725 0 0 0 628 1 0 0 25 0 4 0 520692218 324251648 16577 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=316652 CPUtime=6.26 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 8752 0 0 0 625 1 0 0 25 0 4 0 520692218 324251648 16577 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=316652 CPUtime=6.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 8017 0 0 0 628 1 0 0 25 0 4 0 520692218 324251648 16577 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 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) 316652

[startup+12.7007 s]
/proc/loadavg: 7.11 7.85 8.00 9/184 843
/proc/meminfo: memFree=24228592/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=321500 CPUtime=50.71 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 54383 0 0 0 5060 11 0 0 25 0 4 0 520692218 329216000 21545 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 80375 21545 388 106 0 75346 0
[pid=829/tid=830] ppid=827 vsize=321500 CPUtime=12.69 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 12640 0 0 0 1267 2 0 0 25 0 4 0 520692218 329216000 21545 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=321500 CPUtime=12.62 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 13020 0 0 0 1261 1 0 0 25 0 4 0 520692218 329216000 21545 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=321500 CPUtime=12.69 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 13570 0 0 0 1266 3 0 0 25 0 4 0 520692218 329216000 21545 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309100 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) 321500

[startup+25.5003 s]
/proc/loadavg: 7.38 7.87 8.01 9/184 843
/proc/meminfo: memFree=24171192/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=340040 CPUtime=101.84 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 83140 0 0 0 10167 17 0 0 25 0 4 0 520692218 348200960 27649 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 85010 27649 388 106 0 79981 0
[pid=829/tid=830] ppid=827 vsize=340040 CPUtime=25.49 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 20007 0 0 0 2545 4 0 0 25 0 4 0 520692218 348200960 27649 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=340040 CPUtime=25.35 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 20293 0 0 0 2533 2 0 0 25 0 4 0 520692218 348200960 27650 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=340040 CPUtime=25.48 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 20695 0 0 0 2544 4 0 0 25 0 4 0 520692218 348200960 27650 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309279 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) 340040

[startup+51.1007 s]
/proc/loadavg: 7.59 7.88 8.01 9/184 844
/proc/meminfo: memFree=24098104/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=370508 CPUtime=204.09 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 126368 0 0 0 20383 26 0 0 25 0 4 0 520692218 379400192 37320 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 92627 37320 388 106 0 87598 0
[pid=829/tid=830] ppid=827 vsize=370508 CPUtime=51.08 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 31017 0 0 0 5102 6 0 0 25 0 4 0 520692218 379400192 37320 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=370508 CPUtime=50.82 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 30951 0 0 0 5078 4 0 0 25 0 4 0 520692218 379400192 37320 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=370508 CPUtime=51.08 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 31142 0 0 0 5101 7 0 0 25 0 4 0 520692218 379400192 37320 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 370508

[startup+102.3 s]
/proc/loadavg: 7.92 7.93 8.01 9/184 845
/proc/meminfo: memFree=24003600/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=390820 CPUtime=408.62 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 186866 0 0 0 40819 43 0 0 25 0 4 0 520692218 400199680 50785 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 97705 50785 388 106 0 92676 0
[pid=829/tid=830] ppid=827 vsize=390820 CPUtime=102.28 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 35512 0 0 0 10222 6 0 0 25 0 4 0 520692218 400199680 50786 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=390820 CPUtime=101.74 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 46740 0 0 0 10165 9 0 0 25 0 4 0 520692218 400199680 50786 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=390820 CPUtime=102.28 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 50595 0 0 0 10216 12 0 0 25 0 4 0 520692218 400199680 50786 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 390820

[startup+162.3 s]

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

[pid=829] ppid=827 vsize=638688 CPUtime=2565.66 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 558370 0 0 0 256389 177 0 0 25 0 4 0 520692218 654016512 98767 33554432000 4194304 4627427 140734906047488 18446744073709551615 4427152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 159672 98767 388 106 0 154643 0
[pid=829/tid=830] ppid=827 vsize=638688 CPUtime=642.23 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 111006 0 0 0 64188 35 0 0 25 0 4 0 520692218 654016512 98767 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=638688 CPUtime=638.81 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 139703 0 0 0 63838 43 0 0 25 0 4 0 520692218 654016512 98767 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=638688 CPUtime=642.28 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 154826 0 0 0 64177 51 0 0 25 0 4 0 520692218 654016512 98767 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.66
Current children cumulated vsize (KiB) 638688

[startup+702.301 s]
/proc/loadavg: 8.24 8.12 8.04 9/184 867
/proc/meminfo: memFree=23489804/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=641508 CPUtime=2805.33 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 597347 0 0 0 280341 192 0 0 25 0 4 0 520692218 656904192 109211 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 160377 109211 388 106 0 155348 0
[pid=829/tid=830] ppid=827 vsize=641508 CPUtime=702.23 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 121165 0 0 0 70184 39 0 0 25 0 4 0 520692218 656904192 109211 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=641508 CPUtime=698.49 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 150234 0 0 0 69802 47 0 0 25 0 4 0 520692218 656904192 109211 33554432000 4194304 4627427 140734906047488 18446744073709551615 4332840 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=641508 CPUtime=702.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 163392 0 0 0 70173 56 0 0 25 0 4 0 520692218 656904192 109211 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 641508

[startup+762.301 s]
/proc/loadavg: 8.12 8.11 8.04 9/184 869
/proc/meminfo: memFree=23425440/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=680584 CPUtime=3045.02 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 638897 0 0 0 304297 205 0 0 25 0 4 0 520692218 696918016 115531 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 170146 115531 388 106 0 165117 0
[pid=829/tid=830] ppid=827 vsize=680584 CPUtime=762.22 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 134631 0 0 0 76180 42 0 0 25 0 4 0 520692218 696918016 115531 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=680584 CPUtime=758.16 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 158511 0 0 0 75766 50 0 0 25 0 4 0 520692218 696918016 115531 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=680584 CPUtime=762.3 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 177093 0 0 0 76171 59 0 0 25 0 4 0 520692218 696918016 115531 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420176 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 680584

[startup+822.301 s]
/proc/loadavg: 8.09 8.10 8.04 9/184 870
/proc/meminfo: memFree=23415256/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=677284 CPUtime=3284.68 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 660285 0 0 0 328253 215 0 0 25 0 4 0 520692218 693538816 117445 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 169321 117445 388 106 0 164292 0
[pid=829/tid=830] ppid=827 vsize=677284 CPUtime=822.21 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 137991 0 0 0 82177 44 0 0 25 0 4 0 520692218 693538816 117445 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=677284 CPUtime=817.84 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 167367 0 0 0 81730 54 0 0 25 0 4 0 520692218 693538816 117445 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=677284 CPUtime=822.28 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 180460 0 0 0 82168 60 0 0 25 0 4 0 520692218 693538816 117445 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 677284

[startup+882.306 s]
/proc/loadavg: 8.07 8.10 8.04 9/184 872
/proc/meminfo: memFree=23421944/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=691620 CPUtime=3524.36 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 693927 0 0 0 352207 229 0 0 25 0 4 0 520692218 708218880 117334 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 172905 117334 388 106 0 167876 0
[pid=829/tid=830] ppid=827 vsize=691620 CPUtime=882.21 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 146162 0 0 0 88174 47 0 0 25 0 4 0 520692218 708218880 117334 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=691620 CPUtime=877.51 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 174866 0 0 0 87694 57 0 0 25 0 4 0 520692218 708218880 117334 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=691620 CPUtime=882.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 188962 0 0 0 88165 64 0 0 25 0 4 0 520692218 708218880 117334 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 691620

[startup+942.3 s]
/proc/loadavg: 8.12 8.11 8.05 9/184 873
/proc/meminfo: memFree=23408408/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=748236 CPUtime=3764.02 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 729631 0 0 0 376159 243 0 0 25 0 4 0 520692218 766193664 118350 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 187059 118350 388 106 0 182030 0
[pid=829/tid=830] ppid=827 vsize=748236 CPUtime=942.2 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 154396 0 0 0 94170 50 0 0 25 0 4 0 520692218 766193664 118350 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=748236 CPUtime=937.18 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 183317 0 0 0 93658 60 0 0 25 0 4 0 520692218 766193664 118350 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=748236 CPUtime=942.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 199187 0 0 0 94160 69 0 0 25 0 4 0 520692218 766193664 118350 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 748236

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.05 9/184 875
/proc/meminfo: memFree=23374536/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=762724 CPUtime=4003.68 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 752302 0 0 0 400117 251 0 0 25 0 4 0 520692218 781029376 124400 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 190681 124400 388 106 0 185652 0
[pid=829/tid=830] ppid=827 vsize=762724 CPUtime=1002.19 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 160445 0 0 0 100167 52 0 0 25 0 4 0 520692218 781029376 124400 33554432000 4194304 4627427 140734906047488 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=762724 CPUtime=996.85 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 189734 0 0 0 99623 62 0 0 25 0 4 0 520692218 781029376 124400 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=762724 CPUtime=1002.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 204477 0 0 0 100159 70 0 0 25 0 4 0 520692218 781029376 124400 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.68
Current children cumulated vsize (KiB) 762724

[startup+1062.3 s]
/proc/loadavg: 8.08 8.09 8.05 9/184 878
/proc/meminfo: memFree=23364844/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=783220 CPUtime=4243.36 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 782642 0 0 0 424074 262 0 0 25 0 4 0 520692218 802017280 129568 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 195805 129568 388 106 0 190776 0
[pid=829/tid=830] ppid=827 vsize=783220 CPUtime=1062.18 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 167899 0 0 0 106164 54 0 0 25 0 4 0 520692218 802017280 129568 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=783220 CPUtime=1056.53 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 196812 0 0 0 105589 64 0 0 25 0 4 0 520692218 802017280 129568 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=783220 CPUtime=1062.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 212425 0 0 0 106156 73 0 0 25 0 4 0 520692218 802017280 129568 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 783220

[startup+1122.3 s]
/proc/loadavg: 8.07 8.09 8.05 9/184 879
/proc/meminfo: memFree=23313976/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=712264 CPUtime=4483.03 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 809356 0 0 0 448030 273 0 0 25 0 4 0 520692218 729358336 130866 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 178066 130866 388 106 0 173037 0
[pid=829/tid=830] ppid=827 vsize=712264 CPUtime=1122.18 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 170585 0 0 0 112162 56 0 0 25 0 4 0 520692218 729358336 130866 33554432000 4194304 4627427 140734906047488 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=712264 CPUtime=1116.21 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 204877 0 0 0 111553 68 0 0 25 0 4 0 520692218 729358336 130866 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=712264 CPUtime=1122.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 220434 0 0 0 112153 76 0 0 25 0 4 0 520692218 729358336 130866 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 712264

[startup+1182.3 s]
/proc/loadavg: 8.15 8.10 8.05 9/184 881
/proc/meminfo: memFree=23310232/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=739156 CPUtime=4722.7 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 835734 0 0 0 471987 283 0 0 25 0 4 0 520692218 756895744 135808 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 184789 135808 388 106 0 179760 0
[pid=829/tid=830] ppid=827 vsize=739156 CPUtime=1182.17 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 174103 0 0 0 118160 57 0 0 25 0 4 0 520692218 756895744 135808 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=739156 CPUtime=1175.88 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 211977 0 0 0 117518 70 0 0 25 0 4 0 520692218 756895744 135808 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=739156 CPUtime=1182.29 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 227681 0 0 0 118150 79 0 0 25 0 4 0 520692218 756895744 135808 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 739156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.11 8.05 5/179 882
/proc/meminfo: memFree=23841236/32951124 swapFree=67111524/67111528
[pid=829] ppid=827 vsize=739156 CPUtime=4800.2 cores=0,2,4,6
/proc/829/stat : 829 (strangenight2-m) R 827 829 32720 0 -1 4202496 839766 0 0 0 479735 285 0 0 25 0 4 0 520692218 756895744 138648 33554432000 4194304 4627427 140734906047488 18446744073709551615 4420186 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/829/statm: 184789 138648 388 106 0 179760 0
[pid=829/tid=830] ppid=827 vsize=739156 CPUtime=1201.58 cores=0,2,4,6
/proc/829/task/830/stat : 830 (strangenight2-m) R 827 829 32720 0 -1 4202560 174680 0 0 0 120100 58 0 0 25 0 4 0 520692218 756895744 138648 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=829/tid=831] ppid=827 vsize=739156 CPUtime=1195.18 cores=0,2,4,6
/proc/829/task/831/stat : 831 (strangenight2-m) R 827 829 32720 0 -1 4202560 213455 0 0 0 119447 71 0 0 25 0 4 0 520692218 756895744 138648 33554432000 4194304 4627427 140734906047488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=829/tid=832] ppid=827 vsize=739156 CPUtime=1201.7 cores=0,2,4,6
/proc/829/task/832/stat : 832 (strangenight2-m) R 827 829 32720 0 -1 4202560 229658 0 0 0 120089 81 0 0 25 0 4 0 520692218 756895744 138648 33554432000 4194304 4627427 140734906047488 18446744073709551615 4325093 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 739156

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): 1201.74
CPU time (s): 4800.27
CPU user time (s): 4797.38
CPU system time (s): 2.88556
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 897100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.38
system time used= 2.88556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 839768
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= 240
involuntary context switches= 22256

runsolver used 1.90371 second user time and 4.67129 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 17:29:05
IDJOB=3174095
IDBENCH=82913
IDSOLVER=1586
FILE ID=node139/3174095-1304090945
RUNJOBID= node139-1304090944-776
PBS_JOBID= 13170557
Free space on /tmp= 72548 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174095-1304090945/watcher-3174095-1304090945 -o /tmp/evaluation-result-3174095-1304090945/solver-3174095-1304090945 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174095-1304090945.cnf

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

MD5SUM BENCH= 5a6e4de126d24892e5539c0ca63e90ed
RANDOM SEED=1170068152

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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.852
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	: 5321.49
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.852
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.852
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.852
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:     32951124 kB
MemFree:      24387524 kB
Buffers:       2041824 kB
Cached:        5928788 kB
SwapCached:          4 kB
Active:         934648 kB
Inactive:      7110960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24387524 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11732 kB
Writeback:           0 kB
AnonPages:       74676 kB
Mapped:          15896 kB
Slab:           454044 kB
PageTables:       4840 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   283256 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= 72544 MiB
End job on node139 at 2011-04-29 17:49:09