Trace number 3369243

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-1-mt (fixed)? (TO) 4800.23 1203.34

General information on the benchmark

NameSAT04/handmade/connamacher/connm-d0.02/
connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
MD5SUM7bb85ebdeae46262f72a4c54d4e16683
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables772
Number of clauses9601
Sum of the clauses size28996
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 39408
Number of clauses of size 4193
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369243-1305416243.cnf'
0.00/0.00	c -- header says num vars:            772
0.00/0.00	c -- header says num clauses:        9601
0.00/0.01	c -- clauses added:            0 learnts,         9601 normals,            0 xors
0.00/0.01	c -- vars added        772
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0       772      9601         0         0     28996         0   no data   no data  --
0.00/0.02	c asymm  cl-useful: 0/9601/9601 lits-rem:0 time: 0.06
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.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    772 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:    193  v-fix:    0  time:  0.06 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.01 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:       0 undec:     193 neg:     579
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       579      9408         0         0     42336         0   no data   no data  --
0.41/0.16	c Decided on static restart strategy
0.77/0.25	c  N st     8      4915       579      9408         3      4649     42243     82853   no data   no data  --
2.37/0.67	c  N st    10     11300       579      9408        14      4727     42217     51606   no data   no data  --
3.97/1.11	c  N st    11     17043       579      9408        15     10274     42211    169927   no data   no data  --
7.16/1.81	c  F st    12     25000       579      9408        25     12857     42210    198662   no data   no data  --
7.16/1.81	c  N st    12     25000       579      9408        25     12857     42210    198662   no data   no data  --
7.96/2.07	c Finding binary XORs  T:     0.00 s  found:       2
8.36/2.20	c Decided on static restart strategy
8.36/2.20	c  N st    18     30000       579      9408        36     11748     42203    163979   no data   no data  --
8.36/2.20	c  S st    18     30000       579      9408        36     11748     42203    163979   no data   no data  --
8.77/2.23	c  S st    18     30501       579      9408        39     12242     42203    169176   no data   no data  --
8.77/2.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.77/2.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      7 BRemL:      1 BRemN:      0 P:  0.2M T:  0.02
8.77/2.24	c Replacing        3 vars Replaced     1610 lits Time:     0.01 s 
8.77/2.25	c bin-w-bin subsume rem            3 bins  time:  0.00 s
8.77/2.26	c subs with bin:       61  lits-rem:      2091  v-fix:    0  time:  0.03 s
8.77/2.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    576 time:  0.00 s
8.77/2.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.59	c lits-rem:     10401  cl-subs:     3020  v-elim:      0  v-fix:    0  time:  1.34 s
10.34/2.64	c asymm  cl-useful: 0/9336/9336 lits-rem:0 time: 0.20
10.34/2.64	c calculated reachability. Time: 0.00
10.34/2.64	c  N st    18     30501       576      9336        42      9202     31256    133980   no data   no data  --
12.75/3.28	c  N st    20     37611       576      9336        52     16097     31256    281247   no data   no data  --
15.13/3.86	c  N st    21     44010       576      9336        56     14179     31256    223667   no data   no data  --
15.13/3.86	c Finding binary XORs  T:     0.00 s  found:       0
15.94/4.04	c  S st    22     45752       576      9336       103     15862     31256    253631   no data   no data  --
15.94/4.09	c  S st    22     46253       576      9336       105     16357     31256    262415   no data   no data  --
15.94/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.94/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      6 BRemN:      0 P:  0.3M T:  0.02
16.34/4.10	c bin-w-bin subsume rem            7 bins  time:  0.00 s
16.34/4.11	c subs with bin:       51  lits-rem:      4393  v-fix:    0  time:  0.06 s
16.34/4.11	c Subs w/ non-existent bins:      0 l-rem:     22 v-fix:     0 done:    576 time:  0.00 s
16.34/4.11	c Removed useless bin:       1  fixed:     0  props:   0.01M  time:  0.00 s
19.52/4.90	c lits-rem:      1528  cl-subs:     2077  v-elim:      0  v-fix:    0  time:  3.14 s
19.52/4.90	c vivif2 --  cl tried     9331 cl shrink        0 lits rem          0 time: 0.00
19.52/4.91	c vivif2 --  cl tried    14234 cl shrink       27 lits rem         27 time: 0.01
19.52/4.97	c asymm  cl-useful: 0/9331/9331 lits-rem:0 time: 0.26
19.52/4.97	c calculated reachability. Time: 0.00
19.52/4.97	c  N st    22     46253       576      9331        97     14234     31247    223387   no data   no data  --
24.71/6.29	c  N st    23     60650       576      9331        98     19349     31247    306220   no data   no data  --
27.90/7.05	c  N st    24     69379       576      9331       118     18223     31247    313457   no data   no data  --
27.90/7.05	c  S st    24     69379       576      9331       118     18223     31247    313457   no data   no data  --
27.90/7.05	c Finding binary XORs  T:     0.00 s  found:       0
28.30/7.11	c  S st    24     69884       576      9331       123     18721     31247    322228   no data   no data  --
28.30/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.30/7.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.30/7.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  0.3M T:  0.02
28.30/7.12	c bin-w-bin subsume rem            3 bins  time:  0.00 s
28.30/7.15	c subs with bin:       25  lits-rem:      4357  v-fix:    0  time:  0.09 s
28.30/7.15	c Subs w/ non-existent bins:      0 l-rem:     38 v-fix:     0 done:    576 time:  0.00 s
28.30/7.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
33.08/8.31	c lits-rem:      2955  cl-subs:      820  v-elim:      0  v-fix:    0  time:  4.62 s
33.08/8.31	c vivif2 --  cl tried     9331 cl shrink        0 lits rem          0 time: 0.00
33.08/8.31	c vivif2 --  cl tried    17876 cl shrink      122 lits rem        125 time: 0.02
33.08/8.39	c asymm  cl-useful: 6/9331/9331 lits-rem:6 time: 0.31
33.08/8.39	c calculated reachability. Time: 0.00
33.08/8.39	c  N st    24     69884       576      9331       119     17876     31239    302380   no data   no data  --
40.66/10.25	c  F st    25     87500       576      9331       122     12544     31239    130876   no data   no data  --
40.66/10.25	c  N st    25     87500       576      9331       122     12544     31239    130876   no data   no data  --
42.66/10.71	c Decided on static restart strategy
43.88/11.02	c  N st    32     95541       576      9331       138     20386     31238    288453   no data   no data  --
43.88/11.02	c Finding binary XORs  T:     0.00 s  found:       1
47.85/12.01	c  N st    34    104827       576      9331       150     16746     31238    196747   no data   no data  --
47.85/12.01	c  S st    34    104827       576      9331       150     16746     31238    196747   no data   no data  --
47.85/12.06	c  S st    34    105328       576      9331       161     17241     31238    205434   no data   no data  --
47.85/12.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.85/12.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.85/12.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  0.3M T:  0.02
47.85/12.07	c Replacing        1 vars Replaced       65 lits Time:     0.00 s 
47.85/12.07	c bin-w-bin subsume rem            1 bins  time:  0.00 s
47.85/12.08	c subs with bin:       18  lits-rem:      1921  v-fix:    0  time:  0.03 s
47.85/12.08	c Subs w/ non-existent bins:      0 l-rem:     24 v-fix:     0 done:    575 time:  0.00 s
47.85/12.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.24/12.63	c lits-rem:       924  cl-subs:     1612  v-elim:      0  v-fix:    0  time:  2.17 s
50.24/12.63	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
50.24/12.63	c vivif2 --  cl tried    15625 cl shrink        7 lits rem          8 time: 0.01
50.64/12.71	c asymm  cl-useful: 2/9317/9317 lits-rem:2 time: 0.30
50.64/12.71	c calculated reachability. Time: 0.00
50.64/12.71	c  N st    34    105328       575      9317       157     15625     31191    179947   no data   no data  --
54.22/13.65	c  N st    35    114928       575      9317       159     24936     31191    339481   no data   no data  --
60.22/15.17	c  N st    36    129325       575      9317       172     25381     31191    361170   no data   no data  --
60.22/15.17	c Finding binary XORs  T:     0.00 s  found:       0
70.63/17.74	c  N st    37    150920       575      9317       173     16293     31191    162228   no data   no data  --
73.78/18.50	c  S st    38    157992       575      9317       183     23132     31191    295829   no data   no data  --
73.78/18.56	c  S st    38    158497       575      9317       187     23630     31191    303993   no data   no data  --
73.78/18.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.78/18.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
73.78/18.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      2 BRemN:      0 P:  0.4M T:  0.03
73.78/18.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.18/18.60	c subs with bin:       26  lits-rem:      4819  v-fix:    0  time:  0.09 s
74.18/18.60	c Subs w/ non-existent bins:      0 l-rem:     22 v-fix:     0 done:    575 time:  0.00 s
74.18/18.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
78.98/19.85	c lits-rem:      1935  cl-subs:     2360  v-elim:      0  v-fix:    0  time:  4.95 s
78.98/19.85	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
78.98/19.85	c vivif2 --  cl tried    21244 cl shrink       90 lits rem         92 time: 0.02
79.40/19.94	c asymm  cl-useful: 0/9317/9317 lits-rem:0 time: 0.37
79.40/19.94	c calculated reachability. Time: 0.00
79.40/19.94	c  N st    38    158497       575      9317       186     21244     31191    262124   no data   no data  --
100.51/25.20	c  N st    39    207085       575      9317       187     34749     31191    492757   no data   no data  --
100.51/25.20	c Finding binary XORs  T:     0.00 s  found:       0
113.67/28.60	c  N st    40    237746       575      9317       188     26445     31191    311916   no data   no data  --
113.67/28.60	c  S st    40    237746       575      9317       188     26445     31191    311916   no data   no data  --
114.08/28.67	c  S st    40    238249       575      9317       195     26934     31191    319986   no data   no data  --
114.08/28.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
114.08/28.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
114.08/28.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
114.08/28.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
114.08/28.70	c subs with bin:        8  lits-rem:       889  v-fix:    0  time:  0.04 s
114.08/28.70	c Subs w/ non-existent bins:      0 l-rem:     12 v-fix:     0 done:    575 time:  0.00 s
114.08/28.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
119.25/29.93	c lits-rem:      1071  cl-subs:     3153  v-elim:      0  v-fix:    0  time:  4.88 s
119.25/29.93	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
119.25/29.93	c vivif2 --  cl tried    23773 cl shrink       46 lits rem         48 time: 0.02
119.65/30.03	c asymm  cl-useful: 1/9317/9317 lits-rem:1 time: 0.40
119.65/30.04	c calculated reachability. Time: 0.00
119.65/30.04	c  N st    40    238249       575      9317       195     23773     31190    266573   no data   no data  --
154.75/38.81	c  F st    41    306252       575      9317       195     25828     31190    274843   no data   no data  --
154.75/38.81	c  N st    41    306252       575      9317       195     25828     31190    274843   no data   no data  --
154.75/38.81	c Finding binary XORs  T:     0.00 s  found:       0
157.15/39.45	c Decided on static restart strategy
169.12/42.41	c  N st    51    334553       575      9317       223     30132     31190    377349   no data   no data  --
182.68/45.87	c  N st    53    357374       575      9317       224     27876     31190    294240   no data   no data  --
182.68/45.87	c  S st    53    357374       575      9317       224     27876     31190    294240   no data   no data  --
183.08/45.95	c  S st    53    357876       575      9317       226     28370     31190    303244   no data   no data  --
183.08/45.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
183.08/45.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
183.08/45.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
183.08/45.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
183.08/45.98	c subs with bin:        8  lits-rem:      2034  v-fix:    0  time:  0.06 s
183.08/45.98	c Subs w/ non-existent bins:      0 l-rem:     11 v-fix:     0 done:    575 time:  0.00 s
183.08/45.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
187.47/47.05	c lits-rem:      1147  cl-subs:     2029  v-elim:      0  v-fix:    0  time:  4.28 s
187.47/47.05	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
187.47/47.06	c vivif2 --  cl tried    26333 cl shrink       31 lits rem         32 time: 0.02
187.87/47.17	c asymm  cl-useful: 3/9317/9317 lits-rem:3 time: 0.44
187.87/47.17	c calculated reachability. Time: 0.00
187.87/47.17	c  N st    53    357876       575      9317       226     26333     31187    269895   no data   no data  --
208.61/52.34	c  N st    54    390268       575      9317       226     32327     31187    353453   no data   no data  --
239.32/60.04	c  N st    55    438857       575      9317       228     53289     31187    790162   no data   no data  --
287.19/72.05	c  N st    56    511739       575      9317       229     39804     31187    472511   no data   no data  --
287.19/72.05	c Finding binary XORs  T:     0.00 s  found:       0
302.77/75.98	c  N st    57    536814       575      9317       236     34121     31186    357718   no data   no data  --
302.77/75.98	c  S st    57    536814       575      9317       236     34121     31186    357718   no data   no data  --
303.19/76.07	c  S st    57    537317       575      9317       242     34615     31186    365957   no data   no data  --
303.19/76.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
303.19/76.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
303.19/76.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.04
303.19/76.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
303.54/76.10	c subs with bin:       12  lits-rem:       779  v-fix:    0  time:  0.04 s
303.54/76.10	c Subs w/ non-existent bins:      0 l-rem:     45 v-fix:     0 done:    575 time:  0.00 s
303.54/76.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
308.34/77.39	c lits-rem:      2085  cl-subs:     2484  v-elim:      0  v-fix:    0  time:  5.14 s
308.34/77.39	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
308.74/77.40	c vivif2 --  cl tried    32119 cl shrink      147 lits rem        153 time: 0.02
309.14/77.53	c asymm  cl-useful: 0/9317/9317 lits-rem:0 time: 0.53
309.14/77.53	c calculated reachability. Time: 0.00
309.14/77.53	c  N st    57    537317       575      9317       242     32119     31186    328949   no data   no data  --
419.63/105.23	c  N st    58    701303       575      9317       242     61069     31186    772718   no data   no data  --
419.63/105.23	c Finding binary XORs  T:     0.00 s  found:       0
497.42/124.71	c  N st    59    805976       575      9317       248     54989     31186    645999   no data   no data  --
497.42/124.71	c  S st    59    805976       575      9317       248     54989     31186    645999   no data   no data  --
497.82/124.83	c  S st    59    806478       575      9317       251     55485     31186    655229   no data   no data  --
497.82/124.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
497.82/124.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
497.82/124.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
497.82/124.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
498.22/124.90	c subs with bin:        8  lits-rem:      1844  v-fix:    0  time:  0.11 s
498.22/124.90	c Subs w/ non-existent bins:      0 l-rem:     42 v-fix:     0 done:    575 time:  0.00 s
498.22/124.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
510.98/128.16	c lits-rem:      3818  cl-subs:    15071  v-elim:      0  v-fix:    0  time: 12.97 s
510.98/128.16	c vivif2 --  cl tried     9317 cl shrink        0 lits rem          0 time: 0.00
510.98/128.17	c vivif2 --  cl tried    40406 cl shrink      286 lits rem        288 time: 0.04
511.78/128.34	c asymm  cl-useful: 0/9317/9317 lits-rem:0 time: 0.68
511.78/128.34	c calculated reachability. Time: 0.00
511.78/128.34	c  N st    59    806478       575      9317       251     40406     31186    454929   no data   no data  --
716.82/179.75	c  F st    60   1071875       575      9317       253     57523     31186    749188   no data   no data  --
716.82/179.75	c  N st    60   1071875       575      9317       253     57523     31186    749188   no data   no data  --
720.41/180.62	c Decided on static restart strategy
738.37/185.16	c  N st    70   1100179       575      9317       256     85261     31186   1299818   no data   no data  --
738.37/185.16	c Finding binary XORs  T:     0.00 s  found:       0
765.09/191.88	c  N st    72   1136172       575      9317       263     76231     31186   1037734   no data   no data  --
789.03/197.89	c  N st    73   1168564       575      9317       264     62730     31186    742724   no data   no data  --
820.57/205.77	c  N st    74   1209717       575      9317       264     57305     31186    703476   no data   no data  --
820.57/205.77	c  S st    74   1209717       575      9317       264     57305     31186    703476   no data   no data  --
821.34/205.91	c  S st    74   1210221       575      9317       269     57801     31186    713004   no data   no data  --
821.34/205.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
821.34/205.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
821.34/205.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:      1 BRemL:      0 BRemN:      0 P:  0.9M T:  0.08
821.34/205.99	c Replacing        1 vars Replaced     9615 lits Time:     0.22 s 
821.74/206.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
821.74/206.06	c subs with bin:       59  lits-rem:      2157  v-fix:    0  time:  0.18 s
821.74/206.06	c Subs w/ non-existent bins:      0 l-rem:     13 v-fix:     0 done:    574 time:  0.00 s
821.74/206.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
834.16/209.14	c lits-rem:      3619  cl-subs:     6381  v-elim:      0  v-fix:    0  time: 12.27 s
834.16/209.14	c vivif2 --  cl tried     9303 cl shrink        0 lits rem          0 time: 0.00
834.16/209.15	c vivif2 --  cl tried    50897 cl shrink       70 lits rem         99 time: 0.05
834.91/209.35	c asymm  cl-useful: 0/7041/9303 lits-rem:0 time: 0.80
834.91/209.35	c calculated reachability. Time: 0.00
834.91/209.35	c  N st    74   1210221       574      9303       268     50897     31142    612485   no data   no data  --
900.72/225.85	c  N st    75   1283104       574      9303       269     74655     31142    959729   no data   no data  --
900.72/225.85	c Finding binary XORs  T:     0.00 s  found:       1
1004.87/251.93	c  N st    76   1392428       574      9303       273     85012     31142   1157916   no data   no data  --
1143.27/286.61	c  N st    77   1556414       574      9303       276     93052     31142   1225346   no data   no data  --
1290.51/323.53	c  N st    78   1710222       574      9303       279     82307     31142   1006903   no data   no data  --
1290.51/323.53	c  S st    78   1710222       574      9303       279     82307     31142   1006903   no data   no data  --
1290.51/323.53	c Finding binary XORs  T:     0.00 s  found:       0
1291.27/323.73	c  S st    78   1710725       574      9303       293     82803     31142   1015349   no data   no data  --
1291.27/323.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1291.27/323.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1291.27/323.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.14
1291.27/323.79	c Replacing        1 vars Replaced     2736 lits Time:     0.09 s 
1291.67/323.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1291.67/323.87	c subs with bin:        7  lits-rem:      1146  v-fix:    0  time:  0.19 s
1291.67/323.87	c Subs w/ non-existent bins:      0 l-rem:    138 v-fix:     0 done:    573 time:  0.00 s
1291.67/323.87	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1314.81/329.65	c lits-rem:       924  cl-subs:    17085  v-elim:      0  v-fix:    0  time: 23.02 s
1314.81/329.65	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
1314.81/329.66	c vivif2 --  cl tried    65723 cl shrink      123 lits rem        123 time: 0.07
1315.21/329.71	c asymm  cl-useful: 0/2247/9288 lits-rem:0 time: 0.20
1315.21/329.71	c calculated reachability. Time: 0.00
1315.21/329.71	c  N st    78   1710725       573      9288       291     65723     31097    772310   no data   no data  --
1693.38/424.59	c  N st    79   2079689       573      9288       291     77234     31097    877561   no data   no data  --
1816.67/455.48	c  N st    80   2210725       573      9288       295     81350     31097    895425   no data   no data  --
1816.67/455.48	c  S st    80   2210725       573      9288       295     81350     31097    895425   no data   no data  --
1817.44/455.67	c  S st    80   2211227       573      9288       297     81845     31097    904782   no data   no data  --
1817.44/455.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1817.44/455.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1817.84/455.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  1.2M T:  0.12
1817.84/455.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1817.84/455.76	c subs with bin:        3  lits-rem:       209  v-fix:    0  time:  0.12 s
1817.84/455.76	c Subs w/ non-existent bins:      0 l-rem:     44 v-fix:     0 done:    573 time:  0.00 s
1817.84/455.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1838.61/460.92	c lits-rem:      2097  cl-subs:    16028  v-elim:      0  v-fix:    0  time: 20.54 s
1838.61/460.92	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
1838.61/460.93	c vivif2 --  cl tried    65814 cl shrink       24 lits rem         25 time: 0.06
1839.38/461.17	c asymm  cl-useful: 0/4459/9288 lits-rem:0 time: 0.93
1839.38/461.17	c calculated reachability. Time: 0.00
1839.38/461.17	c  N st    80   2211227       573      9288       296     65814     31097    700425   no data   no data  --
1839.38/461.17	c Finding binary XORs  T:     0.00 s  found:       0
2384.71/597.81	c  N st    81   2711227       573      9288       297     89925     31097   1030274   no data   no data  --
2384.71/597.81	c  S st    81   2711227       573      9288       297     89925     31097   1030274   no data   no data  --
2384.71/597.81	c Finding binary XORs  T:     0.00 s  found:       0
2385.51/598.00	c  S st    81   2711737       573      9288       315     90433     31097   1040233   no data   no data  --
2385.51/598.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2385.51/598.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2385.51/598.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.15
2385.51/598.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2385.91/598.12	c subs with bin:        8  lits-rem:       324  v-fix:    0  time:  0.16 s
2385.91/598.12	c Subs w/ non-existent bins:      0 l-rem:    111 v-fix:     0 done:    573 time:  0.00 s
2385.91/598.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2409.48/604.08	c lits-rem:      1071  cl-subs:    13259  v-elim:      0  v-fix:    0  time: 23.74 s
2409.48/604.08	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
2409.84/604.10	c vivif2 --  cl tried    77166 cl shrink      101 lits rem        105 time: 0.07
2410.24/604.23	c asymm  cl-useful: 0/4829/9288 lits-rem:0 time: 0.55
2410.24/604.24	c calculated reachability. Time: 0.00
2410.24/604.24	c  N st    81   2711737       573      9288       315     77166     31097    856379   no data   no data  --
2974.70/745.77	c  N st    82   3211738       573      9288       315    129490     31097   1578097   no data   no data  --
2974.70/745.77	c  S st    82   3211738       573      9288       315    129490     31097   1578097   no data   no data  --
2974.70/745.77	c Finding binary XORs  T:     0.00 s  found:       0
2976.30/746.16	c  S st    82   3212240       573      9288       330    129989     31097   1587169   no data   no data  --
2976.30/746.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2976.30/746.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2976.70/746.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.28
2977.10/746.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2977.10/746.37	c subs with bin:        6  lits-rem:       766  v-fix:    0  time:  0.30 s
2977.10/746.37	c Subs w/ non-existent bins:      0 l-rem:    133 v-fix:     0 done:    573 time:  0.01 s
2977.10/746.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3061.67/767.59	c lits-rem:      2861  cl-subs:    42371  v-elim:      0  v-fix:    0  time: 84.59 s
3061.67/767.59	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
3062.07/767.61	c vivif2 --  cl tried    87612 cl shrink      138 lits rem        139 time: 0.09
3062.89/767.88	c asymm  cl-useful: 0/3405/9288 lits-rem:0 time: 1.06
3062.89/767.88	c calculated reachability. Time: 0.00
3062.89/767.88	c  N st    82   3212240       573      9288       330     87612     31097   1000486   no data   no data  --
3659.25/917.30	c  N st    83   3712241       573      9288       330    104640     31097   1150236   no data   no data  --
3659.25/917.30	c  S st    83   3712241       573      9288       330    104640     31097   1150236   no data   no data  --
3659.25/917.30	c Finding binary XORs  T:     0.00 s  found:       0
3660.09/917.52	c  S st    83   3712743       573      9288       340    105138     31097   1159720   no data   no data  --
3660.09/917.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3660.09/917.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3660.09/917.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  1.5M T:  0.18
3660.44/917.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3660.84/917.76	c subs with bin:      524  lits-rem:      2277  v-fix:    0  time:  0.60 s
3660.84/917.76	c Subs w/ non-existent bins:      0 l-rem:     30 v-fix:     0 done:    573 time:  0.00 s
3660.84/917.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3692.75/925.73	c lits-rem:       538  cl-subs:    22601  v-elim:      0  v-fix:    0  time: 31.78 s
3692.75/925.73	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
3692.75/925.75	c vivif2 --  cl tried    82013 cl shrink       79 lits rem         79 time: 0.08
3693.55/926.00	c asymm  cl-useful: 0/5267/9288 lits-rem:0 time: 0.98
3693.95/926.00	c calculated reachability. Time: 0.00
3693.95/926.00	c  N st    83   3712743       573      9288       341     82013     31097    873815   no data   no data  --
3735.04/936.32	c  F st    84   3751562       573      9288       341    120079     31097   1629552   no data   no data  --
3735.04/936.32	c  N st    84   3751562       573      9288       341    120079     31097   1629552   no data   no data  --
3742.22/938.11	c Decided on static restart strategy
3769.36/944.97	c  N st    94   3779863       573      9288       341    147692     31097   2144305   no data   no data  --
3813.24/956.00	c  N st    96   3815856       573      9288       341    101244     31097   1132445   no data   no data  --
3850.72/965.33	c  N st    97   3848249       573      9288       341    132711     31097   1643679   no data   no data  --
3850.72/965.33	c Finding binary XORs  T:     0.00 s  found:       0
3912.56/980.82	c  N st    98   3896839       573      9288       348     97351     31097   1057405   no data   no data  --
3912.56/980.82	c Finding binary XORs  T:     0.00 s  found:       0
4011.89/1005.76	c  N st    99   3969721       573      9288       362     84736     31097    840366   no data   no data  --
4145.53/1039.24	c  N st   100   4079045       573      9288       365    106731     31097   1219139   no data   no data  --
4145.53/1039.24	c Finding binary XORs  T:     0.00 s  found:       0
4321.05/1083.23	c  N st   101   4212744       573      9288       372    151055     31097   1940594   no data   no data  --
4321.05/1083.23	c  S st   101   4212744       573      9288       372    151055     31097   1940594   no data   no data  --
4322.26/1083.53	c  S st   101   4213248       573      9288       372    151555     31097   1949417   no data   no data  --
4322.26/1083.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4322.26/1083.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4322.68/1083.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.30
4322.68/1083.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4323.43/1083.81	c subs with bin:       97  lits-rem:       784  v-fix:    0  time:  0.51 s
4323.43/1083.82	c Subs w/ non-existent bins:      0 l-rem:    255 v-fix:     0 done:    573 time:  0.02 s
4323.43/1083.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4455.47/1116.93	c lits-rem:     15790  cl-subs:    39719  v-elim:      0  v-fix:    0  time: 132.08 s
4455.47/1116.93	c vivif2 --  cl tried     9288 cl shrink        0 lits rem          0 time: 0.00
4455.47/1116.96	c vivif2 --  cl tried   111739 cl shrink      373 lits rem        376 time: 0.14
4455.47/1116.99	c asymm  cl-useful: 0/616/9288 lits-rem:0 time: 0.08
4455.47/1116.99	c calculated reachability. Time: 0.00
4455.47/1116.99	c  N st   101   4213248       573      9288       372    111739     31097   1380655   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-3369243-1305416243/watcher-3369243-1305416243 -o /tmp/evaluation-result-3369243-1305416243/solver-3369243-1305416243 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369243-1305416243.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.48 7.96 8.00 5/342 14099
/proc/meminfo: memFree=18138416/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=329804 CPUtime=0.01 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) D 14097 14099 13934 0 -1 4202496 580 0 0 0 1 0 0 0 25 0 4 0 653222258 337719296 498 33554432000 4194304 4650419 140734183433584 18446744073709551615 228243854176 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 66067 501 335 112 0 61032 0
[pid=14099/tid=14100] ppid=14097 vsize=282372 CPUtime=0 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 233 0 0 0 0 0 0 0 25 0 4 0 653222258 289148928 1464 33554432000 4194304 4650419 140734183433584 18446744073709551615 4520109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=282372 CPUtime=0 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 292 0 0 0 0 0 0 0 25 0 4 0 653222258 289148928 1464 33554432000 4194304 4650419 140734183433584 18446744073709551615 228244373399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=282372 CPUtime=0 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 309 0 0 0 0 0 0 0 25 0 4 0 653222258 289148928 1464 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.110841 s]
/proc/loadavg: 7.48 7.96 8.00 5/342 14099
/proc/meminfo: memFree=18138416/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=286236 CPUtime=0.41 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 4630 0 0 0 41 0 0 0 25 0 4 0 653222258 293105664 3733 33554432000 4194304 4650419 140734183433584 18446744073709551615 4520040 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 71559 3733 390 112 0 66524 0
[pid=14099/tid=14100] ppid=14097 vsize=286236 CPUtime=0.1 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1306 0 0 0 10 0 0 0 25 0 4 0 653222258 293105664 3733 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=286236 CPUtime=0.1 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1135 0 0 0 10 0 0 0 25 0 4 0 653222258 293105664 3733 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=286236 CPUtime=0.1 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 390 0 0 0 10 0 0 0 25 0 4 0 653222258 293105664 3733 33554432000 4194304 4650419 140734183433584 18446744073709551615 4330361 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 286236

[startup+0.200824 s]
/proc/loadavg: 7.48 7.96 8.00 5/342 14099
/proc/meminfo: memFree=18138416/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=286596 CPUtime=0.77 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 5001 0 0 0 77 0 0 0 25 0 4 0 653222258 293474304 3974 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 71649 3974 393 112 0 66614 0
[pid=14099/tid=14100] ppid=14097 vsize=286596 CPUtime=0.19 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1369 0 0 0 19 0 0 0 25 0 4 0 653222258 293474304 3974 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=286596 CPUtime=0.19 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1175 0 0 0 19 0 0 0 25 0 4 0 653222258 293474304 3974 33554432000 4194304 4650419 140734183433584 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=286596 CPUtime=0.19 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 613 0 0 0 19 0 0 0 25 0 4 0 653222258 293474304 3974 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 286596

[startup+0.300808 s]
/proc/loadavg: 7.48 7.96 8.00 5/342 14099
/proc/meminfo: memFree=18138416/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=287256 CPUtime=1.17 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 5636 0 0 0 117 0 0 0 25 0 4 0 653222258 294150144 3962 33554432000 4194304 4650419 140734183433584 18446744073709551615 4331159 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 71814 3962 393 112 0 66779 0
[pid=14099/tid=14100] ppid=14097 vsize=287256 CPUtime=0.29 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1600 0 0 0 29 0 0 0 25 0 4 0 653222258 294150144 3962 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=287256 CPUtime=0.29 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1322 0 0 0 29 0 0 0 25 0 4 0 653222258 294150144 3962 33554432000 4194304 4650419 140734183433584 18446744073709551615 4330522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=287256 CPUtime=0.29 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 656 0 0 0 29 0 0 0 25 0 4 0 653222258 294150144 3962 33554432000 4194304 4650419 140734183433584 18446744073709551615 4315094 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 287256

[startup+0.700738 s]
/proc/loadavg: 7.48 7.96 8.00 5/342 14099
/proc/meminfo: memFree=18138416/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=287852 CPUtime=2.77 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 6996 0 0 0 276 1 0 0 25 0 4 0 653222258 294760448 4416 33554432000 4194304 4650419 140734183433584 18446744073709551615 4333611 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 71963 4416 393 112 0 66928 0
[pid=14099/tid=14100] ppid=14097 vsize=287852 CPUtime=0.68 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1963 0 0 0 68 0 0 0 25 0 4 0 653222258 294760448 4416 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=287852 CPUtime=0.68 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1668 0 0 0 68 0 0 0 25 0 4 0 653222258 294760448 4416 33554432000 4194304 4650419 140734183433584 18446744073709551615 4303936 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=287852 CPUtime=0.69 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 961 0 0 0 69 0 0 0 25 0 4 0 653222258 294760448 4416 33554432000 4194304 4650419 140734183433584 18446744073709551615 4329570 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 287852

[startup+1.5006 s]
/proc/loadavg: 7.48 7.96 8.00 6/339 14125
/proc/meminfo: memFree=18136532/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=279768 CPUtime=5.96 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 8862 0 0 0 595 1 0 0 25 0 4 0 653222258 286482432 5135 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365231 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 69942 5135 394 112 0 64907 0
[pid=14099/tid=14100] ppid=14097 vsize=279768 CPUtime=1.47 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 2381 0 0 0 147 0 0 0 25 0 4 0 653222258 286482432 5135 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=279768 CPUtime=1.48 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 2108 0 0 0 148 0 0 0 25 0 4 0 653222258 286482432 5135 33554432000 4194304 4650419 140734183433584 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=279768 CPUtime=1.49 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 1574 0 0 0 149 0 0 0 25 0 4 0 653222258 286482432 5135 33554432000 4194304 4650419 140734183433584 18446744073709551615 4334219 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 279768

[startup+3.10032 s]
/proc/loadavg: 7.48 7.96 8.00 9/346 14133
/proc/meminfo: memFree=18111056/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=280844 CPUtime=12.35 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 15023 0 0 0 1233 2 0 0 25 0 4 0 653222258 287584256 9211 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 70211 9211 395 112 0 65176 0
[pid=14099/tid=14100] ppid=14097 vsize=280844 CPUtime=3.06 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 4062 0 0 0 306 0 0 0 25 0 4 0 653222258 287584256 9211 33554432000 4194304 4650419 140734183433584 18446744073709551615 4315116 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=280844 CPUtime=3.08 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 3029 0 0 0 308 0 0 0 25 0 4 0 653222258 287584256 9211 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=280844 CPUtime=3.09 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 3423 0 0 0 309 0 0 0 25 0 4 0 653222258 287584256 9211 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 280844

[startup+6.30076 s]
/proc/loadavg: 7.52 7.96 8.00 9/346 14133
/proc/meminfo: memFree=18064060/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=278324 CPUtime=25.11 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 23292 0 0 0 2508 3 0 0 25 0 4 0 653222258 285003776 12827 33554432000 4194304 4650419 140734183433584 18446744073709551615 4315613 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 69581 12827 395 112 0 64546 0
[pid=14099/tid=14100] ppid=14097 vsize=278324 CPUtime=6.23 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 6463 0 0 0 622 1 0 0 25 0 4 0 653222258 285003776 12827 33554432000 4194304 4650419 140734183433584 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=278324 CPUtime=6.28 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 5395 0 0 0 628 0 0 0 25 0 4 0 653222258 285003776 12827 33554432000 4194304 4650419 140734183433584 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=278324 CPUtime=6.29 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 4955 0 0 0 629 0 0 0 25 0 4 0 653222258 285003776 12827 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 278324

[startup+12.7006 s]
/proc/loadavg: 7.56 7.97 8.00 9/346 14133
/proc/meminfo: memFree=18021428/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=306056 CPUtime=50.64 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 32696 0 0 0 5059 5 0 0 25 0 4 0 653222258 313401344 17742 33554432000 4194304 4650419 140734183433584 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 76514 17742 395 112 0 71479 0
[pid=14099/tid=14100] ppid=14097 vsize=306056 CPUtime=12.55 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 8738 0 0 0 1254 1 0 0 25 0 4 0 653222258 313401344 17742 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=306056 CPUtime=12.69 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 7287 0 0 0 1268 1 0 0 25 0 4 0 653222258 313401344 17742 33554432000 4194304 4650419 140734183433584 18446744073709551615 4334643 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=306056 CPUtime=12.69 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 8216 0 0 0 1268 1 0 0 25 0 4 0 653222258 313401344 17742 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 306056

[startup+25.5004 s]
/proc/loadavg: 7.79 8.00 8.01 9/346 14134
/proc/meminfo: memFree=18005184/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=296340 CPUtime=101.7 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 49030 0 0 0 10161 9 0 0 25 0 4 0 653222258 303452160 19952 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 74085 19952 395 112 0 69050 0
[pid=14099/tid=14100] ppid=14097 vsize=296340 CPUtime=25.21 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 13125 0 0 0 2519 2 0 0 25 0 4 0 653222258 303452160 19952 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=296340 CPUtime=25.48 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 11860 0 0 0 2546 2 0 0 25 0 4 0 653222258 303452160 19952 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=296340 CPUtime=25.49 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 11530 0 0 0 2547 2 0 0 25 0 4 0 653222258 303452160 19952 33554432000 4194304 4650419 140734183433584 18446744073709551615 228244373399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 296340

[startup+51.1009 s]
/proc/loadavg: 7.86 8.00 8.00 9/346 14134
/proc/meminfo: memFree=17965940/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=297548 CPUtime=203.82 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 73058 0 0 0 20368 14 0 0 25 0 4 0 653222258 304689152 24029 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 74387 24029 395 112 0 69352 0
[pid=14099/tid=14100] ppid=14097 vsize=297548 CPUtime=50.53 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 19846 0 0 0 5050 3 0 0 25 0 4 0 653222258 304689152 24029 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=297548 CPUtime=51.08 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 18407 0 0 0 5105 3 0 0 25 0 4 0 653222258 304689152 24029 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=297548 CPUtime=51.09 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 15641 0 0 0 5106 3 0 0 25 0 4 0 653222258 304689152 24029 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 297548

[startup+102.301 s]
/proc/loadavg: 7.99 8.01 8.00 9/346 14136
/proc/meminfo: memFree=17916312/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=293508 CPUtime=408.09 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 110798 0 0 0 40785 24 0 0 25 0 4 0 653222258 300552192 30693 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 73377 30693 395 112 0 68342 0
[pid=14099/tid=14100] ppid=14097 vsize=293508 CPUtime=101.18 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 28594 0 0 0 10113 5 0 0 25 0 4 0 653222258 300552192 30695 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=293508 CPUtime=102.29 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 30074 0 0 0 10223 6 0 0 25 0 4 0 653222258 300552192 30695 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=293508 CPUtime=102.31 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 23011 0 0 0 10226 5 0 0 25 0 4 0 653222258 300552192 30695 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.09
Current children cumulated vsize (KiB) 293508

[startup+162.3 s]

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

[pid=14099] ppid=14097 vsize=432160 CPUtime=2562.23 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 353547 0 0 0 256107 116 0 0 25 0 4 0 653222258 442531840 68632 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 108040 68632 395 112 0 103005 0
[pid=14099/tid=14100] ppid=14097 vsize=432160 CPUtime=635.31 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 80650 0 0 0 63506 25 0 0 25 0 4 0 653222258 442531840 68632 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=432160 CPUtime=642.29 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 94694 0 0 0 64199 30 0 0 25 0 4 0 653222258 442531840 68632 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=432160 CPUtime=642.3 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 63709 0 0 0 64209 21 0 0 25 0 4 0 653222258 442531840 68632 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2562.23
Current children cumulated vsize (KiB) 432160

[startup+702.301 s]
/proc/loadavg: 8.18 8.12 8.04 9/346 14152
/proc/meminfo: memFree=17544240/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=445236 CPUtime=2801.57 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 373180 0 0 0 280033 124 0 0 25 0 4 0 653222258 455921664 79300 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 111309 79300 395 112 0 106274 0
[pid=14099/tid=14100] ppid=14097 vsize=445236 CPUtime=694.64 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 86239 0 0 0 69437 27 0 0 25 0 4 0 653222258 455921664 79300 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=445236 CPUtime=702.29 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 100064 0 0 0 70198 31 0 0 25 0 4 0 653222258 455921664 79300 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=445236 CPUtime=702.3 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 65003 0 0 0 70208 22 0 0 25 0 4 0 653222258 455921664 79300 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.57
Current children cumulated vsize (KiB) 445236

[startup+762.3 s]
/proc/loadavg: 8.12 8.11 8.04 9/346 14153
/proc/meminfo: memFree=17510460/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=511524 CPUtime=3040.95 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 393641 0 0 0 303964 131 0 0 25 0 4 0 653222258 523800576 81789 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433090 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 127881 81789 395 112 0 122846 0
[pid=14099/tid=14100] ppid=14097 vsize=511524 CPUtime=753.99 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 90514 0 0 0 75370 29 0 0 25 0 4 0 653222258 523800576 81790 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=511524 CPUtime=762.31 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 104683 0 0 0 76198 33 0 0 25 0 4 0 653222258 523800576 81790 33554432000 4194304 4650419 140734183433584 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=511524 CPUtime=762.32 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 67958 0 0 0 76209 23 0 0 25 0 4 0 653222258 523800576 81790 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.95
Current children cumulated vsize (KiB) 511524

[startup+822.301 s]
/proc/loadavg: 8.11 8.11 8.04 9/346 14155
/proc/meminfo: memFree=17495540/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=447504 CPUtime=3280.27 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 406946 0 0 0 327890 137 0 0 25 0 4 0 653222258 458244096 80289 33554432000 4194304 4650419 140734183433584 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 111876 80289 395 112 0 106841 0
[pid=14099/tid=14100] ppid=14097 vsize=447504 CPUtime=813.34 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 93051 0 0 0 81303 31 0 0 25 0 4 0 653222258 458244096 80289 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=447504 CPUtime=822.3 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 108553 0 0 0 82195 35 0 0 25 0 4 0 653222258 458244096 80289 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=447504 CPUtime=822.31 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 68412 0 0 0 82207 24 0 0 25 0 4 0 653222258 458244096 80289 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.27
Current children cumulated vsize (KiB) 447504

[startup+882.313 s]
/proc/loadavg: 8.09 8.10 8.04 9/346 14156
/proc/meminfo: memFree=17494620/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=439500 CPUtime=3519.67 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 419226 0 0 0 351822 145 0 0 25 0 4 0 653222258 450048000 81409 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 109875 81409 395 112 0 104840 0
[pid=14099/tid=14100] ppid=14097 vsize=439500 CPUtime=872.69 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 96132 0 0 0 87237 32 0 0 25 0 4 0 653222258 450048000 81409 33554432000 4194304 4650419 140734183433584 18446744073709551615 4367287 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=439500 CPUtime=882.31 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 109964 0 0 0 88195 36 0 0 25 0 4 0 653222258 450048000 81409 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=439500 CPUtime=882.32 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 70082 0 0 0 88208 24 0 0 25 0 4 0 653222258 450048000 81409 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.67
Current children cumulated vsize (KiB) 439500

[startup+942.301 s]
/proc/loadavg: 8.14 8.11 8.04 9/346 14158
/proc/meminfo: memFree=17464680/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=451904 CPUtime=3758.97 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 431020 0 0 0 375747 150 0 0 25 0 4 0 653222258 462749696 85038 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 112976 85038 395 112 0 107941 0
[pid=14099/tid=14100] ppid=14097 vsize=451904 CPUtime=932.03 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 99819 0 0 0 93169 34 0 0 25 0 4 0 653222258 462749696 85038 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=451904 CPUtime=942.3 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 110204 0 0 0 94194 36 0 0 25 0 4 0 653222258 462749696 85038 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=451904 CPUtime=942.31 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 72457 0 0 0 94205 26 0 0 25 0 4 0 653222258 462749696 85038 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.97
Current children cumulated vsize (KiB) 451904

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 8.05 9/346 14160
/proc/meminfo: memFree=17446016/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=465628 CPUtime=3998.31 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 443883 0 0 0 399676 155 0 0 25 0 4 0 653222258 476803072 86846 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 116407 86846 395 112 0 111372 0
[pid=14099/tid=14100] ppid=14097 vsize=465628 CPUtime=991.37 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 101942 0 0 0 99102 35 0 0 25 0 4 0 653222258 476803072 86846 33554432000 4194304 4650419 140734183433584 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=465628 CPUtime=1002.3 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 112328 0 0 0 100193 37 0 0 25 0 4 0 653222258 476803072 86846 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433048 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=465628 CPUtime=1002.31 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 75090 0 0 0 100205 26 0 0 25 0 4 0 653222258 476803072 86846 33554432000 4194304 4650419 140734183433584 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.31
Current children cumulated vsize (KiB) 465628

[startup+1062.3 s]
/proc/loadavg: 8.14 8.12 8.05 9/346 14161
/proc/meminfo: memFree=17472756/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=453364 CPUtime=4237.67 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 454088 0 0 0 423606 161 0 0 25 0 4 0 653222258 464244736 85541 33554432000 4194304 4650419 140734183433584 18446744073709551615 4313071 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 113341 85541 395 112 0 108306 0
[pid=14099/tid=14100] ppid=14097 vsize=453364 CPUtime=1050.73 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 104572 0 0 0 105037 36 0 0 25 0 4 0 653222258 464244736 85541 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=453364 CPUtime=1062.31 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 113737 0 0 0 106192 39 0 0 25 0 4 0 653222258 464244736 85541 33554432000 4194304 4650419 140734183433584 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=453364 CPUtime=1062.31 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 75333 0 0 0 106205 26 0 0 25 0 4 0 653222258 464244736 85541 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.67
Current children cumulated vsize (KiB) 453364

[startup+1122.3 s]
/proc/loadavg: 8.13 8.13 8.06 9/346 14163
/proc/meminfo: memFree=17448784/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=467080 CPUtime=4477.02 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 463935 0 0 0 447536 166 0 0 25 0 4 0 653222258 478289920 89152 33554432000 4194304 4650419 140734183433584 18446744073709551615 4334261 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 116770 89152 395 112 0 111735 0
[pid=14099/tid=14100] ppid=14097 vsize=467080 CPUtime=1110.07 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 107411 0 0 0 110970 37 0 0 25 0 4 0 653222258 478289920 89152 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=467080 CPUtime=1122.3 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 116915 0 0 0 112190 40 0 0 25 0 4 0 653222258 478289920 89152 33554432000 4194304 4650419 140734183433584 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=467080 CPUtime=1122.32 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 75898 0 0 0 112205 27 0 0 25 0 4 0 653222258 478289920 89152 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.02
Current children cumulated vsize (KiB) 467080

[startup+1182.3 s]
/proc/loadavg: 8.12 8.13 8.06 9/346 14164
/proc/meminfo: memFree=17425056/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=466024 CPUtime=4716.38 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 475149 0 0 0 471468 170 0 0 25 0 4 0 653222258 477208576 90830 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 116506 90830 395 112 0 111471 0
[pid=14099/tid=14100] ppid=14097 vsize=466024 CPUtime=1169.42 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 109778 0 0 0 116904 38 0 0 25 0 4 0 653222258 477208576 90830 33554432000 4194304 4650419 140734183433584 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=466024 CPUtime=1182.31 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 120159 0 0 0 118189 42 0 0 25 0 4 0 653222258 477208576 90830 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433084 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=466024 CPUtime=1182.32 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 76046 0 0 0 118205 27 0 0 25 0 4 0 653222258 477208576 90830 33554432000 4194304 4650419 140734183433584 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4716.38
Current children cumulated vsize (KiB) 466024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.20 8.15 8.07 9/346 14165
/proc/meminfo: memFree=17394292/32951124 swapFree=67082152/67111528
[pid=14099] ppid=14097 vsize=478780 CPUtime=4800.16 cores=1,3,5,7
/proc/14099/stat : 14099 (strangenight1-m) R 14097 14099 13934 0 -1 4202496 479630 0 0 0 479844 172 0 0 25 0 4 0 653222258 490270720 94755 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/14099/statm: 119695 94755 395 112 0 114660 0
[pid=14099/tid=14100] ppid=14097 vsize=478780 CPUtime=1190.19 cores=1,3,5,7
/proc/14099/task/14100/stat : 14100 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 111039 0 0 0 118980 39 0 0 25 0 4 0 653222258 490270720 94756 33554432000 4194304 4650419 140734183433584 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14099/tid=14101] ppid=14097 vsize=478780 CPUtime=1203.33 cores=1,3,5,7
/proc/14099/task/14101/stat : 14101 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 120159 0 0 0 120291 42 0 0 25 0 4 0 653222258 490270720 94756 33554432000 4194304 4650419 140734183433584 18446744073709551615 4433059 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14099/tid=14102] ppid=14097 vsize=478780 CPUtime=1203.33 cores=1,3,5,7
/proc/14099/task/14102/stat : 14102 (strangenight1-m) R 14097 14099 13934 0 -1 4202560 78281 0 0 0 120306 27 0 0 25 0 4 0 653222258 490270720 94756 33554432000 4194304 4650419 140734183433584 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 478780

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): 1203.34
CPU time (s): 4800.23
CPU user time (s): 4798.49
CPU system time (s): 1.74373
CPU usage (%): 398.91
Max. virtual memory (cumulated for all children) (KiB): 563972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.49
system time used= 1.74373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 479631
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= 419
involuntary context switches= 31909

runsolver used 3.68844 second user time and 9.48456 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-15 01:37:23
IDJOB=3369243
IDBENCH=84608
IDSOLVER=1846
FILE ID=node136/3369243-1305416243
RUNJOBID= node136-1305415036-13953
PBS_JOBID= 13324558
Free space on /tmp= 72988 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT04/handmade/connamacher/connm-d0.02/connm-ue-csp-sat-n800-d0.02-s111845174.used-as.sat04-958.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369243-1305416243/watcher-3369243-1305416243 -o /tmp/evaluation-result-3369243-1305416243/solver-3369243-1305416243 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369243-1305416243.cnf

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

MD5SUM BENCH= 7bb85ebdeae46262f72a4c54d4e16683
RANDOM SEED=1913557113

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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:      18138580 kB
Buffers:        298560 kB
Cached:        5043608 kB
SwapCached:       2740 kB
Active:       10578724 kB
Inactive:      3892112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18138580 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           12580 kB
Writeback:           0 kB
AnonPages:     9127028 kB
Mapped:          28172 kB
Slab:           237364 kB
PageTables:      38744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69960172 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= 72984 MiB
End job on node136 at 2011-05-15 01:57:28