Trace number 3173989

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.39 1201.54

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-3173989-1304075189.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	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.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.16	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.00 s
0.00/0.16	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.16	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.16	c calculated reachability. Time: 0.00
0.00/0.16	c Calc default polars -  time:   0.00 s pos:     362 undec:      76 neg:     312
0.00/0.16	c =========================================================================================
0.00/0.16	c types(t): F = full restart, N = normal restart
0.00/0.16	c types(t): S = simplification begin/end, E = solution found
0.00/0.16	c restart types(rt): st = static, dy = dynamic
0.00/0.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.16	c  B st     0         0       736      3175         0         0      9623         0   no data   no data
0.00/0.16	c Decided on static restart strategy
0.64/0.80	c  N st     8      4920       736      3175         0      4859      9623    156733   no data   no data
0.64/0.80	c  N st    10     11304       736      3175         0      4529      9623     96847   no data   no data
0.64/0.80	c  N st    11     17047       736      3175         0     10210      9623    276932   no data   no data
5.17/1.30	c  F st    12     25000       736      3175         0     12496      9623    337912   no data   no data
5.17/1.30	c  N st    12     25000       736      3175         0     12496      9623    337912   no data   no data
5.57/1.49	c Decided on static restart strategy
5.57/1.49	c  N st    18     30000       736      3175         0     10762      9623    268622   no data   no data
5.57/1.49	c  S st    18     30000       736      3175         0     10762      9623    268622   no data   no data
5.97/1.52	c  S st    18     30501       736      3175         0     11263      9623    285008   no data   no data
5.97/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.53	c blocked clauses removed:       10 vars:      2 tried:         736 T: 0.00 s
5.97/1.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
5.97/1.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.59	c lits-rem:       104  cl-subs:      230  v-elim:      0  v-fix:    0  time:  0.05 s
6.36/1.60	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
6.36/1.60	c calculated reachability. Time: 0.00
6.36/1.60	c  N st    18     30501       734      3165         0     11003      9593    274579   no data   no data
7.96/2.04	c  N st    20     37612       734      3165         0     10288      9593    224698   no data   no data
9.56/2.49	c  N st    21     44011       734      3165         0     16627      9593    425207   no data   no data
10.36/2.63	c  S st    22     45752       734      3165         0      9514      9593    174039   no data   no data
10.36/2.65	c  S st    22     46258       734      3165         0     10020      9593    189129   no data   no data
10.36/2.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.36/2.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.36/2.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.36/2.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.36/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
10.36/2.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.36/2.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.36/2.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.68	c lits-rem:        22  cl-subs:       22  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.68	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
10.36/2.68	c vivif2 --  cl tried     9998 cl shrink        0 lits rem          0 time: 0.00
10.36/2.69	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
10.36/2.69	c calculated reachability. Time: 0.00
10.36/2.69	c  N st    22     46258       734      3165         0      9998      9593    188202   no data   no data
14.75/3.74	c  N st    23     60655       734      3165         0     14364      9593    316378   no data   no data
17.55/4.41	c  N st    24     69387       734      3165         0     12142      9593    229468   no data   no data
17.55/4.41	c  S st    24     69387       734      3165         0     12142      9593    229468   no data   no data
17.55/4.45	c  S st    24     69889       734      3165         0     12644      9593    243867   no data   no data
17.55/4.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.55/4.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.55/4.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.55/4.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.55/4.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
17.55/4.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.55/4.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.55/4.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.55/4.49	c lits-rem:        21  cl-subs:      116  v-elim:      0  v-fix:    0  time:  0.02 s
17.55/4.49	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
17.55/4.49	c vivif2 --  cl tried    12528 cl shrink        0 lits rem          0 time: 0.00
17.95/4.50	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
17.95/4.50	c calculated reachability. Time: 0.00
17.95/4.50	c  N st    24     69889       734      3165         0     12528      9593    239331   no data   no data
23.54/5.90	c  F st    25     87503       734      3165         0     18052      9593    433721   no data   no data
23.54/5.90	c  N st    25     87503       734      3165         0     18052      9593    433721   no data   no data
25.13/6.32	c Decided on static restart strategy
25.94/6.55	c  N st    32     95540       734      3165         0     13186      9593    227165   no data   no data
28.33/7.20	c  N st    34    104833       734      3165         0     22366      9593    540024   no data   no data
28.33/7.20	c  S st    34    104833       734      3165         0     22366      9593    540024   no data   no data
28.75/7.26	c  S st    34    105337       734      3165         0     22870      9593    554885   no data   no data
28.75/7.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.75/7.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.75/7.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.75/7.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.75/7.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.75/7.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
28.75/7.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.75/7.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.75/7.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.52/7.43	c lits-rem:       179  cl-subs:      340  v-elim:      0  v-fix:    0  time:  0.13 s
29.52/7.43	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
29.52/7.43	c vivif2 --  cl tried    22530 cl shrink        0 lits rem          0 time: 0.01
29.52/7.45	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.01
29.52/7.45	c calculated reachability. Time: 0.00
29.52/7.45	c  N st    34    105337       734      3165         0     22530      9593    541069   no data   no data
32.73/8.27	c  N st    35    114936       734      3165         0     18189      9593    360485   no data   no data
38.31/9.68	c  N st    36    129333       734      3165         0     17623      9593    323919   no data   no data
47.10/11.87	c  N st    37    150928       734      3165         0     23066      9593    478762   no data   no data
49.90/12.56	c  S st    38    158007       734      3165         0     30017      9593    700543   no data   no data
50.30/12.63	c  S st    38    158509       734      3165         0     30519      9593    715427   no data   no data
50.30/12.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
50.30/12.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
50.30/12.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
50.30/12.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.30/12.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
50.30/12.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
50.30/12.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.30/12.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.30/12.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.30/13.14	c lits-rem:       307  cl-subs:     1145  v-elim:      0  v-fix:    0  time:  0.47 s
52.30/13.14	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
52.30/13.15	c vivif2 --  cl tried    29374 cl shrink        0 lits rem          0 time: 0.01
52.30/13.17	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.02
52.30/13.17	c calculated reachability. Time: 0.00
52.30/13.17	c  N st    38    158509       734      3165         0     29374      9593    677055   no data   no data
73.47/18.42	c  N st    39    207098       734      3165         0     24060      9593    459953   no data   no data
87.85/22.09	c  N st    40    237763       734      3165         0     34616      9593    808404   no data   no data
87.85/22.09	c  S st    40    237763       734      3165         0     34616      9593    808404   no data   no data
88.25/22.17	c  S st    40    238265       734      3165         0     35116      9593    823026   no data   no data
88.25/22.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.25/22.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
88.25/22.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.25/22.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.25/22.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.25/22.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
88.25/22.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
88.65/22.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
88.65/22.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.67/22.78	c lits-rem:       186  cl-subs:      805  v-elim:      0  v-fix:    0  time:  0.56 s
90.67/22.78	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
90.67/22.79	c vivif2 --  cl tried    34311 cl shrink        0 lits rem          0 time: 0.01
91.04/22.82	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.02
91.04/22.82	c calculated reachability. Time: 0.00
91.04/22.82	c  N st    40    238265       734      3165         0     34311      9593    791031   no data   no data
125.00/31.32	c  F st    41    306250       734      3165         0     36231      9593    840976   no data   no data
125.00/31.32	c  N st    41    306250       734      3165         0     36231      9593    840976   no data   no data
134.99/33.85	c  N dy    91    325810       734      3165         0     31858      9593    527477     20.69     21.88
146.97/36.81	c  N dy   175    345845       734      3165         0     26972      9593    326783     20.31     25.07
152.55/38.20	c  S st   227    357397       734      3165         0     38459      9593    676648     20.34   no data
152.96/38.30	c  S st   227    357905       734      3165         0     38966      9593    690241     20.34   no data
152.96/38.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.96/38.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.96/38.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.96/38.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.96/38.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.96/38.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
152.96/38.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.96/38.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.96/38.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.76/38.54	c lits-rem:       255  cl-subs:      308  v-elim:      0  v-fix:    0  time:  0.19 s
153.76/38.54	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
153.76/38.55	c vivif2 --  cl tried    38658 cl shrink        0 lits rem          0 time: 0.01
153.76/38.58	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.03
153.76/38.58	c calculated reachability. Time: 0.00
153.76/38.58	c  N dy   227    357905       734      3165         0     38658      9593    679245     20.34   no data
166.14/41.61	c  N dy   338    377957       734      3165         0     32791      9593    467327     20.54     24.94
178.14/44.63	c  N dy   394    398010       734      3165         0     52651      9593   1056618     20.16     23.00
189.71/47.56	c  N dy   507    418187       734      3165         0     45915      9593    840139     20.31     21.60
202.09/50.68	c  N dy   602    438266       734      3165         0     38064      9593    560363     20.29     21.91
216.47/54.22	c  N dy   705    458277       734      3165         0     29148      9593    266819     20.37     22.11
227.25/56.94	c  N dy   767    478294       734      3165         0     48988      9593    864327     20.26     21.89
241.24/60.47	c  N dy   892    499073       734      3165         0     39831      9593    563883     20.36     21.53
256.02/64.18	c  N dy  1008    519083       734      3165         0     59731      9593   1176150     20.45     24.42
266.81/66.86	c  S st  1105    536857       734      3165         0     46593      9593    753982     20.50   no data
267.21/66.97	c  S st  1105    537362       734      3165         0     47098      9593    768074     20.50   no data
267.21/66.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
267.21/66.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
267.21/66.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.21/66.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
267.21/66.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
267.21/66.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
267.21/66.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
267.61/67.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
267.61/67.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.81/67.36	c lits-rem:       137  cl-subs:      277  v-elim:      0  v-fix:    0  time:  0.33 s
268.81/67.36	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
268.81/67.37	c vivif2 --  cl tried    46821 cl shrink        0 lits rem          0 time: 0.01
269.21/67.41	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.03
269.21/67.41	c calculated reachability. Time: 0.00
269.21/67.41	c  N dy  1105    537362       734      3165         0     46821      9593    757636     20.50   no data
284.79/71.39	c  N dy  1235    557405       734      3165         0     34958      9593    364718     20.60     21.99
298.38/74.71	c  N dy  1310    578146       734      3165         0     55537      9593   1000508     20.59     21.85
313.16/78.41	c  N dy  1415    598471       734      3165         0     42951      9593    586287     20.63     21.95
328.33/82.28	c  N dy  1498    618536       734      3165         0     62865      9593   1200458     20.63     22.22
341.92/85.68	c  N dy  1556    638627       734      3165         0     48999      9593    739176     20.56     21.71
359.90/90.17	c  N dy  1669    658646       734      3165         0     68888      9593   1356154     20.61     21.86
373.07/93.49	c  N dy  1756    678664       734      3165         0     54024      9593    867159     20.62     22.79
392.26/98.21	c  N dy  1860    699312       734      3165         0     38776      9593    365273     20.64     21.78
407.44/102.00	c  N dy  1954    720274       734      3165         0     59568      9593    993774     20.65     21.74
426.21/106.73	c  N dy  2046    740394       734      3165         0     42839      9593    472826     20.66     21.76
444.19/111.29	c  N dy  2122    764199       734      3165         0     66443      9593   1198103     20.65     21.77
460.57/115.39	c  N dy  2202    784224       734      3165         0     48599      9593    624860     20.65     22.92
478.55/119.84	c  N dy  2325    804235       734      3165         0     68490      9593   1246857     20.69     21.88
480.55/120.35	c  S st  2333    806043       734      3165         0     70288      9593   1301727     20.69     20.02
481.36/120.54	c  S st  2333    806550       734      3165         0     70795      9593   1316779     20.69   no data
481.36/120.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
481.36/120.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
481.36/120.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
481.36/120.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
481.36/120.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.36/120.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
481.36/120.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
481.36/120.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
481.76/120.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.35/121.51	c lits-rem:       226  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.88 s
485.35/121.51	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
485.35/121.53	c vivif2 --  cl tried    70095 cl shrink        0 lits rem          0 time: 0.02
485.35/121.59	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.06
485.35/121.60	c calculated reachability. Time: 0.00
485.35/121.60	c  N dy  2333    806550       734      3165         0     70095      9593   1291707     20.69   no data
502.12/125.73	c  N dy  2418    826747       734      3165         0     51430      9593    696850     20.68     21.79
523.70/131.13	c  N dy  2521    850572       734      3165         0     75128      9593   1437714     20.67     21.86
540.48/135.36	c  N dy  2641    870636       734      3165         0     55342      9593    791341     20.70     24.23
561.24/140.58	c  N dy  2756    891423       734      3165         0     76002      9593   1430500     20.73     21.82
578.05/144.78	c  N dy  2860    911481       734      3165         0     55188      9593    758494     20.74     22.12
598.01/149.73	c  N dy  2966    931568       734      3165         0     75151      9593   1382707     20.76     24.90
615.98/154.23	c  N dy  3067    951630       734      3165         0     53353      9593    673704     20.78     22.04
633.96/158.79	c  N dy  3146    971637       734      3165         0     73207      9593   1282717     20.77     26.36
654.73/163.93	c  N dy  3269    991823       734      3165         0     50544      9593    561746     20.80     21.91
673.11/168.52	c  N dy  3379   1011957       734      3165         0     70531      9593   1179383     20.82     22.44
695.88/174.24	c  N dy  3465   1032030       734      3165         0     46759      9593    416465     20.82     22.01
712.26/178.38	c  N dy  3579   1052255       734      3165         0     66877      9593   1053218     20.85     22.13
734.63/183.92	c  F st  3645   1071879       734      3165         0     86322      9593   1647370     20.84     19.06
735.43/184.11	c  N st  3647   1072504       734      3165         0     86946      9593   1666165     20.84   no data
739.82/185.28	c Decided on static restart strategy
756.60/189.46	c  N st  3655   1100180       734      3165         0     69715      9593   1174173     20.84   no data
791.76/198.24	c  N st  3657   1136172       734      3165         0     59596      9593   1285036     20.84   no data
826.52/206.97	c  N st  3658   1168565       734      3165         0     91429      9593   2318990     20.84   no data
866.87/217.08	c  N st  3659   1209825       734      3165         0     85662      9593   2018638     20.84   no data
866.87/217.08	c  S st  3659   1209825       734      3165         0     85662      9593   2018638     20.84   no data
868.09/217.35	c  S st  3659   1210327       734      3165         0     86164      9593   2033468     20.84   no data
868.09/217.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
868.49/217.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
868.49/217.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
868.49/217.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
868.49/217.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
868.49/217.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
868.49/217.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
868.49/217.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
868.87/217.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
912.80/228.52	c lits-rem:       729  cl-subs:     4404  v-elim:      0  v-fix:    0  time: 11.02 s
912.80/228.52	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
912.80/228.55	c vivif2 --  cl tried    81760 cl shrink        0 lits rem          0 time: 0.03
913.20/228.64	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.09
913.20/228.64	c calculated reachability. Time: 0.00
913.20/228.64	c  N st  3659   1210327       734      3165         0     81760      9593   1897325     20.84   no data
982.32/246.00	c  N st  3660   1283210       734      3165         0     58034      9593   1009323     20.84   no data
1091.36/273.20	c  N st  3661   1392534       734      3165         0     66340      9593   1277306     20.84   no data
1289.52/322.86	c  N st  3662   1556520       734      3165         0     71258      9593   1331884     20.84   no data
1486.90/372.21	c  N st  3663   1710328       734      3165         0     57225      9593    732828     20.84   no data
1486.90/372.21	c  S st  3663   1710328       734      3165         0     57225      9593    732828     20.84   no data
1487.30/372.36	c  S st  3663   1710830       734      3165         0     57727      9593    748089     20.84   no data
1487.30/372.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1487.30/372.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
1487.30/372.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1487.30/372.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1487.30/372.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1487.30/372.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
1487.30/372.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1487.71/372.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1487.71/372.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1488.90/372.70	c lits-rem:        66  cl-subs:      186  v-elim:      0  v-fix:    0  time:  0.27 s
1488.90/372.70	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
1488.90/372.71	c vivif2 --  cl tried    57541 cl shrink        0 lits rem          0 time: 0.01
1488.90/372.76	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.05
1488.90/372.76	c calculated reachability. Time: 0.00
1488.90/372.76	c  N st  3663   1710830       734      3165         0     57541      9593    742674     20.84   no data
1967.56/492.50	c  N st  3664   2079794       734      3165         0     63255      9593    781897     20.84   no data
2139.76/535.60	c  N st  3665   2210830       734      3165         0     65415      9593    785414     20.84   no data
2139.76/535.60	c  S st  3665   2210830       734      3165         0     65415      9593    785414     20.84   no data
2140.16/535.75	c  S st  3665   2211331       734      3165         0     65916      9593    800098     20.84   no data
2140.16/535.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2140.16/535.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2140.16/535.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2140.16/535.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2140.16/535.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2140.16/535.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2140.16/535.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2140.56/535.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2140.56/535.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2141.36/536.04	c lits-rem:        55  cl-subs:      172  v-elim:      0  v-fix:    0  time:  0.21 s
2141.36/536.04	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
2141.36/536.05	c vivif2 --  cl tried    65744 cl shrink        0 lits rem          0 time: 0.01
2141.76/536.10	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.05
2141.76/536.11	c calculated reachability. Time: 0.00
2141.76/536.11	c  N st  3665   2211331       734      3165         0     65744      9593    795166     20.84   no data
2797.85/700.32	c  N st  3666   2711332       734      3165         0     82575      9593   1193482     20.84   no data
2797.85/700.32	c  S st  3666   2711332       734      3165         0     82575      9593   1193482     20.84   no data
2798.62/700.59	c  S st  3666   2711833       734      3165         0     83076      9593   1208609     20.84   no data
2799.02/700.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2799.02/700.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
2799.02/700.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2799.02/700.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2799.02/700.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2799.02/700.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
2799.02/700.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2799.02/700.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2799.42/700.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2805.01/702.19	c lits-rem:       133  cl-subs:     1156  v-elim:      0  v-fix:    0  time:  1.48 s
2805.01/702.19	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
2805.41/702.21	c vivif2 --  cl tried    81920 cl shrink        0 lits rem          0 time: 0.02
2805.81/702.32	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.10
2805.81/702.32	c calculated reachability. Time: 0.00
2805.81/702.32	c  N st  3666   2711833       734      3165         0     81920      9593   1170190     20.84   no data
3557.79/890.54	c  N st  3667   3211833       734      3165         0    127573      9593   2570840     20.84   no data
3557.79/890.54	c  S st  3667   3211833       734      3165         0    127573      9593   2570840     20.84   no data
3559.37/890.93	c  S st  3667   3212334       734      3165         0    128074      9593   2586167     20.84   no data
3559.37/890.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3559.77/891.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3559.77/891.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3559.77/891.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3559.77/891.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3559.77/891.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
3559.77/891.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3559.77/891.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3560.17/891.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3643.26/911.99	c lits-rem:       581  cl-subs:     6297  v-elim:      0  v-fix:    0  time: 20.86 s
3643.26/911.99	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
3643.66/912.03	c vivif2 --  cl tried   121777 cl shrink        0 lits rem          0 time: 0.04
3644.46/912.20	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.18
3644.46/912.21	c calculated reachability. Time: 0.00
3644.46/912.21	c  N st  3667   3212334       734      3165         0    121777      9593   2384006     20.84   no data
4395.57/1100.22	c  N st  3668   3712335       734      3165         0    133189      9593   2788832     20.84   no data
4395.57/1100.22	c  S st  3668   3712335       734      3165         0    133189      9593   2788832     20.84   no data
4397.19/1100.66	c  S st  3668   3712838       734      3165         0    133692      9593   2804424     20.84   no data
4397.19/1100.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4397.59/1100.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4397.59/1100.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4397.59/1100.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4397.59/1100.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4397.59/1100.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    734 time:  0.00 s
4397.59/1100.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4397.59/1100.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4397.97/1100.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4458.29/1115.95	c lits-rem:       520  cl-subs:     4584  v-elim:      0  v-fix:    0  time: 15.08 s
4458.29/1115.95	c vivif2 --  cl tried     3165 cl shrink        0 lits rem          0 time: 0.00
4458.29/1115.99	c vivif2 --  cl tried   129108 cl shrink        0 lits rem          0 time: 0.04
4459.11/1116.14	c asymm  cl-useful: 0/3165/3165 lits-rem:0 time: 0.15
4459.11/1116.14	c calculated reachability. Time: 0.00
4459.11/1116.14	c  N st  3668   3712838       734      3165         0    129108      9593   2631913     20.84   no data
4535.01/1135.19	c  F st  3669   3751562       734      3165         0    167150      9593   3935825     20.84   no data
4535.01/1135.19	c  N st  3669   3751562       734      3165         0    167150      9593   3935825     20.84   no data
4542.62/1137.09	c Decided on static restart strategy
4570.96/1144.14	c  N st  3679   3779864       734      3165         0    111549      9593   1834436     20.84   no data
4641.29/1161.71	c  N st  3681   3815856       734      3165         0    147074      9593   3056432     20.84   no data
4716.41/1180.50	c  N st  3682   3848250       734      3165         0     94332      9593   1247194     20.84   no data
4797.91/1200.99	c  N st  3683   3896838       734      3165         0    142144      9593   2896181     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: 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-3173989-1304075189/watcher-3173989-1304075189 -o /tmp/evaluation-result-3173989-1304075189/solver-3173989-1304075189 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173989-1304075189.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 597749523 52441088 347 33554432000 4194304 4627427 140734572423808 18446744073709551615 47339826390966 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 12803 347 299 106 0 7774 0
[pid=23053/tid=23054] ppid=23051 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597749523 52441088 347 33554432000 4194304 4627427 140734572423808 18446744073709551615 47339826390962 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597749523 52441088 347 33554432000 4194304 4627427 140734572423808 18446744073709551615 216746976310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597749523 52441088 347 33554432000 4194304 4627427 140734572423808 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.168475 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=282812 CPUtime=0.64 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 2269 0 0 0 64 0 0 0 18 0 4 0 597749523 289599488 2150 33554432000 4194304 4627427 140734572423808 18446744073709551615 216734839841 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 70703 2150 384 106 0 65674 0
[pid=23053/tid=23054] ppid=23051 vsize=282812 CPUtime=0.16 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 462 0 0 0 16 0 0 0 25 0 4 0 597749523 289599488 2150 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=282812 CPUtime=0.16 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 501 0 0 0 16 0 0 0 18 0 4 0 597749523 289599488 2150 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=282812 CPUtime=0.15 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 347 0 0 0 15 0 0 0 18 0 4 0 597749523 289599488 2150 33554432000 4194304 4627427 140734572423808 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 282812

[startup+0.479748 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=285704 CPUtime=3.21 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 5373 0 0 0 321 0 0 0 19 0 4 0 597749523 292560896 3361 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 71426 3361 385 106 0 66397 0
[pid=23053/tid=23054] ppid=23051 vsize=285704 CPUtime=0.8 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1234 0 0 0 80 0 0 0 25 0 4 0 597749523 292560896 3361 33554432000 4194304 4627427 140734572423808 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=285704 CPUtime=0.8 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1277 0 0 0 80 0 0 0 19 0 4 0 597749523 292560896 3361 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=285704 CPUtime=0.79 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1124 0 0 0 79 0 0 0 19 0 4 0 597749523 292560896 3361 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.21
Current children cumulated vsize (KiB) 285704

[startup+0.911761 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=286604 CPUtime=3.6 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 6331 0 0 0 360 0 0 0 19 0 4 0 597749523 293482496 2867 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 71651 2867 385 106 0 66622 0
[pid=23053/tid=23054] ppid=23051 vsize=286604 CPUtime=0.9 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1477 0 0 0 90 0 0 0 25 0 4 0 597749523 293482496 2867 33554432000 4194304 4627427 140734572423808 18446744073709551615 4332703 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=286604 CPUtime=0.9 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1524 0 0 0 90 0 0 0 19 0 4 0 597749523 293482496 2867 33554432000 4194304 4627427 140734572423808 18446744073709551615 4322349 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=286604 CPUtime=0.89 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1353 0 0 0 89 0 0 0 19 0 4 0 597749523 293482496 2867 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 286604

[startup+1.01174 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=286604 CPUtime=4 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 6606 0 0 0 400 0 0 0 19 0 4 0 597749523 293482496 3142 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 71651 3142 385 106 0 66622 0
[pid=23053/tid=23054] ppid=23051 vsize=286604 CPUtime=1 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1549 0 0 0 100 0 0 0 25 0 4 0 597749523 293482496 3142 33554432000 4194304 4627427 140734572423808 18446744073709551615 4310561 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=286604 CPUtime=1 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1586 0 0 0 100 0 0 0 19 0 4 0 597749523 293482496 3143 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=286604 CPUtime=0.99 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1427 0 0 0 99 0 0 0 19 0 4 0 597749523 293482496 3143 33554432000 4194304 4627427 140734572423808 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 286604

[startup+1.50066 s]
/proc/loadavg: 8.11 8.00 7.67 6/180 23053
/proc/meminfo: memFree=12289260/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=287444 CPUtime=5.97 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 8743 0 0 0 596 1 0 0 20 0 4 0 597749523 294342656 3550 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 71861 3550 386 106 0 66832 0
[pid=23053/tid=23054] ppid=23051 vsize=287444 CPUtime=1.49 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 2096 0 0 0 149 0 0 0 25 0 4 0 597749523 294342656 3550 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=287444 CPUtime=1.49 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 2101 0 0 0 149 0 0 0 20 0 4 0 597749523 294342656 3550 33554432000 4194304 4627427 140734572423808 18446744073709551615 4310992 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=287444 CPUtime=1.48 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 1945 0 0 0 148 0 0 0 20 0 4 0 597749523 294342656 3550 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287444

[startup+3.10038 s]
/proc/loadavg: 8.18 8.02 7.67 9/184 23057
/proc/meminfo: memFree=12259836/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=305228 CPUtime=12.35 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 20246 0 0 0 1233 2 0 0 25 0 4 0 597749523 312553472 11158 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 76307 11158 389 106 0 71278 0
[pid=23053/tid=23054] ppid=23051 vsize=305228 CPUtime=3.08 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 4623 0 0 0 308 0 0 0 25 0 4 0 597749523 312553472 11158 33554432000 4194304 4627427 140734572423808 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=305228 CPUtime=3.08 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 5258 0 0 0 308 0 0 0 25 0 4 0 597749523 312553472 11158 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=305228 CPUtime=3.07 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 4516 0 0 0 307 0 0 0 25 0 4 0 597749523 312553472 11158 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 305228

[startup+6.30083 s]
/proc/loadavg: 8.17 8.02 7.67 9/184 23057
/proc/meminfo: memFree=12220164/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=315312 CPUtime=25.13 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 30821 0 0 0 2510 3 0 0 25 0 4 0 597749523 322879488 15877 33554432000 4194304 4627427 140734572423808 18446744073709551615 4299545 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 78828 15877 389 106 0 73799 0
[pid=23053/tid=23054] ppid=23051 vsize=315312 CPUtime=6.29 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 8808 0 0 0 628 1 0 0 25 0 4 0 597749523 322879488 15877 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=315312 CPUtime=6.28 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 6811 0 0 0 628 0 0 0 25 0 4 0 597749523 322879488 15877 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=315312 CPUtime=6.25 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 6767 0 0 0 625 0 0 0 25 0 4 0 597749523 322879488 15877 33554432000 4194304 4627427 140734572423808 18446744073709551615 4333369 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 315312

[startup+12.7007 s]
/proc/loadavg: 8.15 8.02 7.68 9/184 23058
/proc/meminfo: memFree=12179828/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=299032 CPUtime=50.72 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 50728 0 0 0 5064 8 0 0 25 0 4 0 597749523 306208768 26895 33554432000 4194304 4627427 140734572423808 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 74758 26895 389 106 0 69729 0
[pid=23053/tid=23054] ppid=23051 vsize=299032 CPUtime=12.69 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 14119 0 0 0 1267 2 0 0 25 0 4 0 597749523 306208768 26895 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=299032 CPUtime=12.69 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 10441 0 0 0 1268 1 0 0 25 0 4 0 597749523 306208768 26895 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=299032 CPUtime=12.62 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 11814 0 0 0 1261 1 0 0 25 0 4 0 597749523 306208768 26895 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 299032

[startup+25.5005 s]
/proc/loadavg: 8.13 8.01 7.68 9/184 23058
/proc/meminfo: memFree=12149072/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=302076 CPUtime=101.83 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 75119 0 0 0 10170 13 0 0 25 0 4 0 597749523 309325824 33721 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 75519 33721 389 106 0 70490 0
[pid=23053/tid=23054] ppid=23051 vsize=302076 CPUtime=25.48 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 21087 0 0 0 2545 3 0 0 25 0 4 0 597749523 309325824 33721 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=302076 CPUtime=25.48 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 16000 0 0 0 2546 2 0 0 25 0 4 0 597749523 309325824 33721 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309149 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=302076 CPUtime=25.35 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 16304 0 0 0 2532 3 0 0 25 0 4 0 597749523 309325824 33721 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 302076

[startup+51.101 s]
/proc/loadavg: 8.14 8.03 7.69 9/184 23059
/proc/meminfo: memFree=12119592/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=387752 CPUtime=204.09 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 106642 0 0 0 20385 24 0 0 25 0 4 0 597749523 397058048 41144 33554432000 4194304 4627427 140734572423808 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 96938 41144 389 106 0 91909 0
[pid=23053/tid=23054] ppid=23051 vsize=387752 CPUtime=51.09 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 27918 0 0 0 5102 7 0 0 25 0 4 0 597749523 397058048 41144 33554432000 4194304 4627427 140734572423808 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=387752 CPUtime=51.09 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 26530 0 0 0 5103 6 0 0 25 0 4 0 597749523 397058048 41144 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=387752 CPUtime=50.82 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 23891 0 0 0 5077 5 0 0 25 0 4 0 597749523 397058048 41144 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 387752

[startup+102.301 s]
/proc/loadavg: 8.09 8.03 7.71 9/184 23060
/proc/meminfo: memFree=12077908/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=336364 CPUtime=408.63 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 148906 0 0 0 40825 38 0 0 25 0 4 0 597749523 344436736 51900 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 84091 51900 389 106 0 79062 0
[pid=23053/tid=23054] ppid=23051 vsize=336364 CPUtime=102.28 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 38774 0 0 0 10219 9 0 0 25 0 4 0 597749523 344436736 51900 33554432000 4194304 4627427 140734572423808 18446744073709551615 4420281 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=336364 CPUtime=102.29 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 40854 0 0 0 10218 11 0 0 25 0 4 0 597749523 344436736 51900 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=336364 CPUtime=101.77 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 30375 0 0 0 10169 8 0 0 25 0 4 0 597749523 344436736 51900 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 336364

[startup+162.301 s]

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

[pid=23053] ppid=23051 vsize=658596 CPUtime=2566.08 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 455276 0 0 0 256450 158 0 0 25 0 4 0 597749523 674402304 108833 33554432000 4194304 4627427 140734572423808 18446744073709551615 4327570 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 164649 108833 389 106 0 159620 0
[pid=23053/tid=23054] ppid=23051 vsize=658596 CPUtime=642.3 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 110472 0 0 0 64191 39 0 0 25 0 4 0 597749523 674402304 108833 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=658596 CPUtime=642.3 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 107775 0 0 0 64195 35 0 0 25 0 4 0 597749523 674402304 108833 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=658596 CPUtime=639.2 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 111009 0 0 0 63882 38 0 0 25 0 4 0 597749523 674402304 108833 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2566.08
Current children cumulated vsize (KiB) 658596

[startup+702.3 s]
/proc/loadavg: 4.13 5.04 6.40 5/175 23094
/proc/meminfo: memFree=12328424/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=688764 CPUtime=2805.81 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 481533 0 0 0 280413 168 0 0 25 0 4 0 597749523 705294336 109132 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 172191 109132 389 106 0 167162 0
[pid=23053/tid=23054] ppid=23051 vsize=688764 CPUtime=702.3 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 115025 0 0 0 70190 40 0 0 25 0 4 0 597749523 705294336 109132 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=688764 CPUtime=702.29 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 112378 0 0 0 70193 36 0 0 25 0 4 0 597749523 705294336 109132 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=688764 CPUtime=698.93 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 121351 0 0 0 69851 42 0 0 25 0 4 0 597749523 705294336 109132 33554432000 4194304 4627427 140734572423808 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.81
Current children cumulated vsize (KiB) 688764

[startup+762.301 s]
/proc/loadavg: 4.11 4.87 6.25 5/175 23096
/proc/meminfo: memFree=12316100/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=648368 CPUtime=3045.54 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 501006 0 0 0 304377 177 0 0 25 0 4 0 597749523 663928832 111723 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 162092 111723 389 106 0 157063 0
[pid=23053/tid=23054] ppid=23051 vsize=648368 CPUtime=762.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 119634 0 0 0 76189 42 0 0 25 0 4 0 597749523 663928832 111723 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=648368 CPUtime=762.3 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 118943 0 0 0 76190 40 0 0 25 0 4 0 597749523 663928832 111723 33554432000 4194304 4627427 140734572423808 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=648368 CPUtime=758.65 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 123941 0 0 0 75822 43 0 0 25 0 4 0 597749523 663928832 111723 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.54
Current children cumulated vsize (KiB) 648368

[startup+822.301 s]
/proc/loadavg: 4.10 4.72 6.12 5/175 23097
/proc/meminfo: memFree=12269808/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=674580 CPUtime=3285.29 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 526256 0 0 0 328340 189 0 0 25 0 4 0 597749523 690769920 123477 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 168645 123477 389 106 0 163616 0
[pid=23053/tid=23054] ppid=23051 vsize=674580 CPUtime=822.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 124721 0 0 0 82186 45 0 0 25 0 4 0 597749523 690769920 123477 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=674580 CPUtime=822.3 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 126322 0 0 0 82187 43 0 0 25 0 4 0 597749523 690769920 123477 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=674580 CPUtime=818.38 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 130427 0 0 0 81792 46 0 0 25 0 4 0 597749523 690769920 123477 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.29
Current children cumulated vsize (KiB) 674580

[startup+882.301 s]
/proc/loadavg: 4.10 4.60 5.99 5/175 23099
/proc/meminfo: memFree=12239864/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=753612 CPUtime=3525 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 544356 0 0 0 352304 196 0 0 25 0 4 0 597749523 771698688 130930 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 188403 130930 389 106 0 183374 0
[pid=23053/tid=23054] ppid=23051 vsize=753612 CPUtime=882.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 130603 0 0 0 88184 47 0 0 25 0 4 0 597749523 771698688 130930 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=753612 CPUtime=882.31 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 128759 0 0 0 88186 45 0 0 25 0 4 0 597749523 771698688 130930 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=753612 CPUtime=878.11 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 134879 0 0 0 87763 48 0 0 25 0 4 0 597749523 771698688 130930 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3525
Current children cumulated vsize (KiB) 753612

[startup+942.307 s]
/proc/loadavg: 4.04 4.49 5.86 5/175 23100
/proc/meminfo: memFree=12222420/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=820288 CPUtime=3764.73 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 558191 0 0 0 376267 206 0 0 25 0 4 0 597749523 839974912 135322 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 205072 135322 389 106 0 200043 0
[pid=23053/tid=23054] ppid=23051 vsize=820288 CPUtime=942.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 135579 0 0 0 94180 51 0 0 25 0 4 0 597749523 839974912 135322 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=820288 CPUtime=942.31 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 132847 0 0 0 94183 48 0 0 25 0 4 0 597749523 839974912 135322 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=820288 CPUtime=937.82 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 138733 0 0 0 93732 50 0 0 25 0 4 0 597749523 839974912 135322 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.73
Current children cumulated vsize (KiB) 820288

[startup+1002.3 s]
/proc/loadavg: 4.01 4.40 5.74 5/175 23102
/proc/meminfo: memFree=12174256/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=833908 CPUtime=4004.41 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 582876 0 0 0 400223 218 0 0 25 0 4 0 597749523 853921792 147529 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 208477 147529 389 106 0 203448 0
[pid=23053/tid=23054] ppid=23051 vsize=833908 CPUtime=1002.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 143114 0 0 0 100178 53 0 0 25 0 4 0 597749523 853921792 147529 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=833908 CPUtime=1002.31 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 136800 0 0 0 100181 50 0 0 25 0 4 0 597749523 853921792 147529 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=833908 CPUtime=997.51 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 144601 0 0 0 99696 55 0 0 25 0 4 0 597749523 853921792 147529 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.41
Current children cumulated vsize (KiB) 833908

[startup+1062.3 s]
/proc/loadavg: 4.06 4.34 5.63 5/175 23104
/proc/meminfo: memFree=12162928/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=847332 CPUtime=4244.14 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 604333 0 0 0 424185 229 0 0 25 0 4 0 597749523 867667968 150205 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 211833 150205 389 106 0 206804 0
[pid=23053/tid=23054] ppid=23051 vsize=847332 CPUtime=1062.3 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 147123 0 0 0 106176 54 0 0 25 0 4 0 597749523 867667968 150205 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=847332 CPUtime=1062.3 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 141200 0 0 0 106178 52 0 0 25 0 4 0 597749523 867667968 150205 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=847332 CPUtime=1057.24 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 152166 0 0 0 105665 59 0 0 25 0 4 0 597749523 867667968 150205 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4244.14
Current children cumulated vsize (KiB) 847332

[startup+1122.3 s]
/proc/loadavg: 4.02 4.27 5.53 5/175 23105
/proc/meminfo: memFree=12144036/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=905664 CPUtime=4483.87 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 623034 0 0 0 448149 238 0 0 25 0 4 0 597749523 927399936 155319 33554432000 4194304 4627427 140734572423808 18446744073709551615 4310126 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 226416 155319 389 106 0 221387 0
[pid=23053/tid=23054] ppid=23051 vsize=905664 CPUtime=1122.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 153892 0 0 0 112173 58 0 0 25 0 4 0 597749523 927399936 155319 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=905664 CPUtime=1122.31 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 141882 0 0 0 112178 53 0 0 25 0 4 0 597749523 927399936 155319 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=905664 CPUtime=1116.96 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 157770 0 0 0 111635 61 0 0 25 0 4 0 597749523 927399936 155319 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.87
Current children cumulated vsize (KiB) 905664

[startup+1182.3 s]
/proc/loadavg: 4.05 4.24 5.43 5/175 23107
/proc/meminfo: memFree=12155768/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=815940 CPUtime=4723.6 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 639938 0 0 0 472112 248 0 0 25 0 4 0 597749523 835522560 152251 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 203985 152251 389 106 0 198956 0
[pid=23053/tid=23054] ppid=23051 vsize=815940 CPUtime=1182.31 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 155681 0 0 0 118172 59 0 0 25 0 4 0 597749523 835522560 152251 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=815940 CPUtime=1182.31 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 146336 0 0 0 118175 56 0 0 25 0 4 0 597749523 835522560 152251 33554432000 4194304 4627427 140734572423808 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=815940 CPUtime=1176.69 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 161526 0 0 0 117606 63 0 0 25 0 4 0 597749523 835522560 152251 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.6
Current children cumulated vsize (KiB) 815940



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 4.03 4.22 5.40 5/175 23107
/proc/meminfo: memFree=12141860/32951124 swapFree=67102140/67111528
[pid=23053] ppid=23051 vsize=816512 CPUtime=4800.33 cores=0,2,4,6
/proc/23053/stat : 23053 (strangenight2-m) R 23051 23053 22146 0 -1 4202496 648419 0 0 0 479782 251 0 0 25 0 4 0 597749523 836108288 155696 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23053/statm: 204128 155696 389 106 0 199099 0
[pid=23053/tid=23054] ppid=23051 vsize=816512 CPUtime=1201.51 cores=0,2,4,6
/proc/23053/task/23054/stat : 23054 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 158407 0 0 0 120091 60 0 0 25 0 4 0 597749523 836108288 155696 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23053/tid=23055] ppid=23051 vsize=816512 CPUtime=1201.51 cores=0,2,4,6
/proc/23053/task/23055/stat : 23055 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 148026 0 0 0 120095 56 0 0 25 0 4 0 597749523 836108288 155696 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=23053/tid=23056] ppid=23051 vsize=816512 CPUtime=1195.79 cores=0,2,4,6
/proc/23053/task/23056/stat : 23056 (strangenight2-m) R 23051 23053 22146 0 -1 4202560 163990 0 0 0 119516 63 0 0 25 0 4 0 597749523 836108288 155696 33554432000 4194304 4627427 140734572423808 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 816512

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): 1201.54
CPU time (s): 4800.39
CPU user time (s): 4797.84
CPU system time (s): 2.54061
CPU usage (%): 399.519
Max. virtual memory (cumulated for all children) (KiB): 956848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.54061
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648421
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= 384
involuntary context switches= 20080

runsolver used 1.86072 second user time and 3.87041 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 13:06:29
IDJOB=3173989
IDBENCH=82807
IDSOLVER=1586
FILE ID=node119/3173989-1304075189
RUNJOBID= node119-1304074270-22967
PBS_JOBID= 13170477
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= 72699a729b1b1ff68f424bd0209fc31b
RANDOM SEED=906766960

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12289540 kB
Buffers:       2233940 kB
Cached:       17313012 kB
SwapCached:       5504 kB
Active:        8434060 kB
Inactive:     11642348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12289540 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            5828 kB
Writeback:           0 kB
AnonPages:      526524 kB
Mapped:          15304 kB
Slab:           521120 kB
PageTables:       5632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   831660 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= 71812 MiB
End job on node119 at 2011-04-29 13:26:32