Trace number 3174979

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? (TO) 4800.48 1201.88

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.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-3174979-1304065241.cnf'
0.00/0.00	c -- header says num vars:          15000
0.00/0.00	c -- header says num clauses:       63000
0.03/0.15	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.03/0.15	c -- vars added      15000
0.03/0.15	c Parsing time:  0.17 s
0.03/0.15	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.03/0.15	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.03/0.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.51/0.30	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.51/0.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.51/0.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.51/0.30	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
3.55/0.96	c lits-rem:         0  cl-subs:        0  v-elim:    519  v-fix:    0  time:  0.56 s
3.55/0.96	c Finding binary XORs  T:     0.01 s  found:       0
3.55/0.96	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
3.55/0.96	c calculated reachability. Time: 0.00
3.55/0.96	c Calc default polars -  time:   0.02 s pos:    6658 undec:    1776 neg:    6566
3.55/0.96	c =========================================================================================
3.55/0.96	c types(t): F = full restart, N = normal restart
3.55/0.96	c types(t): S = simplification begin/end, E = solution found
3.55/0.96	c restart types(rt): st = static, dy = dynamic
3.55/0.96	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.55/0.96	c  B st     0         0     14481     62359         0         0    189954         0   no data   no data  --
4.68/1.26	c  N dy    22      4028     14481     62359         0      4028    189954    798027    115.62    123.41  --
7.87/2.06	c  N dy    47      8373     14481     62359         0      8373    189954   1567181    113.66    120.03  --
11.49/2.91	c  N dy    73     12489     14481     62359         0     12489    189954   2295788    112.77    119.82  --
14.66/3.78	c  N dy    98     16531     14481     62359         0     16530    189954   3016487    112.39    119.59  --
18.25/4.69	c  N dy   127     20559     14481     62359         0     10563    189954    601020    112.80    119.27  --
21.85/5.57	c  N dy   156     24705     14481     62359         0     14709    189954   1352888    113.06    119.77  --
22.24/5.64	c  F st   159     25001     14481     62359         0     15005    189954   1408383    113.09   no data  --
26.64/6.78	c  N dy   165     30001     14481     62359         0     20005    189954   2489691    113.09   no data  --
26.64/6.78	c  S st   165     30001     14481     62359         0     20005    189954   2489691    113.09   no data  --
27.44/6.90	c  S st   165     30507     14481     62359         0     20511    189954   2560738    113.09   no data  --
27.44/6.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.44/6.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.44/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.25
28.65/7.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.65/7.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.65/7.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
28.65/7.22	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
45.41/11.46	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time: 16.84 s
45.81/11.55	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.36
45.81/11.56	c calculated reachability. Time: 0.00
45.81/11.56	c  N dy   165     30507     14481     62359         0     20508    189954   2559641    113.09   no data  --
50.20/12.69	c  N dy   198     34632     14481     62359         0     24633    189954   3337503    114.05    120.74  --
55.00/13.82	c  N dy   225     38849     14481     62359         0     28850    189954   4096026    113.90    120.38  --
59.41/14.98	c  N dy   254     43103     14481     62359         0     17605    189954    992241    113.93    123.59  --
62.18/15.69	c  S st   273     45761     14481     62359         0     20263    189954   1472765    113.95   no data  --
62.98/15.82	c  S st   273     46265     14481     62359         0     20767    189954   1554205    113.95   no data  --
62.98/15.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
62.98/15.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
63.38/15.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
63.38/16.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.79/16.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.79/16.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
63.79/16.02	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
74.96/18.90	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time: 11.48 s
75.36/18.90	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
75.36/18.92	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.08
75.76/19.00	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.32
75.76/19.01	c calculated reachability. Time: 0.00
75.76/19.01	c  N dy   273     46265     14481     62359         0     20767    189954   1554203    113.95   no data  --
79.35/19.95	c  N dy   297     50288     14481     62359         0     24789    189954   2272790    113.81    125.97  --
83.35/20.96	c  N dy   327     54393     14481     62359         0     28893    189954   3020871    113.87    121.59  --
87.34/21.97	c  N dy   353     58411     14481     62359         0     32911    189954   3741017    113.87    139.89  --
91.74/23.03	c  N dy   380     62491     14481     62359         0     36991    189954   4487885    113.90    122.77  --
95.73/24.01	c  N dy   405     66543     14481     62359         0     22296    189954   1221268    113.79    155.54  --
98.53/24.71	c  S st   426     69397     14481     62359         0     25150    189954   1745763    113.80   no data  --
98.95/24.83	c  S st   426     69898     14481     62359         0     25651    189954   1816735    113.80   no data  --
98.95/24.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
98.95/24.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.35/24.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
99.73/25.02	c bin-w-bin subsume rem            0 bins  time:  0.02 s
99.73/25.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
99.73/25.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
99.73/25.04	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
113.31/28.46	c lits-rem:         2  cl-subs:        4  v-elim:      0  v-fix:    0  time: 13.66 s
113.31/28.47	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
113.31/28.49	c vivif2 --  cl tried    25647 cl shrink        0 lits rem          0 time: 0.09
113.71/28.58	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.35
113.71/28.58	c calculated reachability. Time: 0.00
113.71/28.58	c  N dy   426     69898     14481     62359         0     25647    189954   1815316    113.80   no data  --
118.50/29.70	c  N dy   454     74454     14481     62359         0     30203    189954   2625379    113.64    119.76  --
123.29/30.98	c  N dy   484     79475     14481     62359         0     35223    189954   3523648    113.47    126.22  --
128.88/32.39	c  N dy   520     84691     14481     62359         0     40438    189954   4479804    113.62    122.00  --
132.07/33.14	c  F st   536     87500     14481     62359         0     22371    189954    841091    113.42   no data  --
135.27/33.98	c  N st   541     90797     14481     62359         0     25667    189954   1628071    113.42   no data  --
141.67/35.54	c  N dy   572     96680     14481     62359         0     31550    189954   2913109    113.51    120.68  --
148.46/37.22	c  N dy   612    102904     14481     62359         0     37774    189954   4061241    113.54    129.76  --
150.45/37.75	c  S st   625    104847     14481     62359         0     39717    189954   4409358    113.53     96.64  --
151.25/37.90	c  S st   625    105353     14481     62359         0     40223    189954   4479103    113.53   no data  --
151.25/37.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
151.25/37.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
151.25/37.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
152.44/38.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
152.44/38.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
152.44/38.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
152.44/38.27	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
276.68/69.37	c lits-rem:         1  cl-subs:        8  v-elim:      0  v-fix:    0  time: 124.02 s
276.68/69.38	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
277.08/69.44	c vivif2 --  cl tried    40215 cl shrink        0 lits rem          0 time: 0.23
277.48/69.56	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.48
277.48/69.56	c calculated reachability. Time: 0.00
277.48/69.56	c  N dy   625    105353     14481     62359         0     40215    189954   4475221    113.53   no data  --
284.66/71.38	c  N dy   672    112201     14481     62359         0     24626    189954    941576    113.65    121.33  --
292.27/73.21	c  N dy   724    119451     14481     62359         0     31874    189954   2276425    113.86    124.68  --
300.25/75.21	c  N dy   769    127154     14481     62359         0     39575    189954   3651713    113.67    119.77  --
309.43/77.51	c  N dy   824    135328     14481     62359         0     24034    189954    575457    113.77    121.79  --
318.23/79.70	c  N dy   881    143978     14481     62359         0     32684    189954   2134196    113.87    119.94  --
327.83/82.19	c  N dy   943    153333     14481     62359         0     42039    189954   3824318    113.86    121.62  --
333.40/83.51	c  S st   975    158031     14481     62359         0     46737    189954   4688394    113.82   no data  --
333.80/83.67	c  S st   975    158540     14481     62359         0     47246    189954   4753533    113.82   no data  --
333.80/83.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
333.80/83.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
334.20/83.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
335.40/84.03	c bin-w-bin subsume rem            0 bins  time:  0.02 s
335.40/84.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
335.40/84.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
335.40/84.04	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
530.72/132.90	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 194.71 s
530.72/132.91	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
530.72/132.97	c vivif2 --  cl tried    47240 cl shrink        0 lits rem          0 time: 0.25
531.52/133.11	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.55
531.52/133.11	c calculated reachability. Time: 0.00
531.52/133.11	c  N dy   975    158540     14481     62359         0     47240    189954   4750923    113.82   no data  --
543.13/136.01	c  N dy  1040    168857     14481     62359         0     32700    189954   1926077    113.80    120.30  --
555.48/139.12	c  N dy  1114    179726     14481     62359         0     43568    189954   3915189    113.86    121.53  --
569.09/142.53	c  N dy  1187    191299     14481     62359         0     29210    189954   1047482    113.82    119.88  --
582.67/145.94	c  N dy  1274    203618     14481     62359         0     41528    189954   3277753    113.87    121.37  --
598.23/149.88	c  N dy  1355    216679     14481     62359         0     27627    189954    565955    113.81    121.01  --
613.43/153.66	c  N dy  1442    230543     14481     62359         0     41489    189954   3054968    113.72    132.26  --
622.22/155.83	c  S st  1496    237812     14481     62359         0     48756    189954   4415726    113.86     92.88  --
622.99/156.00	c  S st  1496    238314     14481     62359         0     49258    189954   4481593    113.86   no data  --
622.99/156.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
622.99/156.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
623.39/156.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
624.19/156.36	c bin-w-bin subsume rem            0 bins  time:  0.02 s
624.19/156.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
624.19/156.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
624.19/156.37	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
802.38/200.92	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 177.56 s
802.38/200.92	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
802.38/200.98	c vivif2 --  cl tried    49252 cl shrink        0 lits rem          0 time: 0.24
803.15/201.13	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.59
803.15/201.14	c calculated reachability. Time: 0.00
803.15/201.14	c  N dy  1496    238314     14481     62359         0     49252    189954   4478739    113.86   no data  --
821.12/205.62	c  N dy  1600    253635     14481     62359         0     36596    189954   2041720    114.01    125.52  --
840.30/210.41	c  N dy  1709    269843     14481     62359         0     52804    189954   4945104    114.09    124.09  --
860.67/215.54	c  N dy  1826    287135     14481     62359         0     41104    189954   2651460    114.19    120.25  --
882.64/221.02	c  N dy  1951    305498     14481     62359         0     59466    189954   6028138    114.28    123.40  --
883.44/221.28	c  F st  1956    306250     14481     62359         0     30226    189954    469950    114.27   no data  --
904.61/226.50	c  N dy  2050    325144     14481     62359         0     49117    189954   4247698    114.40    122.62  --
928.97/232.66	c  N dy  2178    345169     14481     62359         0     38142    189954   1758097    114.44    121.22  --
943.74/236.32	c  S st  2258    357473     14481     62359         0     50444    189954   4018273    114.51     92.90  --
944.14/236.50	c  S st  2258    357978     14481     62359         0     50949    189954   4090085    114.51   no data  --
944.54/236.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
944.54/236.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
944.94/236.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
945.75/236.82	c bin-w-bin subsume rem            0 bins  time:  0.02 s
945.75/236.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
945.75/236.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
945.75/236.84	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1085.55/271.88	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time: 139.71 s
1085.55/271.88	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1085.95/271.94	c vivif2 --  cl tried    50945 cl shrink        0 lits rem          0 time: 0.23
1086.36/272.09	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.60
1086.36/272.10	c calculated reachability. Time: 0.00
1086.36/272.10	c  N dy  2258    357978     14481     62359         0     50945    189954   4088618    114.51   no data  --
1111.52/278.34	c  N dy  2390    377984     14481     62359         0     38958    189954   1715074    114.57    122.18  --
1136.68/284.63	c  N dy  2529    398106     14481     62359         0     59078    189954   5444871    114.69    121.94  --
1162.67/291.18	c  N dy  2669    418224     14481     62359         0     46199    189954   2871322    114.83    122.38  --
1190.21/298.02	c  N dy  2796    438361     14481     62359         0     66335    189954   6537493    114.77    121.21  --
1215.39/304.33	c  N dy  2925    458370     14481     62359         0     52345    189954   3740813    114.71    123.36  --
1242.94/311.28	c  N dy  3046    478417     14481     62359         0     37393    189954    867340    114.69    143.12  --
1268.90/317.72	c  N dy  3182    498537     14481     62359         0     57512    189954   4530934    114.68    121.94  --
1296.46/324.70	c  N dy  3316    518610     14481     62359         0     41591    189954   1449825    114.66    122.32  --
1321.62/330.94	c  S st  3432    536968     14481     62359         0     59946    189954   4792992    114.70    108.42  --
1322.42/331.14	c  S st  3432    537469     14481     62359         0     60447    189954   4856022    114.70   no data  --
1322.42/331.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1322.42/331.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1322.82/331.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.42
1324.03/331.53	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1324.03/331.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1324.03/331.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
1324.03/331.55	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1569.69/393.01	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 245.05 s
1569.69/393.01	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1569.69/393.08	c vivif2 --  cl tried    60443 cl shrink        0 lits rem          0 time: 0.26
1570.49/393.24	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.65
1570.49/393.24	c calculated reachability. Time: 0.00
1570.49/393.25	c  N dy  3432    537469     14481     62359         0     60443    189954   4854734    114.70   no data  --
1595.65/399.52	c  N dy  3562    557609     14481     62359         0     43577    189954   1625706    114.73    122.27  --
1620.01/405.60	c  N dy  3704    577756     14481     62359         0     63723    189954   5383266    114.84    126.67  --
1645.17/411.94	c  N dy  3841    597841     14481     62359         0     45808    189954   1882871    114.91    120.99  --
1669.54/418.06	c  N dy  3978    617860     14481     62359         0     65823    189954   5606709    114.97    148.24  --
1695.10/424.43	c  N dy  4112    637922     14481     62359         0     46894    189954   1910310    115.00    123.66  --
1719.87/430.70	c  N dy  4249    658219     14481     62359         0     67188    189954   5635846    115.01    122.46  --
1745.83/437.15	c  N dy  4383    678270     14481     62359         0     47239    189954   1764871    115.04    124.76  --
1770.60/443.32	c  N dy  4513    698344     14481     62359         0     67310    189954   5465395    115.08    179.77  --
1796.96/449.96	c  N dy  4650    718410     14481     62359         0     46379    189954   1413550    115.11    124.37  --
1821.74/456.12	c  N dy  4791    738472     14481     62359         0     66441    189954   5153471    115.18    126.02  --
1848.88/462.92	c  N dy  4922    758525     14481     62359         0     44492    189954    891992    115.19    132.28  --
1873.25/469.06	c  N dy  5054    778805     14481     62359         0     64771    189954   4631994    115.22    126.54  --
1901.21/476.02	c  N dy  5188    798861     14481     62359         0     84827    189954   8287388    115.24    128.32  --
1910.00/478.27	c  S st  5237    806204     14481     62359         0     49171    189954   1593413    115.26    115.31  --
1910.80/478.43	c  S st  5237    806708     14481     62359         0     49675    189954   1656191    115.26   no data  --
1910.80/478.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1910.80/478.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1911.20/478.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1911.60/478.63	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1911.60/478.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1911.60/478.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
1911.60/478.64	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1927.19/482.53	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time: 15.49 s
1927.19/482.54	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
1927.19/482.56	c vivif2 --  cl tried    49672 cl shrink        0 lits rem          0 time: 0.10
1927.57/482.69	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.53
1927.97/482.70	c calculated reachability. Time: 0.00
1927.97/482.70	c  N dy  5237    806708     14481     62359         0     49672    189954   1655007    115.26   no data  --
1952.74/489.00	c  N dy  5371    826848     14481     62359         0     69811    189954   5374818    115.27    121.72  --
1980.69/495.97	c  N dy  5503    846958     14481     62359         0     45923    189954    787963    115.26    121.89  --
2005.06/502.09	c  N dy  5627    867106     14481     62359         0     66069    189954   4498563    115.25    121.63  --
2035.82/509.78	c  N dy  5761    887151     14481     62359         0     86109    189954   8194039    115.27    123.13  --
2064.18/516.85	c  N dy  5893    907170     14481     62359         0     61137    189954   3441773    115.32    122.53  --
2093.76/524.29	c  N dy  6028    927178     14481     62359         0     81145    189954   7099399    115.32    121.46  --
2123.70/531.75	c  N dy  6167    947268     14481     62359         0     55239    189954   2183863    115.38    137.37  --
2153.25/539.14	c  N dy  6303    967410     14481     62359         0     75380    189954   5854988    115.38    122.21  --
2185.60/547.24	c  N dy  6433    987438     14481     62359         0     48408    189954    721171    115.41    148.62  --
2212.79/554.09	c  N dy  6573   1007442     14481     62359         0     68410    189954   4464163    115.46    123.89  --
2243.92/561.83	c  N dy  6700   1027539     14481     62359         0     88503    189954   8144348    115.44    121.68  --
2273.49/569.25	c  N dy  6836   1047550     14481     62359         0     60515    189954   2775566    115.45    122.19  --
2303.44/576.76	c  N dy  6967   1067590     14481     62359         0     80555    189954   6527934    115.46    126.39  --
2310.23/578.46	c  F st  6993   1071876     14481     62359         0     84840    189954   7311953    115.46   no data  --
2335.82/584.85	c  N dy  7071   1087712     14481     62359         0     51681    189954    969579    115.46    122.87  --
2363.76/591.85	c  N dy  7197   1107721     14481     62359         0     71689    189954   4613642    115.45    138.52  --
2394.12/599.49	c  N dy  7334   1127758     14481     62359         0     91724    189954   8355477    115.49    125.80  --
2423.29/606.77	c  N dy  7469   1147866     14481     62359         0     61836    189954   2661933    115.50    126.50  --
2451.24/613.74	c  N dy  7590   1167903     14481     62359         0     81872    189954   6325592    115.48    132.68  --
2483.60/621.84	c  N dy  7725   1187929     14481     62359         0    101894    189954   9991682    115.50    123.88  --
2510.76/628.63	c  N dy  7851   1208182     14481     62359         0     71152    189954   4222188    115.50    127.46  --
2513.16/629.25	c  S st  7861   1210063     14481     62359         0     73033    189954   4563017    115.49    111.91  --
2513.95/629.44	c  S st  7861   1210564     14481     62359         0     73534    189954   4640207    115.49   no data  --
2513.95/629.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2513.95/629.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2514.35/629.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.41
2515.15/629.80	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2515.15/629.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2515.57/629.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
2515.57/629.81	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
2729.65/683.46	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 213.97 s
2729.65/683.47	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.02
2730.05/683.53	c vivif2 --  cl tried    73528 cl shrink        0 lits rem          0 time: 0.25
2730.87/683.71	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.73
2730.87/683.72	c calculated reachability. Time: 0.00
2730.87/683.72	c  N dy  7861   1210564     14481     62359         0     73528    189954   4637915    115.49   no data  --
2759.60/690.96	c  N dy  7994   1230705     14481     62359         0     93667    189954   8325069    115.51    124.89  --
2788.38/698.11	c  N dy  8127   1250871     14481     62359         0     61831    189954   2288916    115.52    122.28  --
2815.12/704.82	c  N dy  8266   1270896     14481     62359         0     81853    189954   6010505    115.55    122.69  --
2845.50/712.48	c  N dy  8392   1290972     14481     62359         0    101927    189954   9720050    115.54    128.12  --
2873.04/719.33	c  N dy  8532   1311098     14481     62359         0     69058    189954   3460202    115.57    123.15  --
2901.40/726.42	c  N dy  8670   1331149     14481     62359         0     89109    189954   7155425    115.58    121.82  --
2933.38/734.49	c  N dy  8806   1351184     14481     62359         0     55146    189954    706602    115.61    128.27  --
2959.34/741.00	c  N dy  8935   1371308     14481     62359         0     75266    189954   4404327    115.60    121.90  --
2988.88/748.34	c  N dy  9072   1391315     14481     62359         0     95273    189954   8111638    115.63    125.15  --
3019.63/756.06	c  N dy  9205   1411475     14481     62359         0     60439    189954   1502370    115.63    122.10  --
3046.40/762.71	c  N dy  9326   1431618     14481     62359         0     80580    189954   5202865    115.62    121.95  --
3076.75/770.33	c  N dy  9466   1451682     14481     62359         0    100642    189954   8920239    115.64    138.05  --
3106.30/777.78	c  N dy  9597   1471758     14481     62359         0     64723    189954   2125155    115.65    128.73  --
3134.26/784.77	c  N dy  9736   1491830     14481     62359         0     84792    189954   5883941    115.67    122.00  --
3167.42/793.08	c  N dy  9866   1511879     14481     62359         0    104841    189954   9617953    115.69    122.71  --
3198.97/800.94	c  N dy 10000   1531927     14481     62359         0     67890    189954   2480377    115.70    122.10  --
3229.33/808.50	c  N dy 10129   1551930     14481     62359         0     87890    189954   6183500    115.69    122.65  --
3263.28/817.00	c  N dy 10269   1572008     14481     62359         0    107968    189954   9902173    115.72    123.34  --
3296.44/825.34	c  N dy 10402   1592071     14481     62359         0     70035    189954   2798559    115.74    123.01  --
3328.41/833.34	c  N dy 10532   1612175     14481     62359         0     90138    189954   6510288    115.74    122.76  --
3364.35/842.33	c  N dy 10664   1632216     14481     62359         0    110176    189954  10210334    115.75    122.72  --
3397.09/850.56	c  N dy 10795   1652252     14481     62359         0     71213    189954   2814238    115.77    122.36  --
3429.48/858.68	c  N dy 10935   1672320     14481     62359         0     91281    189954   6538720    115.79    125.28  --
3465.80/867.72	c  N dy 11064   1692346     14481     62359         0    111305    189954  10242102    115.79    122.36  --
3497.36/875.61	c  S st 11191   1710564     14481     62359         0     69537    189954   2302869    115.80   no data  --
3498.16/875.81	c  S st 11191   1711064     14481     62359         0     70037    189954   2363067    115.80   no data  --
3498.16/875.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3498.16/875.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3498.56/875.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.42
3498.96/876.07	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3498.96/876.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3498.96/876.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
3498.96/876.09	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3528.52/883.43	c lits-rem:        16  cl-subs:        1  v-elim:      0  v-fix:    0  time: 29.29 s
3528.52/883.44	c vivif2 --  cl tried    62359 cl shrink        0 lits rem          0 time: 0.03
3528.52/883.47	c vivif2 --  cl tried    70036 cl shrink        0 lits rem          0 time: 0.14
3529.32/883.66	c asymm  cl-useful: 0/62359/62359 lits-rem:0 time: 0.73
3529.32/883.66	c calculated reachability. Time: 0.00
3529.32/883.66	c  N dy 11191   1711064     14481     62359         0     70036    189954   2362919    115.80   no data  --
3559.68/891.24	c  N dy 11323   1731078     14481     62359         0     90050    189954   6078185    115.82    125.64  --
3593.63/899.76	c  N dy 11450   1751283     14481     62359         0    110255    189954   9852059    115.82    122.08  --
3627.19/908.15	c  N dy 11592   1771284     14481     62359         0     69246    189954   2054958    115.83    123.47  --
3657.96/915.81	c  N dy 11725   1791334     14481     62359         0     89293    189954   5813361    115.84    126.37  --
3691.88/924.33	c  N dy 11861   1811504     14481     62359         0    109463    189954   9530475    115.84    123.06  --
3727.44/933.24	c  N dy 12002   1831604     14481     62359         0     67568    189954   1586410    115.87    125.25  --
3757.39/940.73	c  N dy 12133   1851686     14481     62359         0     87648    189954   5324995    115.87    130.70  --
3792.94/949.63	c  N dy 12266   1871714     14481     62359         0    107675    189954   9021088    115.87    134.16  --
3832.48/959.50	c  N dy 12395   1891731     14481     62359         0     64693    189954    848598    115.88    124.14  --
3863.65/967.30	c  N dy 12522   1911804     14481     62359         0     84765    189954   4578835    115.88    131.11  --
3899.19/976.20	c  N dy 12644   1931869     14481     62359         0    104830    189954   8281886    115.86    124.51  --
3939.15/986.22	c  N dy 12778   1951919     14481     62359         0    124879    189954  11979560    115.86    132.19  --
3972.29/994.50	c  N dy 12908   1972019     14481     62359         0     80989    189954   3671730    115.86    130.71  --
4007.04/1003.27	c  N dy 13036   1992127     14481     62359         0    101093    189954   7413921    115.87    122.50  --
4046.19/1013.03	c  N dy 13172   2012204     14481     62359         0    121168    189954  11101097    115.88    124.62  --
4082.54/1022.12	c  N dy 13299   2032272     14481     62359         0     76240    189954   2592079    115.87    122.35  --
4115.70/1030.46	c  N dy 13433   2052366     14481     62359         0     96334    189954   6288284    115.87    122.10  --
4151.24/1039.33	c  N dy 13572   2072489     14481     62359         0    116456    189954  10020695    115.89    123.70  --
4188.39/1048.63	c  N dy 13710   2092641     14481     62359         0     70604    189954   1413641    115.89    123.91  --
4218.75/1056.21	c  N dy 13832   2112752     14481     62359         0     90713    189954   5109277    115.89    122.66  --
4253.10/1064.86	c  N dy 13962   2132870     14481     62359         0    110827    189954   8791113    115.89    123.99  --
4291.45/1074.42	c  N dy 14100   2152889     14481     62359         0    130845    189954  12522912    115.90    123.40  --
4323.01/1082.32	c  N dy 14229   2172913     14481     62359         0     83871    189954   3693601    115.91    123.92  --
4356.16/1090.64	c  N dy 14364   2192916     14481     62359         0    103874    189954   7424816    115.91    129.96  --
4391.31/1099.42	c  S st 14480   2211064     14481     62359         0    122020    189954  10767503    115.91   no data  --
4392.51/1099.74	c  S st 14480   2211570     14481     62359         0    122526    189954  10837871    115.91   no data  --
4392.51/1099.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4392.51/1099.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4393.31/1099.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.66
4396.12/1100.66	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4396.12/1100.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4396.12/1100.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14481 time:  0.02 s
4396.12/1100.68	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 518122910 52465664 356 33554432000 4194304 4650419 140735230672976 18446744073709551615 47315469051417 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 12809 356 306 112 0 7774 0
[pid=30496/tid=30497] ppid=30494 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518122911 52465664 356 33554432000 4194304 4650419 140735230672976 18446744073709551615 47315469051826 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518122911 52465664 356 33554432000 4194304 4650419 140735230672976 18446744073709551615 47315469051816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518122911 52465664 356 33554432000 4194304 4650419 140735230672976 18446744073709551615 47315469051417 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.018006 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=293328 CPUtime=0.03 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 6849 0 0 0 2 1 0 0 25 0 4 0 518122910 300367872 5806 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520352 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 73332 5807 344 112 0 68297 0
[pid=30496/tid=30497] ppid=30494 vsize=293328 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1724 0 0 0 0 0 0 0 25 0 4 0 518122911 300367872 5808 33554432000 4194304 4650419 140735230672976 18446744073709551615 235594971630 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=293328 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1644 0 0 0 0 0 0 0 25 0 4 0 518122911 300367872 5811 33554432000 4194304 4650419 140735230672976 18446744073709551615 235594527429 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=293328 CPUtime=0 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1586 0 0 0 0 0 0 0 25 0 4 0 518122911 300367872 5811 33554432000 4194304 4650419 140735230672976 18446744073709551615 235594971679 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 293328

[startup+0.153723 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=370900 CPUtime=0.51 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 14415 0 0 0 45 6 0 0 18 0 4 0 518122910 379801600 12258 33554432000 4194304 4650419 140735230672976 18446744073709551615 235594866619 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 92725 12258 377 112 0 87690 0
[pid=30496/tid=30497] ppid=30494 vsize=370900 CPUtime=0.13 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) S 30494 30496 30065 0 -1 4202560 4491 0 0 0 12 1 0 0 18 0 4 0 518122911 379801600 12258 33554432000 4194304 4650419 140735230672976 18446744073709551615 235594971630 0 0 4096 2 18446604450637908672 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=370900 CPUtime=0.12 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 3490 0 0 0 10 2 0 0 18 0 4 0 518122911 379801600 12261 33554432000 4194304 4650419 140735230672976 18446744073709551615 4422200 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=370900 CPUtime=0.13 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 2809 0 0 0 12 1 0 0 18 0 4 0 518122911 379801600 12975 33554432000 4194304 4650419 140735230672976 18446744073709551615 4333678 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 370900

[startup+0.91779 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=378244 CPUtime=3.55 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 25450 0 0 0 342 13 0 0 18 0 4 0 518122910 387321856 21056 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 94561 21056 391 112 0 89526 0
[pid=30496/tid=30497] ppid=30494 vsize=378244 CPUtime=0.89 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 6962 0 0 0 88 1 0 0 19 0 4 0 518122911 387321856 21056 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=378244 CPUtime=0.87 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 7836 0 0 0 82 5 0 0 18 0 4 0 518122911 387321856 21056 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=378244 CPUtime=0.89 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 3490 0 0 0 88 1 0 0 18 0 4 0 518122911 387321856 21056 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 378244

[startup+1.00078 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=378244 CPUtime=3.88 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 25760 0 0 0 375 13 0 0 19 0 4 0 518122910 387321856 21366 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363531 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 94561 21366 391 112 0 89526 0
[pid=30496/tid=30497] ppid=30494 vsize=378244 CPUtime=0.97 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 7036 0 0 0 96 1 0 0 19 0 4 0 518122911 387321856 21366 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=378244 CPUtime=0.95 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 7923 0 0 0 90 5 0 0 18 0 4 0 518122911 387321856 21366 33554432000 4194304 4650419 140735230672976 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=378244 CPUtime=0.97 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 3560 0 0 0 96 1 0 0 19 0 4 0 518122911 387321856 21366 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 378244

[startup+1.50069 s]
/proc/loadavg: 8.11 8.08 8.01 1/172 30496
/proc/meminfo: memFree=31539096/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=378244 CPUtime=5.87 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 27736 0 0 0 574 13 0 0 19 0 4 0 518122910 387321856 23342 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520322 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 94561 23342 391 112 0 89526 0
[pid=30496/tid=30497] ppid=30494 vsize=378244 CPUtime=1.48 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 7492 0 0 0 146 2 0 0 20 0 4 0 518122911 387321856 23342 33554432000 4194304 4650419 140735230672976 18446744073709551615 4328238 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=378244 CPUtime=1.45 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 8387 0 0 0 140 5 0 0 19 0 4 0 518122911 387321856 23342 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=378244 CPUtime=1.47 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 4156 0 0 0 146 1 0 0 19 0 4 0 518122911 387321856 23342 33554432000 4194304 4650419 140735230672976 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 378244

[startup+3.10041 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 30513
/proc/meminfo: memFree=31263940/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=530788 CPUtime=12.26 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 33253 0 0 0 1212 14 0 0 25 0 4 0 518122910 543526912 28859 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 132697 28859 391 112 0 127662 0
[pid=30496/tid=30497] ppid=30494 vsize=530788 CPUtime=3.06 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 8857 0 0 0 304 2 0 0 25 0 4 0 518122911 543526912 28860 33554432000 4194304 4650419 140735230672976 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=530788 CPUtime=3.05 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 9782 0 0 0 300 5 0 0 24 0 4 0 518122911 543526912 28860 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=530788 CPUtime=3.08 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 5518 0 0 0 306 2 0 0 25 0 4 0 518122911 543526912 28860 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 530788

[startup+6.30085 s]
/proc/loadavg: 8.10 8.07 8.01 9/184 30513
/proc/meminfo: memFree=31230344/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=389920 CPUtime=25.03 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 49073 0 0 0 2485 18 0 0 25 0 4 0 518122910 399278080 28043 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 97480 28043 394 112 0 92445 0
[pid=30496/tid=30497] ppid=30494 vsize=389920 CPUtime=6.25 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 12620 0 0 0 622 3 0 0 25 0 4 0 518122911 399278080 28043 33554432000 4194304 4650419 140735230672976 18446744073709551615 4328518 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=389920 CPUtime=6.25 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 13556 0 0 0 619 6 0 0 25 0 4 0 518122911 399278080 28043 33554432000 4194304 4650419 140735230672976 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=389920 CPUtime=6.28 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 10098 0 0 0 625 3 0 0 25 0 4 0 518122911 399278080 28043 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.03
Current children cumulated vsize (KiB) 389920

[startup+12.7007 s]
/proc/loadavg: 8.09 8.07 8.01 9/184 30513
/proc/meminfo: memFree=30953224/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=650140 CPUtime=50.62 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 114576 0 0 0 5028 34 0 0 25 0 4 0 518122910 665743360 82022 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 162535 82022 395 112 0 157500 0
[pid=30496/tid=30497] ppid=30494 vsize=650140 CPUtime=12.61 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 35379 0 0 0 1252 9 0 0 25 0 4 0 518122911 665743360 82022 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=650140 CPUtime=12.64 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 22322 0 0 0 1256 8 0 0 25 0 4 0 518122911 665743360 82022 33554432000 4194304 4650419 140735230672976 18446744073709551615 4369270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=650140 CPUtime=12.68 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 28395 0 0 0 1262 6 0 0 25 0 4 0 518122911 665743360 82022 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 650140

[startup+25.5005 s]
/proc/loadavg: 8.07 8.07 8.01 9/184 30513
/proc/meminfo: memFree=30695180/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=564196 CPUtime=101.72 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 156154 0 0 0 10128 44 0 0 25 0 4 0 518122910 577736704 84224 33554432000 4194304 4650419 140735230672976 18446744073709551615 4438235 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 141049 84224 395 112 0 136014 0
[pid=30496/tid=30497] ppid=30494 vsize=564196 CPUtime=25.34 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 44368 0 0 0 2523 11 0 0 25 0 4 0 518122911 577736704 84224 33554432000 4194304 4650419 140735230672976 18446744073709551615 4439344 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=564196 CPUtime=25.44 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 34004 0 0 0 2532 12 0 0 25 0 4 0 518122911 577736704 84224 33554432000 4194304 4650419 140735230672976 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=564196 CPUtime=25.47 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 36546 0 0 0 2539 8 0 0 25 0 4 0 518122911 577736704 84224 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 564196

[startup+51.101 s]
/proc/loadavg: 8.18 8.09 8.01 9/184 30514
/proc/meminfo: memFree=30462220/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=794816 CPUtime=203.98 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 257212 0 0 0 20335 63 0 0 25 0 4 0 518122910 813891584 122495 33554432000 4194304 4650419 140735230672976 18446744073709551615 4441572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 198704 122499 395 112 0 193669 0
[pid=30496/tid=30497] ppid=30494 vsize=794816 CPUtime=50.81 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 57335 0 0 0 5067 14 0 0 25 0 4 0 518122911 813891584 122499 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=794816 CPUtime=51.04 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 56511 0 0 0 5088 16 0 0 25 0 4 0 518122911 813891584 122499 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=794816 CPUtime=51.06 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 56417 0 0 0 5093 13 0 0 25 0 4 0 518122911 813891584 122499 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.98
Current children cumulated vsize (KiB) 794816

[startup+102.301 s]
/proc/loadavg: 8.23 8.11 8.02 9/184 30515
/proc/meminfo: memFree=30238664/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=922612 CPUtime=408.49 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 420924 0 0 0 40750 99 0 0 25 0 4 0 518122910 944754688 149172 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 230653 149172 398 112 0 225618 0
[pid=30496/tid=30497] ppid=30494 vsize=922612 CPUtime=101.72 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 78838 0 0 0 10151 21 0 0 25 0 4 0 518122911 944754688 149172 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=922612 CPUtime=102.24 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 87675 0 0 0 10199 25 0 0 25 0 4 0 518122911 944754688 149172 33554432000 4194304 4650419 140735230672976 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=922612 CPUtime=102.26 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 84333 0 0 0 10204 22 0 0 25 0 4 0 518122911 944754688 149172 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 922612

[startup+162.3 s]

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

[pid=30496] ppid=30494 vsize=1371348 CPUtime=2805.14 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 2212787 0 0 0 279969 545 0 0 25 0 4 0 518122910 1404260352 243296 33554432000 4194304 4650419 140735230672976 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 342837 243296 395 112 0 337802 0
[pid=30496/tid=30497] ppid=30494 vsize=1371348 CPUtime=698.45 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 653140 0 0 0 69700 145 0 0 25 0 4 0 518122911 1404260352 243296 33554432000 4194304 4650419 140735230672976 18446744073709551615 4334075 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1371348 CPUtime=702.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 536235 0 0 0 70080 143 0 0 25 0 4 0 518122911 1404260352 243296 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1371348 CPUtime=702.26 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 405152 0 0 0 70100 126 0 0 25 0 4 0 518122911 1404260352 243296 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.14
Current children cumulated vsize (KiB) 1371348

[startup+762.301 s]
/proc/loadavg: 8.16 8.14 8.07 9/184 30533
/proc/meminfo: memFree=29415764/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1346380 CPUtime=3044.8 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 2337317 0 0 0 303897 583 0 0 25 0 4 0 518122910 1378693120 244746 33554432000 4194304 4650419 140735230672976 18446744073709551615 4329270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 336595 244746 395 112 0 331560 0
[pid=30496/tid=30497] ppid=30494 vsize=1346380 CPUtime=758.12 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 682558 0 0 0 75659 153 0 0 25 0 4 0 518122911 1378693120 244746 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1346380 CPUtime=762.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 567227 0 0 0 76070 153 0 0 25 0 4 0 518122911 1378693120 244746 33554432000 4194304 4650419 140735230672976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1346380 CPUtime=762.26 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 435701 0 0 0 76090 136 0 0 25 0 4 0 518122911 1378693120 244746 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.8
Current children cumulated vsize (KiB) 1346380

[startup+822.3 s]
/proc/loadavg: 8.06 8.11 8.06 9/184 30535
/proc/meminfo: memFree=29286736/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1347788 CPUtime=3284.47 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 2522678 0 0 0 327816 631 0 0 25 0 4 0 518122910 1380134912 254438 33554432000 4194304 4650419 140735230672976 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 336947 254438 395 112 0 331912 0
[pid=30496/tid=30497] ppid=30494 vsize=1347788 CPUtime=817.79 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 707236 0 0 0 81616 163 0 0 25 0 4 0 518122911 1380134912 254438 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1347788 CPUtime=822.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 669784 0 0 0 82055 168 0 0 25 0 4 0 518122911 1380134912 254438 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1347788 CPUtime=822.25 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 465763 0 0 0 82077 148 0 0 25 0 4 0 518122911 1380134912 254438 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.47
Current children cumulated vsize (KiB) 1347788

[startup+882.301 s]
/proc/loadavg: 8.02 8.09 8.06 9/184 30536
/proc/meminfo: memFree=29234604/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1348172 CPUtime=3524.12 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 2705252 0 0 0 351739 673 0 0 25 0 4 0 518122910 1380528128 259709 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 337043 259709 395 112 0 332008 0
[pid=30496/tid=30497] ppid=30494 vsize=1348172 CPUtime=877.47 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 710122 0 0 0 87582 165 0 0 25 0 4 0 518122911 1380528128 259709 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1348172 CPUtime=882.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 795724 0 0 0 88038 185 0 0 25 0 4 0 518122911 1380528128 259709 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1348172 CPUtime=882.25 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 493526 0 0 0 88065 160 0 0 25 0 4 0 518122911 1380528128 259709 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.12
Current children cumulated vsize (KiB) 1348172

[startup+942.306 s]
/proc/loadavg: 8.00 8.07 8.05 9/184 30538
/proc/meminfo: memFree=29135228/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1402248 CPUtime=3763.8 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 2918472 0 0 0 375655 725 0 0 25 0 4 0 518122910 1435901952 274675 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 350562 274675 395 112 0 345527 0
[pid=30496/tid=30497] ppid=30494 vsize=1402248 CPUtime=937.14 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 738881 0 0 0 93538 176 0 0 25 0 4 0 518122911 1435901952 274675 33554432000 4194304 4650419 140735230672976 18446744073709551615 4333741 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1402248 CPUtime=942.24 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 925707 0 0 0 94022 202 0 0 25 0 4 0 518122911 1435901952 274675 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1402248 CPUtime=942.25 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 522086 0 0 0 94052 173 0 0 25 0 4 0 518122911 1435901952 274675 33554432000 4194304 4650419 140735230672976 18446744073709551615 4315143 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.8
Current children cumulated vsize (KiB) 1402248

[startup+1002.3 s]
/proc/loadavg: 8.08 8.07 8.05 9/184 30539
/proc/meminfo: memFree=29069828/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1539464 CPUtime=4003.45 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 3213149 0 0 0 399561 784 0 0 25 0 4 0 518122910 1576411136 299231 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365477 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 384866 299231 395 112 0 379831 0
[pid=30496/tid=30497] ppid=30494 vsize=1539464 CPUtime=996.8 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 762437 0 0 0 99491 189 0 0 25 0 4 0 518122911 1576411136 299231 33554432000 4194304 4650419 140735230672976 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1539464 CPUtime=1002.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 963716 0 0 0 100015 208 0 0 25 0 4 0 518122911 1576411136 299231 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1539464 CPUtime=1002.25 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 729754 0 0 0 100025 200 0 0 25 0 4 0 518122911 1576411136 299231 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476216 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.45
Current children cumulated vsize (KiB) 1539464

[startup+1062.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/184 30541
/proc/meminfo: memFree=29043244/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1555912 CPUtime=4243.11 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 3392244 0 0 0 423486 825 0 0 25 0 4 0 518122910 1593253888 304370 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 388978 304370 395 112 0 383943 0
[pid=30496/tid=30497] ppid=30494 vsize=1555912 CPUtime=1056.47 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 786358 0 0 0 105448 199 0 0 25 0 4 0 518122911 1593253888 304370 33554432000 4194304 4650419 140735230672976 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1555912 CPUtime=1062.23 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 976942 0 0 0 106010 213 0 0 25 0 4 0 518122911 1593253888 304370 33554432000 4194304 4650419 140735230672976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1555912 CPUtime=1062.25 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 844189 0 0 0 106009 216 0 0 25 0 4 0 518122911 1593253888 304370 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.11
Current children cumulated vsize (KiB) 1555912

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/184 30543
/proc/meminfo: memFree=28810696/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1714716 CPUtime=4482.79 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 3643032 0 0 0 447400 879 0 0 25 0 4 0 518122910 1755869184 343398 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 428679 343398 395 112 0 423644 0
[pid=30496/tid=30497] ppid=30494 vsize=1714716 CPUtime=1116.15 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 821906 0 0 0 111407 208 0 0 25 0 4 0 518122911 1755869184 343398 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1714716 CPUtime=1122.24 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 996933 0 0 0 112002 222 0 0 25 0 4 0 518122911 1755869184 343398 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1714716 CPUtime=1122.24 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 938489 0 0 0 111995 229 0 0 25 0 4 0 518122911 1755869184 343398 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.79
Current children cumulated vsize (KiB) 1714716

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/184 30544
/proc/meminfo: memFree=28709712/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1728648 CPUtime=4722.45 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 4095073 0 0 0 471286 959 0 0 25 0 4 0 518122910 1770135552 344253 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 432162 344253 396 112 0 427127 0
[pid=30496/tid=30497] ppid=30494 vsize=1728648 CPUtime=1175.83 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 821906 0 0 0 117375 208 0 0 25 0 4 0 518122911 1770135552 344253 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1728648 CPUtime=1182.24 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1021450 0 0 0 117989 235 0 0 25 0 4 0 518122911 1770135552 344253 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1728648 CPUtime=1182.24 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1132640 0 0 0 117966 258 0 0 25 0 4 0 518122911 1770135552 344253 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 1728648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.07 8.06 8.05 9/184 30545
/proc/meminfo: memFree=28739464/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1715240 CPUtime=4800.4 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 4227728 0 0 0 479057 983 0 0 25 0 4 0 518122910 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 428810 335189 395 112 0 423775 0
[pid=30496/tid=30497] ppid=30494 vsize=1715240 CPUtime=1195.22 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 821906 0 0 0 119314 208 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1715240 CPUtime=1201.75 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1026362 0 0 0 119937 238 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1715240 CPUtime=1201.76 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1182640 0 0 0 119910 266 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1715240

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

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

[startup+1201.8 s]
/proc/loadavg: 8.07 8.06 8.05 9/184 30545
/proc/meminfo: memFree=28739464/32950928 swapFree=67111404/67111528
[pid=30496] ppid=30494 vsize=1715240 CPUtime=4800.4 cores=0,2,4,6
/proc/30496/stat : 30496 (strangenight1-m) R 30494 30496 30065 0 -1 4202496 4227728 0 0 0 479057 983 0 0 25 0 4 0 518122910 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/30496/statm: 428810 335189 395 112 0 423775 0
[pid=30496/tid=30497] ppid=30494 vsize=1715240 CPUtime=1195.22 cores=0,2,4,6
/proc/30496/task/30497/stat : 30497 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 821906 0 0 0 119314 208 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=30496/tid=30498] ppid=30494 vsize=1715240 CPUtime=1201.75 cores=0,2,4,6
/proc/30496/task/30498/stat : 30498 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1026362 0 0 0 119937 238 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4363448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=30496/tid=30499] ppid=30494 vsize=1715240 CPUtime=1201.76 cores=0,2,4,6
/proc/30496/task/30499/stat : 30499 (strangenight1-m) R 30494 30496 30065 0 -1 4202560 1182640 0 0 0 119910 266 0 0 25 0 4 0 518122911 1756405760 335189 33554432000 4194304 4650419 140735230672976 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 1715240

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.88
CPU time (s): 4800.48
CPU user time (s): 4790.59
CPU system time (s): 9.8915
CPU usage (%): 399.414
Max. virtual memory (cumulated for all children) (KiB): 1741984

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.59
system time used= 9.8915
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4227733
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= 12744
involuntary context switches= 31825

runsolver used 1.9677 second user time and 4.6093 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 10:20:41
IDJOB=3174979
IDBENCH=82597
IDSOLVER=1588
FILE ID=node120/3174979-1304065241
RUNJOBID= node120-1304064037-30380
PBS_JOBID= 13170450
Free space on /tmp= 72076 MiB

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

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

MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c
RANDOM SEED=1982085907

node120.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	: 5226.07
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.78
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31539268 kB
Buffers:        442532 kB
Cached:         546124 kB
SwapCached:          8 kB
Active:         364172 kB
Inactive:       687880 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31539268 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:            7396 kB
Writeback:           0 kB
AnonPages:       63244 kB
Mapped:          14892 kB
Slab:           295128 kB
PageTables:       4252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186828 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= 72060 MiB
End job on node120 at 2011-04-29 10:40:45