Trace number 3174283

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.46 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
MD5SUMa8d280a0ad5a42e6946605bb6356e226
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.012998
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
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 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174283-1304116989.cnf'
0.00/0.00	c -- header says num vars:            800
0.00/0.00	c -- header says num clauses:        3408
0.00/0.01	c -- clauses added:            0 learnts,         3408 normals,            0 xors
0.00/0.01	c -- vars added        800
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       800      3408         0         0     10224         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3408/3408 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    800 time:  0.00 s
0.00/0.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.17	c lits-rem:         0  cl-subs:        0  v-elim:     12  v-fix:    0  time:  0.00 s
0.00/0.17	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.17	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.17	c calculated reachability. Time: 0.00
0.00/0.17	c Calc default polars -  time:   0.00 s pos:     349 undec:      84 neg:     367
0.00/0.17	c =========================================================================================
0.00/0.17	c types(t): F = full restart, N = normal restart
0.00/0.17	c types(t): S = simplification begin/end, E = solution found
0.00/0.17	c restart types(rt): st = static, dy = dynamic
0.00/0.17	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.03/0.90	c  B st     0         0       788      3391         0         0     10216         0   no data   no data
0.03/0.90	c Decided on static restart strategy
0.03/0.90	c  N st     8      4921       788      3391         0      4877     10216    155977   no data   no data
0.03/0.90	c  N st    10     11303       788      3391         0      4521     10216    100846   no data   no data
0.03/0.90	c  N st    11     17046       788      3391         0     10215     10216    308545   no data   no data
5.18/1.35	c  F st    12     25001       788      3391         0     12536     10216    371252   no data   no data
5.18/1.35	c  N st    12     25001       788      3391         0     12536     10216    371252   no data   no data
6.37/1.60	c  N dy    18     30000       788      3391         0     10762     10216    289402   no data   no data
6.37/1.60	c  S st    18     30000       788      3391         0     10762     10216    289402   no data   no data
6.37/1.63	c  S st    18     30503       788      3391         0     11263     10216    303988   no data   no data
6.37/1.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
6.37/1.64	c blocked clauses removed:       18 vars:      2 tried:         788 T: 0.00 s
6.37/1.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.37/1.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
6.37/1.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
6.37/1.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
6.37/1.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.77/1.70	c lits-rem:        65  cl-subs:      218  v-elim:      0  v-fix:    0  time:  0.05 s
6.77/1.71	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
6.77/1.71	c calculated reachability. Time: 0.00
6.77/1.71	c  N dy    18     30503       786      3373         0     11045     10162    294191   no data   no data
7.60/1.97	c  N dy    29     34619       786      3373         0     15146     10162    422413     21.52     22.88
8.77/2.20	c  N dy    50     38766       786      3373         0     11395     10162    234180     21.90     23.14
9.57/2.45	c  N dy    60     42818       786      3373         0     15428     10162    362645     21.51     22.89
10.37/2.66	c  S st    66     45754       786      3373         0      9438     10162    134173     21.04     19.25
10.37/2.69	c  S st    66     46255       786      3373         0      9939     10162    150016     21.04   no data
10.37/2.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.37/2.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.37/2.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.37/2.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.37/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.37/2.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
10.37/2.70	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.78/2.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.78/2.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.78/2.71	c lits-rem:         0  cl-subs:       16  v-elim:      0  v-fix:    0  time:  0.01 s
10.78/2.71	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
10.78/2.72	c vivif2 --  cl tried     9923 cl shrink        0 lits rem          0 time: 0.00
10.78/2.72	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
10.78/2.72	c calculated reachability. Time: 0.00
10.78/2.72	c  N dy    66     46255       786      3373         0      9923     10162    149443     21.04   no data
11.59/2.95	c  N dy    82     50267       786      3373         0     13910     10162    275348     20.96     22.18
12.77/3.23	c  N dy   103     54277       786      3373         0     17904     10162    400795     21.13     22.77
13.96/3.57	c  N dy   125     59487       786      3373         0     13159     10162    217883     21.11     22.46
15.16/3.85	c  N dy   143     63640       786      3373         0     17292     10162    347622     21.13     22.37
16.38/4.17	c  N dy   167     67738       786      3373         0     21375     10162    478752     21.20     25.11
17.16/4.30	c  S st   174     69383       786      3373         0     12080     10162    155428     21.19     19.78
17.16/4.33	c  S st   174     69886       786      3373         0     12583     10162    170831     21.19   no data
17.16/4.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.16/4.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.16/4.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.16/4.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
17.16/4.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.16/4.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.16/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.36	c lits-rem:        45  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
17.16/4.36	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
17.16/4.36	c vivif2 --  cl tried    12556 cl shrink        0 lits rem          0 time: 0.00
17.16/4.37	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.01
17.16/4.37	c calculated reachability. Time: 0.00
17.16/4.37	c  N dy   174     69886       786      3373         0     12556     10162    169789     21.19   no data
18.36/4.67	c  N dy   189     74397       786      3373         0     17045     10162    311396     21.11     22.44
19.96/5.04	c  N dy   205     79179       786      3373         0     21799     10162    458581     21.11     22.25
21.56/5.44	c  N dy   238     84424       786      3373         0     15086     10162    225224     21.19     22.52
22.36/5.65	c  F st   253     87500       786      3373         0     18143     10162    320697     21.19     20.21
23.55/5.92	c  N st   258     90797       786      3373         0     21418     10162    428596     21.19   no data
23.95/6.08	c Decided on static restart strategy
26.34/6.65	c  N st   261     99803       786      3373         0     17438     10162    460078     21.19   no data
27.95/7.07	c  S st   262    104831       786      3373         0     22423     10162    645639     21.19   no data
28.35/7.13	c  S st   262    105334       786      3373         0     22926     10162    661300     21.19   no data
28.35/7.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.35/7.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.35/7.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.35/7.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.35/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.35/7.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
28.35/7.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.35/7.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.35/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.56/7.40	c lits-rem:       322  cl-subs:      466  v-elim:      0  v-fix:    0  time:  0.23 s
29.56/7.40	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
29.56/7.41	c vivif2 --  cl tried    22460 cl shrink        0 lits rem          0 time: 0.01
29.56/7.43	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
29.56/7.43	c calculated reachability. Time: 0.00
29.56/7.43	c  N st   262    105334       786      3373         0     22460     10162    640048     21.19   no data
32.74/8.30	c  N st   263    114933       786      3373         0     18102     10162    414399     21.19   no data
39.14/9.85	c  N st   264    129331       786      3373         0     17472     10162    401284     21.19   no data
47.92/12.00	c  N st   265    150926       786      3373         0     23040     10162    523669     21.19   no data
50.72/12.70	c  S st   266    158002       786      3373         0     30029     10162    763426     21.19   no data
50.72/12.77	c  S st   266    158506       786      3373         0     30533     10162    779165     21.19   no data
50.72/12.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.72/12.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.72/12.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.72/12.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.72/12.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.72/12.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
50.72/12.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.72/12.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.13/12.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
53.12/13.31	c lits-rem:       424  cl-subs:      937  v-elim:      0  v-fix:    0  time:  0.48 s
53.12/13.31	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
53.12/13.32	c vivif2 --  cl tried    29596 cl shrink        0 lits rem          0 time: 0.01
53.12/13.34	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
53.12/13.34	c calculated reachability. Time: 0.00
53.12/13.34	c  N st   266    158506       786      3373         0     29596     10162    746281     21.19   no data
75.48/18.94	c  N st   267    207095       786      3373         0     24223     10162    532183     21.19   no data
89.87/22.54	c  N st   268    237761       786      3373         0     34765     10162    850134     21.19   no data
89.87/22.54	c  S st   268    237761       786      3373         0     34765     10162    850134     21.19   no data
90.27/22.62	c  S st   268    238265       786      3373         0     35269     10162    865207     21.19   no data
90.27/22.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.27/22.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.27/22.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.27/22.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.27/22.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.27/22.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
90.27/22.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.27/22.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.27/22.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
93.87/23.54	c lits-rem:       126  cl-subs:     1356  v-elim:      0  v-fix:    0  time:  0.87 s
93.87/23.54	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
93.87/23.55	c vivif2 --  cl tried    33913 cl shrink        0 lits rem          0 time: 0.01
93.87/23.58	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.02
93.87/23.58	c calculated reachability. Time: 0.00
93.87/23.58	c  N st   268    238265       786      3373         0     33913     10162    817421     21.19   no data
133.82/33.52	c  F st   269    306251       786      3373         0     35844     10162    837160     21.19   no data
133.82/33.52	c  N st   269    306251       786      3373         0     35844     10162    837160     21.19   no data
136.61/34.25	c Decided on static restart strategy
148.59/37.20	c  N st   279    334557       786      3373         0     40189     10162    927688     21.19   no data
161.40/40.44	c  N st   281    357398       786      3373         0     38049     10162    822531     21.19   no data
161.40/40.44	c  S st   281    357398       786      3373         0     38049     10162    822531     21.19   no data
161.78/40.54	c  S st   281    357898       786      3373         0     38548     10162    838019     21.19   no data
161.78/40.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
161.78/40.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
161.78/40.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
161.78/40.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
161.78/40.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
161.78/40.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
161.78/40.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
161.78/40.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
161.78/40.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
163.38/40.97	c lits-rem:       310  cl-subs:      669  v-elim:      0  v-fix:    0  time:  0.38 s
163.38/40.98	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
163.38/40.99	c vivif2 --  cl tried    37879 cl shrink        0 lits rem          0 time: 0.01
163.78/41.02	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.03
163.78/41.02	c calculated reachability. Time: 0.00
163.78/41.02	c  N st   281    357898       786      3373         0     37879     10162    812171     21.19   no data
182.98/45.86	c  N st   282    390290       786      3373         0     44231     10162   1011618     21.19   no data
210.12/52.67	c  N st   283    438878       786      3373         0     37776     10162    770980     21.19   no data
256.47/64.20	c  N st   284    511760       786      3373         0     51486     10162   1226506     21.19   no data
272.84/68.36	c  N st   285    536848       786      3373         0     45636     10162    931965     21.19   no data
272.84/68.36	c  S st   285    536848       786      3373         0     45636     10162    931965     21.19   no data
273.24/68.48	c  S st   285    537353       786      3373         0     46141     10162    947758     21.19   no data
273.24/68.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
273.64/68.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
273.64/68.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
273.64/68.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
273.64/68.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
273.64/68.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
273.64/68.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
273.64/68.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
273.64/68.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
277.23/69.47	c lits-rem:       303  cl-subs:     1354  v-elim:      0  v-fix:    0  time:  0.92 s
277.23/69.47	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
277.23/69.48	c vivif2 --  cl tried    44787 cl shrink        0 lits rem          0 time: 0.01
277.63/69.52	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.03
277.63/69.52	c calculated reachability. Time: 0.00
277.63/69.52	c  N st   285    537353       786      3373         0     44787     10162    897917     21.19   no data
403.47/101.07	c  N st   286    701339       786      3373         0     38869     10162    591181     21.19   no data
488.57/122.36	c  N st   287    806029       786      3373         0     68306     10162   1650899     21.19   no data
488.57/122.36	c  S st   287    806029       786      3373         0     68306     10162   1650899     21.19   no data
489.37/122.55	c  S st   287    806531       786      3373         0     68808     10162   1665544     21.19   no data
489.37/122.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
489.37/122.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
489.37/122.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
489.37/122.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
489.37/122.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.37/122.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
489.37/122.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
489.77/122.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
489.77/122.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
506.95/126.96	c lits-rem:       357  cl-subs:     2325  v-elim:      0  v-fix:    0  time:  4.29 s
506.95/126.96	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
506.95/126.98	c vivif2 --  cl tried    66483 cl shrink        0 lits rem          0 time: 0.02
507.35/127.04	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.06
507.35/127.05	c calculated reachability. Time: 0.00
507.35/127.05	c  N st   287    806531       786      3373         0     66483     10162   1574871     21.19   no data
761.82/190.79	c  F st   288   1071876       786      3373         0     82918     10162   2016045     21.19   no data
761.82/190.79	c  N st   288   1071876       786      3373         0     82918     10162   2016045     21.19   no data
769.81/192.74	c Decided on static restart strategy
787.78/197.27	c  N st   298   1100180       786      3373         0     66256     10162   1304311     21.19   no data
820.15/205.32	c  N st   300   1136177       786      3373         0     56329     10162    918724     21.19   no data
850.50/212.95	c  N st   301   1168569       786      3373         0     88185     10162   1950353     21.19   no data
888.04/222.37	c  N st   302   1209796       786      3373         0     82408     10162   1798610     21.19   no data
888.04/222.37	c  S st   302   1209796       786      3373         0     82408     10162   1798610     21.19   no data
889.25/222.60	c  S st   302   1210301       786      3373         0     82913     10162   1813698     21.19   no data
889.25/222.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
889.25/222.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
889.25/222.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
889.25/222.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
889.25/222.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
889.25/222.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
889.25/222.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
889.25/222.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
889.65/222.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
913.61/228.77	c lits-rem:       829  cl-subs:     3679  v-elim:      0  v-fix:    0  time:  6.04 s
913.61/228.77	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
913.61/228.79	c vivif2 --  cl tried    79234 cl shrink        0 lits rem          0 time: 0.02
914.01/228.88	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.08
914.01/228.88	c calculated reachability. Time: 0.00
914.01/228.88	c  N st   302   1210301       786      3373         0     79234     10162   1688571     21.19   no data
986.31/246.98	c  N st   303   1283183       786      3373         0     55697     10162    812563     21.19   no data
1094.17/273.97	c  N st   304   1392508       786      3373         0     63519     10162   1064056     21.19   no data
1270.34/318.06	c  N st   305   1556492       786      3373         0     68155     10162   1122184     21.19   no data
1448.52/362.67	c  N st   306   1710301       786      3373         0    110389     10162   2645249     21.19   no data
1448.52/362.68	c  S st   306   1710301       786      3373         0    110389     10162   2645249     21.19   no data
1449.70/362.99	c  S st   306   1710806       786      3373         0    110894     10162   2660795     21.19   no data
1450.10/363.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1450.10/363.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1450.10/363.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1450.10/363.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1450.10/363.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1450.10/363.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
1450.10/363.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1450.50/363.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1450.50/363.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1510.44/378.18	c lits-rem:      1235  cl-subs:     4611  v-elim:      0  v-fix:    0  time: 14.99 s
1510.44/378.18	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
1510.82/378.21	c vivif2 --  cl tried   106283 cl shrink        0 lits rem          0 time: 0.03
1511.22/378.33	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.12
1511.22/378.33	c calculated reachability. Time: 0.00
1511.22/378.33	c  N st   306   1710806       786      3373         0    106283     10162   2477253     21.19   no data
1993.81/499.19	c  N st   307   2079770       786      3373         0    118103     10162   2735661     21.19   no data
2174.34/544.30	c  N st   308   2210806       786      3373         0    122374     10162   2834634     21.19   no data
2174.34/544.30	c  S st   308   2210806       786      3373         0    122374     10162   2834634     21.19   no data
2175.54/544.64	c  S st   308   2211313       786      3373         0    122881     10162   2850071     21.19   no data
2175.54/544.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2175.94/544.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2175.94/544.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2175.94/544.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2175.94/544.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2175.94/544.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
2175.94/544.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2175.94/544.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2176.34/544.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2236.65/559.98	c lits-rem:       648  cl-subs:     4570  v-elim:      0  v-fix:    0  time: 15.13 s
2236.65/559.98	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
2237.06/560.02	c vivif2 --  cl tried   118311 cl shrink        0 lits rem          0 time: 0.04
2237.46/560.15	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.13
2237.46/560.16	c calculated reachability. Time: 0.00
2237.46/560.16	c  N st   308   2211313       786      3373         0    118311     10162   2676104     21.19   no data
2952.09/739.03	c  N st   309   2711313       786      3373         0     70841     10162    781772     21.19   no data
2952.09/739.03	c  S st   309   2711313       786      3373         0     70841     10162    781772     21.19   no data
2952.89/739.22	c  S st   309   2711816       786      3373         0     71344     10162    796999     21.19   no data
2952.89/739.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2952.89/739.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2952.89/739.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2952.89/739.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2952.89/739.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2952.89/739.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
2952.89/739.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2952.89/739.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2953.29/739.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2953.69/739.40	c lits-rem:         9  cl-subs:       31  v-elim:      0  v-fix:    0  time:  0.09 s
2953.69/739.40	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
2953.69/739.42	c vivif2 --  cl tried    71313 cl shrink        0 lits rem          0 time: 0.01
2953.69/739.48	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.06
2953.69/739.48	c calculated reachability. Time: 0.00
2953.69/739.48	c  N st   309   2711816       786      3373         0     71313     10162    796137     21.19   no data
3722.66/931.93	c  N st   310   3211821       786      3373         0    117873     10162   2379710     21.19   no data
3722.66/931.93	c  S st   310   3211821       786      3373         0    117873     10162   2379710     21.19   no data
3723.86/932.29	c  S st   310   3212322       786      3373         0    118373     10162   2395843     21.19   no data
3724.26/932.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3724.26/932.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
3724.26/932.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3724.26/932.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3724.26/932.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3724.26/932.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
3724.26/932.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3724.67/932.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3724.67/932.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3755.43/940.18	c lits-rem:       774  cl-subs:     2573  v-elim:      0  v-fix:    0  time:  7.70 s
3755.43/940.18	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
3755.83/940.21	c vivif2 --  cl tried   115800 cl shrink        0 lits rem          0 time: 0.03
3756.21/940.34	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.12
3756.21/940.34	c calculated reachability. Time: 0.00
3756.21/940.34	c  N st   310   3212322       786      3373         0    115800     10162   2296535     21.19   no data
4529.96/1134.09	c  N st   311   3712322       786      3373         0    126644     10162   2479181     21.19   no data
4529.96/1134.09	c  S st   311   3712322       786      3373         0    126644     10162   2479181     21.19   no data
4531.56/1134.43	c  S st   311   3712828       786      3373         0    127150     10162   2495031     21.19   no data
4531.56/1134.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4531.96/1134.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4531.96/1134.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4531.96/1134.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4531.96/1134.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4531.96/1134.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    786 time:  0.00 s
4531.96/1134.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4531.96/1134.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4532.36/1134.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4575.89/1145.52	c lits-rem:       340  cl-subs:     4078  v-elim:      0  v-fix:    0  time: 10.89 s
4575.89/1145.52	c vivif2 --  cl tried     3373 cl shrink        0 lits rem          0 time: 0.00
4575.89/1145.56	c vivif2 --  cl tried   123072 cl shrink        0 lits rem          0 time: 0.04
4576.29/1145.69	c asymm  cl-useful: 0/3373/3373 lits-rem:0 time: 0.13
4576.29/1145.70	c calculated reachability. Time: 0.00
4576.29/1145.70	c  N st   311   3712828       786      3373         0    123072     10162   2350009     21.19   no data
4652.58/1164.77	c  F st   312   3751562       786      3373         0    161328     10162   3738826     21.19   no data
4652.58/1164.77	c  N st   312   3751562       786      3373         0    161328     10162   3738826     21.19   no data
4664.57/1167.80	c Decided on static restart strategy
4693.74/1175.06	c  N st   322   3779870       786      3373         0    105610     10162   1693193     21.19   no data
4752.45/1189.71	c  N st   324   3815863       786      3373         0    141119     10162   3051501     21.19   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174283-1304116989/watcher-3174283-1304116989 -o /tmp/evaluation-result-3174283-1304116989/solver-3174283-1304116989 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174283-1304116989.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.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=182300 CPUtime=0 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 500 0 0 0 0 0 0 0 25 0 4 0 523301505 186675200 426 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634558554 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 45814 449 335 106 0 40785 0
[pid=21989/tid=21990] ppid=21987 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 53 0 0 0 0 0 0 0 25 0 4 0 523301506 187654144 506 33554432000 4194304 4627427 140735220602976 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 24 0 0 0 0 0 0 0 25 0 4 0 523301506 187654144 520 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634620398 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=183256 CPUtime=0 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 70 0 0 0 0 0 0 0 25 0 4 0 523301506 187654144 535 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634558647 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0122331 s]
/proc/loadavg: 8.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=282604 CPUtime=0.03 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 1263 0 0 0 3 0 0 0 18 0 4 0 523301505 289386496 1188 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634176545 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 70651 1266 378 106 0 65622 0
[pid=21989/tid=21990] ppid=21987 vsize=282752 CPUtime=0.01 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 357 0 0 0 1 0 0 0 18 0 4 0 523301506 289538048 1443 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634620447 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=282904 CPUtime=0.16 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) S 21987 21989 21853 0 -1 4202560 512 0 0 0 16 0 0 0 18 0 4 0 523301506 289693696 2240 33554432000 4194304 4627427 140735220602976 18446744073709551615 216634620398 0 0 4096 2 18446604453938677056 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=293808 CPUtime=0.47 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 784 0 0 0 47 0 0 0 18 0 4 0 523301506 300859392 3151 33554432000 4194304 4627427 140735220602976 18446744073709551615 4350055 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) 282604

[startup+0.907471 s]
/proc/loadavg: 8.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=286976 CPUtime=3.61 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 6574 0 0 0 360 1 0 0 19 0 4 0 523301505 293863424 2808 33554432000 4194304 4627427 140735220602976 18446744073709551615 4327595 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 71744 2808 385 106 0 66715 0
[pid=21989/tid=21990] ppid=21987 vsize=286976 CPUtime=0.9 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1623 0 0 0 90 0 0 0 19 0 4 0 523301506 293863424 2808 33554432000 4194304 4627427 140735220602976 18446744073709551615 4324648 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=286976 CPUtime=0.89 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1567 0 0 0 89 0 0 0 19 0 4 0 523301506 293863424 2808 33554432000 4194304 4627427 140735220602976 18446744073709551615 4310574 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=286976 CPUtime=0.9 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1424 0 0 0 90 0 0 0 19 0 4 0 523301506 293863424 2808 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 286976

[startup+1.00045 s]
/proc/loadavg: 8.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=286976 CPUtime=3.98 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 6851 0 0 0 397 1 0 0 19 0 4 0 523301505 293863424 3085 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 71744 3085 385 106 0 66715 0
[pid=21989/tid=21990] ppid=21987 vsize=286976 CPUtime=0.99 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1695 0 0 0 99 0 0 0 19 0 4 0 523301506 293863424 3085 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=286976 CPUtime=0.98 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1639 0 0 0 98 0 0 0 19 0 4 0 523301506 293863424 3085 33554432000 4194304 4627427 140735220602976 18446744073709551615 4327424 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=286976 CPUtime=0.99 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1488 0 0 0 99 0 0 0 19 0 4 0 523301506 293863424 3086 33554432000 4194304 4627427 140735220602976 18446744073709551615 4327647 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 286976

[startup+1.10044 s]
/proc/loadavg: 8.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=286976 CPUtime=4.38 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 7164 0 0 0 437 1 0 0 19 0 4 0 523301505 293863424 3398 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 71744 3398 385 106 0 66715 0
[pid=21989/tid=21990] ppid=21987 vsize=286976 CPUtime=1.09 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1774 0 0 0 109 0 0 0 19 0 4 0 523301506 293863424 3398 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=286976 CPUtime=1.08 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1722 0 0 0 108 0 0 0 19 0 4 0 523301506 293863424 3398 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=286976 CPUtime=1.09 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 1558 0 0 0 109 0 0 0 19 0 4 0 523301506 293863424 3398 33554432000 4194304 4627427 140735220602976 18446744073709551615 4321779 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 286976

[startup+1.50037 s]
/proc/loadavg: 8.16 8.10 8.01 8/180 21989
/proc/meminfo: memFree=17888116/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=287696 CPUtime=5.97 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 9128 0 0 0 596 1 0 0 20 0 4 0 523301505 294600704 3498 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 71924 3498 386 106 0 66895 0
[pid=21989/tid=21990] ppid=21987 vsize=287696 CPUtime=1.49 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 2258 0 0 0 149 0 0 0 19 0 4 0 523301506 294600704 3498 33554432000 4194304 4627427 140735220602976 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=287696 CPUtime=1.48 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 2246 0 0 0 148 0 0 0 20 0 4 0 523301506 294600704 3498 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=287696 CPUtime=1.49 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 2043 0 0 0 149 0 0 0 20 0 4 0 523301506 294600704 3498 33554432000 4194304 4627427 140735220602976 18446744073709551615 4327417 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287696

[startup+3.10109 s]
/proc/loadavg: 8.39 8.14 8.03 9/184 21993
/proc/meminfo: memFree=17803732/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=283160 CPUtime=12.37 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 20275 0 0 0 1234 3 0 0 25 0 4 0 523301505 289955840 11931 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 70790 11931 391 106 0 65761 0
[pid=21989/tid=21990] ppid=21987 vsize=283160 CPUtime=3.09 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 4488 0 0 0 308 1 0 0 25 0 4 0 523301506 289955840 11931 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=283160 CPUtime=3.07 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 6016 0 0 0 307 0 0 0 25 0 4 0 523301506 289955840 11931 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=283160 CPUtime=3.09 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 4209 0 0 0 309 0 0 0 25 0 4 0 523301506 289955840 11931 33554432000 4194304 4627427 140735220602976 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 283160

[startup+6.30653 s]
/proc/loadavg: 8.36 8.14 8.03 9/184 21993
/proc/meminfo: memFree=17773476/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=292584 CPUtime=25.17 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 28501 0 0 0 2513 4 0 0 25 0 4 0 523301505 299606016 15701 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 73146 15701 391 106 0 68117 0
[pid=21989/tid=21990] ppid=21987 vsize=292584 CPUtime=6.29 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 7465 0 0 0 628 1 0 0 25 0 4 0 523301506 299606016 15701 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=292584 CPUtime=6.27 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 8240 0 0 0 626 1 0 0 25 0 4 0 523301506 299606016 15701 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=292584 CPUtime=6.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 5825 0 0 0 629 0 0 0 25 0 4 0 523301506 299606016 15701 33554432000 4194304 4627427 140735220602976 18446744073709551615 4352196 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 292584

[startup+12.7004 s]
/proc/loadavg: 8.33 8.14 8.03 9/184 21993
/proc/meminfo: memFree=17699808/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=310852 CPUtime=50.72 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 44663 0 0 0 5064 8 0 0 25 0 4 0 523301505 318312448 24845 33554432000 4194304 4627427 140735220602976 18446744073709551615 4321493 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 77713 24845 389 106 0 72684 0
[pid=21989/tid=21990] ppid=21987 vsize=310852 CPUtime=12.69 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 9957 0 0 0 1267 2 0 0 25 0 4 0 523301506 318312448 24845 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=310852 CPUtime=12.64 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 12240 0 0 0 1262 2 0 0 25 0 4 0 523301506 318312448 24845 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=310852 CPUtime=12.68 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 9738 0 0 0 1267 1 0 0 25 0 4 0 523301506 318312448 24845 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 310852

[startup+25.5012 s]
/proc/loadavg: 8.28 8.14 8.03 9/184 21993
/proc/meminfo: memFree=17631480/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=372944 CPUtime=101.85 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 65187 0 0 0 10172 13 0 0 25 0 4 0 523301505 381894656 36144 33554432000 4194304 4627427 140735220602976 18446744073709551615 4330326 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 93236 36144 389 106 0 88207 0
[pid=21989/tid=21990] ppid=21987 vsize=372944 CPUtime=25.48 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 12124 0 0 0 2546 2 0 0 25 0 4 0 523301506 381894656 36144 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=372944 CPUtime=25.37 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 17997 0 0 0 2533 4 0 0 25 0 4 0 523301506 381894656 36144 33554432000 4194304 4627427 140735220602976 18446744073709551615 4299599 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=372944 CPUtime=25.49 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 13502 0 0 0 2547 2 0 0 25 0 4 0 523301506 381894656 36144 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 372944

[startup+51.1007 s]
/proc/loadavg: 8.24 8.14 8.03 9/184 21994
/proc/meminfo: memFree=17582264/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=316796 CPUtime=204.13 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 93807 0 0 0 20392 21 0 0 25 0 4 0 523301505 324399104 41173 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 79199 41173 389 106 0 74170 0
[pid=21989/tid=21990] ppid=21987 vsize=316796 CPUtime=51.08 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 14186 0 0 0 5105 3 0 0 25 0 4 0 523301506 324399104 41173 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=316796 CPUtime=50.85 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 24439 0 0 0 5080 5 0 0 25 0 4 0 523301506 324399104 41173 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=316796 CPUtime=51.09 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 23083 0 0 0 5104 5 0 0 25 0 4 0 523301506 324399104 41173 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 316796

[startup+102.301 s]
/proc/loadavg: 8.15 8.13 8.03 9/184 21995
/proc/meminfo: memFree=17438160/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=395444 CPUtime=408.67 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 131673 0 0 0 40835 32 0 0 25 0 4 0 523301505 404934656 54514 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 98861 54514 389 106 0 93832 0
[pid=21989/tid=21990] ppid=21987 vsize=395444 CPUtime=102.28 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 18934 0 0 0 10224 4 0 0 25 0 4 0 523301506 404934656 54514 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=395444 CPUtime=101.79 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 31082 0 0 0 10172 7 0 0 25 0 4 0 523301506 404934656 54514 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=395444 CPUtime=102.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 37659 0 0 0 10219 10 0 0 25 0 4 0 523301506 404934656 54514 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 395444

[startup+162.301 s]

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

[pid=21989] ppid=21987 vsize=748980 CPUtime=2805.49 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 365369 0 0 0 280422 127 0 0 25 0 4 0 523301505 766955520 110501 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 187245 110501 389 106 0 182216 0
[pid=21989/tid=21990] ppid=21987 vsize=748980 CPUtime=702.24 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 40586 0 0 0 70208 16 0 0 25 0 4 0 523301506 766955520 110501 33554432000 4194304 4627427 140735220602976 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=748980 CPUtime=698.64 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 116760 0 0 0 69823 41 0 0 25 0 4 0 523301506 766955520 110501 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=748980 CPUtime=702.3 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 95154 0 0 0 70196 34 0 0 25 0 4 0 523301506 766955520 110501 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.49
Current children cumulated vsize (KiB) 748980

[startup+762.301 s]
/proc/loadavg: 8.04 8.07 8.02 9/184 22013
/proc/meminfo: memFree=16977064/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=824836 CPUtime=3045.17 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 385141 0 0 0 304381 136 0 0 25 0 4 0 523301505 844632064 118426 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 206209 118426 389 106 0 201180 0
[pid=21989/tid=21990] ppid=21987 vsize=824836 CPUtime=762.23 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 47022 0 0 0 76203 20 0 0 25 0 4 0 523301506 844632064 118426 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=824836 CPUtime=758.32 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 121887 0 0 0 75789 43 0 0 25 0 4 0 523301506 844632064 118426 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=824836 CPUtime=762.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 98599 0 0 0 76194 35 0 0 25 0 4 0 523301506 844632064 118426 33554432000 4194304 4627427 140735220602976 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.17
Current children cumulated vsize (KiB) 824836

[startup+822.301 s]
/proc/loadavg: 8.05 8.07 8.02 9/184 22014
/proc/meminfo: memFree=17017228/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=737348 CPUtime=3284.87 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 399564 0 0 0 328344 143 0 0 25 0 4 0 523301505 755044352 109604 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 184337 109604 389 106 0 179308 0
[pid=21989/tid=21990] ppid=21987 vsize=737348 CPUtime=822.23 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 50546 0 0 0 82202 21 0 0 25 0 4 0 523301506 755044352 109604 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=737348 CPUtime=818.01 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 126308 0 0 0 81756 45 0 0 25 0 4 0 523301506 755044352 109604 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=737348 CPUtime=822.3 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 103651 0 0 0 82193 37 0 0 25 0 4 0 523301506 755044352 109604 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.87
Current children cumulated vsize (KiB) 737348

[startup+882.301 s]
/proc/loadavg: 8.19 8.10 8.03 9/184 22016
/proc/meminfo: memFree=16927296/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=787312 CPUtime=3524.53 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 425120 0 0 0 352300 153 0 0 25 0 4 0 523301505 806207488 121479 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 196828 121479 389 106 0 191799 0
[pid=21989/tid=21990] ppid=21987 vsize=787312 CPUtime=882.23 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 56930 0 0 0 88199 24 0 0 25 0 4 0 523301506 806207488 121479 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=787312 CPUtime=877.7 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 133922 0 0 0 87722 48 0 0 25 0 4 0 523301506 806207488 121479 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=787312 CPUtime=882.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 107337 0 0 0 88190 39 0 0 25 0 4 0 523301506 806207488 121479 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.53
Current children cumulated vsize (KiB) 787312

[startup+942.301 s]
/proc/loadavg: 8.21 8.11 8.04 9/184 22018
/proc/meminfo: memFree=16907428/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=685284 CPUtime=3764.23 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 441959 0 0 0 376262 161 0 0 25 0 4 0 523301505 701730816 123639 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 171321 123639 389 106 0 166292 0
[pid=21989/tid=21990] ppid=21987 vsize=685284 CPUtime=942.23 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 61210 0 0 0 94196 27 0 0 25 0 4 0 523301506 701730816 123639 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=685284 CPUtime=937.38 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 138687 0 0 0 93688 50 0 0 25 0 4 0 523301506 701730816 123639 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=685284 CPUtime=942.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 110959 0 0 0 94189 40 0 0 25 0 4 0 523301506 701730816 123639 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.23
Current children cumulated vsize (KiB) 685284

[startup+1002.3 s]
/proc/loadavg: 8.20 8.12 8.04 9/184 22019
/proc/meminfo: memFree=16869472/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=763108 CPUtime=4003.88 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 466261 0 0 0 400218 170 0 0 25 0 4 0 523301505 781422592 129365 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 190777 129365 389 106 0 185748 0
[pid=21989/tid=21990] ppid=21987 vsize=763108 CPUtime=1002.22 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 65907 0 0 0 100194 28 0 0 25 0 4 0 523301506 781422592 129365 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=763108 CPUtime=997.05 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 146441 0 0 0 99651 54 0 0 25 0 4 0 523301506 781422592 129365 33554432000 4194304 4627427 140735220602976 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=763108 CPUtime=1002.29 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 117257 0 0 0 100187 42 0 0 25 0 4 0 523301506 781422592 129365 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.88
Current children cumulated vsize (KiB) 763108

[startup+1062.31 s]
/proc/loadavg: 8.12 8.11 8.04 9/184 22021
/proc/meminfo: memFree=16783776/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=793772 CPUtime=4243.59 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 491386 0 0 0 424179 180 0 0 25 0 4 0 523301505 812822528 146111 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 198443 146111 389 106 0 193414 0
[pid=21989/tid=21990] ppid=21987 vsize=793772 CPUtime=1062.22 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 71862 0 0 0 106191 31 0 0 25 0 4 0 523301506 812822528 146111 33554432000 4194304 4627427 140735220602976 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=793772 CPUtime=1056.74 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 154495 0 0 0 105618 56 0 0 25 0 4 0 523301506 812822528 146111 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=793772 CPUtime=1062.3 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 120565 0 0 0 106187 43 0 0 25 0 4 0 523301506 812822528 146111 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.59
Current children cumulated vsize (KiB) 793772

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.04 9/184 22031
/proc/meminfo: memFree=16756400/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=787152 CPUtime=4483.23 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 512521 0 0 0 448132 191 0 0 25 0 4 0 523301505 806043648 140840 33554432000 4194304 4627427 140735220602976 18446744073709551615 4333037 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 196788 140840 389 106 0 191759 0
[pid=21989/tid=21990] ppid=21987 vsize=787152 CPUtime=1122.2 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 73907 0 0 0 112188 32 0 0 25 0 4 0 523301506 806043648 140840 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=787152 CPUtime=1116.41 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 162898 0 0 0 111581 60 0 0 25 0 4 0 523301506 806043648 140840 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=787152 CPUtime=1122.28 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 123405 0 0 0 112184 44 0 0 25 0 4 0 523301506 806043648 140840 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.23
Current children cumulated vsize (KiB) 787152

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.04 9/184 22033
/proc/meminfo: memFree=16772000/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=703048 CPUtime=4722.89 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 531999 0 0 0 472090 199 0 0 25 0 4 0 523301505 719921152 132632 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 175762 132632 389 106 0 170733 0
[pid=21989/tid=21990] ppid=21987 vsize=703048 CPUtime=1182.2 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 77019 0 0 0 118187 33 0 0 25 0 4 0 523301506 719921152 132632 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=703048 CPUtime=1176.09 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 170913 0 0 0 117545 64 0 0 25 0 4 0 523301506 719921152 132632 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=703048 CPUtime=1182.27 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 125998 0 0 0 118181 46 0 0 25 0 4 0 523301506 719921152 132632 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.89
Current children cumulated vsize (KiB) 703048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.11 8.05 5/179 22035
/proc/meminfo: memFree=17341564/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=806680 CPUtime=4800.4 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 537732 0 0 0 479839 201 0 0 25 0 4 0 523301505 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 201670 137645 389 106 0 196641 0
[pid=21989/tid=21990] ppid=21987 vsize=806680 CPUtime=1201.61 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 78420 0 0 0 120127 34 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=806680 CPUtime=1195.38 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 172204 0 0 0 119474 64 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=806680 CPUtime=1201.68 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 127623 0 0 0 120122 46 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 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) 806680

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

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

[startup+1201.7 s]
/proc/loadavg: 8.13 8.11 8.05 5/179 22035
/proc/meminfo: memFree=17341564/32951124 swapFree=67111528/67111528
[pid=21989] ppid=21987 vsize=806680 CPUtime=4800.4 cores=0,2,4,6
/proc/21989/stat : 21989 (strangenight2-m) R 21987 21989 21853 0 -1 4202496 537732 0 0 0 479839 201 0 0 25 0 4 0 523301505 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21989/statm: 201670 137645 389 106 0 196641 0
[pid=21989/tid=21990] ppid=21987 vsize=806680 CPUtime=1201.61 cores=0,2,4,6
/proc/21989/task/21990/stat : 21990 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 78420 0 0 0 120127 34 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21989/tid=21991] ppid=21987 vsize=806680 CPUtime=1195.38 cores=0,2,4,6
/proc/21989/task/21991/stat : 21991 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 172204 0 0 0 119474 64 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21989/tid=21992] ppid=21987 vsize=806680 CPUtime=1201.68 cores=0,2,4,6
/proc/21989/task/21992/stat : 21992 (strangenight2-m) R 21987 21989 21853 0 -1 4202560 127623 0 0 0 120122 46 0 0 25 0 4 0 523301506 826040320 137645 33554432000 4194304 4627427 140735220602976 18446744073709551615 4309145 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) 806680

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.46
CPU user time (s): 4798.42
CPU system time (s): 2.04669
CPU usage (%): 399.459
Max. virtual memory (cumulated for all children) (KiB): 946268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.42
system time used= 2.04669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 537732
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= 521
involuntary context switches= 23190

runsolver used 1.86272 second user time and 4.47832 second system time

The end

Launcher Data 

Begin job on node103 at 2011-04-30 00:43:09
IDJOB=3174283
IDBENCH=83101
IDSOLVER=1586
FILE ID=node103/3174283-1304116989
RUNJOBID= node103-1304115785-21871
PBS_JOBID= 13170711
Free space on /tmp= 71512 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174283-1304116989/watcher-3174283-1304116989 -o /tmp/evaluation-result-3174283-1304116989/solver-3174283-1304116989 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174283-1304116989.cnf

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

MD5SUM BENCH= a8d280a0ad5a42e6946605bb6356e226
RANDOM SEED=1627482558

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17888396 kB
Buffers:       2149548 kB
Cached:       12259516 kB
SwapCached:          0 kB
Active:        5607256 kB
Inactive:      8872208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17888396 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11284 kB
Writeback:           0 kB
AnonPages:       69388 kB
Mapped:          15068 kB
Slab:           519944 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   272956 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= 71508 MiB
End job on node103 at 2011-04-30 01:03:13