Trace number 3366310

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.09 1203.85

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf
MD5SUMcf48efaad74dd9e258ebbccf8ec047e7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366310-1305401449.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:     285 undec:      74 neg:     291
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       641      2760         0         0      8340         0   no data   no data
0.24/0.08	c Decided on static restart strategy
0.36/0.18	c  N st     8      4919       641      2760         0      4861      8340    147075   no data   no data
1.57/0.46	c  N st    10     11303       641      2760         0      4496      8340     89908   no data   no data
2.76/0.75	c  N st    11     17048       641      2760         0     10182      8340    270158   no data   no data
4.76/1.22	c  F st    12     25002       641      2760         0     12486      8340    324912   no data   no data
4.76/1.22	c  N st    12     25002       641      2760         0     12486      8340    324912   no data   no data
5.56/1.48	c Decided on static restart strategy
5.56/1.48	c  N st    18     30001       641      2760         0     10736      8340    247576   no data   no data
5.56/1.48	c  S st    18     30001       641      2760         0     10736      8340    247576   no data   no data
5.96/1.51	c  S st    18     30505       641      2760         0     11239      8340    261085   no data   no data
5.96/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.51	c blocked clauses removed:        0 vars:      0 tried:         641 T: 0.00 s
5.96/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
5.96/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c lits-rem:        88  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.58	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
5.96/1.58	c calculated reachability. Time: 0.00
5.96/1.58	c  N st    18     30505       641      2760         0     10992      8340    252717   no data   no data
7.96/2.01	c  N st    20     37616       641      2760         0     10207      8340    202635   no data   no data
9.54/2.42	c  N st    21     44015       641      2760         0     16525      8340    391649   no data   no data
9.94/2.56	c  S st    22     45757       641      2760         0      9440      8340    162388   no data   no data
9.94/2.58	c  S st    22     46263       641      2760         0      9946      8340    175919   no data   no data
9.94/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
9.94/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.34/2.61	c lits-rem:        22  cl-subs:       44  v-elim:      0  v-fix:    0  time:  0.01 s
10.34/2.61	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
10.34/2.61	c vivif2 --  cl tried     9902 cl shrink        0 lits rem          0 time: 0.00
10.34/2.61	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
10.34/2.61	c calculated reachability. Time: 0.00
10.34/2.61	c  N st    22     46263       641      2760         0      9902      8340    174630   no data   no data
13.93/3.56	c  N st    23     60662       641      2760         0     14223      8340    291847   no data   no data
17.14/4.31	c  N st    24     69396       641      2760         0     12012      8340    212373   no data   no data
17.14/4.31	c  S st    24     69396       641      2760         0     12012      8340    212373   no data   no data
17.14/4.34	c  S st    24     69897       641      2760         0     12513      8340    224667   no data   no data
17.14/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.14/4.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.14/4.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.14/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
17.14/4.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.14/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.14/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.37	c lits-rem:        36  cl-subs:       91  v-elim:      0  v-fix:    0  time:  0.02 s
17.14/4.37	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
17.14/4.38	c vivif2 --  cl tried    12422 cl shrink        0 lits rem          0 time: 0.00
17.14/4.38	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
17.14/4.39	c calculated reachability. Time: 0.00
17.14/4.39	c  N st    24     69897       641      2760         0     12422      8340    221906   no data   no data
22.70/5.70	c  F st    25     87502       641      2760         0     17979      8340    379359   no data   no data
22.70/5.70	c  N st    25     87502       641      2760         0     17979      8340    379359   no data   no data
24.30/6.12	c Decided on static restart strategy
25.10/6.37	c  N st    32     95541       641      2760         0     13115      8340    209705   no data   no data
27.88/7.06	c  N st    34    104846       641      2760         0     22249      8340    475618   no data   no data
27.88/7.06	c  S st    34    104846       641      2760         0     22249      8340    475618   no data   no data
28.28/7.12	c  S st    34    105350       641      2760         0     22753      8340    489097   no data   no data
28.28/7.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.28/7.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.28/7.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.28/7.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.28/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.28/7.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
28.28/7.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.28/7.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.28/7.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.08/7.33	c lits-rem:       113  cl-subs:      710  v-elim:      0  v-fix:    0  time:  0.18 s
29.08/7.33	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
29.08/7.34	c vivif2 --  cl tried    22043 cl shrink        0 lits rem          0 time: 0.01
29.08/7.35	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
29.08/7.35	c calculated reachability. Time: 0.00
29.08/7.35	c  N st    34    105350       641      2760         0     22043      8340    465255   no data   no data
32.27/8.12	c  N st    35    114948       641      2760         0     17713      8340    309412   no data   no data
37.46/9.45	c  N st    36    129346       641      2760         0     17129      8340    273638   no data   no data
45.83/11.54	c  N st    37    150941       641      2760         0     22619      8340    423050   no data   no data
49.02/12.32	c  S st    38    158025       641      2760         0     29586      8340    616653   no data   no data
49.02/12.39	c  S st    38    158527       641      2760         0     30088      8340    630423   no data   no data
49.42/12.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.42/12.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.42/12.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.42/12.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.42/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.42/12.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
49.42/12.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.42/12.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.42/12.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.02/12.85	c lits-rem:       256  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  0.42 s
51.02/12.85	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
51.02/12.86	c vivif2 --  cl tried    28982 cl shrink        0 lits rem          0 time: 0.01
51.02/12.88	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
51.02/12.88	c calculated reachability. Time: 0.00
51.02/12.88	c  N st    38    158527       641      2760         0     28982      8340    595853   no data   no data
72.16/18.16	c  N st    39    207115       641      2760         0     23612      8340    406251   no data   no data
86.51/21.72	c  N st    40    237790       641      2760         0     34257      8340    689495   no data   no data
86.51/21.72	c  S st    40    237790       641      2760         0     34257      8340    689495   no data   no data
86.91/21.81	c  S st    40    238293       641      2760         0     34760      8340    703772   no data   no data
86.91/21.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.91/21.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.91/21.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.91/21.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.91/21.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.91/21.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
86.91/21.82	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.91/21.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.91/21.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.89/22.38	c lits-rem:       128  cl-subs:     1190  v-elim:      0  v-fix:    0  time:  0.52 s
88.89/22.38	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
88.89/22.38	c vivif2 --  cl tried    33570 cl shrink        0 lits rem          0 time: 0.01
89.29/22.41	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
89.29/22.41	c calculated reachability. Time: 0.00
89.29/22.41	c  N st    40    238293       641      2760         0     33570      8340    667624   no data   no data
121.21/30.48	c  F st    41    306253       641      2760         0     35354      8340    661920   no data   no data
121.21/30.48	c  N st    41    306253       641      2760         0     35354      8340    661920   no data   no data
131.96/33.18	c  N dy   118    325818       641      2760         0     31063      8340    461345     18.76     20.97
143.94/36.16	c  N dy   216    345859       641      2760         0     26208      8340    283393     18.91     20.30
149.51/37.55	c  S st   258    357441       641      2760         0     37666      8340    595624     18.82     17.16
149.91/37.63	c  S st   258    357942       641      2760         0     38166      8340    610202     18.82   no data
149.91/37.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.91/37.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.91/37.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.91/37.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.91/37.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.91/37.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
149.91/37.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.91/37.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.91/37.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.71/37.86	c lits-rem:       109  cl-subs:      486  v-elim:      0  v-fix:    0  time:  0.18 s
150.71/37.86	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
150.71/37.87	c vivif2 --  cl tried    37680 cl shrink        0 lits rem          0 time: 0.01
150.71/37.89	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
150.71/37.89	c calculated reachability. Time: 0.00
150.71/37.89	c  N dy   258    357942       641      2760         0     37680      8340    596139     18.82   no data
162.33/40.73	c  N dy   324    378107       641      2760         0     31924      8340    410045     18.71     19.73
174.65/43.87	c  N dy   397    398124       641      2760         0     51733      8340    945426     18.68     22.89
186.21/46.72	c  N dy   471    418288       641      2760         0     44999      8340    740275     18.61     19.64
199.37/50.01	c  N dy   556    439247       641      2760         0     38028      8340    529632     18.63     19.64
213.73/53.60	c  N dy   632    459268       641      2760         0     29135      8340    256987     18.60     19.82
224.90/56.44	c  N dy   708    479394       641      2760         0     49074      8340    813140     18.59     19.60
238.05/59.75	c  N dy   790    499470       641      2760         0     39263      8340    516258     18.59     19.57
252.41/63.38	c  N dy   862    519514       641      2760         0     59098      8340   1061355     18.57     19.58
263.57/66.10	c  S st   946    536913       641      2760         0     45626      8340    662167     18.59     16.10
263.97/66.22	c  S st   946    537422       641      2760         0     46133      8340    676073     18.59   no data
263.97/66.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.97/66.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.97/66.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.97/66.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.97/66.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.97/66.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
263.97/66.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.97/66.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.97/66.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.17/66.53	c lits-rem:       152  cl-subs:      602  v-elim:      0  v-fix:    0  time:  0.26 s
265.17/66.53	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
265.17/66.54	c vivif2 --  cl tried    45531 cl shrink        0 lits rem          0 time: 0.01
265.17/66.57	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.03
265.17/66.57	c calculated reachability. Time: 0.00
265.17/66.57	c  N dy   946    537422       641      2760         0     45531      8340    658613     18.59   no data
280.77/70.44	c  N dy  1039    557453       641      2760         0     33668      8340    311866     18.62     19.85
293.09/73.58	c  N dy  1132    577632       641      2760         0     53675      8340    864462     18.64     19.68
308.24/77.34	c  N dy  1245    597734       641      2760         0     40909      8340    491903     18.70     21.24
323.40/81.17	c  N dy  1339    618306       641      2760         0     61302      8340   1058920     18.72     19.77
338.14/84.83	c  N dy  1468    638412       641      2760         0     47546      8340    653452     18.78     19.90
354.93/89.10	c  N dy  1554    658593       641      2760         0     67516      8340   1207129     18.79     19.80
368.85/92.59	c  N dy  1617    679623       641      2760         0     53646      8340    799936     18.75     19.79
388.40/97.43	c  N dy  1705    700614       641      2760         0     38772      8340    359987     18.76     20.22
404.76/101.60	c  N dy  1828    720615       641      2760         0     58613      8340    915557     18.81     20.39
423.11/106.12	c  N dy  1921    741531       641      2760         0     42645      8340    450748     18.82     19.94
441.44/110.73	c  N dy  1992    765633       641      2760         0     66530      8340   1122854     18.80     19.89
458.59/115.01	c  N dy  2080    786208       641      2760         0     49287      8340    610542     18.81     19.80
476.14/119.46	c  S st  2184    806135       641      2760         0     69022      8340   1158959     18.83   no data
476.94/119.64	c  S st  2184    806636       641      2760         0     69523      8340   1172886     18.83   no data
476.94/119.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
476.94/119.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
476.94/119.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
476.94/119.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.94/119.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.94/119.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
476.94/119.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
476.94/119.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
477.34/119.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.12/120.46	c lits-rem:       181  cl-subs:     1080  v-elim:      0  v-fix:    0  time:  0.73 s
480.12/120.46	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
480.12/120.47	c vivif2 --  cl tried    68443 cl shrink        0 lits rem          0 time: 0.01
480.52/120.53	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.06
480.52/120.53	c calculated reachability. Time: 0.00
480.52/120.53	c  N dy  2184    806636       641      2760         0     68443      8340   1139203     18.83   no data
496.87/124.65	c  N dy  2259    826736       641      2760         0     49703      8340    601009     18.82     20.90
514.82/129.15	c  N dy  2372    846755       641      2760         0     69551      8340   1159684     18.85     19.90
533.97/133.90	c  N dy  2491    866852       641      2760         0     49832      8340    582816     18.88     22.35
551.52/138.37	c  N dy  2592    886886       641      2760         0     69684      8340   1137007     18.89     19.90
570.31/143.02	c  N dy  2680    906897       641      2760         0     48869      8340    534111     18.91     19.92
587.85/147.48	c  N dy  2778    927168       641      2760         0     68962      8340   1098449     18.92     20.02
608.95/152.79	c  N dy  2861    947208       641      2760         0     47228      8340    462716     18.93     20.17
634.86/159.22	c  N dy  2956    976674       641      2760         0     76346      8340   1274480     18.90     20.11
653.66/163.91	c  N dy  3039    996722       641      2760         0     53651      8340    623780     18.91     21.30
672.35/168.63	c  N dy  3117   1016879       641      2760         0     73626      8340   1184975     18.91     20.11
694.29/174.11	c  N dy  3215   1037195       641      2760         0     50150      8340    502375     18.92     19.93
712.63/178.76	c  N dy  3336   1057382       641      2760         0     70158      8340   1067716     18.94     20.01
729.78/183.01	c  F st  3390   1071876       641      2760         0     84515      8340   1467005     18.94     17.04
736.17/184.64	c Decided on static restart strategy
737.75/185.04	c  N st  3397   1079915       641      2760         0     47905      8340    422281     18.94   no data
752.12/188.63	c  N st  3400   1100183       641      2760         0     67906      8340   1006705     18.94   no data
787.61/197.53	c  N st  3402   1136177       641      2760         0     57861      8340   1089412     18.94   no data
821.90/206.18	c  N st  3403   1168569       641      2760         0     89646      8340   2018681     18.94   no data
873.00/218.94	c  N st  3404   1209954       641      2760         0     83981      8340   1883823     18.94   no data
873.00/218.94	c  S st  3404   1209954       641      2760         0     83981      8340   1883823     18.94   no data
873.75/219.19	c  S st  3404   1210457       641      2760         0     84484      8340   1897474     18.94   no data
874.15/219.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
874.15/219.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
874.15/219.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
874.15/219.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
874.15/219.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
874.15/219.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
874.15/219.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
874.15/219.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
874.55/219.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
905.26/227.08	c lits-rem:       491  cl-subs:     4415  v-elim:      0  v-fix:    0  time:  7.76 s
905.26/227.08	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
905.66/227.11	c vivif2 --  cl tried    80069 cl shrink        0 lits rem          0 time: 0.02
905.66/227.19	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.08
905.66/227.19	c calculated reachability. Time: 0.00
905.66/227.19	c  N st  3404   1210457       641      2760         0     80069      8340   1755488     18.94   no data
981.43/246.12	c  N st  3405   1283339       641      2760         0     56534      8340    917607     18.94   no data
1088.31/272.97	c  N st  3406   1392662       641      2760         0     64748      8340   1104290     18.94   no data
1263.43/316.86	c  N st  3407   1556646       641      2760         0     69237      8340   1143690     18.94   no data
1441.66/361.51	c  N st  3408   1710458       641      2760         0    110966      8340   2302747     18.94   no data
1441.66/361.51	c  S st  3408   1710458       641      2760         0    110966      8340   2302747     18.94   no data
1442.87/361.88	c  S st  3408   1710961       641      2760         0    111469      8340   2316315     18.94   no data
1442.87/361.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1443.29/361.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1443.29/361.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1443.29/361.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1443.29/361.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1443.29/361.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
1443.29/361.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1443.29/361.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1443.64/362.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1517.87/380.67	c lits-rem:       894  cl-subs:     8009  v-elim:      0  v-fix:    0  time: 18.62 s
1517.87/380.67	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
1518.22/380.70	c vivif2 --  cl tried   103460 cl shrink        0 lits rem          0 time: 0.03
1518.62/380.82	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.11
1518.62/380.82	c calculated reachability. Time: 0.00
1518.62/380.82	c  N st  3408   1710961       641      2760         0    103460      8340   2095224     18.94   no data
1967.50/493.40	c  N st  3409   2079926       641      2760         0    115374      8340   2350423     18.94   no data
2157.55/541.27	c  N st  3410   2210961       641      2760         0    119525      8340   2337941     18.94   no data
2157.55/541.27	c  S st  3410   2210961       641      2760         0    119525      8340   2337941     18.94   no data
2159.09/541.64	c  S st  3410   2211465       641      2760         0    120027      8340   2351877     18.94   no data
2159.09/541.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2159.49/541.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2159.49/541.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2159.49/541.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2159.49/541.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2159.49/541.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
2159.49/541.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2159.49/541.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2159.90/541.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2233.26/560.22	c lits-rem:       602  cl-subs:     7209  v-elim:      0  v-fix:    0  time: 18.39 s
2233.26/560.22	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
2233.26/560.25	c vivif2 --  cl tried   112818 cl shrink        0 lits rem          0 time: 0.03
2233.66/560.40	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.15
2234.06/560.40	c calculated reachability. Time: 0.00
2234.06/560.40	c  N st  3410   2211465       641      2760         0    112818      8340   2145500     18.94   no data
2955.96/741.43	c  N st  3411   2711465       641      2760         0    136789      8340   2783213     18.94   no data
2955.96/741.43	c  S st  3411   2711465       641      2760         0    136789      8340   2783213     18.94   no data
2957.91/741.95	c  S st  3411   2711971       641      2760         0    137295      8340   2798037     18.94   no data
2957.91/741.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2958.30/742.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2958.30/742.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2958.30/742.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2958.30/742.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2958.30/742.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
2958.30/742.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2958.30/742.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2958.71/742.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3044.44/763.66	c lits-rem:       425  cl-subs:     7046  v-elim:      0  v-fix:    0  time: 21.51 s
3044.44/763.66	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
3044.44/763.69	c vivif2 --  cl tried   130249 cl shrink        0 lits rem          0 time: 0.04
3045.24/763.84	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.14
3045.24/763.84	c calculated reachability. Time: 0.00
3045.24/763.84	c  N st  3411   2711971       641      2760         0    130249      8340   2590086     18.94   no data
3821.33/958.49	c  N st  3412   3211971       641      2760         0    106348      8340   1782616     18.94   no data
3821.33/958.49	c  S st  3412   3211971       641      2760         0    106348      8340   1782616     18.94   no data
3822.93/958.83	c  S st  3412   3212474       641      2760         0    106851      8340   1796623     18.94   no data
3822.93/958.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3822.93/958.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3823.33/958.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3823.33/958.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3823.33/958.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3823.33/958.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
3823.33/958.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3823.33/958.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3823.33/958.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3842.12/963.66	c lits-rem:       391  cl-subs:     2472  v-elim:      0  v-fix:    0  time:  4.68 s
3842.12/963.66	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
3842.12/963.69	c vivif2 --  cl tried   104379 cl shrink        0 lits rem          0 time: 0.02
3842.47/963.79	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.11
3842.86/963.80	c calculated reachability. Time: 0.00
3842.86/963.80	c  N st  3412   3212474       641      2760         0    104379      8340   1714162     18.94   no data
4616.55/1157.83	c  N st  3413   3712476       641      2760         0    114062      8340   1825303     18.94   no data
4616.55/1157.83	c  S st  3413   3712476       641      2760         0    114062      8340   1825303     18.94   no data
4617.74/1158.20	c  S st  3413   3712979       641      2760         0    114564      8340   1839385     18.94   no data
4618.16/1158.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4618.16/1158.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4618.16/1158.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4618.16/1158.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4618.16/1158.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4618.16/1158.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
4618.16/1158.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4618.16/1158.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4618.58/1158.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4649.64/1166.17	c lits-rem:       627  cl-subs:     4876  v-elim:      0  v-fix:    0  time:  7.81 s
4649.64/1166.17	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
4649.64/1166.19	c vivif2 --  cl tried   109688 cl shrink        0 lits rem          0 time: 0.02
4650.44/1166.31	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.12
4650.44/1166.31	c calculated reachability. Time: 0.00
4650.44/1166.31	c  N st  3413   3712979       641      2760         0    109688      8340   1700321     18.94   no data
4710.29/1181.35	c  F st  3414   3751564       641      2760         0    147494      8340   2858808     18.94   no data
4710.29/1181.35	c  N st  3414   3751564       641      2760         0    147494      8340   2858808     18.94   no data
4721.44/1184.19	c Decided on static restart strategy
4764.10/1194.86	c  N st  3424   3779868       641      2760         0     92401      8340   1116369     18.94   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-3366310-1305401449/watcher-3366310-1305401449 -o /tmp/evaluation-result-3366310-1305401449/solver-3366310-1305401449 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366310-1305401449.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: 7.51 7.95 8.04 2/359 15045
/proc/meminfo: memFree=23314376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 406 0 0 0 0 0 0 0 23 0 4 0 730375600 52396032 347 33554432000 4194304 4580107 140735781656240 18446744073709551615 260905450481 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 12792 347 299 95 0 7774 0
[pid=15045/tid=15046] ppid=15043 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 730375600 52396032 347 33554432000 4194304 4580107 140735781656240 18446744073709551615 47667965683634 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730375600 52396032 347 33554432000 4194304 4580107 140735781656240 18446744073709551615 47667965683634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730375601 52396032 347 33554432000 4194304 4580107 140735781656240 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0683059 s]
/proc/loadavg: 7.51 7.95 8.04 2/359 15045
/proc/meminfo: memFree=23314376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=282104 CPUtime=0.24 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 1668 0 0 0 24 0 0 0 25 0 4 0 730375600 288874496 1547 33554432000 4194304 4580107 140735781656240 18446744073709551615 4318695 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 70526 1547 376 95 0 65508 0
[pid=15045/tid=15046] ppid=15043 vsize=282104 CPUtime=0.06 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 398 0 0 0 6 0 0 0 25 0 4 0 730375600 288874496 1547 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=282104 CPUtime=0.06 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 301 0 0 0 6 0 0 0 25 0 4 0 730375600 288874496 1547 33554432000 4194304 4580107 140735781656240 18446744073709551615 4321685 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=282104 CPUtime=0.05 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 209 0 0 0 5 0 0 0 25 0 4 0 730375601 288874496 1547 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 282104

[startup+0.100299 s]
/proc/loadavg: 7.51 7.95 8.04 2/359 15045
/proc/meminfo: memFree=23314376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=282260 CPUtime=0.36 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 1815 0 0 0 36 0 0 0 25 0 4 0 730375600 289034240 1694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4321036 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 70565 1694 377 95 0 65547 0
[pid=15045/tid=15046] ppid=15043 vsize=282260 CPUtime=0.09 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 446 0 0 0 9 0 0 0 25 0 4 0 730375600 289034240 1694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=282260 CPUtime=0.09 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 334 0 0 0 9 0 0 0 25 0 4 0 730375600 289034240 1694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=282260 CPUtime=0.08 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 244 0 0 0 8 0 0 0 25 0 4 0 730375601 289034240 1694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282260

[startup+0.300263 s]
/proc/loadavg: 7.51 7.95 8.04 2/359 15045
/proc/meminfo: memFree=23314376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=283908 CPUtime=1.16 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 2952 0 0 0 116 0 0 0 18 0 4 0 730375600 290721792 2154 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 70977 2163 377 95 0 65959 0
[pid=15045/tid=15046] ppid=15043 vsize=283908 CPUtime=0.29 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 739 0 0 0 29 0 0 0 25 0 4 0 730375600 290721792 2163 33554432000 4194304 4580107 140735781656240 18446744073709551615 260905091264 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=283908 CPUtime=0.29 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 623 0 0 0 29 0 0 0 25 0 4 0 730375600 290721792 2163 33554432000 4194304 4580107 140735781656240 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=283908 CPUtime=0.28 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 540 0 0 0 28 0 0 0 25 0 4 0 730375601 290721792 2163 33554432000 4194304 4580107 140735781656240 18446744073709551615 4318864 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283908

[startup+0.700191 s]
/proc/loadavg: 7.51 7.95 8.04 2/359 15045
/proc/meminfo: memFree=23314376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=284780 CPUtime=2.76 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 4717 0 0 0 275 1 0 0 18 0 4 0 730375600 291614720 2880 33554432000 4194304 4580107 140735781656240 18446744073709551615 4316624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 71195 2880 377 95 0 66177 0
[pid=15045/tid=15046] ppid=15043 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 1185 0 0 0 69 0 0 0 25 0 4 0 730375600 291614720 2880 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=284780 CPUtime=0.68 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 1038 0 0 0 68 0 0 0 25 0 4 0 730375600 291614720 2881 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=284780 CPUtime=0.68 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 969 0 0 0 68 0 0 0 25 0 4 0 730375601 291614720 2881 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284780

[startup+1.50104 s]
/proc/loadavg: 7.51 7.95 8.04 9/371 15057
/proc/meminfo: memFree=23292860/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=286452 CPUtime=5.96 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 8150 0 0 0 594 2 0 0 19 0 4 0 730375600 293326848 3422 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 71613 3422 378 95 0 66595 0
[pid=15045/tid=15046] ppid=15043 vsize=286452 CPUtime=1.49 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 2025 0 0 0 149 0 0 0 25 0 4 0 730375600 293326848 3422 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=286452 CPUtime=1.49 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 1933 0 0 0 149 0 0 0 25 0 4 0 730375600 293326848 3422 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=286452 CPUtime=1.46 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 1801 0 0 0 146 0 0 0 25 0 4 0 730375601 293326848 3422 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286452

[startup+3.10075 s]
/proc/loadavg: 7.51 7.95 8.04 9/371 15057
/proc/meminfo: memFree=23266944/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=286836 CPUtime=12.34 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 19057 0 0 0 1230 4 0 0 24 0 4 0 730375600 293720064 11102 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 71709 11102 379 95 0 66691 0
[pid=15045/tid=15046] ppid=15043 vsize=286836 CPUtime=3.08 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 4250 0 0 0 308 0 0 0 25 0 4 0 730375600 293720064 11102 33554432000 4194304 4580107 140735781656240 18446744073709551615 4317008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=286836 CPUtime=3.08 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 5296 0 0 0 307 1 0 0 25 0 4 0 730375600 293720064 11102 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=286836 CPUtime=3.05 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 4111 0 0 0 305 0 0 0 25 0 4 0 730375601 293720064 11102 33554432000 4194304 4580107 140735781656240 18446744073709551615 4316813 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 286836

[startup+6.30117 s]
/proc/loadavg: 7.55 7.95 8.04 9/371 15057
/proc/meminfo: memFree=23217764/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=306180 CPUtime=25.1 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 27582 0 0 0 2504 6 0 0 25 0 4 0 730375600 313528320 14976 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 76545 14976 379 95 0 71527 0
[pid=15045/tid=15046] ppid=15043 vsize=306180 CPUtime=6.29 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 6748 0 0 0 628 1 0 0 25 0 4 0 730375600 313528320 14976 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=306180 CPUtime=6.28 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 7317 0 0 0 627 1 0 0 25 0 4 0 730375600 313528320 14976 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=306180 CPUtime=6.21 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 5742 0 0 0 620 1 0 0 25 0 4 0 730375601 313528320 14976 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 306180

[startup+12.701 s]
/proc/loadavg: 7.58 7.95 8.04 9/371 15057
/proc/meminfo: memFree=23168800/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=295300 CPUtime=50.62 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 45252 0 0 0 5054 8 0 0 25 0 4 0 730375600 302387200 25452 33554432000 4194304 4580107 140735781656240 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 73825 25452 379 95 0 68807 0
[pid=15045/tid=15046] ppid=15043 vsize=295300 CPUtime=12.69 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 9212 0 0 0 1268 1 0 0 25 0 4 0 730375600 302387200 25452 33554432000 4194304 4580107 140735781656240 18446744073709551615 4324229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=295300 CPUtime=12.68 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 11437 0 0 0 1266 2 0 0 25 0 4 0 730375600 302387200 25452 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=295300 CPUtime=12.53 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 10264 0 0 0 1252 1 0 0 25 0 4 0 730375601 302387200 25452 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 295300

[startup+25.5007 s]
/proc/loadavg: 7.67 7.96 8.04 9/371 15088
/proc/meminfo: memFree=23138972/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=351108 CPUtime=101.65 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 63407 0 0 0 10151 14 0 0 25 0 4 0 730375600 359534592 32862 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294438 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 87777 32862 379 95 0 82759 0
[pid=15045/tid=15046] ppid=15043 vsize=351108 CPUtime=25.49 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 12122 0 0 0 2547 2 0 0 25 0 4 0 730375600 359534592 32862 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=351108 CPUtime=25.48 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 16549 0 0 0 2545 3 0 0 25 0 4 0 730375600 359534592 32862 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=351108 CPUtime=25.18 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 14942 0 0 0 2515 3 0 0 25 0 4 0 730375601 359534592 32862 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 351108

[startup+51.101 s]
/proc/loadavg: 7.78 7.96 8.03 9/371 15088
/proc/meminfo: memFree=23026304/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=372184 CPUtime=203.76 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 87730 0 0 0 20356 20 0 0 25 0 4 0 730375600 381116416 39939 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 93046 39939 379 95 0 88028 0
[pid=15045/tid=15046] ppid=15043 vsize=372184 CPUtime=51.09 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 17666 0 0 0 5106 3 0 0 25 0 4 0 730375600 381116416 39939 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=372184 CPUtime=51.08 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 22591 0 0 0 5103 5 0 0 25 0 4 0 730375600 381116416 39939 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=372184 CPUtime=50.48 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 21526 0 0 0 5043 5 0 0 25 0 4 0 730375601 381116416 39939 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 372184

[startup+102.314 s]
/proc/loadavg: 7.95 7.98 8.03 9/371 15090
/proc/meminfo: memFree=22941792/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=394376 CPUtime=407.99 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 131297 0 0 0 40768 31 0 0 25 0 4 0 730375600 403841024 50329 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 98594 50329 379 95 0 93576 0
[pid=15045/tid=15046] ppid=15043 vsize=394376 CPUtime=102.3 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 32760 0 0 0 10225 5 0 0 25 0 4 0 730375600 403841024 50329 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=394376 CPUtime=102.3 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 33165 0 0 0 10222 8 0 0 25 0 4 0 730375600 403841024 50329 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=394376 CPUtime=101.08 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 30454 0 0 0 10100 8 0 0 25 0 4 0 730375601 403841024 50329 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 394376

[startup+162.301 s]

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

[pid=15045] ppid=15043 vsize=556776 CPUtime=2560.72 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 365353 0 0 0 255948 124 0 0 25 0 4 0 730375600 570138624 100455 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 139194 100455 379 95 0 134176 0
[pid=15045/tid=15046] ppid=15043 vsize=556776 CPUtime=641.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 94420 0 0 0 64134 32 0 0 25 0 4 0 730375600 570138624 100457 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=556776 CPUtime=642.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 107339 0 0 0 64193 38 0 0 25 0 4 0 730375600 570138624 100457 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=556776 CPUtime=634.54 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 68307 0 0 0 63431 23 0 0 25 0 4 0 730375601 570138624 100457 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2560.72
Current children cumulated vsize (KiB) 556776

[startup+702.3 s]
/proc/loadavg: 8.08 8.10 8.07 9/371 15109
/proc/meminfo: memFree=22381908/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=685808 CPUtime=2799.98 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 391802 0 0 0 279863 135 0 0 25 0 4 0 730375600 702267392 112788 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 171452 112788 379 95 0 166434 0
[pid=15045/tid=15046] ppid=15043 vsize=685808 CPUtime=701.64 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 101897 0 0 0 70130 34 0 0 25 0 4 0 730375600 702267392 112788 33554432000 4194304 4580107 140735781656240 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=685808 CPUtime=702.3 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 114793 0 0 0 70189 41 0 0 25 0 4 0 730375600 702267392 112788 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=685808 CPUtime=693.82 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 74679 0 0 0 69357 25 0 0 25 0 4 0 730375601 702267392 112788 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2799.98
Current children cumulated vsize (KiB) 685808

[startup+762.314 s]
/proc/loadavg: 8.12 8.11 8.08 9/371 15110
/proc/meminfo: memFree=22327772/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=699228 CPUtime=3039.31 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 414607 0 0 0 303788 143 0 0 25 0 4 0 730375600 716009472 117699 33554432000 4194304 4580107 140735781656240 18446744073709551615 4406489 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 174807 117699 379 95 0 169789 0
[pid=15045/tid=15046] ppid=15043 vsize=699228 CPUtime=761.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 109021 0 0 0 76128 38 0 0 25 0 4 0 730375600 716009472 117699 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=699228 CPUtime=762.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 120386 0 0 0 76188 43 0 0 25 0 4 0 730375600 716009472 117699 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=699228 CPUtime=753.13 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 75176 0 0 0 75287 26 0 0 25 0 4 0 730375601 716009472 117699 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3039.31
Current children cumulated vsize (KiB) 699228

[startup+822.3 s]
/proc/loadavg: 8.13 8.12 8.08 9/371 15112
/proc/meminfo: memFree=22359092/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=734548 CPUtime=3278.55 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 433126 0 0 0 327704 151 0 0 25 0 4 0 730375600 752177152 109962 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294442 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 183637 109962 379 95 0 178619 0
[pid=15045/tid=15046] ppid=15043 vsize=734548 CPUtime=821.65 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 113648 0 0 0 82125 40 0 0 25 0 4 0 730375600 752177152 109962 33554432000 4194304 4580107 140735781656240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=734548 CPUtime=822.3 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 126429 0 0 0 82184 46 0 0 25 0 4 0 730375600 752177152 109962 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=734548 CPUtime=812.42 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 79177 0 0 0 81214 28 0 0 25 0 4 0 730375601 752177152 109962 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3278.55
Current children cumulated vsize (KiB) 734548

[startup+882.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/371 15113
/proc/meminfo: memFree=22299780/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=765456 CPUtime=3517.83 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 467352 0 0 0 351618 165 0 0 25 0 4 0 730375600 783826944 124925 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 191364 124925 379 95 0 186346 0
[pid=15045/tid=15046] ppid=15043 vsize=765456 CPUtime=881.65 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 121519 0 0 0 88124 41 0 0 25 0 4 0 730375600 783826944 124925 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=765456 CPUtime=882.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 134287 0 0 0 88180 51 0 0 25 0 4 0 730375600 783826944 124925 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=765456 CPUtime=871.7 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 90819 0 0 0 87138 32 0 0 25 0 4 0 730375601 783826944 124925 33554432000 4194304 4580107 140735781656240 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3517.83
Current children cumulated vsize (KiB) 765456

[startup+942.3 s]
/proc/loadavg: 8.15 8.14 8.09 9/371 15115
/proc/meminfo: memFree=22219376/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=685508 CPUtime=3757.13 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 496750 0 0 0 375535 178 0 0 25 0 4 0 730375600 701960192 134243 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 171377 134243 379 95 0 166359 0
[pid=15045/tid=15046] ppid=15043 vsize=685508 CPUtime=941.65 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 128259 0 0 0 94121 44 0 0 25 0 4 0 730375600 701960192 134243 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=685508 CPUtime=942.3 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 144100 0 0 0 94176 54 0 0 25 0 4 0 730375600 701960192 134243 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=685508 CPUtime=931 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 96382 0 0 0 93065 35 0 0 25 0 4 0 730375601 701960192 134243 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3757.13
Current children cumulated vsize (KiB) 685508

[startup+1002.3 s]
/proc/loadavg: 8.19 8.16 8.10 9/371 15117
/proc/meminfo: memFree=22221676/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=803644 CPUtime=3996.41 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 522793 0 0 0 399451 190 0 0 25 0 4 0 730375600 822931456 139368 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 200911 139368 379 95 0 195893 0
[pid=15045/tid=15046] ppid=15043 vsize=803644 CPUtime=1001.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 135113 0 0 0 100118 48 0 0 25 0 4 0 730375600 822931456 139368 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=803644 CPUtime=1002.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 152007 0 0 0 100173 58 0 0 25 0 4 0 730375600 822931456 139368 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=803644 CPUtime=990.29 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 98605 0 0 0 98992 37 0 0 25 0 4 0 730375601 822931456 139368 33554432000 4194304 4580107 140735781656240 18446744073709551615 4305607 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3996.41
Current children cumulated vsize (KiB) 803644

[startup+1062.3 s]
/proc/loadavg: 8.18 8.16 8.10 9/371 15118
/proc/meminfo: memFree=22167680/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=869904 CPUtime=4235.69 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 545814 0 0 0 423370 199 0 0 25 0 4 0 730375600 890781696 148694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 217476 148694 379 95 0 212458 0
[pid=15045/tid=15046] ppid=15043 vsize=869904 CPUtime=1061.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 142430 0 0 0 106116 50 0 0 25 0 4 0 730375600 890781696 148694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=869904 CPUtime=1062.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 160058 0 0 0 106170 61 0 0 25 0 4 0 730375600 890781696 148694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=869904 CPUtime=1049.58 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 99174 0 0 0 104921 37 0 0 25 0 4 0 730375601 890781696 148694 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4235.69
Current children cumulated vsize (KiB) 869904

[startup+1122.3 s]
/proc/loadavg: 8.06 8.12 8.09 9/371 15120
/proc/meminfo: memFree=22194900/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=856324 CPUtime=4474.97 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 561320 0 0 0 447292 205 0 0 25 0 4 0 730375600 876875776 137374 33554432000 4194304 4580107 140735781656240 18446744073709551615 4316677 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 214081 137374 379 95 0 209063 0
[pid=15045/tid=15046] ppid=15043 vsize=856324 CPUtime=1121.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 146614 0 0 0 112115 51 0 0 25 0 4 0 730375600 876875776 137374 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=856324 CPUtime=1122.32 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 162038 0 0 0 112169 63 0 0 25 0 4 0 730375600 876875776 137374 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=856324 CPUtime=1108.87 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 101801 0 0 0 110849 38 0 0 25 0 4 0 730375601 876875776 137374 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4474.97
Current children cumulated vsize (KiB) 856324

[startup+1182.3 s]
/proc/loadavg: 8.02 8.10 8.08 9/371 15121
/proc/meminfo: memFree=22155288/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=816344 CPUtime=4714.26 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 585157 0 0 0 471212 214 0 0 25 0 4 0 730375600 835936256 146388 33554432000 4194304 4580107 140735781656240 18446744073709551615 4293927 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 204086 146388 379 95 0 199068 0
[pid=15045/tid=15046] ppid=15043 vsize=816344 CPUtime=1181.66 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 152722 0 0 0 118112 54 0 0 25 0 4 0 730375600 835936256 146388 33554432000 4194304 4580107 140735781656240 18446744073709551615 4301719 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=816344 CPUtime=1182.31 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 171393 0 0 0 118165 66 0 0 25 0 4 0 730375600 835936256 146388 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=816344 CPUtime=1168.16 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 102584 0 0 0 116778 38 0 0 25 0 4 0 730375601 835936256 146388 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4714.26
Current children cumulated vsize (KiB) 816344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.07 8.11 8.08 9/371 15122
/proc/meminfo: memFree=22156864/32950928 swapFree=65730864/67111528
[pid=15045] ppid=15043 vsize=817088 CPUtime=4800.01 cores=0,2,4,6
/proc/15045/stat : 15045 (strangenight2-m) R 15043 15045 14715 0 -1 4202496 592289 0 0 0 479783 218 0 0 25 0 4 0 730375600 836698112 148811 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/15045/statm: 204272 148811 379 95 0 199254 0
[pid=15045/tid=15046] ppid=15043 vsize=817088 CPUtime=1203.18 cores=0,2,4,6
/proc/15045/task/15046/stat : 15046 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 155620 0 0 0 120263 55 0 0 25 0 4 0 730375600 836698112 148812 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=15045/tid=15047] ppid=15043 vsize=817088 CPUtime=1203.83 cores=0,2,4,6
/proc/15045/task/15047/stat : 15047 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 172764 0 0 0 120316 67 0 0 25 0 4 0 730375600 836698112 148812 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=15045/tid=15048] ppid=15043 vsize=817088 CPUtime=1189.4 cores=0,2,4,6
/proc/15045/task/15048/stat : 15048 (strangenight2-m) R 15043 15045 14715 0 -1 4202560 102584 0 0 0 118902 38 0 0 25 0 4 0 730375601 836698112 148812 33554432000 4194304 4580107 140735781656240 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.01
Current children cumulated vsize (KiB) 817088

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.85
CPU time (s): 4800.09
CPU user time (s): 4797.88
CPU system time (s): 2.20766
CPU usage (%): 398.73
Max. virtual memory (cumulated for all children) (KiB): 962788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.88
system time used= 2.20766
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 592292
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= 334
involuntary context switches= 35229

runsolver used 4.09138 second user time and 10.1775 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 21:30:49
IDJOB=3366310
IDBENCH=82719
IDSOLVER=1844
FILE ID=node116/3366310-1305401449
RUNJOBID= node116-1305401449-15030
PBS_JOBID= 13324469
Free space on /tmp= 73136 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366310-1305401449/watcher-3366310-1305401449 -o /tmp/evaluation-result-3366310-1305401449/solver-3366310-1305401449 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366310-1305401449.cnf

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

MD5SUM BENCH= cf48efaad74dd9e258ebbccf8ec047e7
RANDOM SEED=1596744805

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23315648 kB
Buffers:         27696 kB
Cached:         109448 kB
SwapCached:      12356 kB
Active:        9378832 kB
Inactive:        49884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23315648 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           10112 kB
Writeback:           0 kB
AnonPages:     9289856 kB
Mapped:          15384 kB
Slab:            96852 kB
PageTables:      44312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82748076 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= 73124 MiB
End job on node116 at 2011-05-14 21:50:55