Trace number 3366398

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 (fixed)? (TO) 4800.39 1203.56

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
MD5SUM72699a729b1b1ff68f424bd0209fc31b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.031994
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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-3366398-1305403298.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        750
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/3195/3195 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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     362 undec:      76 neg:     312
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       736      3175         0         0      9623         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4920       736      3175         0      4859      9623    156733   no data   no data
3.17/0.80	c  N st    10     11304       736      3175         0      4529      9623     96847   no data   no data
3.17/0.80	c  N st    11     17047       736      3175         0     10210      9623    276932   no data   no data
5.15/1.30	c  F st    12     25000       736      3175         0     12496      9623    337912   no data   no data
5.15/1.30	c  N st    12     25000       736      3175         0     12496      9623    337912   no data   no data
5.55/1.47	c Decided on static restart strategy
5.55/1.47	c  N st    18     30000       736      3175         0     10762      9623    268622   no data   no data
5.55/1.47	c  S st    18     30000       736      3175         0     10762      9623    268622   no data   no data
5.96/1.50	c  S st    18     30501       736      3175         0     11263      9623    285008   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.50	c blocked clauses removed:       10 vars:      2 tried:         736 T: 0.00 s
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c lits-rem:       104  cl-subs:      230  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.57	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
5.96/1.57	c calculated reachability. Time: 0.00
5.96/1.57	c  N st    18     30501       734      3165         0     11003      9593    274579   no data   no data
7.95/2.01	c  N st    20     37612       734      3165         0     10288      9593    224698   no data   no data
9.55/2.45	c  N st    21     44011       734      3165         0     16627      9593    425207   no data   no data
9.95/2.59	c  S st    22     45752       734      3165         0      9514      9593    174039   no data   no data
10.34/2.62	c  S st    22     46258       734      3165         0     10020      9593    189129   no data   no data
10.34/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.34/2.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.34/2.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.34/2.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.34/2.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
10.34/2.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.34/2.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.34/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.64	c lits-rem:        22  cl-subs:       22  v-elim:      0  v-fix:    0  time:  0.01 s
10.34/2.64	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c vivif2 --  cl tried     9998 cl shrink        0 lits rem          0 time: 0.00
10.34/2.65	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
10.34/2.65	c calculated reachability. Time: 0.00
10.34/2.65	c  N st    22     46258       734      3165         0      9998      9593    188202   no data   no data
14.34/3.70	c  N st    23     60655       734      3165         0     14364      9593    316378   no data   no data
17.13/4.37	c  N st    24     69387       734      3165         0     12142      9593    229468   no data   no data
17.13/4.37	c  S st    24     69387       734      3165         0     12142      9593    229468   no data   no data
17.13/4.40	c  S st    24     69889       734      3165         0     12644      9593    243867   no data   no data
17.13/4.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.13/4.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.13/4.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.13/4.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.13/4.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
17.13/4.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.55/4.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.55/4.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.44	c lits-rem:        21  cl-subs:      116  v-elim:      0  v-fix:    0  time:  0.02 s
17.55/4.44	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
17.55/4.45	c vivif2 --  cl tried    12528 cl shrink        0 lits rem          0 time: 0.00
17.55/4.45	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
17.55/4.45	c calculated reachability. Time: 0.00
17.55/4.45	c  N st    24     69889       734      3165         0     12528      9593    239331   no data   no data
23.11/5.84	c  F st    25     87503       734      3165         0     18052      9593    433721   no data   no data
23.11/5.84	c  N st    25     87503       734      3165         0     18052      9593    433721   no data   no data
24.71/6.25	c Decided on static restart strategy
25.50/6.48	c  N st    32     95540       734      3165         0     13186      9593    227165   no data   no data
28.29/7.13	c  N st    34    104833       734      3165         0     22366      9593    540024   no data   no data
28.29/7.13	c  S st    34    104833       734      3165         0     22366      9593    540024   no data   no data
28.29/7.19	c  S st    34    105337       734      3165         0     22870      9593    554885   no data   no data
28.29/7.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.29/7.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.29/7.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.29/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.29/7.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
28.29/7.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.69/7.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.69/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.09/7.35	c lits-rem:       179  cl-subs:      340  v-elim:      0  v-fix:    0  time:  0.13 s
29.09/7.35	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
29.09/7.36	c vivif2 --  cl tried    22530 cl shrink        0 lits rem          0 time: 0.01
29.09/7.37	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
29.09/7.37	c calculated reachability. Time: 0.00
29.09/7.37	c  N st    34    105337       734      3165         0     22530      9593    541069   no data   no data
32.28/8.18	c  N st    35    114936       734      3165         0     18189      9593    360485   no data   no data
38.26/9.60	c  N st    36    129333       734      3165         0     17623      9593    323919   no data   no data
46.64/11.78	c  N st    37    150928       734      3165         0     23066      9593    478762   no data   no data
49.43/12.46	c  S st    38    158007       734      3165         0     30017      9593    700543   no data   no data
49.83/12.53	c  S st    38    158509       734      3165         0     30519      9593    715427   no data   no data
49.83/12.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.83/12.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.83/12.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.83/12.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.83/12.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.83/12.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
49.83/12.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.83/12.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.83/12.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.83/13.04	c lits-rem:       307  cl-subs:     1145  v-elim:      0  v-fix:    0  time:  0.47 s
51.83/13.04	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
51.83/13.05	c vivif2 --  cl tried    29374 cl shrink        0 lits rem          0 time: 0.01
51.83/13.07	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.02
51.83/13.07	c calculated reachability. Time: 0.00
51.83/13.07	c  N st    38    158509       734      3165         0     29374      9593    677055   no data   no data
72.97/18.30	c  N st    39    207098       734      3165         0     24060      9593    459953   no data   no data
87.34/21.94	c  N st    40    237763       734      3165         0     34616      9593    808404   no data   no data
87.34/21.94	c  S st    40    237763       734      3165         0     34616      9593    808404   no data   no data
87.76/22.03	c  S st    40    238265       734      3165         0     35116      9593    823026   no data   no data
87.76/22.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.76/22.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.76/22.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.76/22.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.76/22.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.76/22.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
87.76/22.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
87.76/22.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.76/22.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.13/22.63	c lits-rem:       186  cl-subs:      805  v-elim:      0  v-fix:    0  time:  0.55 s
90.13/22.63	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
90.13/22.64	c vivif2 --  cl tried    34311 cl shrink        0 lits rem          0 time: 0.01
90.13/22.66	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.02
90.13/22.66	c calculated reachability. Time: 0.00
90.13/22.66	c  N st    40    238265       734      3165         0     34311      9593    791031   no data   no data
124.03/31.12	c  F st    41    306250       734      3165         0     36231      9593    840976   no data   no data
124.03/31.12	c  N st    41    306250       734      3165         0     36231      9593    840976   no data   no data
134.01/33.64	c  N dy    91    325810       734      3165         0     31858      9593    527477     20.69     21.88
145.56/36.57	c  N dy   175    345845       734      3165         0     26972      9593    326783     20.31     25.07
151.15/37.97	c  S st   227    357397       734      3165         0     38459      9593    676648     20.34   no data
151.55/38.06	c  S st   227    357905       734      3165         0     38966      9593    690241     20.34   no data
151.55/38.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
151.55/38.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
151.55/38.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151.55/38.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.55/38.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.55/38.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
151.55/38.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.55/38.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
151.95/38.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.35/38.29	c lits-rem:       255  cl-subs:      308  v-elim:      0  v-fix:    0  time:  0.19 s
152.35/38.29	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
152.76/38.30	c vivif2 --  cl tried    38658 cl shrink        0 lits rem          0 time: 0.01
152.76/38.33	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.03
152.76/38.33	c calculated reachability. Time: 0.00
152.76/38.33	c  N dy   227    357905       734      3165         0     38658      9593    679245     20.34   no data
164.72/41.35	c  N dy   338    377957       734      3165         0     32791      9593    467327     20.54     24.94
176.68/44.35	c  N dy   394    398010       734      3165         0     52651      9593   1056618     20.16     23.00
187.86/47.16	c  N dy   507    418187       734      3165         0     45915      9593    840139     20.31     21.60
200.62/50.37	c  N dy   602    438266       734      3165         0     38064      9593    560363     20.29     21.91
214.59/53.87	c  N dy   705    458277       734      3165         0     29148      9593    266819     20.37     22.11
225.35/56.58	c  N dy   767    478294       734      3165         0     48988      9593    864327     20.26     21.89
239.71/60.12	c  N dy   892    499073       734      3165         0     39831      9593    563883     20.36     21.53
254.08/63.79	c  N dy  1008    519083       734      3165         0     59731      9593   1176150     20.45     24.42
264.84/66.49	c  S st  1105    536857       734      3165         0     46593      9593    753982     20.50   no data
265.63/66.61	c  S st  1105    537362       734      3165         0     47098      9593    768074     20.50   no data
265.63/66.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
265.63/66.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
265.63/66.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
265.63/66.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
265.63/66.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.63/66.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
265.63/66.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
265.63/66.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
265.63/66.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.83/66.99	c lits-rem:       137  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.32 s
266.83/66.99	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
267.23/67.00	c vivif2 --  cl tried    46821 cl shrink        0 lits rem          0 time: 0.01
267.23/67.03	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.03
267.23/67.03	c calculated reachability. Time: 0.00
267.23/67.03	c  N dy  1105    537362       734      3165         0     46821      9593    757636     20.50   no data
283.18/71.01	c  N dy  1235    557405       734      3165         0     34958      9593    364718     20.60     21.99
296.35/74.30	c  N dy  1310    578146       734      3165         0     55537      9593   1000508     20.59     21.85
311.11/78.02	c  N dy  1415    598471       734      3165         0     42951      9593    586287     20.63     21.95
326.26/81.86	c  N dy  1498    618536       734      3165         0     62865      9593   1200458     20.63     22.22
339.83/85.27	c  N dy  1556    638627       734      3165         0     48999      9593    739176     20.56     21.71
357.77/89.72	c  N dy  1669    658646       734      3165         0     68888      9593   1356154     20.61     21.86
370.93/93.04	c  N dy  1756    678664       734      3165         0     54024      9593    867159     20.62     22.79
389.68/97.74	c  N dy  1860    699312       734      3165         0     38776      9593    365273     20.64     21.78
404.83/101.50	c  N dy  1954    720274       734      3165         0     59568      9593    993774     20.65     21.74
423.57/106.24	c  N dy  2046    740394       734      3165         0     42839      9593    472826     20.66     21.76
441.53/110.76	c  N dy  2122    764199       734      3165         0     66443      9593   1198103     20.65     21.77
457.88/114.86	c  N dy  2202    784224       734      3165         0     48599      9593    624860     20.65     22.92
475.43/119.23	c  N dy  2325    804235       734      3165         0     68490      9593   1246857     20.69     21.88
477.43/119.73	c  S st  2333    806043       734      3165         0     70288      9593   1301727     20.69     20.02
478.26/119.92	c  S st  2333    806550       734      3165         0     70795      9593   1316779     20.69   no data
478.26/119.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
478.26/119.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
478.26/119.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
478.26/119.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.26/119.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.26/119.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
478.26/119.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
478.26/119.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
478.67/120.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.81/120.89	c lits-rem:       226  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.88 s
481.81/120.89	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
482.21/120.91	c vivif2 --  cl tried    70095 cl shrink        0 lits rem          0 time: 0.02
482.21/120.98	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.06
482.21/120.98	c calculated reachability. Time: 0.00
482.21/120.98	c  N dy  2333    806550       734      3165         0     70095      9593   1291707     20.69   no data
498.97/125.12	c  N dy  2418    826747       734      3165         0     51430      9593    696850     20.68     21.79
520.50/130.51	c  N dy  2521    850572       734      3165         0     75128      9593   1437714     20.67     21.86
536.46/134.55	c  N dy  2641    870636       734      3165         0     55342      9593    791341     20.70     24.23
557.99/139.92	c  N dy  2756    891423       734      3165         0     76002      9593   1430500     20.73     21.82
574.78/144.12	c  N dy  2860    911481       734      3165         0     55188      9593    758494     20.74     22.12
594.28/149.03	c  N dy  2966    931568       734      3165         0     75151      9593   1382707     20.76     24.90
612.24/153.55	c  N dy  3067    951630       734      3165         0     53353      9593    673704     20.78     22.04
630.59/158.11	c  N dy  3146    971637       734      3165         0     73207      9593   1282717     20.77     26.36
650.94/163.23	c  N dy  3269    991823       734      3165         0     50544      9593    561746     20.80     21.91
669.29/167.80	c  N dy  3379   1011957       734      3165         0     70531      9593   1179383     20.82     22.44
691.62/173.45	c  N dy  3465   1032030       734      3165         0     46759      9593    416465     20.82     22.01
707.97/177.57	c  N dy  3579   1052255       734      3165         0     66877      9593   1053218     20.85     22.13
729.91/183.07	c  F st  3645   1071879       734      3165         0     86322      9593   1647370     20.84     19.06
730.71/183.27	c  N st  3647   1072504       734      3165         0     86946      9593   1666165     20.84   no data
735.49/184.43	c Decided on static restart strategy
752.24/188.62	c  N st  3655   1100180       734      3165         0     69715      9593   1174173     20.84   no data
786.94/197.36	c  N st  3657   1136172       734      3165         0     59596      9593   1285036     20.84   no data
822.04/206.11	c  N st  3658   1168565       734      3165         0     91429      9593   2318990     20.84   no data
862.73/216.30	c  N st  3659   1209825       734      3165         0     85662      9593   2018638     20.84   no data
862.73/216.30	c  S st  3659   1209825       734      3165         0     85662      9593   2018638     20.84   no data
863.93/216.65	c  S st  3659   1210327       734      3165         0     86164      9593   2033468     20.84   no data
863.93/216.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
864.36/216.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.06
864.36/216.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
864.36/216.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
864.36/216.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
864.36/216.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
864.36/216.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
864.36/216.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
864.77/216.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
907.00/227.47	c lits-rem:       729  cl-subs:     4404  v-elim:      0  v-fix:    0  time: 10.65 s
907.00/227.47	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
907.40/227.50	c vivif2 --  cl tried    81760 cl shrink        0 lits rem          0 time: 0.02
907.40/227.58	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.08
907.40/227.58	c calculated reachability. Time: 0.00
907.40/227.58	c  N st  3659   1210327       734      3165         0     81760      9593   1897325     20.84   no data
975.99/244.74	c  N st  3660   1283210       734      3165         0     58034      9593   1009323     20.84   no data
1084.15/271.88	c  N st  3661   1392534       734      3165         0     66340      9593   1277306     20.84   no data
1282.34/321.53	c  N st  3662   1556520       734      3165         0     71258      9593   1331884     20.84   no data
1479.37/370.93	c  N st  3663   1710328       734      3165         0     57225      9593    732828     20.84   no data
1479.37/370.93	c  S st  3663   1710328       734      3165         0     57225      9593    732828     20.84   no data
1479.77/371.08	c  S st  3663   1710830       734      3165         0     57727      9593    748089     20.84   no data
1479.77/371.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1480.17/371.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1480.17/371.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1480.17/371.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1480.17/371.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1480.17/371.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
1480.17/371.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1480.17/371.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1480.17/371.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1481.37/371.44	c lits-rem:        66  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.28 s
1481.37/371.44	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
1481.37/371.45	c vivif2 --  cl tried    57541 cl shrink        0 lits rem          0 time: 0.01
1481.77/371.51	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.06
1481.77/371.51	c calculated reachability. Time: 0.00
1481.77/371.51	c  N st  3663   1710830       734      3165         0     57541      9593    742674     20.84   no data
1960.43/491.51	c  N st  3664   2079794       734      3165         0     63255      9593    781897     20.84   no data
2133.92/535.02	c  N st  3665   2210830       734      3165         0     65415      9593    785414     20.84   no data
2133.92/535.02	c  S st  3665   2210830       734      3165         0     65415      9593    785414     20.84   no data
2134.32/535.18	c  S st  3665   2211331       734      3165         0     65916      9593    800098     20.84   no data
2134.32/535.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2134.72/535.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2134.72/535.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2134.72/535.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2134.72/535.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2134.72/535.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2134.72/535.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2134.72/535.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2134.72/535.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2135.52/535.46	c lits-rem:        55  cl-subs:      172  v-elim:      0  v-fix:    0  time:  0.20 s
2135.52/535.46	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
2135.52/535.47	c vivif2 --  cl tried    65744 cl shrink        0 lits rem          0 time: 0.01
2135.92/535.53	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.06
2135.92/535.53	c calculated reachability. Time: 0.00
2135.92/535.53	c  N st  3665   2211331       734      3165         0     65744      9593    795166     20.84   no data
2796.82/701.21	c  N st  3666   2711332       734      3165         0     82575      9593   1193482     20.84   no data
2796.82/701.21	c  S st  3666   2711332       734      3165         0     82575      9593   1193482     20.84   no data
2797.62/701.44	c  S st  3666   2711833       734      3165         0     83076      9593   1208609     20.84   no data
2797.62/701.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2797.62/701.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
2797.62/701.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2797.62/701.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2797.62/701.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2797.62/701.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2797.62/701.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2798.02/701.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2798.02/701.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2801.61/702.43	c lits-rem:       133  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  0.88 s
2801.61/702.43	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
2801.61/702.44	c vivif2 --  cl tried    81920 cl shrink        0 lits rem          0 time: 0.02
2802.01/702.53	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.08
2802.01/702.53	c calculated reachability. Time: 0.00
2802.01/702.53	c  N st  3666   2711833       734      3165         0     81920      9593   1170190     20.84   no data
3553.05/890.88	c  N st  3667   3211833       734      3165         0    127573      9593   2570840     20.84   no data
3553.05/890.88	c  S st  3667   3211833       734      3165         0    127573      9593   2570840     20.84   no data
3554.64/891.27	c  S st  3667   3212334       734      3165         0    128074      9593   2586167     20.84   no data
3554.64/891.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3555.04/891.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3555.04/891.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3555.04/891.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3555.04/891.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3555.04/891.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
3555.04/891.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3555.04/891.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3555.44/891.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3670.69/920.37	c lits-rem:       581  cl-subs:     6297  v-elim:      0  v-fix:    0  time: 28.90 s
3670.69/920.37	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
3671.09/920.41	c vivif2 --  cl tried   121777 cl shrink        0 lits rem          0 time: 0.04
3671.89/920.63	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.21
3671.89/920.63	c calculated reachability. Time: 0.00
3671.89/920.63	c  N st  3667   3212334       734      3165         0    121777      9593   2384006     20.84   no data
4409.42/1105.55	c  N st  3668   3712335       734      3165         0    133189      9593   2788832     20.84   no data
4409.42/1105.55	c  S st  3668   3712335       734      3165         0    133189      9593   2788832     20.84   no data
4410.98/1105.98	c  S st  3668   3712838       734      3165         0    133692      9593   2804424     20.84   no data
4411.38/1106.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4411.38/1106.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4411.38/1106.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4411.38/1106.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4411.38/1106.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4411.38/1106.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
4411.38/1106.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4411.78/1106.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4411.78/1106.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4472.40/1121.32	c lits-rem:       520  cl-subs:     4584  v-elim:      0  v-fix:    0  time: 15.13 s
4472.40/1121.33	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
4472.40/1121.36	c vivif2 --  cl tried   129108 cl shrink        0 lits rem          0 time: 0.04
4473.20/1121.51	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.15
4473.20/1121.52	c calculated reachability. Time: 0.00
4473.20/1121.52	c  N st  3668   3712838       734      3165         0    129108      9593   2631913     20.84   no data
4549.39/1140.61	c  F st  3669   3751562       734      3165         0    167150      9593   3935825     20.84   no data
4549.39/1140.61	c  N st  3669   3751562       734      3165         0    167150      9593   3935825     20.84   no data
4556.56/1142.47	c Decided on static restart strategy
4585.32/1149.62	c  N st  3679   3779864       734      3165         0    111549      9593   1834436     20.84   no data
4674.21/1171.99	c  N st  3681   3815856       734      3165         0    147074      9593   3056432     20.84   no data
4761.15/1193.71	c  N st  3682   3848250       734      3165         0     94332      9593   1247194     20.84   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 5.98 7.59 7.92 5/360 18700
/proc/meminfo: memFree=18699796/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=281996 CPUtime=0.01 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 961 0 0 0 1 0 0 0 24 0 4 0 632745624 288763904 885 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 70499 886 351 95 0 65481 0
[pid=18700/tid=18701] ppid=18698 vsize=282592 CPUtime=0 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 323 0 0 0 0 0 0 0 25 0 4 0 632745624 289374208 1286 33554432000 4194304 4580107 140733520129312 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=282364 CPUtime=0 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 4 0 632745624 289140736 1224 33554432000 4194304 4580107 140733520129312 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=282364 CPUtime=0 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 138 0 0 0 0 0 0 0 24 0 4 0 632745624 289140736 1225 33554432000 4194304 4580107 140733520129312 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.108213 s]
/proc/loadavg: 5.98 7.59 7.92 5/360 18700
/proc/meminfo: memFree=18699796/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=282504 CPUtime=0.4 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 2022 0 0 0 40 0 0 0 18 0 4 0 632745624 289284096 1848 33554432000 4194304 4580107 140733520129312 18446744073709551615 4318437 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 70626 1848 377 95 0 65608 0
[pid=18700/tid=18701] ppid=18698 vsize=282504 CPUtime=0.1 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 448 0 0 0 10 0 0 0 18 0 4 0 632745624 289284096 1848 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=282504 CPUtime=0.09 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 446 0 0 0 9 0 0 0 25 0 4 0 632745624 289284096 1848 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=282504 CPUtime=0.09 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 284 0 0 0 9 0 0 0 18 0 4 0 632745624 289284096 1848 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282504

[startup+0.201198 s]
/proc/loadavg: 5.98 7.59 7.92 5/360 18700
/proc/meminfo: memFree=18699796/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=284148 CPUtime=0.77 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 2795 0 0 0 77 0 0 0 18 0 4 0 632745624 290967552 1868 33554432000 4194304 4580107 140733520129312 18446744073709551615 4318731 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 71037 1868 377 95 0 66019 0
[pid=18700/tid=18701] ppid=18698 vsize=284148 CPUtime=0.19 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 642 0 0 0 19 0 0 0 18 0 4 0 632745624 290967552 1868 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=284148 CPUtime=0.19 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 637 0 0 0 19 0 0 0 25 0 4 0 632745624 290967552 1868 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=284148 CPUtime=0.19 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 475 0 0 0 19 0 0 0 18 0 4 0 632745624 290967552 1868 33554432000 4194304 4580107 140733520129312 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284148

[startup+0.301179 s]
/proc/loadavg: 5.98 7.59 7.92 5/360 18700
/proc/meminfo: memFree=18699796/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=284300 CPUtime=1.17 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 3201 0 0 0 117 0 0 0 18 0 4 0 632745624 291123200 2274 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 71075 2274 377 95 0 66057 0
[pid=18700/tid=18701] ppid=18698 vsize=284300 CPUtime=0.29 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 746 0 0 0 29 0 0 0 18 0 4 0 632745624 291123200 2274 33554432000 4194304 4580107 140733520129312 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=284300 CPUtime=0.29 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 745 0 0 0 29 0 0 0 25 0 4 0 632745624 291123200 2274 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=284300 CPUtime=0.29 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 580 0 0 0 29 0 0 0 18 0 4 0 632745624 291123200 2274 33554432000 4194304 4580107 140733520129312 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284300

[startup+0.701108 s]
/proc/loadavg: 5.98 7.59 7.92 5/360 18700
/proc/meminfo: memFree=18699796/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=285324 CPUtime=2.77 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 5057 0 0 0 277 0 0 0 18 0 4 0 632745624 292171776 2990 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 71331 2990 377 95 0 66313 0
[pid=18700/tid=18701] ppid=18698 vsize=285324 CPUtime=0.69 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 1204 0 0 0 69 0 0 0 18 0 4 0 632745624 292171776 2990 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=285324 CPUtime=0.69 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 1211 0 0 0 69 0 0 0 25 0 4 0 632745624 292171776 2990 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=285324 CPUtime=0.68 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 1038 0 0 0 68 0 0 0 18 0 4 0 632745624 292171776 2991 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285324

[startup+1.50096 s]
/proc/loadavg: 5.98 7.59 7.92 9/364 18704
/proc/meminfo: memFree=18674204/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=286924 CPUtime=5.96 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 8774 0 0 0 595 1 0 0 19 0 4 0 632745624 293810176 3526 33554432000 4194304 4580107 140733520129312 18446744073709551615 4320768 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 71731 3526 378 95 0 66713 0
[pid=18700/tid=18701] ppid=18698 vsize=286924 CPUtime=1.49 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 2161 0 0 0 149 0 0 0 20 0 4 0 632745624 293810176 3526 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=286924 CPUtime=1.47 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 2117 0 0 0 147 0 0 0 25 0 4 0 632745624 293810176 3526 33554432000 4194304 4580107 140733520129312 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=286924 CPUtime=1.48 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 1969 0 0 0 148 0 0 0 20 0 4 0 632745624 293810176 3526 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286924

[startup+3.10068 s]
/proc/loadavg: 5.98 7.59 7.92 10/364 18704
/proc/meminfo: memFree=18646180/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=283764 CPUtime=12.34 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 20397 0 0 0 1232 2 0 0 25 0 4 0 632745624 290574336 11175 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294634 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 70941 11175 379 95 0 65923 0
[pid=18700/tid=18701] ppid=18698 vsize=283764 CPUtime=3.09 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 4689 0 0 0 309 0 0 0 25 0 4 0 632745624 290574336 11175 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=283764 CPUtime=3.06 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 5513 0 0 0 306 0 0 0 25 0 4 0 632745624 290574336 11175 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=283764 CPUtime=3.08 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 4602 0 0 0 308 0 0 0 25 0 4 0 632745624 290574336 11175 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283764

[startup+6.30111 s]
/proc/loadavg: 6.15 7.59 7.92 10/364 18704
/proc/meminfo: memFree=18584436/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=284348 CPUtime=25.11 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 31274 0 0 0 2507 4 0 0 25 0 4 0 632745624 291172352 16843 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 71087 16843 379 95 0 66069 0
[pid=18700/tid=18701] ppid=18698 vsize=284348 CPUtime=6.29 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 8818 0 0 0 628 1 0 0 25 0 4 0 632745624 291172352 16844 33554432000 4194304 4580107 140733520129312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=284348 CPUtime=6.22 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 8335 0 0 0 622 0 0 0 25 0 4 0 632745624 291172352 16844 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=284348 CPUtime=6.29 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 5818 0 0 0 628 1 0 0 25 0 4 0 632745624 291172352 16844 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 284348

[startup+12.701 s]
/proc/loadavg: 6.29 7.60 7.92 10/364 18704
/proc/meminfo: memFree=18524844/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=309780 CPUtime=50.63 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 49417 0 0 0 5054 9 0 0 25 0 4 0 632745624 317214720 26611 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 77445 26611 379 95 0 72427 0
[pid=18700/tid=18701] ppid=18698 vsize=309780 CPUtime=12.68 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 13751 0 0 0 1266 2 0 0 25 0 4 0 632745624 317214720 26611 33554432000 4194304 4580107 140733520129312 18446744073709551615 4320802 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=309780 CPUtime=12.54 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 11955 0 0 0 1253 1 0 0 25 0 4 0 632745624 317214720 26611 33554432000 4194304 4580107 140733520129312 18446744073709551615 4292913 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=309780 CPUtime=12.68 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 8783 0 0 0 1267 1 0 0 25 0 4 0 632745624 317214720 26611 33554432000 4194304 4580107 140733520129312 18446744073709551615 4296425 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 309780

[startup+25.5007 s]
/proc/loadavg: 6.81 7.65 7.93 10/364 18704
/proc/meminfo: memFree=18444356/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=375912 CPUtime=101.69 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 70673 0 0 0 10155 14 0 0 25 0 4 0 632745624 384933888 37411 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 93978 37411 379 95 0 88960 0
[pid=18700/tid=18701] ppid=18698 vsize=375912 CPUtime=25.49 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 18096 0 0 0 2546 3 0 0 25 0 4 0 632745624 384933888 37411 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=375912 CPUtime=25.2 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 18661 0 0 0 2517 3 0 0 25 0 4 0 632745624 384933888 37411 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=375912 CPUtime=25.48 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 12363 0 0 0 2546 2 0 0 25 0 4 0 632745624 384933888 37411 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 375912

[startup+51.1011 s]
/proc/loadavg: 7.21 7.68 7.93 10/364 18705
/proc/meminfo: memFree=18386604/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=381856 CPUtime=203.81 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 96533 0 0 0 20358 23 0 0 25 0 4 0 632745624 391020544 46602 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294627 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 95464 46602 379 95 0 90446 0
[pid=18700/tid=18701] ppid=18698 vsize=381856 CPUtime=51.09 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 21287 0 0 0 5105 4 0 0 25 0 4 0 632745624 391020544 46602 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=381856 CPUtime=50.52 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 26898 0 0 0 5045 7 0 0 25 0 4 0 632745624 391020544 46602 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=381856 CPUtime=51.08 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 19318 0 0 0 5104 4 0 0 25 0 4 0 632745624 391020544 46602 33554432000 4194304 4580107 140733520129312 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 381856

[startup+102.301 s]
/proc/loadavg: 7.76 7.75 7.94 10/364 18706
/proc/meminfo: memFree=18327308/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=459828 CPUtime=408.06 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 134172 0 0 0 40765 41 0 0 25 0 4 0 632745624 470863872 54549 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 114957 54549 379 95 0 109939 0
[pid=18700/tid=18701] ppid=18698 vsize=459828 CPUtime=102.3 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 29206 0 0 0 10222 8 0 0 25 0 4 0 632745624 470863872 54550 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406395 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=459828 CPUtime=101.14 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 37826 0 0 0 10101 13 0 0 25 0 4 0 632745624 470863872 54550 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=459828 CPUtime=102.3 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 28445 0 0 0 10222 8 0 0 25 0 4 0 632745624 470863872 54550 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 459828

[startup+162.301 s]

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

[pid=18700] ppid=18698 vsize=777792 CPUtime=2561.9 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 343397 0 0 0 256046 144 0 0 25 0 4 0 632745624 796459008 130996 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 194448 130996 379 95 0 189430 0
[pid=18700/tid=18701] ppid=18698 vsize=777792 CPUtime=642.29 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 65025 0 0 0 64203 26 0 0 25 0 4 0 632745624 796459008 130996 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=777792 CPUtime=634.98 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 73851 0 0 0 63465 33 0 0 25 0 4 0 632745624 796459008 130996 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=777792 CPUtime=642.29 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 100302 0 0 0 64188 41 0 0 25 0 4 0 632745624 796459008 130996 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.9
Current children cumulated vsize (KiB) 777792

[startup+702.3 s]
/proc/loadavg: 8.13 8.07 8.01 10/364 18722
/proc/meminfo: memFree=17828576/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=829664 CPUtime=2801.21 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 357751 0 0 0 279967 154 0 0 25 0 4 0 632745624 849575936 132344 33554432000 4194304 4580107 140733520129312 18446744073709551615 4415787 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 207416 132344 379 95 0 202398 0
[pid=18700/tid=18701] ppid=18698 vsize=829664 CPUtime=702.3 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 65877 0 0 0 70203 27 0 0 25 0 4 0 632745624 849575936 132344 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=829664 CPUtime=694.27 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 74686 0 0 0 69394 33 0 0 25 0 4 0 632745624 849575936 132344 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=829664 CPUtime=702.3 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 106371 0 0 0 70185 45 0 0 25 0 4 0 632745624 849575936 132344 33554432000 4194304 4580107 140733520129312 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.21
Current children cumulated vsize (KiB) 829664

[startup+762.301 s]
/proc/loadavg: 8.11 8.07 8.01 10/364 18724
/proc/meminfo: memFree=17799908/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=830232 CPUtime=3040.56 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 371664 0 0 0 303894 162 0 0 25 0 4 0 632745624 850157568 136374 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 207558 136374 379 95 0 202540 0
[pid=18700/tid=18701] ppid=18698 vsize=830232 CPUtime=762.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 66806 0 0 0 76203 28 0 0 25 0 4 0 632745624 850157568 136375 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=830232 CPUtime=753.6 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 75707 0 0 0 75326 34 0 0 25 0 4 0 632745624 850157568 136375 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=830232 CPUtime=762.31 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 110715 0 0 0 76183 48 0 0 25 0 4 0 632745624 850157568 136375 33554432000 4194304 4580107 140733520129312 18446744073709551615 4318664 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.56
Current children cumulated vsize (KiB) 830232

[startup+822.301 s]
/proc/loadavg: 8.10 8.07 8.01 10/364 18725
/proc/meminfo: memFree=17795916/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=778900 CPUtime=3279.84 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 385499 0 0 0 327813 171 0 0 25 0 4 0 632745624 797593600 133483 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 194725 133483 379 95 0 189707 0
[pid=18700/tid=18701] ppid=18698 vsize=778900 CPUtime=822.3 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 67794 0 0 0 82202 28 0 0 25 0 4 0 632745624 797593600 133483 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=778900 CPUtime=812.9 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 79698 0 0 0 81254 36 0 0 25 0 4 0 632745624 797593600 133483 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=778900 CPUtime=822.3 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 115224 0 0 0 82180 50 0 0 25 0 4 0 632745624 797593600 133483 33554432000 4194304 4580107 140733520129312 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.84
Current children cumulated vsize (KiB) 778900

[startup+882.313 s]
/proc/loadavg: 8.09 8.07 8.01 10/364 18727
/proc/meminfo: memFree=17745060/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=792932 CPUtime=3519.19 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 399681 0 0 0 351741 178 0 0 25 0 4 0 632745624 811962368 133742 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 198233 133742 379 95 0 193215 0
[pid=18700/tid=18701] ppid=18698 vsize=792932 CPUtime=882.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 68751 0 0 0 88202 29 0 0 25 0 4 0 632745624 811962368 133742 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=792932 CPUtime=872.2 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 83864 0 0 0 87182 38 0 0 25 0 4 0 632745624 811962368 133742 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=792932 CPUtime=882.32 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 118963 0 0 0 88180 52 0 0 25 0 4 0 632745624 811962368 133742 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.19
Current children cumulated vsize (KiB) 792932

[startup+942.301 s]
/proc/loadavg: 8.14 8.08 8.01 10/364 18729
/proc/meminfo: memFree=17755828/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=905948 CPUtime=3758.42 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 408914 0 0 0 375659 183 0 0 25 0 4 0 632745624 927690752 136890 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 226487 136890 379 95 0 221469 0
[pid=18700/tid=18701] ppid=18698 vsize=905948 CPUtime=942.3 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 70009 0 0 0 94200 30 0 0 25 0 4 0 632745624 927690752 136890 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=905948 CPUtime=931.47 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 86108 0 0 0 93107 40 0 0 25 0 4 0 632745624 927690752 136890 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=905948 CPUtime=942.3 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 120539 0 0 0 94177 53 0 0 25 0 4 0 632745624 927690752 136890 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.42
Current children cumulated vsize (KiB) 905948

[startup+1002.3 s]
/proc/loadavg: 8.19 8.11 8.02 9/364 18730
/proc/meminfo: memFree=17690452/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=808244 CPUtime=3997.74 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 434979 0 0 0 399576 198 0 0 25 0 4 0 632745624 827641856 151173 33554432000 4194304 4580107 140733520129312 18446744073709551615 4301894 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 202061 151173 379 95 0 197043 0
[pid=18700/tid=18701] ppid=18698 vsize=808244 CPUtime=1002.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 73897 0 0 0 100198 33 0 0 25 0 4 0 632745624 827641856 151173 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=808244 CPUtime=990.79 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 91787 0 0 0 99036 43 0 0 25 0 4 0 632745624 827641856 151173 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=808244 CPUtime=1002.31 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 128200 0 0 0 100173 58 0 0 25 0 4 0 632745624 827641856 151173 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.74
Current children cumulated vsize (KiB) 808244

[startup+1062.3 s]
/proc/loadavg: 8.11 8.10 8.02 9/364 18732
/proc/meminfo: memFree=17692296/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=861972 CPUtime=4237.09 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 452304 0 0 0 423500 209 0 0 25 0 4 0 632745624 882659328 149883 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 215493 149883 379 95 0 210475 0
[pid=18700/tid=18701] ppid=18698 vsize=861972 CPUtime=1062.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 76629 0 0 0 106197 34 0 0 25 0 4 0 632745624 882659328 149883 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=861972 CPUtime=1050.12 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 96353 0 0 0 104966 46 0 0 25 0 4 0 632745624 882659328 149883 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=861972 CPUtime=1062.31 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 133019 0 0 0 106170 61 0 0 25 0 4 0 632745624 882659328 149883 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.09
Current children cumulated vsize (KiB) 861972

[startup+1122.3 s]
/proc/loadavg: 8.19 8.13 8.03 10/364 18734
/proc/meminfo: memFree=17685460/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=944356 CPUtime=4476.39 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 471493 0 0 0 447420 219 0 0 25 0 4 0 632745624 967020544 151784 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 236089 151784 379 95 0 231071 0
[pid=18700/tid=18701] ppid=18698 vsize=944356 CPUtime=1122.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 82460 0 0 0 112194 37 0 0 25 0 4 0 632745624 967020544 151784 33554432000 4194304 4580107 140733520129312 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=944356 CPUtime=1109.42 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 100594 0 0 0 110894 48 0 0 25 0 4 0 632745624 967020544 151784 33554432000 4194304 4580107 140733520129312 18446744073709551615 4321093 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=944356 CPUtime=1122.31 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 134221 0 0 0 112169 62 0 0 25 0 4 0 632745624 967020544 151784 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.39
Current children cumulated vsize (KiB) 944356

[startup+1182.3 s]
/proc/loadavg: 8.14 8.13 8.04 10/364 18735
/proc/meminfo: memFree=17685324/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=904108 CPUtime=4715.69 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 488507 0 0 0 471342 227 0 0 25 0 4 0 632745624 925806592 158794 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 226027 158794 379 95 0 221009 0
[pid=18700/tid=18701] ppid=18698 vsize=904108 CPUtime=1182.31 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 82996 0 0 0 118193 38 0 0 25 0 4 0 632745624 925806592 158794 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=904108 CPUtime=1168.72 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 104041 0 0 0 116822 50 0 0 25 0 4 0 632745624 925806592 158794 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=904108 CPUtime=1182.32 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 141853 0 0 0 118167 65 0 0 25 0 4 0 632745624 925806592 158794 33554432000 4194304 4580107 140733520129312 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.69
Current children cumulated vsize (KiB) 904108



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.24 8.15 8.04 9/364 18736
/proc/meminfo: memFree=17669324/32951124 swapFree=67111348/67111528
[pid=18700] ppid=18698 vsize=1013108 CPUtime=4800.31 cores=1,3,5,7
/proc/18700/stat : 18700 (strangenight2-m) R 18698 18700 18129 0 -1 4202496 493469 0 0 0 479801 230 0 0 25 0 4 0 632745624 1037422592 159350 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18700/statm: 253277 159350 379 95 0 248259 0
[pid=18700/tid=18701] ppid=18698 vsize=1013108 CPUtime=1203.54 cores=1,3,5,7
/proc/18700/task/18701/stat : 18701 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 83402 0 0 0 120316 38 0 0 25 0 4 0 632745624 1037422592 159351 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18700/tid=18702] ppid=18698 vsize=1013108 CPUtime=1189.68 cores=1,3,5,7
/proc/18700/task/18702/stat : 18702 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 105051 0 0 0 118917 51 0 0 25 0 4 0 632745624 1037422592 159351 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18700/tid=18703] ppid=18698 vsize=1013108 CPUtime=1203.54 cores=1,3,5,7
/proc/18700/task/18703/stat : 18703 (strangenight2-m) R 18698 18700 18129 0 -1 4202560 142605 0 0 0 120289 65 0 0 25 0 4 0 632745624 1037422592 159351 33554432000 4194304 4580107 140733520129312 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 1013108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.56
CPU time (s): 4800.39
CPU user time (s): 4798.05
CPU system time (s): 2.33664
CPU usage (%): 398.849
Max. virtual memory (cumulated for all children) (KiB): 1013108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.05
system time used= 2.33664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 493471
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= 248
involuntary context switches= 30519

runsolver used 3.9114 second user time and 9.97148 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 22:01:38
IDJOB=3366398
IDBENCH=82807
IDSOLVER=1844
FILE ID=node145/3366398-1305403298
RUNJOBID= node145-1305403298-18678
PBS_JOBID= 13324453
Free space on /tmp= 73656 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366398-1305403298/watcher-3366398-1305403298 -o /tmp/evaluation-result-3366398-1305403298/solver-3366398-1305403298 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366398-1305403298.cnf

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

MD5SUM BENCH= 72699a729b1b1ff68f424bd0209fc31b
RANDOM SEED=1906353172

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18699828 kB
Buffers:        294960 kB
Cached:        8123672 kB
SwapCached:          0 kB
Active:        7274152 kB
Inactive:      6622536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18699828 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11312 kB
Writeback:           0 kB
AnonPages:     5477956 kB
Mapped:          27440 kB
Slab:           255624 kB
PageTables:      33972 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79425360 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= 73648 MiB
End job on node145 at 2011-05-14 22:21:43