Trace number 3173901

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.26 1201.74

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.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-3173901-1304072695.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.01	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     285 undec:      74 neg:     291
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       641      2760         0         0      8340         0   no data   no data
0.27/0.07	c Decided on static restart strategy
0.37/0.18	c  N st     8      4919       641      2760         0      4861      8340    147075   no data   no data
1.57/0.45	c  N st    10     11303       641      2760         0      4496      8340     89908   no data   no data
2.77/0.75	c  N st    11     17048       641      2760         0     10182      8340    270158   no data   no data
4.77/1.21	c  F st    12     25002       641      2760         0     12486      8340    324912   no data   no data
4.77/1.21	c  N st    12     25002       641      2760         0     12486      8340    324912   no data   no data
5.56/1.47	c Decided on static restart strategy
5.56/1.47	c  N st    18     30001       641      2760         0     10736      8340    247576   no data   no data
5.56/1.47	c  S st    18     30001       641      2760         0     10736      8340    247576   no data   no data
5.96/1.50	c  S st    18     30505       641      2760         0     11239      8340    261085   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.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.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.57	c lits-rem:        88  cl-subs:      247  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.57	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
5.96/1.57	c calculated reachability. Time: 0.00
5.96/1.57	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.56/2.42	c  N st    21     44015       641      2760         0     16525      8340    391649   no data   no data
9.96/2.55	c  S st    22     45757       641      2760         0      9440      8340    162388   no data   no data
9.96/2.58	c  S st    22     46263       641      2760         0      9946      8340    175919   no data   no data
9.96/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
9.96/2.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.60	c lits-rem:        22  cl-subs:       44  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.60	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c vivif2 --  cl tried     9902 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
10.36/2.61	c calculated reachability. Time: 0.00
10.36/2.61	c  N st    22     46263       641      2760         0      9902      8340    174630   no data   no data
13.94/3.56	c  N st    23     60662       641      2760         0     14223      8340    291847   no data   no data
17.17/4.31	c  N st    24     69396       641      2760         0     12012      8340    212373   no data   no data
17.17/4.31	c  S st    24     69396       641      2760         0     12012      8340    212373   no data   no data
17.17/4.34	c  S st    24     69897       641      2760         0     12513      8340    224667   no data   no data
17.17/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.17/4.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.17/4.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.17/4.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.17/4.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
17.17/4.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.17/4.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.17/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.17/4.37	c lits-rem:        36  cl-subs:       91  v-elim:      0  v-fix:    0  time:  0.02 s
17.17/4.37	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
17.17/4.38	c vivif2 --  cl tried    12422 cl shrink        0 lits rem          0 time: 0.00
17.17/4.38	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
17.17/4.38	c calculated reachability. Time: 0.00
17.17/4.38	c  N st    24     69897       641      2760         0     12422      8340    221906   no data   no data
22.34/5.70	c  F st    25     87502       641      2760         0     17979      8340    379359   no data   no data
22.74/5.70	c  N st    25     87502       641      2760         0     17979      8340    379359   no data   no data
24.34/6.12	c Decided on static restart strategy
25.14/6.37	c  N st    32     95541       641      2760         0     13115      8340    209705   no data   no data
27.93/7.06	c  N st    34    104846       641      2760         0     22249      8340    475618   no data   no data
27.93/7.06	c  S st    34    104846       641      2760         0     22249      8340    475618   no data   no data
28.34/7.11	c  S st    34    105350       641      2760         0     22753      8340    489097   no data   no data
28.34/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.34/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.34/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.34/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.34/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
28.34/7.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.34/7.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.34/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.33	c lits-rem:       113  cl-subs:      710  v-elim:      0  v-fix:    0  time:  0.18 s
29.13/7.33	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
29.13/7.33	c vivif2 --  cl tried    22043 cl shrink        0 lits rem          0 time: 0.00
29.13/7.34	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.01
29.13/7.35	c calculated reachability. Time: 0.00
29.13/7.35	c  N st    34    105350       641      2760         0     22043      8340    465255   no data   no data
32.32/8.12	c  N st    35    114948       641      2760         0     17713      8340    309412   no data   no data
37.52/9.46	c  N st    36    129346       641      2760         0     17129      8340    273638   no data   no data
45.91/11.54	c  N st    37    150941       641      2760         0     22619      8340    423050   no data   no data
49.10/12.33	c  S st    38    158025       641      2760         0     29586      8340    616653   no data   no data
49.50/12.40	c  S st    38    158527       641      2760         0     30088      8340    630423   no data   no data
49.50/12.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.50/12.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.50/12.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.50/12.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.50/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.50/12.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
49.50/12.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.50/12.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.50/12.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.10/12.86	c lits-rem:       256  cl-subs:     1106  v-elim:      0  v-fix:    0  time:  0.42 s
51.10/12.86	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
51.10/12.87	c vivif2 --  cl tried    28982 cl shrink        0 lits rem          0 time: 0.01
51.10/12.89	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
51.10/12.89	c calculated reachability. Time: 0.00
51.10/12.89	c  N st    38    158527       641      2760         0     28982      8340    595853   no data   no data
72.27/18.17	c  N st    39    207115       641      2760         0     23612      8340    406251   no data   no data
86.66/21.73	c  N st    40    237790       641      2760         0     34257      8340    689495   no data   no data
86.66/21.73	c  S st    40    237790       641      2760         0     34257      8340    689495   no data   no data
87.06/21.82	c  S st    40    238293       641      2760         0     34760      8340    703772   no data   no data
87.06/21.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.06/21.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.06/21.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.06/21.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.06/21.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.06/21.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
87.06/21.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
87.06/21.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.06/21.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.05/22.39	c lits-rem:       128  cl-subs:     1190  v-elim:      0  v-fix:    0  time:  0.52 s
89.05/22.39	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
89.45/22.40	c vivif2 --  cl tried    33570 cl shrink        0 lits rem          0 time: 0.01
89.45/22.42	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
89.45/22.42	c calculated reachability. Time: 0.00
89.45/22.42	c  N st    40    238293       641      2760         0     33570      8340    667624   no data   no data
121.81/30.51	c  F st    41    306253       641      2760         0     35354      8340    661920   no data   no data
121.81/30.51	c  N st    41    306253       641      2760         0     35354      8340    661920   no data   no data
132.59/33.21	c  N dy   118    325818       641      2760         0     31063      8340    461345     18.76     20.97
144.18/36.19	c  N dy   216    345859       641      2760         0     26208      8340    283393     18.91     20.30
149.76/37.58	c  S st   258    357441       641      2760         0     37666      8340    595624     18.82     17.16
150.16/37.67	c  S st   258    357942       641      2760         0     38166      8340    610202     18.82   no data
150.16/37.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.16/37.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.16/37.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.16/37.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.16/37.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.16/37.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
150.16/37.68	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.16/37.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.56/37.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.37/37.90	c lits-rem:       109  cl-subs:      486  v-elim:      0  v-fix:    0  time:  0.19 s
151.37/37.90	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
151.37/37.91	c vivif2 --  cl tried    37680 cl shrink        0 lits rem          0 time: 0.01
151.37/37.94	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.02
151.37/37.94	c calculated reachability. Time: 0.00
151.37/37.94	c  N dy   258    357942       641      2760         0     37680      8340    596139     18.82   no data
162.57/40.78	c  N dy   324    378107       641      2760         0     31924      8340    410045     18.71     19.73
175.35/43.91	c  N dy   397    398124       641      2760         0     51733      8340    945426     18.68     22.89
186.51/46.77	c  N dy   471    418288       641      2760         0     44999      8340    740275     18.61     19.64
199.70/50.07	c  N dy   556    439247       641      2760         0     38028      8340    529632     18.63     19.64
214.08/53.68	c  N dy   632    459268       641      2760         0     29135      8340    256987     18.60     19.82
225.66/56.50	c  N dy   708    479394       641      2760         0     49074      8340    813140     18.59     19.60
238.84/59.82	c  N dy   790    499470       641      2760         0     39263      8340    516258     18.59     19.57
253.23/63.43	c  N dy   862    519514       641      2760         0     59098      8340   1061355     18.57     19.58
264.00/66.15	c  S st   946    536913       641      2760         0     45626      8340    662167     18.59     16.10
264.40/66.26	c  S st   946    537422       641      2760         0     46133      8340    676073     18.59   no data
264.40/66.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
264.40/66.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
264.40/66.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
264.40/66.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
264.40/66.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
264.40/66.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
264.40/66.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
264.40/66.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
264.80/66.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
265.60/66.58	c lits-rem:       152  cl-subs:      602  v-elim:      0  v-fix:    0  time:  0.27 s
265.60/66.58	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
265.60/66.59	c vivif2 --  cl tried    45531 cl shrink        0 lits rem          0 time: 0.01
266.00/66.63	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.03
266.00/66.63	c calculated reachability. Time: 0.00
266.00/66.63	c  N dy   946    537422       641      2760         0     45531      8340    658613     18.59   no data
281.21/70.50	c  N dy  1039    557453       641      2760         0     33668      8340    311866     18.62     19.85
293.98/73.64	c  N dy  1132    577632       641      2760         0     53675      8340    864462     18.64     19.68
309.14/77.44	c  N dy  1245    597734       641      2760         0     40909      8340    491903     18.70     21.24
324.33/81.28	c  N dy  1339    618306       641      2760         0     61302      8340   1058920     18.72     19.77
339.10/84.97	c  N dy  1468    638412       641      2760         0     47546      8340    653452     18.78     19.90
356.28/89.24	c  N dy  1554    658593       641      2760         0     67516      8340   1207129     18.79     19.80
370.26/92.74	c  N dy  1617    679623       641      2760         0     53646      8340    799936     18.75     19.79
390.24/97.70	c  N dy  1705    700614       641      2760         0     38772      8340    359987     18.76     20.22
406.62/101.80	c  N dy  1828    720615       641      2760         0     58613      8340    915557     18.81     20.39
424.59/106.37	c  N dy  1921    741531       641      2760         0     42645      8340    450748     18.82     19.94
442.96/110.97	c  N dy  1992    765633       641      2760         0     66530      8340   1122854     18.80     19.89
460.54/115.31	c  N dy  2080    786208       641      2760         0     49287      8340    610542     18.81     19.80
478.11/119.77	c  S st  2184    806135       641      2760         0     69022      8340   1158959     18.83   no data
478.93/119.95	c  S st  2184    806636       641      2760         0     69523      8340   1172886     18.83   no data
478.93/119.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
478.93/119.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
478.93/119.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
478.93/119.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
478.93/119.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
478.93/119.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
478.93/119.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
479.31/120.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
479.31/120.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.11/120.78	c lits-rem:       181  cl-subs:     1080  v-elim:      0  v-fix:    0  time:  0.75 s
482.11/120.78	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
482.51/120.80	c vivif2 --  cl tried    68443 cl shrink        0 lits rem          0 time: 0.02
482.51/120.86	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.06
482.51/120.86	c calculated reachability. Time: 0.00
482.51/120.86	c  N dy  2184    806636       641      2760         0     68443      8340   1139203     18.83   no data
499.28/125.02	c  N dy  2259    826736       641      2760         0     49703      8340    601009     18.82     20.90
517.67/129.64	c  N dy  2372    846755       641      2760         0     69551      8340   1159684     18.85     19.90
536.43/134.33	c  N dy  2491    866852       641      2760         0     49832      8340    582816     18.88     22.35
554.01/138.77	c  N dy  2592    886886       641      2760         0     69684      8340   1137007     18.89     19.90
572.78/143.45	c  N dy  2680    906897       641      2760         0     48869      8340    534111     18.91     19.92
590.36/147.90	c  N dy  2778    927168       641      2760         0     68962      8340   1098449     18.92     20.02
611.93/153.22	c  N dy  2861    947208       641      2760         0     47228      8340    462716     18.93     20.17
637.50/159.66	c  N dy  2956    976674       641      2760         0     76346      8340   1274480     18.90     20.11
656.67/164.41	c  N dy  3039    996722       641      2760         0     53651      8340    623780     18.91     21.30
675.44/169.15	c  N dy  3117   1016879       641      2760         0     73626      8340   1184975     18.91     20.11
697.81/174.70	c  N dy  3215   1037195       641      2760         0     50150      8340    502375     18.92     19.93
716.21/179.37	c  N dy  3336   1057382       641      2760         0     70158      8340   1067716     18.94     20.01
733.39/183.69	c  F st  3390   1071876       641      2760         0     84515      8340   1467005     18.94     17.04
740.16/185.34	c Decided on static restart strategy
741.76/185.74	c  N st  3397   1079915       641      2760         0     47905      8340    422281     18.94   no data
756.13/189.32	c  N st  3400   1100183       641      2760         0     67906      8340   1006705     18.94   no data
791.68/198.29	c  N st  3402   1136177       641      2760         0     57861      8340   1089412     18.94   no data
826.84/207.00	c  N st  3403   1168569       641      2760         0     89646      8340   2018681     18.94   no data
877.97/219.87	c  N st  3404   1209954       641      2760         0     83981      8340   1883823     18.94   no data
877.97/219.87	c  S st  3404   1209954       641      2760         0     83981      8340   1883823     18.94   no data
879.17/220.13	c  S st  3404   1210457       641      2760         0     84484      8340   1897474     18.94   no data
879.17/220.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
879.17/220.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
879.17/220.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
879.17/220.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
879.17/220.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
879.17/220.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
879.17/220.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
879.56/220.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
879.56/220.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
910.73/228.06	c lits-rem:       491  cl-subs:     4415  v-elim:      0  v-fix:    0  time:  7.79 s
910.73/228.06	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
910.73/228.08	c vivif2 --  cl tried    80069 cl shrink        0 lits rem          0 time: 0.02
911.13/228.16	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.08
911.13/228.16	c calculated reachability. Time: 0.00
911.13/228.16	c  N st  3404   1210457       641      2760         0     80069      8340   1755488     18.94   no data
987.02/247.13	c  N st  3405   1283339       641      2760         0     56534      8340    917607     18.94   no data
1094.47/274.04	c  N st  3406   1392662       641      2760         0     64748      8340   1104290     18.94   no data
1269.86/317.99	c  N st  3407   1556646       641      2760         0     69237      8340   1143690     18.94   no data
1448.39/362.67	c  N st  3408   1710458       641      2760         0    110966      8340   2302747     18.94   no data
1448.39/362.67	c  S st  3408   1710458       641      2760         0    110966      8340   2302747     18.94   no data
1450.01/363.05	c  S st  3408   1710961       641      2760         0    111469      8340   2316315     18.94   no data
1450.01/363.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1450.38/363.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1450.38/363.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1450.38/363.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1450.38/363.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1450.38/363.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
1450.38/363.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1450.38/363.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1450.78/363.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1525.49/381.94	c lits-rem:       894  cl-subs:     8009  v-elim:      0  v-fix:    0  time: 18.72 s
1525.49/381.94	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
1525.49/381.97	c vivif2 --  cl tried   103460 cl shrink        0 lits rem          0 time: 0.03
1525.89/382.08	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.11
1525.89/382.08	c calculated reachability. Time: 0.00
1525.89/382.08	c  N st  3408   1710961       641      2760         0    103460      8340   2095224     18.94   no data
1977.66/495.10	c  N st  3409   2079926       641      2760         0    115374      8340   2350423     18.94   no data
2169.80/543.21	c  N st  3410   2210961       641      2760         0    119525      8340   2337941     18.94   no data
2169.80/543.21	c  S st  3410   2210961       641      2760         0    119525      8340   2337941     18.94   no data
2171.00/543.59	c  S st  3410   2211465       641      2760         0    120027      8340   2351877     18.94   no data
2171.40/543.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2171.40/543.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2171.40/543.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2171.40/543.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2171.40/543.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2171.40/543.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
2171.40/543.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2171.79/543.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2171.79/543.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2250.09/563.37	c lits-rem:       602  cl-subs:     7209  v-elim:      0  v-fix:    0  time: 19.60 s
2250.09/563.37	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
2250.49/563.40	c vivif2 --  cl tried   112818 cl shrink        0 lits rem          0 time: 0.03
2250.89/563.52	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.12
2250.89/563.52	c calculated reachability. Time: 0.00
2250.89/563.52	c  N st  3410   2211465       641      2760         0    112818      8340   2145500     18.94   no data
2976.30/745.14	c  N st  3411   2711465       641      2760         0    136789      8340   2783213     18.94   no data
2976.30/745.14	c  S st  3411   2711465       641      2760         0    136789      8340   2783213     18.94   no data
2978.30/745.61	c  S st  3411   2711971       641      2760         0    137295      8340   2798037     18.94   no data
2978.30/745.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2978.30/745.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2978.30/745.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2978.30/745.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2978.30/745.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2978.30/745.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
2978.30/745.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2978.71/745.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2979.11/745.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3065.78/767.53	c lits-rem:       425  cl-subs:     7046  v-elim:      0  v-fix:    0  time: 21.71 s
3065.78/767.53	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
3065.78/767.57	c vivif2 --  cl tried   130249 cl shrink        0 lits rem          0 time: 0.04
3066.60/767.71	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.14
3066.60/767.72	c calculated reachability. Time: 0.00
3066.60/767.72	c  N st  3411   2711971       641      2760         0    130249      8340   2590086     18.94   no data
3851.90/964.34	c  N st  3412   3211971       641      2760         0    106348      8340   1782616     18.94   no data
3851.90/964.34	c  S st  3412   3211971       641      2760         0    106348      8340   1782616     18.94   no data
3853.12/964.68	c  S st  3412   3212474       641      2760         0    106851      8340   1796623     18.94   no data
3853.12/964.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3853.52/964.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
3853.52/964.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3853.52/964.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3853.52/964.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3853.52/964.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
3853.52/964.75	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3853.52/964.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3853.90/964.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3872.67/969.50	c lits-rem:       391  cl-subs:     2472  v-elim:      0  v-fix:    0  time:  4.67 s
3872.67/969.50	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
3872.67/969.53	c vivif2 --  cl tried   104379 cl shrink        0 lits rem          0 time: 0.02
3873.07/969.63	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.10
3873.07/969.63	c calculated reachability. Time: 0.00
3873.07/969.63	c  N st  3412   3212474       641      2760         0    104379      8340   1714162     18.94   no data
4655.99/1165.65	c  N st  3413   3712476       641      2760         0    114062      8340   1825303     18.94   no data
4655.99/1165.65	c  S st  3413   3712476       641      2760         0    114062      8340   1825303     18.94   no data
4657.61/1166.03	c  S st  3413   3712979       641      2760         0    114564      8340   1839385     18.94   no data
4657.61/1166.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4657.61/1166.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4657.61/1166.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4657.61/1166.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4657.61/1166.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4657.61/1166.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    641 time:  0.00 s
4657.61/1166.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4657.98/1166.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4657.98/1166.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4689.94/1174.11	c lits-rem:       627  cl-subs:     4876  v-elim:      0  v-fix:    0  time:  7.92 s
4689.94/1174.11	c vivif2 --  cl tried     2760 cl shrink        0 lits rem          0 time: 0.00
4689.94/1174.13	c vivif2 --  cl tried   109688 cl shrink        0 lits rem          0 time: 0.03
4690.34/1174.25	c asymm  cl-useful: 0/2760/2760 lits-rem:0 time: 0.12
4690.34/1174.25	c calculated reachability. Time: 0.00
4690.34/1174.25	c  N st  3413   3712979       641      2760         0    109688      8340   1700321     18.94   no data
4750.66/1189.34	c  F st  3414   3751564       641      2760         0    147494      8340   2858808     18.94   no data
4750.66/1189.34	c  N st  3414   3751564       641      2760         0    147494      8340   2858808     18.94   no data
4762.25/1192.22	c Decided on static restart strategy

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-3173901-1304072695/watcher-3173901-1304072695 -o /tmp/evaluation-result-3173901-1304072695/solver-3173901-1304072695 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173901-1304072695.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: 1.99 4.53 6.11 2/174 26152
/proc/meminfo: memFree=17457720/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 407 0 0 0 0 0 0 0 24 0 4 0 597500268 52441088 347 33554432000 4194304 4627427 140734640314960 18446744073709551615 47490229389234 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 12803 347 299 106 0 7774 0
[pid=26152/tid=26156] ppid=26149 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 597500268 52441088 347 33554432000 4194304 4627427 140734640314960 18446744073709551615 47490229389234 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597500268 52441088 347 33554432000 4194304 4627427 140734640314960 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 597500268 52441088 347 33554432000 4194304 4627427 140734640314960 18446744073709551615 216000390198 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.075827 s]
/proc/loadavg: 1.99 4.53 6.11 2/174 26152
/proc/meminfo: memFree=17457720/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=282572 CPUtime=0.27 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 1733 0 0 0 27 0 0 0 25 0 4 0 597500268 289353728 1605 33554432000 4194304 4627427 140734640314960 18446744073709551615 4333184 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 70643 1605 384 106 0 65614 0
[pid=26152/tid=26156] ppid=26149 vsize=282572 CPUtime=0.06 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 362 0 0 0 6 0 0 0 25 0 4 0 597500268 289353728 1605 33554432000 4194304 4627427 140734640314960 18446744073709551615 4327262 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=282572 CPUtime=0.06 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 389 0 0 0 6 0 0 0 25 0 4 0 597500268 289353728 1605 33554432000 4194304 4627427 140734640314960 18446744073709551615 4330217 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=282572 CPUtime=0.06 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 217 0 0 0 6 0 0 0 25 0 4 0 597500268 289353728 1605 33554432000 4194304 4627427 140734640314960 18446744073709551615 215988697631 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282572

[startup+0.100822 s]
/proc/loadavg: 1.99 4.53 6.11 2/174 26152
/proc/meminfo: memFree=17457720/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=282572 CPUtime=0.37 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 1880 0 0 0 37 0 0 0 25 0 4 0 597500268 289353728 1752 33554432000 4194304 4627427 140734640314960 18446744073709551615 4332978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 70643 1752 384 106 0 65614 0
[pid=26152/tid=26156] ppid=26149 vsize=282572 CPUtime=0.09 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 400 0 0 0 9 0 0 0 25 0 4 0 597500268 289353728 1752 33554432000 4194304 4627427 140734640314960 18446744073709551615 4299638 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=282572 CPUtime=0.09 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 429 0 0 0 9 0 0 0 25 0 4 0 597500268 289353728 1752 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=282572 CPUtime=0.09 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 253 0 0 0 9 0 0 0 25 0 4 0 597500268 289353728 1752 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282572

[startup+0.300788 s]
/proc/loadavg: 1.99 4.53 6.11 2/174 26152
/proc/meminfo: memFree=17457720/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=283952 CPUtime=1.17 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 3047 0 0 0 117 0 0 0 25 0 4 0 597500268 290766848 2242 33554432000 4194304 4627427 140734640314960 18446744073709551615 4327595 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 70988 2242 385 106 0 65959 0
[pid=26152/tid=26156] ppid=26149 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 697 0 0 0 29 0 0 0 25 0 4 0 597500268 290766848 2242 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 743 0 0 0 29 0 0 0 25 0 4 0 597500268 290766848 2242 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 538 0 0 0 29 0 0 0 25 0 4 0 597500268 290766848 2242 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283952

[startup+0.700719 s]
/proc/loadavg: 1.99 4.53 6.11 2/174 26152
/proc/meminfo: memFree=17457720/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=284780 CPUtime=2.77 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 4776 0 0 0 277 0 0 0 25 0 4 0 597500268 291614720 2932 33554432000 4194304 4627427 140734640314960 18446744073709551615 4333301 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 71195 2932 385 106 0 66166 0
[pid=26152/tid=26156] ppid=26149 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 1120 0 0 0 69 0 0 0 25 0 4 0 597500268 291614720 2932 33554432000 4194304 4627427 140734640314960 18446744073709551615 4327355 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 1171 0 0 0 69 0 0 0 25 0 4 0 597500268 291614720 2932 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=284780 CPUtime=0.69 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 982 0 0 0 69 0 0 0 25 0 4 0 597500268 291614720 2932 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284780

[startup+1.50058 s]
/proc/loadavg: 2.55 4.60 6.13 10/184 26162
/proc/meminfo: memFree=17434592/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=286192 CPUtime=5.96 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 8193 0 0 0 595 1 0 0 25 0 4 0 597500268 293060608 3458 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 71548 3458 386 106 0 66519 0
[pid=26152/tid=26156] ppid=26149 vsize=286192 CPUtime=1.48 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 1965 0 0 0 148 0 0 0 25 0 4 0 597500268 293060608 3458 33554432000 4194304 4627427 140734640314960 18446744073709551615 4299595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=286192 CPUtime=1.48 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 2063 0 0 0 148 0 0 0 25 0 4 0 597500268 293060608 3458 33554432000 4194304 4627427 140734640314960 18446744073709551615 4330046 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=286192 CPUtime=1.49 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 1819 0 0 0 149 0 0 0 25 0 4 0 597500268 293060608 3458 33554432000 4194304 4627427 140734640314960 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286192

[startup+3.1003 s]
/proc/loadavg: 2.55 4.60 6.13 10/184 26162
/proc/meminfo: memFree=17409544/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=277928 CPUtime=12.36 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 18881 0 0 0 1233 3 0 0 25 0 4 0 597500268 284598272 10968 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 69482 10968 391 106 0 64453 0
[pid=26152/tid=26156] ppid=26149 vsize=277928 CPUtime=3.08 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 4171 0 0 0 308 0 0 0 25 0 4 0 597500268 284598272 10968 33554432000 4194304 4627427 140734640314960 18446744073709551615 4310363 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=277928 CPUtime=3.08 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 5535 0 0 0 307 1 0 0 25 0 4 0 597500268 284598272 10968 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=277928 CPUtime=3.08 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 4074 0 0 0 308 0 0 0 25 0 4 0 597500268 284598272 10968 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 277928

[startup+6.30074 s]
/proc/loadavg: 2.55 4.60 6.13 10/184 26162
/proc/meminfo: memFree=17345448/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=288228 CPUtime=25.14 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 27889 0 0 0 2509 5 0 0 25 0 4 0 597500268 295145472 14535 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 72057 14535 389 106 0 67028 0
[pid=26152/tid=26156] ppid=26149 vsize=288228 CPUtime=6.28 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 6865 0 0 0 627 1 0 0 25 0 4 0 597500268 295145472 14535 33554432000 4194304 4627427 140734640314960 18446744073709551615 4332840 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=288228 CPUtime=6.25 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 7681 0 0 0 624 1 0 0 25 0 4 0 597500268 295145472 14535 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=288228 CPUtime=6.28 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 5945 0 0 0 628 0 0 0 25 0 4 0 597500268 295145472 14535 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 288228

[startup+12.7006 s]
/proc/loadavg: 3.53 4.75 6.16 10/184 26162
/proc/meminfo: memFree=17273552/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=284576 CPUtime=50.7 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 45564 0 0 0 5061 9 0 0 25 0 4 0 597500268 291405824 24599 33554432000 4194304 4627427 140734640314960 18446744073709551615 4420275 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 71144 24599 389 106 0 66115 0
[pid=26152/tid=26156] ppid=26149 vsize=284576 CPUtime=12.69 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 10259 0 0 0 1267 2 0 0 25 0 4 0 597500268 291405824 24599 33554432000 4194304 4627427 140734640314960 18446744073709551615 4332997 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=284576 CPUtime=12.62 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 12592 0 0 0 1260 2 0 0 25 0 4 0 597500268 291405824 24599 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=284576 CPUtime=12.68 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 10175 0 0 0 1267 1 0 0 25 0 4 0 597500268 291405824 24599 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 284576

[startup+25.5004 s]
/proc/loadavg: 4.22 4.85 6.18 10/184 26163
/proc/meminfo: memFree=17213700/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=304216 CPUtime=101.83 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 65448 0 0 0 10170 13 0 0 25 0 4 0 597500268 311517184 31439 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 76054 31439 389 106 0 71025 0
[pid=26152/tid=26156] ppid=26149 vsize=304216 CPUtime=25.48 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 13251 0 0 0 2546 2 0 0 25 0 4 0 597500268 311517184 31439 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=304216 CPUtime=25.35 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 17357 0 0 0 2532 3 0 0 25 0 4 0 597500268 311517184 31439 33554432000 4194304 4627427 140734640314960 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=304216 CPUtime=25.48 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 16211 0 0 0 2545 3 0 0 25 0 4 0 597500268 311517184 31439 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 304216

[startup+51.1009 s]
/proc/loadavg: 5.71 5.15 6.23 10/184 26163
/proc/meminfo: memFree=17148100/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=294628 CPUtime=204.09 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 90566 0 0 0 20389 20 0 0 25 0 4 0 597500268 301699072 37142 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 73657 37142 389 106 0 68628 0
[pid=26152/tid=26156] ppid=26149 vsize=294628 CPUtime=51.09 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 21568 0 0 0 5104 5 0 0 25 0 4 0 597500268 301699072 37142 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=294628 CPUtime=50.81 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 24257 0 0 0 5076 5 0 0 25 0 4 0 597500268 301699072 37142 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309179 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=294628 CPUtime=51.08 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 23466 0 0 0 5103 5 0 0 25 0 4 0 597500268 301699072 37142 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 294628

[startup+102.307 s]
/proc/loadavg: 7.09 5.62 6.33 10/184 26165
/proc/meminfo: memFree=17026588/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=442500 CPUtime=408.63 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 134844 0 0 0 40831 32 0 0 25 0 4 0 597500268 453120000 51908 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 110625 51908 389 106 0 105596 0
[pid=26152/tid=26156] ppid=26149 vsize=442500 CPUtime=102.29 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 38839 0 0 0 10221 8 0 0 25 0 4 0 597500268 453120000 51908 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=442500 CPUtime=101.73 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 34891 0 0 0 10165 8 0 0 25 0 4 0 597500268 453120000 51908 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=442500 CPUtime=102.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 35771 0 0 0 10220 9 0 0 25 0 4 0 597500268 453120000 51908 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 442500

[startup+162.3 s]

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

[pid=26152] ppid=26149 vsize=675428 CPUtime=2805.34 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 438197 0 0 0 280383 151 0 0 25 0 4 0 597500268 691638272 113023 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 168857 113023 389 106 0 163828 0
[pid=26152/tid=26156] ppid=26149 vsize=675428 CPUtime=702.3 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 125778 0 0 0 70184 46 0 0 25 0 4 0 597500268 691638272 113023 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=675428 CPUtime=698.48 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 109818 0 0 0 69811 37 0 0 25 0 4 0 597500268 691638272 113023 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=675428 CPUtime=702.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 107417 0 0 0 70193 36 0 0 25 0 4 0 597500268 691638272 113023 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 675428

[startup+762.307 s]
/proc/loadavg: 8.02 7.79 7.20 9/184 26182
/proc/meminfo: memFree=16594880/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=688848 CPUtime=3045.04 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 461969 0 0 0 304343 161 0 0 25 0 4 0 597500268 705380352 116609 33554432000 4194304 4627427 140734640314960 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 172212 116609 389 106 0 167183 0
[pid=26152/tid=26156] ppid=26149 vsize=688848 CPUtime=762.31 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 132783 0 0 0 76182 49 0 0 25 0 4 0 597500268 705380352 116609 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=688848 CPUtime=758.16 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 116767 0 0 0 75776 40 0 0 25 0 4 0 597500268 705380352 116609 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=688848 CPUtime=762.3 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 112152 0 0 0 76193 37 0 0 25 0 4 0 597500268 705380352 116609 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 688848

[startup+822.301 s]
/proc/loadavg: 8.00 7.83 7.25 10/184 26184
/proc/meminfo: memFree=16540796/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=637952 CPUtime=3284.68 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 489578 0 0 0 328298 170 0 0 25 0 4 0 597500268 653262848 115797 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309182 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 159488 115797 389 106 0 154459 0
[pid=26152/tid=26156] ppid=26149 vsize=637952 CPUtime=822.3 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 140271 0 0 0 82178 52 0 0 25 0 4 0 597500268 653262848 115797 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=637952 CPUtime=817.83 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 125811 0 0 0 81740 43 0 0 25 0 4 0 597500268 653262848 115797 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=637952 CPUtime=822.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 116500 0 0 0 82190 39 0 0 25 0 4 0 597500268 653262848 115797 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 637952

[startup+882.3 s]
/proc/loadavg: 8.19 7.91 7.31 10/184 26188
/proc/meminfo: memFree=16515272/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=768892 CPUtime=3524.34 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 518200 0 0 0 352252 182 0 0 25 0 4 0 597500268 787345408 125978 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 192223 125978 389 106 0 187194 0
[pid=26152/tid=26156] ppid=26149 vsize=768892 CPUtime=882.3 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 150003 0 0 0 88175 55 0 0 25 0 4 0 597500268 787345408 125978 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=768892 CPUtime=877.5 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 133400 0 0 0 87703 47 0 0 25 0 4 0 597500268 787345408 125978 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=768892 CPUtime=882.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 124246 0 0 0 88187 42 0 0 25 0 4 0 597500268 787345408 125978 33554432000 4194304 4627427 140734640314960 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.34
Current children cumulated vsize (KiB) 768892

[startup+942.301 s]
/proc/loadavg: 8.07 7.93 7.35 10/184 26190
/proc/meminfo: memFree=16468516/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=729948 CPUtime=3764.02 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 541050 0 0 0 376210 192 0 0 25 0 4 0 597500268 747466752 134979 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 182487 134979 389 106 0 177458 0
[pid=26152/tid=26156] ppid=26149 vsize=729948 CPUtime=942.3 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 156691 0 0 0 94172 58 0 0 25 0 4 0 597500268 747466752 134979 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=729948 CPUtime=937.17 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 139263 0 0 0 93668 49 0 0 25 0 4 0 597500268 747466752 134979 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=729948 CPUtime=942.29 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 130012 0 0 0 94185 44 0 0 25 0 4 0 597500268 747466752 134979 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 729948

[startup+1002.3 s]
/proc/loadavg: 8.06 7.95 7.40 10/184 26192
/proc/meminfo: memFree=16390500/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=782452 CPUtime=4003.69 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 563590 0 0 0 400168 201 0 0 25 0 4 0 597500268 801230848 140455 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 195613 140455 389 106 0 190584 0
[pid=26152/tid=26156] ppid=26149 vsize=782452 CPUtime=1002.3 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 163430 0 0 0 100169 61 0 0 25 0 4 0 597500268 801230848 140455 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=782452 CPUtime=996.84 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 147439 0 0 0 99632 52 0 0 25 0 4 0 597500268 801230848 140455 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=782452 CPUtime=1002.3 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 136638 0 0 0 100184 46 0 0 25 0 4 0 597500268 801230848 140455 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 782452

[startup+1062.3 s]
/proc/loadavg: 8.06 7.97 7.44 10/184 26193
/proc/meminfo: memFree=16379444/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=783272 CPUtime=4243.36 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 583925 0 0 0 424126 210 0 0 25 0 4 0 597500268 802070528 135362 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 195818 135362 389 106 0 190789 0
[pid=26152/tid=26156] ppid=26149 vsize=783272 CPUtime=1062.31 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 170280 0 0 0 106166 65 0 0 25 0 4 0 597500268 802070528 135362 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=783272 CPUtime=1056.52 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 155569 0 0 0 105596 56 0 0 25 0 4 0 597500268 802070528 135362 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=783272 CPUtime=1062.3 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 139339 0 0 0 106183 47 0 0 25 0 4 0 597500268 802070528 135362 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.36
Current children cumulated vsize (KiB) 783272

[startup+1122.3 s]
/proc/loadavg: 8.09 8.00 7.48 10/184 26195
/proc/meminfo: memFree=16273404/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=1009328 CPUtime=4483.01 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 608623 0 0 0 448082 219 0 0 25 0 4 0 597500268 1033551872 154191 33554432000 4194304 4627427 140734640314960 18446744073709551615 4338564 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 252332 154191 389 106 0 247303 0
[pid=26152/tid=26156] ppid=26149 vsize=1009328 CPUtime=1122.31 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 176438 0 0 0 112165 66 0 0 25 0 4 0 597500268 1033551872 154191 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=1009328 CPUtime=1116.18 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 160682 0 0 0 111560 58 0 0 25 0 4 0 597500268 1033551872 154191 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=1009328 CPUtime=1122.3 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 147353 0 0 0 112180 50 0 0 25 0 4 0 597500268 1033551872 154191 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.01
Current children cumulated vsize (KiB) 1009328

[startup+1182.3 s]
/proc/loadavg: 8.26 8.06 7.53 10/184 26196
/proc/meminfo: memFree=16320892/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=796188 CPUtime=4722.7 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 626233 0 0 0 472042 228 0 0 25 0 4 0 597500268 815296512 147492 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 199047 147492 389 106 0 194018 0
[pid=26152/tid=26156] ppid=26149 vsize=796188 CPUtime=1182.31 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 183030 0 0 0 118162 69 0 0 25 0 4 0 597500268 815296512 147492 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=796188 CPUtime=1175.86 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 167099 0 0 0 117525 61 0 0 25 0 4 0 597500268 815296512 147492 33554432000 4194304 4627427 140734640314960 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=796188 CPUtime=1182.3 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 151488 0 0 0 118178 52 0 0 25 0 4 0 597500268 815296512 147492 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 796188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.18 8.05 7.54 9/184 26197
/proc/meminfo: memFree=16315308/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=850108 CPUtime=4800.21 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 629796 0 0 0 479791 230 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 212527 150396 389 106 0 207498 0
[pid=26152/tid=26156] ppid=26149 vsize=850108 CPUtime=1201.71 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 184487 0 0 0 120102 69 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=850108 CPUtime=1195.16 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 168546 0 0 0 119454 62 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=850108 CPUtime=1201.7 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 151488 0 0 0 120118 52 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 850108

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

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

[startup+1201.7 s]
/proc/loadavg: 8.18 8.05 7.54 9/184 26197
/proc/meminfo: memFree=16315308/32950940 swapFree=67111528/67111528
[pid=26152] ppid=26149 vsize=850108 CPUtime=4800.21 cores=0,2,4,6
/proc/26152/stat : 26152 (strangenight2-m) R 26149 26152 25837 0 -1 4202496 629796 0 0 0 479791 230 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/26152/statm: 212527 150396 389 106 0 207498 0
[pid=26152/tid=26156] ppid=26149 vsize=850108 CPUtime=1201.71 cores=0,2,4,6
/proc/26152/task/26156/stat : 26156 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 184487 0 0 0 120102 69 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=26152/tid=26157] ppid=26149 vsize=850108 CPUtime=1195.16 cores=0,2,4,6
/proc/26152/task/26157/stat : 26157 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 168546 0 0 0 119454 62 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=26152/tid=26160] ppid=26149 vsize=850108 CPUtime=1201.7 cores=0,2,4,6
/proc/26152/task/26160/stat : 26160 (strangenight2-m) R 26149 26152 25837 0 -1 4202560 151488 0 0 0 120118 52 0 0 25 0 4 0 597500268 870510592 150396 33554432000 4194304 4627427 140734640314960 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 850108

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.26
CPU user time (s): 4797.93
CPU system time (s): 2.33165
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 1009328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.93
system time used= 2.33164
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 629796
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= 377
involuntary context switches= 52283

runsolver used 1.78573 second user time and 4.79227 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-29 12:24:55
IDJOB=3173901
IDBENCH=82719
IDSOLVER=1586
FILE ID=node117/3173901-1304072695
RUNJOBID= node117-1304072695-26135
PBS_JOBID= 13170483
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= cf48efaad74dd9e258ebbccf8ec047e7
RANDOM SEED=576012137

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

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      17458032 kB
Buffers:       2379088 kB
Cached:       12467392 kB
SwapCached:          0 kB
Active:        8142584 kB
Inactive:      6767964 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      17458032 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11300 kB
Writeback:           0 kB
AnonPages:       63880 kB
Mapped:          14492 kB
Slab:           518296 kB
PageTables:       4692 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   183848 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= 71672 MiB
End job on node117 at 2011-04-29 12:44:59