Trace number 3368588

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.4 1203.17

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
MD5SUMc08a1b82ea5b515d260c5edf61d7067c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.5403
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.04	c This is CryptoMiniSat 2.9.0
0.00/0.04	c compiled with gcc version 4.4.5
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c Reading file 'HOME/instance-3368588-1305398110.cnf'
0.00/0.04	c -- header says num vars:          15000
0.00/0.04	c -- header says num clauses:       63000
0.30/0.12	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.30/0.12	c -- vars added      15000
0.30/0.12	c Parsing time:  0.16 s
0.30/0.16	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.30/0.16	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.30/0.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.69/0.25	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.69/0.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.69/0.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.69/0.25	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
1.48/0.41	c lits-rem:         0  cl-subs:        0  v-elim:    519  v-fix:    0  time:  0.55 s
1.48/0.41	c Finding binary XORs  T:     0.01 s  found:       0
1.87/0.51	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
1.87/0.51	c calculated reachability. Time: 0.00
1.87/0.51	c Calc default polars -  time:   0.02 s pos:    6658 undec:    1776 neg:    6566
1.87/0.51	c =========================================================================================
1.87/0.51	c types(t): F = full restart, N = normal restart
1.87/0.51	c types(t): S = simplification begin/end, E = solution found
1.87/0.51	c restart types(rt): st = static, dy = dynamic
1.87/0.51	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.87/0.51	c  B st     0         0     14481     62359         0         0    189954         0   no data   no data  --
4.67/1.22	c  N dy    22      4028     14481     62359         0      4028    189954    798027    115.62    123.41  --
7.86/2.08	c  N dy    47      8373     14481     62359         0      8373    189954   1567181    113.66    120.03  --
11.45/2.93	c  N dy    73     12489     14481     62359         0     12489    189954   2295788    112.77    119.82  --
15.04/3.80	c  N dy    98     16531     14481     62359         0     16530    189954   3016487    112.39    119.59  --
18.63/4.71	c  N dy   127     20559     14481     62359         0     10563    189954    601020    112.80    119.27  --
21.86/5.59	c  N dy   156     24705     14481     62359         0     14709    189954   1352888    113.06    119.77  --
22.22/5.66	c  F st   159     25001     14481     62359         0     15005    189954   1408383    113.09   no data  --
27.01/6.81	c  N dy   165     30001     14481     62359         0     20005    189954   2489691    113.09   no data  --
27.01/6.81	c  S st   165     30001     14481     62359         0     20005    189954   2489691    113.09   no data  --
27.41/6.92	c  S st   165     30507     14481     62359         0     20511    189954   2560738    113.09   no data  --
27.41/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.41/6.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.41/7.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.61/7.24	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.61/7.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.61/7.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
28.61/7.25	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.36/11.49	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.83 s
45.76/11.58	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.36
45.76/11.59	c calculated reachability. Time: 0.00
45.76/11.59	c  N dy   165     30507     14481     62359         0     20508    189954   2559641    113.09   no data  --
50.54/12.71	c  N dy   198     34632     14481     62359         0     24633    189954   3337503    114.05    120.74  --
54.94/13.85	c  N dy   225     38849     14481     62359         0     28850    189954   4096026    113.90    120.38  --
59.73/15.01	c  N dy   254     43103     14481     62359         0     17605    189954    992241    113.93    123.59  --
62.51/15.72	c  S st   273     45761     14481     62359         0     20263    189954   1472765    113.95   no data  --
62.91/15.85	c  S st   273     46265     14481     62359         0     20767    189954   1554205    113.95   no data  --
62.91/15.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.91/15.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.31/15.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
63.71/16.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
63.71/16.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
63.71/16.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
63.71/16.05	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
75.28/18.90	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.34 s
75.28/18.90	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
75.28/18.92	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.08
75.68/19.00	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.32
75.68/19.01	c calculated reachability. Time: 0.00
75.68/19.01	c  N dy   273     46265     14481     62359         0     20767    189954   1554203    113.95   no data  --
79.27/19.95	c  N dy   297     50288     14481     62359         0     24789    189954   2272790    113.81    125.97  --
83.31/20.96	c  N dy   327     54393     14481     62359         0     28893    189954   3020871    113.87    121.59  --
87.27/21.98	c  N dy   353     58411     14481     62359         0     32911    189954   3741017    113.87    139.89  --
91.66/23.04	c  N dy   380     62491     14481     62359         0     36991    189954   4487885    113.90    122.77  --
95.64/24.02	c  N dy   405     66543     14481     62359         0     22296    189954   1221268    113.79    155.54  --
98.42/24.73	c  S st   426     69397     14481     62359         0     25150    189954   1745763    113.80   no data  --
98.82/24.85	c  S st   426     69898     14481     62359         0     25651    189954   1816735    113.80   no data  --
98.82/24.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.82/24.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.21/24.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
99.61/25.04	c bin-w-bin subsume rem            0 bins  time:  0.02 s
99.61/25.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
99.61/25.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
99.61/25.06	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
113.19/28.45	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.51 s
113.19/28.46	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
113.19/28.48	c vivif2 --  cl tried    25647 cl shrink        0 lits rem          0 time: 0.10
113.60/28.57	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.36
113.60/28.58	c calculated reachability. Time: 0.00
113.60/28.58	c  N dy   426     69898     14481     62359         0     25647    189954   1815316    113.80   no data  --
117.99/29.71	c  N dy   454     74454     14481     62359         0     30203    189954   2625379    113.64    119.76  --
123.16/30.99	c  N dy   484     79475     14481     62359         0     35223    189954   3523648    113.47    126.22  --
129.15/32.40	c  N dy   520     84691     14481     62359         0     40438    189954   4479804    113.62    122.00  --
131.93/33.14	c  F st   536     87500     14481     62359         0     22371    189954    841091    113.42   no data  --
135.14/33.99	c  N st   541     90797     14481     62359         0     25667    189954   1628071    113.42   no data  --
141.51/35.55	c  N dy   572     96680     14481     62359         0     31550    189954   2913109    113.51    120.68  --
148.30/37.25	c  N dy   612    102904     14481     62359         0     37774    189954   4061241    113.54    129.76  --
150.29/37.78	c  S st   625    104847     14481     62359         0     39717    189954   4409358    113.53     96.64  --
151.09/37.92	c  S st   625    105353     14481     62359         0     40223    189954   4479103    113.53   no data  --
151.09/37.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
151.09/37.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.49/38.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
152.29/38.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
152.29/38.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
152.29/38.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
152.69/38.30	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
276.00/69.21	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time: 123.18 s
276.00/69.21	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
276.00/69.27	c vivif2 --  cl tried    40215 cl shrink        0 lits rem          0 time: 0.23
276.42/69.39	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.48
276.42/69.40	c calculated reachability. Time: 0.00
276.77/69.40	c  N dy   625    105353     14481     62359         0     40215    189954   4475221    113.53   no data  --
283.95/71.22	c  N dy   672    112201     14481     62359         0     24626    189954    941576    113.65    121.33  --
291.14/73.06	c  N dy   724    119451     14481     62359         0     31874    189954   2276425    113.86    124.68  --
299.11/75.07	c  N dy   769    127154     14481     62359         0     39575    189954   3651713    113.67    119.77  --
308.29/77.38	c  N dy   824    135328     14481     62359         0     24034    189954    575457    113.77    121.79  --
317.06/79.58	c  N dy   881    143978     14481     62359         0     32684    189954   2134196    113.87    119.94  --
327.05/82.08	c  N dy   943    153333     14481     62359         0     42039    189954   3824318    113.86    121.62  --
332.63/83.41	c  S st   975    158031     14481     62359         0     46737    189954   4688394    113.82   no data  --
333.05/83.56	c  S st   975    158540     14481     62359         0     47246    189954   4753533    113.82   no data  --
333.05/83.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
333.05/83.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
333.46/83.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.33
334.63/83.92	c bin-w-bin subsume rem            0 bins  time:  0.02 s
334.63/83.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
334.63/83.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
334.63/83.93	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
528.54/132.54	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 193.62 s
528.54/132.55	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
528.94/132.61	c vivif2 --  cl tried    47240 cl shrink        0 lits rem          0 time: 0.26
529.34/132.75	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.55
529.34/132.76	c calculated reachability. Time: 0.00
529.34/132.76	c  N dy   975    158540     14481     62359         0     47240    189954   4750923    113.82   no data  --
540.92/135.64	c  N dy  1040    168857     14481     62359         0     32700    189954   1926077    113.80    120.30  --
553.27/138.74	c  N dy  1114    179726     14481     62359         0     43568    189954   3915189    113.86    121.53  --
566.85/142.16	c  N dy  1187    191299     14481     62359         0     29210    189954   1047482    113.82    119.88  --
580.41/145.59	c  N dy  1274    203618     14481     62359         0     41528    189954   3277753    113.87    121.37  --
596.40/149.52	c  N dy  1355    216679     14481     62359         0     27627    189954    565955    113.81    121.01  --
611.53/153.32	c  N dy  1442    230543     14481     62359         0     41489    189954   3054968    113.72    132.26  --
619.92/155.49	c  S st  1496    237812     14481     62359         0     48756    189954   4415726    113.86     92.88  --
620.72/155.65	c  S st  1496    238314     14481     62359         0     49258    189954   4481593    113.86   no data  --
620.72/155.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
620.72/155.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
621.12/155.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
622.31/156.00	c bin-w-bin subsume rem            0 bins  time:  0.02 s
622.31/156.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
622.31/156.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
622.31/156.02	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
799.87/200.56	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 177.29 s
799.87/200.57	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
800.27/200.63	c vivif2 --  cl tried    49252 cl shrink        0 lits rem          0 time: 0.24
800.67/200.77	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.58
800.67/200.78	c calculated reachability. Time: 0.00
800.67/200.78	c  N dy  1496    238314     14481     62359         0     49252    189954   4478739    113.86   no data  --
818.62/205.28	c  N dy  1600    253635     14481     62359         0     36596    189954   2041720    114.01    125.52  --
837.80/210.08	c  N dy  1709    269843     14481     62359         0     52804    189954   4945104    114.09    124.09  --
858.53/215.24	c  N dy  1826    287135     14481     62359         0     41104    189954   2651460    114.19    120.25  --
880.07/220.67	c  N dy  1951    305498     14481     62359         0     59466    189954   6028138    114.28    123.40  --
881.27/220.93	c  F st  1956    306250     14481     62359         0     30226    189954    469950    114.27   no data  --
902.02/226.15	c  N dy  2050    325144     14481     62359         0     49117    189954   4247698    114.40    122.62  --
926.35/232.27	c  N dy  2178    345169     14481     62359         0     38142    189954   1758097    114.44    121.22  --
941.12/235.94	c  S st  2258    357473     14481     62359         0     50444    189954   4018273    114.51     92.90  --
941.92/236.11	c  S st  2258    357978     14481     62359         0     50949    189954   4090085    114.51   no data  --
941.92/236.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
941.92/236.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
942.32/236.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
943.13/236.44	c bin-w-bin subsume rem            0 bins  time:  0.02 s
943.13/236.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
943.13/236.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
943.13/236.45	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1082.36/271.34	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time: 138.99 s
1082.36/271.34	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1082.76/271.40	c vivif2 --  cl tried    50945 cl shrink        0 lits rem          0 time: 0.22
1083.16/271.55	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.59
1083.16/271.55	c calculated reachability. Time: 0.00
1083.16/271.55	c  N dy  2258    357978     14481     62359         0     50945    189954   4088618    114.51   no data  --
1108.31/277.81	c  N dy  2390    377984     14481     62359         0     38958    189954   1715074    114.57    122.18  --
1133.03/284.08	c  N dy  2529    398106     14481     62359         0     59078    189954   5444871    114.69    121.94  --
1158.20/290.35	c  N dy  2669    418224     14481     62359         0     46199    189954   2871322    114.83    122.38  --
1185.31/297.18	c  N dy  2796    438361     14481     62359         0     66335    189954   6537493    114.77    121.21  --
1210.46/303.42	c  N dy  2925    458370     14481     62359         0     52345    189954   3740813    114.71    123.36  --
1237.63/310.30	c  N dy  3046    478417     14481     62359         0     37393    189954    867340    114.69    143.12  --
1263.12/316.70	c  N dy  3182    498537     14481     62359         0     57512    189954   4530934    114.68    121.94  --
1291.05/323.63	c  N dy  3316    518610     14481     62359         0     41591    189954   1449825    114.66    122.32  --
1315.39/329.77	c  S st  3432    536968     14481     62359         0     59946    189954   4792992    114.70    108.42  --
1316.20/329.96	c  S st  3432    537469     14481     62359         0     60447    189954   4856022    114.70   no data  --
1316.20/329.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1316.20/329.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1316.63/330.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.41
1317.78/330.37	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1317.78/330.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1317.78/330.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
1317.78/330.38	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1562.76/391.74	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 244.32 s
1562.76/391.75	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1563.17/391.81	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.26
1563.57/391.97	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.64
1563.57/391.98	c calculated reachability. Time: 0.00
1563.57/391.98	c  N dy  3432    537469     14481     62359         0     60443    189954   4854734    114.70   no data  --
1588.75/398.25	c  N dy  3562    557609     14481     62359         0     43577    189954   1625706    114.73    122.27  --
1613.04/404.36	c  N dy  3704    577756     14481     62359         0     63723    189954   5383266    114.84    126.67  --
1638.18/410.67	c  N dy  3841    597841     14481     62359         0     45808    189954   1882871    114.91    120.99  --
1662.94/416.81	c  N dy  3978    617860     14481     62359         0     65823    189954   5606709    114.97    148.24  --
1688.06/423.17	c  N dy  4112    637922     14481     62359         0     46894    189954   1910310    115.00    123.66  --
1713.19/429.42	c  N dy  4249    658219     14481     62359         0     67188    189954   5635846    115.01    122.46  --
1738.73/435.89	c  N dy  4383    678270     14481     62359         0     47239    189954   1764871    115.04    124.76  --
1763.47/442.06	c  N dy  4513    698344     14481     62359         0     67310    189954   5465395    115.08    179.77  --
1790.22/448.71	c  N dy  4650    718410     14481     62359         0     46379    189954   1413550    115.11    124.37  --
1814.93/454.92	c  N dy  4791    738472     14481     62359         0     66441    189954   5153471    115.18    126.02  --
1842.07/461.71	c  N dy  4922    758525     14481     62359         0     44492    189954    891992    115.19    132.28  --
1866.41/467.82	c  N dy  5054    778805     14481     62359         0     64771    189954   4631994    115.22    126.54  --
1893.94/474.77	c  N dy  5188    798861     14481     62359         0     84827    189954   8287388    115.24    128.32  --
1903.12/477.01	c  S st  5237    806204     14481     62359         0     49171    189954   1593413    115.26    115.31  --
1903.52/477.17	c  S st  5237    806708     14481     62359         0     49675    189954   1656191    115.26   no data  --
1903.52/477.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1903.52/477.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1903.92/477.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1904.33/477.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1904.33/477.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1904.33/477.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
1904.33/477.38	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1919.88/481.25	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.43 s
1919.88/481.26	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1919.88/481.28	c vivif2 --  cl tried    49672 cl shrink        0 lits rem          0 time: 0.09
1920.68/481.41	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.53
1920.68/481.42	c calculated reachability. Time: 0.00
1920.68/481.42	c  N dy  5237    806708     14481     62359         0     49672    189954   1655007    115.26   no data  --
1945.81/487.73	c  N dy  5371    826848     14481     62359         0     69811    189954   5374818    115.27    121.72  --
1973.74/494.70	c  N dy  5503    846958     14481     62359         0     45923    189954    787963    115.26    121.89  --
1998.07/500.85	c  N dy  5627    867106     14481     62359         0     66069    189954   4498563    115.25    121.63  --
2028.40/508.49	c  N dy  5761    887151     14481     62359         0     86109    189954   8194039    115.27    123.13  --
2056.73/515.58	c  N dy  5893    907170     14481     62359         0     61137    189954   3441773    115.32    122.53  --
2086.26/522.99	c  N dy  6028    927178     14481     62359         0     81145    189954   7099399    115.32    121.46  --
2116.17/530.47	c  N dy  6167    947268     14481     62359         0     55239    189954   2183863    115.38    137.37  --
2144.92/537.65	c  N dy  6303    967410     14481     62359         0     75380    189954   5854988    115.38    122.21  --
2175.64/545.34	c  N dy  6433    987438     14481     62359         0     48408    189954    721171    115.41    148.62  --
2203.21/552.29	c  N dy  6573   1007442     14481     62359         0     68410    189954   4464163    115.46    123.89  --
2234.28/560.02	c  N dy  6700   1027539     14481     62359         0     88503    189954   8144348    115.44    121.68  --
2263.82/567.45	c  N dy  6836   1047550     14481     62359         0     60515    189954   2775566    115.45    122.19  --
2293.75/574.94	c  N dy  6967   1067590     14481     62359         0     80555    189954   6527934    115.46    126.39  --
2300.52/576.64	c  F st  6993   1071876     14481     62359         0     84840    189954   7311953    115.46   no data  --
2326.10/583.03	c  N dy  7071   1087712     14481     62359         0     51681    189954    969579    115.46    122.87  --
2353.59/589.94	c  N dy  7197   1107721     14481     62359         0     71689    189954   4613642    115.45    138.52  --
2385.51/597.99	c  N dy  7334   1127758     14481     62359         0     91724    189954   8355477    115.49    125.80  --
2415.44/605.46	c  N dy  7469   1147866     14481     62359         0     61836    189954   2661933    115.50    126.50  --
2443.37/612.45	c  N dy  7590   1167903     14481     62359         0     81872    189954   6325592    115.48    132.68  --
2475.69/620.57	c  N dy  7725   1187929     14481     62359         0    101894    189954   9991682    115.50    123.88  --
2502.41/627.22	c  N dy  7851   1208182     14481     62359         0     71152    189954   4222188    115.50    127.46  --
2504.82/627.84	c  S st  7861   1210063     14481     62359         0     73033    189954   4563017    115.49    111.91  --
2505.63/628.03	c  S st  7861   1210564     14481     62359         0     73534    189954   4640207    115.49   no data  --
2505.63/628.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2505.63/628.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2506.05/628.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
2506.81/628.39	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2506.81/628.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2507.20/628.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
2507.20/628.40	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2720.69/681.92	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 213.14 s
2720.69/681.93	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
2720.69/681.99	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.25
2721.47/682.17	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.74
2721.47/682.18	c calculated reachability. Time: 0.00
2721.47/682.18	c  N dy  7861   1210564     14481     62359         0     73528    189954   4637915    115.49   no data  --
2750.20/689.39	c  N dy  7994   1230705     14481     62359         0     93667    189954   8325069    115.51    124.89  --
2778.53/696.48	c  N dy  8127   1250871     14481     62359         0     61831    189954   2288916    115.52    122.28  --
2805.66/703.20	c  N dy  8266   1270896     14481     62359         0     81853    189954   6010505    115.55    122.69  --
2835.98/710.80	c  N dy  8392   1290972     14481     62359         0    101927    189954   9720050    115.54    128.12  --
2862.72/717.59	c  N dy  8532   1311098     14481     62359         0     69058    189954   3460202    115.57    123.15  --
2891.44/724.73	c  N dy  8670   1331149     14481     62359         0     89109    189954   7155425    115.58    121.82  --
2923.36/732.75	c  N dy  8806   1351184     14481     62359         0     55146    189954    706602    115.61    128.27  --
2949.33/739.25	c  N dy  8935   1371308     14481     62359         0     75266    189954   4404327    115.60    121.90  --
2978.83/746.61	c  N dy  9072   1391315     14481     62359         0     95273    189954   8111638    115.63    125.15  --
3009.55/754.32	c  N dy  9205   1411475     14481     62359         0     60439    189954   1502370    115.63    122.10  --
3035.88/760.91	c  N dy  9326   1431618     14481     62359         0     80580    189954   5202865    115.62    121.95  --
3066.20/768.51	c  N dy  9466   1451682     14481     62359         0    100642    189954   8920239    115.64    138.05  --
3095.72/775.99	c  N dy  9597   1471758     14481     62359         0     64723    189954   2125155    115.65    128.73  --
3123.26/782.89	c  N dy  9736   1491830     14481     62359         0     84792    189954   5883941    115.67    122.00  --
3154.38/790.60	c  N dy  9866   1511879     14481     62359         0    104841    189954   9617953    115.69    122.71  --
3183.90/798.07	c  N dy 10000   1531927     14481     62359         0     67890    189954   2480377    115.70    122.10  --
3213.82/805.56	c  N dy 10129   1551930     14481     62359         0     87890    189954   6183500    115.69    122.65  --
3248.14/814.11	c  N dy 10269   1572008     14481     62359         0    107968    189954   9902173    115.72    123.34  --
3281.27/822.42	c  N dy 10402   1592071     14481     62359         0     70035    189954   2798559    115.74    123.01  --
3313.20/830.42	c  N dy 10532   1612175     14481     62359         0     90138    189954   6510288    115.74    122.76  --
3349.09/839.40	c  N dy 10664   1632216     14481     62359         0    110176    189954  10210334    115.75    122.72  --
3381.41/847.58	c  N dy 10795   1652252     14481     62359         0     71213    189954   2814238    115.77    122.36  --
3413.74/855.65	c  N dy 10935   1672320     14481     62359         0     91281    189954   6538720    115.79    125.28  --
3449.69/864.66	c  N dy 11064   1692346     14481     62359         0    111305    189954  10242102    115.79    122.36  --
3480.41/872.40	c  S st 11191   1710564     14481     62359         0     69537    189954   2302869    115.80   no data  --
3481.16/872.59	c  S st 11191   1711064     14481     62359         0     70037    189954   2363067    115.80   no data  --
3481.56/872.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3481.56/872.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3481.96/872.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3482.36/872.85	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3482.36/872.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3482.36/872.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
3482.36/872.86	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3511.88/880.20	c lits-rem:        16  cl-subs:        1  v-elim:      0  v-fix:    0  time: 29.21 s
3511.88/880.20	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
3511.88/880.24	c vivif2 --  cl tried    70036 cl shrink        0 lits rem          0 time: 0.14
3512.68/880.42	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.72
3512.68/880.42	c calculated reachability. Time: 0.00
3512.68/880.42	c  N dy 11191   1711064     14481     62359         0     70036    189954   2362919    115.80   no data  --
3542.61/887.96	c  N dy 11323   1731078     14481     62359         0     90050    189954   6078185    115.82    125.64  --
3576.55/896.47	c  N dy 11450   1751283     14481     62359         0    110255    189954   9852059    115.82    122.08  --
3610.04/904.84	c  N dy 11592   1771284     14481     62359         0     69246    189954   2054958    115.83    123.47  --
3640.36/912.48	c  N dy 11725   1791334     14481     62359         0     89293    189954   5813361    115.84    126.37  --
3674.27/920.98	c  N dy 11861   1811504     14481     62359         0    109463    189954   9530475    115.84    123.06  --
3709.79/929.86	c  N dy 12002   1831604     14481     62359         0     67568    189954   1586410    115.87    125.25  --
3739.71/937.32	c  N dy 12133   1851686     14481     62359         0     87648    189954   5324995    115.87    130.70  --
3774.04/945.97	c  N dy 12266   1871714     14481     62359         0    107675    189954   9021088    115.87    134.16  --
3813.14/955.78	c  N dy 12395   1891731     14481     62359         0     64693    189954    848598    115.88    124.14  --
3844.27/963.53	c  N dy 12522   1911804     14481     62359         0     84765    189954   4578835    115.88    131.11  --
3879.39/972.36	c  N dy 12644   1931869     14481     62359         0    104830    189954   8281886    115.86    124.51  --
3919.31/982.34	c  N dy 12778   1951919     14481     62359         0    124879    189954  11979560    115.86    132.19  --
3951.99/990.56	c  N dy 12908   1972019     14481     62359         0     80989    189954   3671730    115.86    130.71  --
3986.70/999.27	c  N dy 13036   1992127     14481     62359         0    101093    189954   7413921    115.87    122.50  --
4025.41/1008.94	c  N dy 13172   2012204     14481     62359         0    121168    189954  11101097    115.88    124.62  --
4060.92/1017.86	c  N dy 13299   2032272     14481     62359         0     76240    189954   2592079    115.87    122.35  --
4094.45/1026.26	c  N dy 13433   2052366     14481     62359         0     96334    189954   6288284    115.87    122.10  --
4132.34/1035.77	c  N dy 13572   2072489     14481     62359         0    116456    189954  10020695    115.89    123.70  --
4171.44/1045.58	c  N dy 13710   2092641     14481     62359         0     70604    189954   1413641    115.89    123.91  --
4201.76/1053.12	c  N dy 13832   2112752     14481     62359         0     90713    189954   5109277    115.89    122.66  --
4236.08/1061.70	c  N dy 13962   2132870     14481     62359         0    110827    189954   8791113    115.89    123.99  --
4274.00/1071.26	c  N dy 14100   2152889     14481     62359         0    130845    189954  12522912    115.90    123.40  --
4305.55/1079.16	c  N dy 14229   2172913     14481     62359         0     83871    189954   3693601    115.91    123.92  --
4338.63/1087.44	c  N dy 14364   2192916     14481     62359         0    103874    189954   7424816    115.91    129.96  --
4374.14/1096.38	c  S st 14480   2211064     14481     62359         0    122020    189954  10767503    115.91   no data  --
4375.36/1096.70	c  S st 14480   2211570     14481     62359         0    122526    189954  10837871    115.91   no data  --
4375.78/1096.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4375.78/1096.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4376.13/1096.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.65
4379.34/1097.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4379.34/1097.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4379.34/1097.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
4379.34/1097.64	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 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: 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-3368588-1305398110/watcher-3368588-1305398110 -o /tmp/evaluation-result-3368588-1305398110/solver-3368588-1305398110 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368588-1305398110.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: 1.77 3.31 3.68 3/311 9769
/proc/meminfo: memFree=22945512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 416 0 0 0 0 0 0 0 21 0 4 0 730041486 52465664 356 33554432000 4194304 4650419 140735563150352 18446744073709551615 47761477891609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 12809 356 306 112 0 7774 0
[pid=9769/tid=9770] ppid=9767 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 730041486 52465664 356 33554432000 4194304 4650419 140735563150352 18446744073709551615 47761477892022 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 730041486 52465664 356 33554432000 4194304 4650419 140735563150352 18446744073709551615 47761477892018 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 730041486 52465664 356 33554432000 4194304 4650419 140735563150352 18446744073709551615 47761477891609 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.053345 s]
/proc/loadavg: 1.77 3.31 3.68 3/311 9769
/proc/meminfo: memFree=22945512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=292056 CPUtime=0.13 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 6354 0 0 0 13 0 0 0 18 0 4 0 730041486 299065344 5297 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458123690 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 73229 5474 344 112 0 68194 0
[pid=9769/tid=9770] ppid=9767 vsize=293348 CPUtime=0 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1540 0 0 0 0 0 0 0 18 0 4 0 730041486 300388352 5640 33554432000 4194304 4650419 140735563150352 18446744073709551615 4372443 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=293348 CPUtime=0.04 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) S 9767 9769 9737 0 -1 4202560 1446 0 0 0 4 0 0 0 18 0 4 0 730041486 300388352 5723 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458170862 0 0 4096 2 18446604468525972160 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=293348 CPUtime=0.04 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1753 0 0 0 4 0 0 0 18 0 4 0 730041486 300388352 5773 33554432000 4194304 4650419 140735563150352 18446744073709551615 252457762571 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 292056

[startup+0.104277 s]
/proc/loadavg: 1.77 3.31 3.68 3/311 9769
/proc/meminfo: memFree=22945512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=362292 CPUtime=0.3 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 10167 0 0 0 23 7 0 0 17 0 4 0 730041486 370987008 9110 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458170911 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 90573 9125 344 112 0 85538 0
[pid=9769/tid=9770] ppid=9767 vsize=362292 CPUtime=0.04 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 2444 0 0 0 3 1 0 0 18 0 4 0 730041486 370987008 9139 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458170911 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=362292 CPUtime=0.07 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) S 9767 9769 9737 0 -1 4202560 2195 0 0 0 6 1 0 0 18 0 4 0 730041486 370987008 9148 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458170862 0 0 4096 2 18446604468525972160 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=362292 CPUtime=0.09 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 2649 0 0 0 7 2 0 0 17 0 4 0 730041486 370987008 9170 33554432000 4194304 4650419 140735563150352 18446744073709551615 252458170911 0 0 4096 2 18446604468525972160 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 362292

[startup+0.301135 s]
/proc/loadavg: 1.77 3.31 3.68 3/311 9769
/proc/meminfo: memFree=22945512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=382356 CPUtime=1.08 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 20467 0 0 0 97 11 0 0 18 0 4 0 730041486 391532544 18175 33554432000 4194304 4650419 140735563150352 18446744073709551615 4440758 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 95589 18177 387 112 0 90554 0
[pid=9769/tid=9770] ppid=9767 vsize=382356 CPUtime=0.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 5847 0 0 0 21 2 0 0 18 0 4 0 730041486 391532544 18177 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=382356 CPUtime=0.26 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 5298 0 0 0 24 2 0 0 18 0 4 0 730041486 391532544 18177 33554432000 4194304 4650419 140735563150352 18446744073709551615 4441296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=382356 CPUtime=0.28 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 3144 0 0 0 26 2 0 0 18 0 4 0 730041486 391532544 18177 33554432000 4194304 4650419 140735563150352 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 382356

[startup+0.701061 s]
/proc/loadavg: 1.77 3.31 3.68 3/311 9769
/proc/meminfo: memFree=22945512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=382356 CPUtime=2.68 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 23661 0 0 0 255 13 0 0 18 0 4 0 730041486 391532544 20575 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 95589 20575 391 112 0 90554 0
[pid=9769/tid=9770] ppid=9767 vsize=382356 CPUtime=0.63 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 6197 0 0 0 61 2 0 0 18 0 4 0 730041486 391532544 20575 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=382356 CPUtime=0.66 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 6428 0 0 0 63 3 0 0 18 0 4 0 730041486 391532544 20575 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=382356 CPUtime=0.67 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 3501 0 0 0 65 2 0 0 18 0 4 0 730041486 391532544 20575 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 382356

[startup+1.50091 s]
/proc/loadavg: 2.43 3.42 3.71 10/321 9782
/proc/meminfo: memFree=22729412/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=382356 CPUtime=5.86 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 26628 0 0 0 573 13 0 0 19 0 4 0 730041486 391532544 23542 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 95589 23542 391 112 0 90554 0
[pid=9769/tid=9770] ppid=9767 vsize=382356 CPUtime=1.43 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 6935 0 0 0 141 2 0 0 19 0 4 0 730041486 391532544 23542 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=382356 CPUtime=1.45 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 7194 0 0 0 142 3 0 0 19 0 4 0 730041486 391532544 23542 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=382356 CPUtime=1.47 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 4220 0 0 0 145 2 0 0 19 0 4 0 730041486 391532544 23542 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 382356

[startup+3.10061 s]
/proc/loadavg: 2.43 3.42 3.71 9/321 9782
/proc/meminfo: memFree=22699408/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=534900 CPUtime=12.25 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 32075 0 0 0 1210 15 0 0 24 0 4 0 730041486 547737600 28989 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 133725 28990 391 112 0 128690 0
[pid=9769/tid=9770] ppid=9767 vsize=534900 CPUtime=3.03 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 8303 0 0 0 300 3 0 0 24 0 4 0 730041486 547737600 28990 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=534900 CPUtime=3.04 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 8567 0 0 0 301 3 0 0 24 0 4 0 730041486 547737600 28990 33554432000 4194304 4650419 140735563150352 18446744073709551615 4364301 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=534900 CPUtime=3.08 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 5552 0 0 0 305 3 0 0 24 0 4 0 730041486 547737600 28990 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 534900

[startup+6.30102 s]
/proc/loadavg: 2.87 3.49 3.74 9/321 9782
/proc/meminfo: memFree=22663944/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=394032 CPUtime=25.03 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 47059 0 0 0 2483 20 0 0 25 0 4 0 730041486 403488768 27929 33554432000 4194304 4650419 140735563150352 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 98508 27930 394 112 0 93473 0
[pid=9769/tid=9770] ppid=9767 vsize=394032 CPUtime=6.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 11983 0 0 0 619 4 0 0 25 0 4 0 730041486 403488768 27930 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=394032 CPUtime=6.2 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 12132 0 0 0 616 4 0 0 25 0 4 0 730041486 403488768 27930 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=394032 CPUtime=6.28 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 9530 0 0 0 624 4 0 0 25 0 4 0 730041486 403488768 27930 33554432000 4194304 4650419 140735563150352 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 394032

[startup+12.7008 s]
/proc/loadavg: 3.28 3.57 3.76 9/321 9783
/proc/meminfo: memFree=22446220/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=670904 CPUtime=50.54 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 113298 0 0 0 5020 34 0 0 25 0 4 0 730041486 687005696 82703 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 167726 82703 395 112 0 162691 0
[pid=9769/tid=9770] ppid=9767 vsize=670904 CPUtime=12.63 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 34027 0 0 0 1255 8 0 0 25 0 4 0 730041486 687005696 82703 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=670904 CPUtime=12.54 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 22992 0 0 0 1246 8 0 0 25 0 4 0 730041486 687005696 82703 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476293 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=670904 CPUtime=12.67 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 26650 0 0 0 1259 8 0 0 25 0 4 0 730041486 687005696 82703 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 670904

[startup+25.5004 s]
/proc/loadavg: 4.08 3.73 3.81 9/321 9783
/proc/meminfo: memFree=22114608/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=578608 CPUtime=101.61 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 156131 0 0 0 10115 46 0 0 25 0 4 0 730041486 592494592 85552 33554432000 4194304 4650419 140735563150352 18446744073709551615 4439344 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 144652 85552 395 112 0 139617 0
[pid=9769/tid=9770] ppid=9767 vsize=578608 CPUtime=25.43 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 42642 0 0 0 2533 10 0 0 25 0 4 0 730041486 592494592 85552 33554432000 4194304 4650419 140735563150352 18446744073709551615 4439361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=578608 CPUtime=25.2 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 34439 0 0 0 2508 12 0 0 25 0 4 0 730041486 592494592 85552 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=578608 CPUtime=25.47 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 36672 0 0 0 2537 10 0 0 25 0 4 0 730041486 592494592 85552 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 578608

[startup+51.1007 s]
/proc/loadavg: 5.70 4.15 3.95 9/321 9784
/proc/meminfo: memFree=21855852/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=880296 CPUtime=203.76 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 227831 0 0 0 20311 65 0 0 25 0 4 0 730041486 901423104 129573 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 220074 129574 395 112 0 215039 0
[pid=9769/tid=9770] ppid=9767 vsize=880296 CPUtime=51.03 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 61303 0 0 0 5088 15 0 0 25 0 4 0 730041486 901423104 129574 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=880296 CPUtime=50.55 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 53351 0 0 0 5038 17 0 0 25 0 4 0 730041486 901423104 129574 33554432000 4194304 4650419 140735563150352 18446744073709551615 4330848 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=880296 CPUtime=51.07 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 54249 0 0 0 5092 15 0 0 25 0 4 0 730041486 901423104 129574 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 880296

[startup+102.312 s]
/proc/loadavg: 7.04 4.76 4.16 9/321 9785
/proc/meminfo: memFree=21649228/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=929960 CPUtime=408.08 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 321200 0 0 0 40714 94 0 0 25 0 4 0 730041486 952279040 150724 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 232490 150724 395 112 0 227455 0
[pid=9769/tid=9770] ppid=9767 vsize=929960 CPUtime=102.25 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 85920 0 0 0 10202 23 0 0 25 0 4 0 730041486 952279040 150724 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363350 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=929960 CPUtime=101.24 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 78396 0 0 0 10098 26 0 0 25 0 4 0 730041486 952279040 150724 33554432000 4194304 4650419 140735563150352 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=929960 CPUtime=102.29 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 74911 0 0 0 10206 23 0 0 25 0 4 0 730041486 952279040 150724 33554432000 4194304 4650419 140735563150352 18446744073709551615 4331010 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 929960

[startup+162.301 s]

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

[pid=9769] ppid=9767 vsize=1242248 CPUtime=2802.07 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 1782984 0 0 0 279687 520 0 0 25 0 4 0 730041486 1272061952 239783 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 310562 239784 395 112 0 305527 0
[pid=9769/tid=9770] ppid=9767 vsize=1242248 CPUtime=702.24 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 348843 0 0 0 70115 109 0 0 25 0 4 0 730041486 1272061952 239785 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1242248 CPUtime=695.25 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 329934 0 0 0 69392 133 0 0 25 0 4 0 730041486 1272061952 239785 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1242248 CPUtime=702.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 491339 0 0 0 70089 138 0 0 25 0 4 0 730041486 1272061952 239785 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2802.07
Current children cumulated vsize (KiB) 1242248

[startup+762.312 s]
/proc/loadavg: 8.05 7.74 6.17 9/321 9806
/proc/meminfo: memFree=20933240/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1244380 CPUtime=3041.5 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 1894002 0 0 0 303593 557 0 0 25 0 4 0 730041486 1274245120 227796 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 311095 227796 395 112 0 306060 0
[pid=9769/tid=9770] ppid=9767 vsize=1244380 CPUtime=762.25 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 372475 0 0 0 76107 118 0 0 25 0 4 0 730041486 1274245120 227796 33554432000 4194304 4650419 140735563150352 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1244380 CPUtime=754.65 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 359310 0 0 0 75323 142 0 0 25 0 4 0 730041486 1274245120 227796 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1244380 CPUtime=762.28 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 521841 0 0 0 76081 147 0 0 25 0 4 0 730041486 1274245120 227796 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3041.5
Current children cumulated vsize (KiB) 1244380

[startup+822.3 s]
/proc/loadavg: 8.12 7.82 6.29 9/321 9807
/proc/meminfo: memFree=20743600/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1310724 CPUtime=3280.86 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2006640 0 0 0 327489 597 0 0 25 0 4 0 730041486 1342181376 249305 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 327681 249305 395 112 0 322646 0
[pid=9769/tid=9770] ppid=9767 vsize=1310724 CPUtime=822.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 395363 0 0 0 82097 126 0 0 25 0 4 0 730041486 1342181376 249305 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1310724 CPUtime=814.05 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 386897 0 0 0 81255 150 0 0 25 0 4 0 730041486 1342181376 249305 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1310724 CPUtime=822.26 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 551513 0 0 0 82067 159 0 0 25 0 4 0 730041486 1342181376 249305 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3280.86
Current children cumulated vsize (KiB) 1310724

[startup+882.301 s]
/proc/loadavg: 8.04 7.85 6.39 9/321 9809
/proc/meminfo: memFree=20722216/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1364272 CPUtime=3520.27 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2073144 0 0 0 351399 628 0 0 25 0 4 0 730041486 1397014528 256706 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363556 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 341068 256706 395 112 0 336033 0
[pid=9769/tid=9770] ppid=9767 vsize=1364272 CPUtime=882.24 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 400795 0 0 0 88095 129 0 0 25 0 4 0 730041486 1397014528 256706 33554432000 4194304 4650419 140735563150352 18446744073709551615 4367391 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1364272 CPUtime=873.44 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 395756 0 0 0 87193 151 0 0 25 0 4 0 730041486 1397014528 256706 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1364272 CPUtime=882.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 579332 0 0 0 88054 173 0 0 25 0 4 0 730041486 1397014528 256706 33554432000 4194304 4650419 140735563150352 18446744073709551615 4364562 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.27
Current children cumulated vsize (KiB) 1364272

[startup+942.301 s]
/proc/loadavg: 8.10 7.90 6.50 9/321 9810
/proc/meminfo: memFree=20740512/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1325352 CPUtime=3759.67 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2159574 0 0 0 375303 664 0 0 25 0 4 0 730041486 1357160448 253333 33554432000 4194304 4650419 140735563150352 18446744073709551615 4333890 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 331338 253333 395 112 0 326303 0
[pid=9769/tid=9770] ppid=9767 vsize=1325352 CPUtime=942.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 431688 0 0 0 94082 141 0 0 25 0 4 0 730041486 1357160448 253333 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1325352 CPUtime=932.86 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 400172 0 0 0 93134 152 0 0 25 0 4 0 730041486 1357160448 253333 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1325352 CPUtime=942.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 607279 0 0 0 94042 185 0 0 25 0 4 0 730041486 1357160448 253333 33554432000 4194304 4650419 140735563150352 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.67
Current children cumulated vsize (KiB) 1325352

[startup+1002.3 s]
/proc/loadavg: 8.07 7.93 6.60 9/321 9812
/proc/meminfo: memFree=20644504/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1464320 CPUtime=3999.07 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2231526 0 0 0 399211 696 0 0 25 0 4 0 730041486 1499463680 283204 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 366080 283204 395 112 0 361045 0
[pid=9769/tid=9770] ppid=9767 vsize=1464320 CPUtime=1002.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 455304 0 0 0 100067 156 0 0 25 0 4 0 730041486 1499463680 283205 33554432000 4194304 4650419 140735563150352 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1464320 CPUtime=992.26 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 400172 0 0 0 99074 152 0 0 25 0 4 0 730041486 1499463680 283205 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1464320 CPUtime=1002.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 628078 0 0 0 100039 188 0 0 25 0 4 0 730041486 1499463680 283205 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3999.07
Current children cumulated vsize (KiB) 1464320

[startup+1062.3 s]
/proc/loadavg: 8.14 7.97 6.69 9/321 9814
/proc/meminfo: memFree=20630204/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1424480 CPUtime=4238.48 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2292391 0 0 0 423118 730 0 0 25 0 4 0 730041486 1458667520 283963 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 356120 283963 395 112 0 351085 0
[pid=9769/tid=9770] ppid=9767 vsize=1424480 CPUtime=1062.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 482807 0 0 0 106050 173 0 0 25 0 4 0 730041486 1458667520 283963 33554432000 4194304 4650419 140735563150352 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1424480 CPUtime=1051.66 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 406642 0 0 0 105012 154 0 0 25 0 4 0 730041486 1458667520 283963 33554432000 4194304 4650419 140735563150352 18446744073709551615 4328227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1424480 CPUtime=1062.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 628078 0 0 0 106039 188 0 0 25 0 4 0 730041486 1458667520 283963 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.48
Current children cumulated vsize (KiB) 1424480

[startup+1122.3 s]
/proc/loadavg: 8.12 7.99 6.78 9/321 9815
/proc/meminfo: memFree=20318160/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1666376 CPUtime=4477.88 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 2591246 0 0 0 446998 790 0 0 25 0 4 0 730041486 1706369024 335088 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 416594 335088 398 112 0 411559 0
[pid=9769/tid=9770] ppid=9767 vsize=1666376 CPUtime=1122.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 508066 0 0 0 112042 181 0 0 25 0 4 0 730041486 1706369024 335088 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1666376 CPUtime=1111.05 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 433383 0 0 0 110938 167 0 0 25 0 4 0 730041486 1706369024 335088 33554432000 4194304 4650419 140735563150352 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1666376 CPUtime=1122.28 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 751049 0 0 0 112025 203 0 0 25 0 4 0 730041486 1706369024 335088 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.88
Current children cumulated vsize (KiB) 1666376

[startup+1182.3 s]
/proc/loadavg: 8.08 8.00 6.86 9/321 9817
/proc/meminfo: memFree=20246352/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1628036 CPUtime=4717.29 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 3051667 0 0 0 470861 868 0 0 25 0 4 0 730041486 1667108864 331501 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 407009 331501 395 112 0 401974 0
[pid=9769/tid=9770] ppid=9767 vsize=1628036 CPUtime=1182.23 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 508397 0 0 0 118042 181 0 0 25 0 4 0 730041486 1667108864 331501 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1628036 CPUtime=1170.46 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 453906 0 0 0 116864 182 0 0 25 0 4 0 730041486 1667108864 331501 33554432000 4194304 4650419 140735563150352 18446744073709551615 4364358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1628036 CPUtime=1182.27 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 950724 0 0 0 117996 231 0 0 25 0 4 0 730041486 1667108864 331501 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.29
Current children cumulated vsize (KiB) 1628036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.06 8.00 6.88 9/321 9817
/proc/meminfo: memFree=20137960/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1682368 CPUtime=4800.3 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 3199380 0 0 0 479135 895 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 420592 339169 395 112 0 415557 0
[pid=9769/tid=9770] ppid=9767 vsize=1682368 CPUtime=1203.05 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 508430 0 0 0 120124 181 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1682368 CPUtime=1191.06 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 461513 0 0 0 118918 188 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1682368 CPUtime=1203.08 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1006162 0 0 0 120069 239 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1682368

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

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

[startup+1203.1 s]
/proc/loadavg: 8.06 8.00 6.88 9/321 9817
/proc/meminfo: memFree=20137960/32951124 swapFree=59305796/67111528
[pid=9769] ppid=9767 vsize=1682368 CPUtime=4800.3 cores=1,3,5,7
/proc/9769/stat : 9769 (strangenight1-m) R 9767 9769 9737 0 -1 4202496 3199380 0 0 0 479135 895 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/9769/statm: 420592 339169 395 112 0 415557 0
[pid=9769/tid=9770] ppid=9767 vsize=1682368 CPUtime=1203.05 cores=1,3,5,7
/proc/9769/task/9770/stat : 9770 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 508430 0 0 0 120124 181 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9769/tid=9771] ppid=9767 vsize=1682368 CPUtime=1191.06 cores=1,3,5,7
/proc/9769/task/9771/stat : 9771 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 461513 0 0 0 118918 188 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9769/tid=9772] ppid=9767 vsize=1682368 CPUtime=1203.08 cores=1,3,5,7
/proc/9769/task/9772/stat : 9772 (strangenight1-m) R 9767 9769 9737 0 -1 4202560 1006162 0 0 0 120069 239 0 0 25 0 4 0 730041486 1722744832 339169 33554432000 4194304 4650419 140735563150352 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 1682368

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.17
CPU time (s): 4800.4
CPU user time (s): 4791.4
CPU system time (s): 9.00963
CPU usage (%): 398.979
Max. virtual memory (cumulated for all children) (KiB): 1682368

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.4
system time used= 9.00963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3199381
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= 8533
involuntary context switches= 18440

runsolver used 3.2625 second user time and 8.80366 second system time

The end

Launcher Data 

Begin job on node111 at 2011-05-14 20:35:10
IDJOB=3368588
IDBENCH=82597
IDSOLVER=1846
FILE ID=node111/3368588-1305398110
RUNJOBID= node111-1305398110-9756
PBS_JOBID= 13324478
Free space on /tmp= 73672 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368588-1305398110/watcher-3368588-1305398110 -o /tmp/evaluation-result-3368588-1305398110/solver-3368588-1305398110 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368588-1305398110.cnf

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

MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c
RANDOM SEED=1322924522

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      22945916 kB
Buffers:        259356 kB
Cached:        6496940 kB
SwapCached:      13720 kB
Active:         911692 kB
Inactive:      8876504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      22945916 kB
SwapTotal:    67111528 kB
SwapFree:     59305796 kB
Dirty:            9036 kB
Writeback:           8 kB
AnonPages:     3028536 kB
Mapped:          11928 kB
Slab:           115364 kB
PageTables:      36548 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 53315908 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= 73660 MiB
End job on node111 at 2011-05-14 20:55:15