Trace number 3291544

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-1-mt? (TO) 4800.35 1201.74

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
Bench CategoryAPPLICATION (applications 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 variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291544-1304136589.cnf'
0.00/0.00	c -- header says num vars:           4264
0.00/0.00	c -- header says num clauses:       14751
0.00/0.01	c -- clauses added:            0 learnts,        14751 normals,            0 xors
0.00/0.01	c -- vars added       4264
0.00/0.01	c Parsing time:  0.02 s
0.00/0.01	c  N st     0         0      4264     10534      4212         0     40026         0   no data   no data  --
0.37/0.10	c asymm  cl-useful: 0/10533/10533 lits-rem:0 time: 0.35
0.37/0.11	c Flit:   170 Blit:   1223 bXBeca:    0 bXProp:  344 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.37/0.11	c Cleaning up after failed var search:     0.01 s 
0.37/0.11	c Replacing      344 vars Replaced     2881 lits Time:     0.00 s 
0.37/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.11	c subs with bin:      204  lits-rem:       136  v-fix:    0  time:  0.00 s
0.37/0.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1165 time:  0.00 s
0.37/0.12	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
0.37/0.12	c lits-rem:         0  cl-subs:       42  v-elim:    166  v-fix:    0  time:  0.02 s
0.37/0.12	c Finding binary XORs  T:     0.00 s  found:       1
0.37/0.12	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
0.37/0.13	c Finding non-binary XORs:     0.01 s (found:     493, avg size: 3.0)
0.37/0.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     2 time:   0.00
0.37/0.13	c calculated reachability. Time: 0.00
0.37/0.13	c Calc default polars -  time:   0.00 s pos:     205 undec:    3318 neg:     741
0.37/0.13	c =========================================================================================
0.37/0.13	c types(t): F = full restart, N = normal restart
0.37/0.13	c types(t): S = simplification begin/end, E = solution found
0.37/0.13	c restart types(rt): st = static, dy = dynamic
0.37/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.13	c  B st     0         0       997       914       774         0      6000         0   no data   no data  --
0.37/0.19	c Decided on static restart strategy
0.77/0.29	c  N st     8      4917       972       914      1042      4543      6000    137429   no data   no data  --
2.37/0.60	c  N st    10     11303       968       914      1284      4731      6000    105411   no data   no data  --
2.37/0.60	c Finding binary XORs  T:     0.00 s  found:       2
2.37/0.60	c Replacing       28 vars Replaced      732 lits Time:     0.01 s 
3.57/0.95	c  N st    11     17046       917       748      1254     10367      5296    349875   no data   no data  --
5.17/1.33	c  F st    12     25000       897       712      1383     12948      5118    304523   no data   no data  --
5.17/1.33	c Replacing        7 vars Replaced      208 lits Time:     0.00 s 
5.17/1.33	c  N st    12     25000       889       708      1353     12947      5072    304494   no data   no data  --
5.17/1.34	c Finding binary XORs  T:     0.00 s  found:       0
5.97/1.59	c Decided on static restart strategy
5.97/1.59	c  N st    18     30000       888       704      1394     10398      5046    250457   no data   no data  --
5.97/1.59	c  S st    18     30000       888       704      1394     10398      5046    250457   no data   no data  --
6.37/1.63	c  S st    18     30501       886       704      1402     10885      5046    262453   no data   no data  --
6.37/1.63	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.37/1.63	c Cache  BProp: 3 Set: 0 BXProp: 0 T: 0.00
6.37/1.66	c Flit:     8 Blit:     11 bXBeca:    0 bXProp:    5 Bins:    730 BRemL:    153 BRemN:      0 P:  0.7M T:  0.13
6.37/1.66	c Replacing        6 vars Replaced      207 lits Time:     0.00 s 
6.37/1.68	c bin-w-bin subsume rem           29 bins  time:  0.00 s
6.76/1.71	c subs with bin:      102  lits-rem:      4204  v-fix:    0  time:  0.14 s
6.76/1.72	c Subs w/ non-existent bins:      0 l-rem:   1688 v-fix:     0 done:    310 time:  0.02 s
6.76/1.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.96/2.03	c lits-rem:       499  cl-subs:      469  v-elim:      3  v-fix:    0  time:  1.23 s
7.96/2.04	c asymm  cl-useful: 0/635/635 lits-rem:0 time: 0.04
7.96/2.04	c calculated reachability. Time: 0.00
7.96/2.04	c  N st    18     30501       857       635      1812     10328      4760    235002   no data   no data  --
9.56/2.43	c  N st    20     37613       857       635      1835     10300      4760    212403   no data   no data  --
9.56/2.43	c Finding binary XORs  T:     0.00 s  found:       0
11.16/2.81	c  N st    21     44013       857       635      1835     16637      4760    449670   no data   no data  --
11.56/2.94	c  S st    22     45751       853       635      1953      9969      4760    161125   no data   no data  --
11.56/2.98	c  S st    22     46257       853       635      1956     10471      4760    174011   no data   no data  --
11.56/2.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.96/3.01	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:    1 Bins:    193 BRemL:    190 BRemN:      0 P:  0.7M T:  0.11
11.96/3.01	c Replacing        4 vars Replaced      110 lits Time:     0.00 s 
11.96/3.02	c bin-w-bin subsume rem           20 bins  time:  0.00 s
11.96/3.03	c subs with bin:       21  lits-rem:       452  v-fix:    0  time:  0.06 s
11.96/3.04	c Subs w/ non-existent bins:      0 l-rem:   1142 v-fix:     0 done:    735 time:  0.02 s
11.96/3.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
12.36/3.14	c lits-rem:       177  cl-subs:      540  v-elim:      1  v-fix:    0  time:  0.40 s
12.36/3.14	c vivif2 --  cl tried      594 cl shrink        8 lits rem          9 time: 0.00
12.36/3.15	c vivif2 --  cl tried     9906 cl shrink     2274 lits rem       5839 time: 0.04
12.36/3.15	c asymm  cl-useful: 2/594/594 lits-rem:2 time: 0.03
12.36/3.15	c calculated reachability. Time: 0.00
12.36/3.15	c  N st    22     46257       841       594      1832      9901      4616    148095   no data   no data  --
17.58/4.41	c  N st    23     60654       841       594      1832     14606      4616    375655   no data   no data  --
17.58/4.41	c Finding binary XORs  T:     0.00 s  found:       0
20.35/5.11	c  N st    24     69386       841       594      2048     12524      4616    211001   no data   no data  --
20.35/5.11	c  S st    24     69386       841       594      2048     12524      4616    211001   no data   no data  --
20.35/5.15	c  S st    24     69888       841       594      2079     13023      4616    222318   no data   no data  --
20.35/5.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.35/5.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.35/5.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     41 BRemL:    170 BRemN:      0 P:  0.9M T:  0.12
20.35/5.19	c bin-w-bin subsume rem           32 bins  time:  0.00 s
20.75/5.21	c subs with bin:       16  lits-rem:       500  v-fix:    0  time:  0.08 s
20.75/5.21	c Subs w/ non-existent bins:      0 l-rem:    960 v-fix:     0 done:    467 time:  0.02 s
20.75/5.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.56/5.42	c lits-rem:       317  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.81 s
21.56/5.42	c vivif2 --  cl tried      588 cl shrink        0 lits rem          0 time: 0.00
21.56/5.43	c vivif2 --  cl tried    12910 cl shrink     1355 lits rem       6953 time: 0.04
21.56/5.44	c asymm  cl-useful: 9/588/588 lits-rem:31 time: 0.04
21.56/5.44	c calculated reachability. Time: 0.00
21.56/5.44	c  N st    24     69888       841       581      1925     12910      4572    211580   no data   no data  --
26.74/6.72	c  F st    25     87500       841       581      1925     18569      4572    399044   no data   no data  --
26.74/6.73	c  N st    25     87500       841       581      1925     18569      4572    399044   no data   no data  --
26.74/6.73	c Finding binary XORs  T:     0.00 s  found:       0
27.94/7.08	c Decided on static restart strategy
29.13/7.39	c  N st    32     95538       841       581      1929     26536      4572    712629   no data   no data  --
32.33/8.15	c  N st    34    104833       841       581      1932     23011      4572    532853   no data   no data  --
32.33/8.15	c  S st    34    104833       841       581      1932     23011      4572    532853   no data   no data  --
32.73/8.21	c  S st    34    105334       841       581      1949     23511      4572    549861   no data   no data  --
32.73/8.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.73/8.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.73/8.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:     15 BRemN:      0 P:  1.4M T:  0.18
32.73/8.27	c bin-w-bin subsume rem            1 bins  time:  0.00 s
33.12/8.34	c subs with bin:        2  lits-rem:       321  v-fix:    0  time:  0.26 s
33.12/8.35	c Subs w/ non-existent bins:      0 l-rem:   1941 v-fix:     0 done:    252 time:  0.03 s
33.12/8.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
39.54/9.95	c lits-rem:      1496  cl-subs:      362  v-elim:      0  v-fix:    0  time:  6.38 s
39.54/9.95	c vivif2 --  cl tried      580 cl shrink        0 lits rem          0 time: 0.00
39.54/9.98	c vivif2 --  cl tried    23148 cl shrink     6281 lits rem      26288 time: 0.13
39.92/10.01	c asymm  cl-useful: 5/580/580 lits-rem:11 time: 0.09
39.92/10.01	c calculated reachability. Time: 0.00
39.92/10.01	c  N st    34    105334       841       578      1945     23148      4562    509491   no data   no data  --
43.94/11.01	c  N st    35    114932       841       578      1947     18901      4562    399941   no data   no data  --
43.94/11.01	c Finding binary XORs  T:     0.00 s  found:       0
47.93/12.08	c  N st    36    129329       841       578      1970     18372      4562    303519   no data   no data  --
55.50/13.95	c  N st    37    150924       838       578      1977     23856      4562    456012   no data   no data  --
57.89/14.51	c  S st    38    158005       838       578      1981     30860      4562    692286   no data   no data  --
57.89/14.57	c  S st    38    158506       838       578      1981     31358      4562    706819   no data   no data  --
57.89/14.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.89/14.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.29/14.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:     31 BRemN:      0 P:  1.6M T:  0.20
58.29/14.65	c bin-w-bin subsume rem            2 bins  time:  0.00 s
58.69/14.72	c subs with bin:        9  lits-rem:       330  v-fix:    0  time:  0.27 s
58.69/14.73	c Subs w/ non-existent bins:      0 l-rem:    885 v-fix:     0 done:    111 time:  0.02 s
58.69/14.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
66.68/16.74	c lits-rem:      1461  cl-subs:     1146  v-elim:      0  v-fix:    0  time:  8.01 s
66.68/16.74	c vivif2 --  cl tried      573 cl shrink        0 lits rem          0 time: 0.00
66.68/16.78	c vivif2 --  cl tried    30181 cl shrink     9043 lits rem      35356 time: 0.17
67.08/16.80	c asymm  cl-useful: 2/573/573 lits-rem:8 time: 0.09
67.08/16.80	c calculated reachability. Time: 0.00
67.08/16.80	c  N st    38    158506       838       571      1952     30181      4527    640222   no data   no data  --
86.65/21.72	c  N st    39    207096       838       571      1952     24971      4527    419385   no data   no data  --
86.65/21.72	c Finding binary XORs  T:     0.01 s  found:       0
97.84/24.56	c  N st    40    237759       838       571      1962     35345      4527    616024   no data   no data  --
97.84/24.56	c  S st    40    237759       838       571      1962     35345      4527    616024   no data   no data  --
98.24/24.64	c  S st    40    238263       838       571      1964     35849      4527    631042   no data   no data  --
98.24/24.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
98.24/24.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
98.24/24.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:      3 BRemN:      0 P:  1.8M T:  0.21
98.64/24.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.64/24.75	c subs with bin:        2  lits-rem:        80  v-fix:    0  time:  0.15 s
98.64/24.76	c Subs w/ non-existent bins:      0 l-rem:    844 v-fix:     0 done:    205 time:  0.03 s
98.64/24.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.83/26.57	c lits-rem:      2320  cl-subs:     2891  v-elim:      0  v-fix:    0  time:  7.20 s
105.83/26.57	c vivif2 --  cl tried      571 cl shrink        0 lits rem          0 time: 0.00
106.23/26.60	c vivif2 --  cl tried    32956 cl shrink     7529 lits rem      20385 time: 0.14
106.23/26.63	c asymm  cl-useful: 0/571/571 lits-rem:0 time: 0.11
106.23/26.63	c calculated reachability. Time: 0.00
106.23/26.63	c  N st    40    238263       838       571      1969     32956      4527    553614   no data   no data  --
134.99/33.82	c  F st    41    306252       838       571      1971     35361      4527    774946   no data   no data  --
134.99/33.82	c  N st    41    306252       838       571      1971     35361      4527    774946   no data   no data  --
134.99/33.82	c Finding binary XORs  T:     0.00 s  found:       0
137.39/34.41	c Decided on static restart strategy
146.98/36.81	c  N st    51    334555       838       571      1993     39725      4527    746330   no data   no data  --
156.17/39.14	c  N st    53    357394       838       571      1996     37698      4527    709374   no data   no data  --
156.17/39.14	c  S st    53    357394       838       571      1996     37698      4527    709374   no data   no data  --
156.57/39.22	c  S st    53    357900       838       571      1997     38203      4527    724251   no data   no data  --
156.57/39.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
156.57/39.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
156.57/39.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     19 BRemL:     23 BRemN:      0 P:  2.0M T:  0.25
156.97/39.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.97/39.37	c subs with bin:       16  lits-rem:       106  v-fix:    0  time:  0.23 s
156.97/39.37	c Subs w/ non-existent bins:      0 l-rem:   1255 v-fix:     0 done:    194 time:  0.03 s
156.97/39.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
165.35/41.40	c lits-rem:      1438  cl-subs:     1545  v-elim:      0  v-fix:    0  time:  8.08 s
165.35/41.40	c vivif2 --  cl tried      571 cl shrink        0 lits rem          0 time: 0.00
165.35/41.44	c vivif2 --  cl tried    36642 cl shrink     6618 lits rem      20110 time: 0.16
165.35/41.47	c asymm  cl-useful: 0/571/571 lits-rem:0 time: 0.12
165.35/41.47	c calculated reachability. Time: 0.00
165.35/41.47	c  N st    53    357900       838       571      1993     36642      4527    662858   no data   no data  --
180.92/45.34	c  N st    54    390294       838       571      1993     43073      4527   1030144   no data   no data  --
180.92/45.34	c Finding binary XORs  T:     0.00 s  found:       0
203.69/51.02	c  N st    55    438882       838       571      2000     36809      4527    703180   no data   no data  --
239.65/60.01	c  N st    56    511764       838       571      2004     50618      4527   1192977   no data   no data  --
239.65/60.02	c Finding binary XORs  T:     0.00 s  found:       0
252.83/63.31	c  N st    57    536850       838       571      2015     44710      4527    776803   no data   no data  --
252.83/63.31	c  S st    57    536850       838       571      2015     44710      4527    776803   no data   no data  --
253.23/63.40	c  S st    57    537355       838       571      2016     45211      4527    788357   no data   no data  --
253.23/63.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
253.23/63.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
253.23/63.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      5 BRemN:      0 P:  2.4M T:  0.29
253.62/63.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
253.62/63.56	c subs with bin:       20  lits-rem:       138  v-fix:    0  time:  0.24 s
253.62/63.57	c Subs w/ non-existent bins:      0 l-rem:   1795 v-fix:     0 done:    133 time:  0.05 s
253.62/63.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
261.62/65.53	c lits-rem:      2343  cl-subs:      705  v-elim:      0  v-fix:    0  time:  7.81 s
261.62/65.53	c vivif2 --  cl tried      571 cl shrink        0 lits rem          0 time: 0.00
261.62/65.57	c vivif2 --  cl tried    44486 cl shrink     6900 lits rem      21764 time: 0.18
262.02/65.62	c asymm  cl-useful: 0/571/571 lits-rem:0 time: 0.17
262.02/65.62	c calculated reachability. Time: 0.00
262.02/65.62	c  N st    57    537355       838       571      2021     44486      4527    744807   no data   no data  --
357.09/89.46	c  N st    58    701340       838       571      2021     38452      4527    553280   no data   no data  --
357.09/89.46	c Finding binary XORs  T:     0.00 s  found:       0
417.42/104.56	c  N st    59    806033       836       570      2036     67825      4520   1756932   no data   no data  --
417.42/104.56	c  S st    59    806033       836       570      2036     67825      4520   1756932   no data   no data  --
417.80/104.69	c  S st    59    806534       835       570      2039     68325      4520   1772762   no data   no data  --
418.20/104.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
418.20/104.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
418.60/104.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     16 BRemL:     30 BRemN:      0 P:  3.6M T:  0.53
418.60/104.85	c Replacing        1 vars Replaced      122 lits Time:     0.08 s 
419.00/104.91	c bin-w-bin subsume rem            4 bins  time:  0.00 s
419.80/105.16	c subs with bin:       21  lits-rem:       969  v-fix:    0  time:  0.98 s
419.80/105.17	c Subs w/ non-existent bins:      0 l-rem:   1706 v-fix:     0 done:     52 time:  0.07 s
419.80/105.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
431.39/108.06	c lits-rem:       976  cl-subs:     2333  v-elim:      1  v-fix:    0  time: 11.49 s
431.39/108.06	c vivif2 --  cl tried      567 cl shrink        0 lits rem          0 time: 0.00
432.18/108.20	c vivif2 --  cl tried    65960 cl shrink    24396 lits rem     137215 time: 0.58
432.18/108.27	c asymm  cl-useful: 0/567/567 lits-rem:0 time: 0.29
432.18/108.28	c calculated reachability. Time: 0.00
432.18/108.28	c  N st    59    806534       833       567      2002     65960      4494   1568023   no data   no data  --
432.18/108.28	c Finding binary XORs  T:     0.00 s  found:       0
610.77/152.92	c  F st    60   1071876       833       567      2004     81770      4494   1809799   no data   no data  --
610.77/152.92	c  N st    60   1071876       833       567      2004     81770      4494   1809799   no data   no data  --
610.77/152.94	c Finding binary XORs  T:     0.00 s  found:       0
613.94/153.74	c Decided on static restart strategy
629.52/157.70	c  N st    70   1100183       830       557      1942     65295      4442   1240492   no data   no data  --
648.29/162.39	c  N st    72   1136175       830       557      1942     56001      4442   1075943   no data   no data  --
669.46/167.63	c  N st    73   1168567       830       557      1943     87850      4442   2029779   no data   no data  --
703.04/176.01	c  N st    74   1209801       830       557      1944     82647      4442   2023936   no data   no data  --
703.04/176.01	c  S st    74   1209801       830       557      1944     82647      4442   2023936   no data   no data  --
703.41/176.18	c  S st    74   1210309       830       557      1946     83152      4442   2040962   no data   no data  --
703.41/176.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.03
703.41/176.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
704.22/176.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      6 BRemL:     19 BRemN:      1 P:  4.0M T:  0.63
704.22/176.35	c Replacing        2 vars Replaced      418 lits Time:     0.04 s 
704.62/176.42	c bin-w-bin subsume rem            3 bins  time:  0.00 s
705.82/176.70	c subs with bin:       11  lits-rem:       751  v-fix:    0  time:  1.12 s
705.82/176.78	c Subs w/ non-existent bins:      0 l-rem:   6307 v-fix:     0 done:     39 time:  0.30 s
705.82/176.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
719.39/180.20	c lits-rem:      2103  cl-subs:     2643  v-elim:      2  v-fix:    0  time: 13.64 s
719.39/180.20	c vivif2 --  cl tried      556 cl shrink        0 lits rem          0 time: 0.00
720.22/180.36	c vivif2 --  cl tried    80165 cl shrink    27722 lits rem     126345 time: 0.65
720.62/180.45	c asymm  cl-useful: 0/556/556 lits-rem:0 time: 0.35
720.62/180.45	c calculated reachability. Time: 0.00
720.62/180.45	c  N st    74   1210309       824       556      1908     80165      4414   1819072   no data   no data  --
765.73/191.78	c  N st    75   1283192       824       556      1908     56678      4414    948377   no data   no data  --
848.42/212.41	c  N st    76   1392516       824       556      1910     64911      4414   1203579   no data   no data  --
848.42/212.41	c Finding binary XORs  T:     0.00 s  found:       0
959.06/240.16	c  N st    77   1556500       824       556      1911     69894      4414   1271408   no data   no data  --
1079.30/270.24	c  N st    78   1710309       824       556      1918    110935      4414   2155475   no data   no data  --
1079.30/270.24	c  S st    78   1710309       824       556      1918    110935      4414   2155475   no data   no data  --
1080.52/270.50	c  S st    78   1710811       824       556      1921    111436      4414   2169389   no data   no data  --
1080.52/270.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1080.52/270.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1081.30/270.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     10 BRemN:      0 P:  4.9M T:  0.75
1081.30/270.77	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1082.10/270.98	c subs with bin:       38  lits-rem:       952  v-fix:    0  time:  0.82 s
1082.50/271.01	c Subs w/ non-existent bins:      0 l-rem:   2763 v-fix:     0 done:     88 time:  0.12 s
1082.50/271.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1123.24/281.26	c lits-rem:      3581  cl-subs:    11323  v-elim:      0  v-fix:    0  time: 40.92 s
1123.24/281.26	c vivif2 --  cl tried      555 cl shrink        0 lits rem          0 time: 0.00
1124.04/281.47	c vivif2 --  cl tried   100076 cl shrink    30360 lits rem      85788 time: 0.82
1124.46/281.59	c asymm  cl-useful: 0/555/555 lits-rem:0 time: 0.46
1124.46/281.59	c calculated reachability. Time: 0.00
1124.46/281.59	c  N st    78   1710811       824       555      1915    100076      4410   1871010   no data   no data  --
1124.46/281.59	c Finding binary XORs  T:     0.01 s  found:       0
1420.84/355.72	c  N st    79   2079777       824       555      1915    112184      4410   2667518   no data   no data  --
1523.90/381.59	c  N st    80   2210813       823       555      1926    116255      4410   2391269   no data   no data  --
1523.90/381.59	c  S st    80   2210813       823       555      1926    116255      4410   2391269   no data   no data  --
1525.10/381.87	c  S st    80   2211317       823       555      1928    116757      4410   2403476   no data   no data  --
1525.10/381.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.04
1525.10/381.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1525.90/382.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      3 BRemN:      0 P:  5.0M T:  0.84
1526.30/382.18	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1527.10/382.39	c subs with bin:       21  lits-rem:       329  v-fix:    0  time:  0.81 s
1527.50/382.40	c Subs w/ non-existent bins:      0 l-rem:    452 v-fix:     0 done:     19 time:  0.04 s
1527.50/382.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1576.63/394.77	c lits-rem:      2612  cl-subs:     8715  v-elim:      1  v-fix:    0  time: 49.39 s
1576.63/394.77	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
1577.46/394.99	c vivif2 --  cl tried   107677 cl shrink    29448 lits rem      94319 time: 0.90
1578.23/395.10	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.43
1578.23/395.11	c calculated reachability. Time: 0.00
1578.23/395.11	c  N st    80   2211317       821       551      1895    107677      4375   2086068   no data   no data  --
1578.23/395.11	c Finding binary XORs  T:     0.00 s  found:       0
1963.30/491.58	c  N st    81   2711318       821       551      1895    131496      4375   2951252   no data   no data  --
1963.30/491.58	c  S st    81   2711318       821       551      1895    131496      4375   2951252   no data   no data  --
1964.51/491.85	c  S st    81   2711819       821       551      1901    131997      4375   2968803   no data   no data  --
1964.51/491.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1964.51/491.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1965.31/492.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  5.5M T:  0.93
1965.71/492.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1967.30/492.51	c subs with bin:        0  lits-rem:       320  v-fix:    0  time:  1.29 s
1967.30/492.54	c Subs w/ non-existent bins:      0 l-rem:   2308 v-fix:     0 done:    240 time:  0.12 s
1967.30/492.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2065.57/517.17	c lits-rem:      1681  cl-subs:    13979  v-elim:      0  v-fix:    0  time: 98.30 s
2065.57/517.17	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
2066.77/517.44	c vivif2 --  cl tried   118018 cl shrink    33595 lits rem      98073 time: 1.10
2067.17/517.58	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.56
2067.17/517.59	c calculated reachability. Time: 0.00
2067.17/517.59	c  N st    81   2711819       821       551      1902    118018      4375   2501611   no data   no data  --
2548.54/638.05	c  N st    82   3211820       821       551      1902     93906      4375   1607987   no data   no data  --
2548.54/638.05	c  S st    82   3211820       821       551      1902     93906      4375   1607987   no data   no data  --
2549.31/638.25	c  S st    82   3212327       821       551      1905     94413      4375   1624558   no data   no data  --
2549.31/638.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2549.31/638.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2550.12/638.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.80
2550.52/638.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2550.92/638.66	c subs with bin:        2  lits-rem:         2  v-fix:    0  time:  0.55 s
2550.92/638.67	c Subs w/ non-existent bins:      0 l-rem:    623 v-fix:     0 done:    143 time:  0.05 s
2550.92/638.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2562.10/641.46	c lits-rem:       677  cl-subs:     2164  v-elim:      0  v-fix:    0  time: 11.12 s
2562.10/641.46	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
2562.50/641.56	c vivif2 --  cl tried    92247 cl shrink     9797 lits rem      27144 time: 0.38
2562.90/641.66	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.40
2562.90/641.66	c calculated reachability. Time: 0.00
2562.90/641.66	c  N st    82   3212327       821       551      1905     92247      4375   1536020   no data   no data  --
3095.78/775.09	c  N st    83   3712327       821       551      1905    103747      4375   1804548   no data   no data  --
3095.78/775.09	c  S st    83   3712327       821       551      1905    103747      4375   1804548   no data   no data  --
3095.78/775.10	c Finding binary XORs  T:     0.01 s  found:       0
3096.98/775.33	c  S st    83   3712829       821       551      1908    104248      4375   1820087   no data   no data  --
3096.98/775.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3096.98/775.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3097.80/775.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  4.8M T:  0.79
3098.17/775.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3098.57/775.73	c subs with bin:        1  lits-rem:        15  v-fix:    0  time:  0.51 s
3098.57/775.74	c Subs w/ non-existent bins:      0 l-rem:    936 v-fix:     0 done:     76 time:  0.06 s
3098.57/775.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3111.76/779.07	c lits-rem:      1531  cl-subs:     1487  v-elim:      0  v-fix:    0  time: 13.31 s
3111.76/779.07	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
3112.16/779.19	c vivif2 --  cl tried   102760 cl shrink    10552 lits rem      23760 time: 0.46
3112.96/779.31	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.46
3112.96/779.31	c calculated reachability. Time: 0.00
3112.96/779.31	c  N st    83   3712829       821       551      1906    102760      4375   1753567   no data   no data  --
3144.51/787.20	c  F st    84   3751562       821       551      1906    140909      4375   2990078   no data   no data  --
3144.51/787.20	c  N st    84   3751562       821       551      1906    140909      4375   2990078   no data   no data  --
3150.13/788.63	c Decided on static restart strategy
3170.47/793.73	c  N st    94   3779864       821       551      1909    168947      4375   3986624   no data   no data  --
3199.24/800.95	c  N st    96   3815858       821       551      1909    120821      4375   2321401   no data   no data  --
3226.79/807.81	c  N st    97   3848250       821       551      1909    153128      4375   3753292   no data   no data  --
3268.76/818.37	c  N st    98   3896840       821       551      1909    116165      4375   2042241   no data   no data  --
3340.65/836.39	c  N st    99   3969723       821       551      1909    101974      4375   1584004   no data   no data  --
3441.71/861.60	c  N st   100   4079046       821       551      1912    123180      4375   2366476   no data   no data  --
3582.72/896.95	c  N st   101   4212829       821       551      1912    166122      4375   3259882   no data   no data  --
3582.72/896.95	c  S st   101   4212829       821       551      1912    166122      4375   3259882   no data   no data  --
3582.72/896.96	c Finding binary XORs  T:     0.01 s  found:       0
3583.92/897.21	c  S st   101   4213335       821       551      1943    166628      4375   3277739   no data   no data  --
3583.92/897.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3583.92/897.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3585.13/897.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  7.0M T:  1.15
3585.53/897.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3586.72/897.92	c subs with bin:        6  lits-rem:        83  v-fix:    0  time:  1.18 s
3586.72/897.94	c Subs w/ non-existent bins:      0 l-rem:   1168 v-fix:     0 done:     17 time:  0.08 s
3586.72/897.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3888.32/973.49	c lits-rem:       922  cl-subs:    20835  v-elim:      0  v-fix:    0  time: 301.46 s
3888.32/973.49	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
3889.90/973.82	c vivif2 --  cl tried   145787 cl shrink    32819 lits rem     106545 time: 1.35
3890.70/974.02	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.80
3890.70/974.03	c calculated reachability. Time: 0.00
3890.70/974.03	c  N st   101   4213335       821       551      1944    145786      4375   2721768   no data   no data  --
4152.37/1039.58	c  N st   102   4459311       821       551      1944    120670      4375   2280734   no data   no data  --
4393.64/1099.94	c  N st   103   4713335       821       551      1945    182619      4375   3116480   no data   no data  --
4393.64/1099.94	c  S st   103   4713335       821       551      1945    182619      4375   3116480   no data   no data  --
4395.22/1100.40	c  S st   103   4713840       821       551      1945    183123      4375   3130189   no data   no data  --
4395.62/1100.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4395.62/1100.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4397.22/1100.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  8.4M T:  1.62
4397.62/1100.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4398.44/1101.11	c subs with bin:        0  lits-rem:        23  v-fix:    0  time:  0.72 s
4398.44/1101.12	c Subs w/ non-existent bins:      0 l-rem:     69 v-fix:     0 done:     10 time:  0.04 s
4398.44/1101.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4773.51/1195.04	c lits-rem:        76  cl-subs:    38796  v-elim:      0  v-fix:    0  time: 375.06 s
4773.51/1195.04	c vivif2 --  cl tried      551 cl shrink        0 lits rem          0 time: 0.00
4774.71/1195.30	c vivif2 --  cl tried   144327 cl shrink    24520 lits rem      47207 time: 1.03
4775.51/1195.51	c asymm  cl-useful: 0/551/551 lits-rem:0 time: 0.83
4775.51/1195.51	c calculated reachability. Time: 0.00
4775.51/1195.51	c  N st   103   4713840       821       551      1943    144327      4375   2311608   no data   no data  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.43 7.90 7.63 3/174 21446
/proc/meminfo: memFree=30861356/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=249216 CPUtime=0 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) D 21444 21446 20530 0 -1 4202496 1035 0 0 0 0 0 0 0 24 0 4 0 525257630 255197184 956 33554432000 4194304 4650419 140735523269984 18446744073709551615 4361571 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 62304 957 340 112 0 57269 0
[pid=21446/tid=21447] ppid=21444 vsize=249216 CPUtime=0 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 211 0 0 0 0 0 0 0 25 0 4 0 525257630 255197184 1019 33554432000 4194304 4650419 140735523269984 18446744073709551615 4316340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=249216 CPUtime=0 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) D 21444 21446 20530 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 4 0 525257630 255197184 1024 33554432000 4194304 4650419 140735523269984 18446744073709551615 251813936907 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=249216 CPUtime=0 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) D 21444 21446 20530 0 -1 4202560 203 0 0 0 0 0 0 0 25 0 4 0 525257630 255197184 1045 33554432000 4194304 4650419 140735523269984 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0479111 s]
/proc/loadavg: 7.43 7.90 7.63 3/174 21446
/proc/meminfo: memFree=30861356/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=285708 CPUtime=0.16 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 3230 0 0 0 16 0 0 0 24 0 4 0 525257630 292564992 2788 33554432000 4194304 4650419 140735523269984 18446744073709551615 4369904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 71427 2788 367 112 0 66392 0
[pid=21446/tid=21447] ppid=21444 vsize=285708 CPUtime=0.04 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 708 0 0 0 4 0 0 0 25 0 4 0 525257630 292564992 2788 33554432000 4194304 4650419 140735523269984 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=285708 CPUtime=0.03 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 660 0 0 0 3 0 0 0 25 0 4 0 525257630 292564992 2788 33554432000 4194304 4650419 140735523269984 18446744073709551615 4302842 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=285708 CPUtime=0.03 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 752 0 0 0 3 0 0 0 25 0 4 0 525257630 292564992 2788 33554432000 4194304 4650419 140735523269984 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 285708

[startup+0.100899 s]
/proc/loadavg: 7.43 7.90 7.63 3/174 21446
/proc/meminfo: memFree=30861356/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=285708 CPUtime=0.37 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 3275 0 0 0 37 0 0 0 24 0 4 0 525257630 292564992 2833 33554432000 4194304 4650419 140735523269984 18446744073709551615 4369188 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 71427 2833 367 112 0 66392 0
[pid=21446/tid=21447] ppid=21444 vsize=285708 CPUtime=0.09 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 708 0 0 0 9 0 0 0 25 0 4 0 525257630 292564992 2833 33554432000 4194304 4650419 140735523269984 18446744073709551615 4369160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=285708 CPUtime=0.09 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 660 0 0 0 9 0 0 0 25 0 4 0 525257630 292564992 2833 33554432000 4194304 4650419 140735523269984 18446744073709551615 4369176 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=285708 CPUtime=0.09 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 797 0 0 0 9 0 0 0 25 0 4 0 525257630 292564992 2833 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 285708

[startup+0.300868 s]
/proc/loadavg: 7.43 7.90 7.63 3/174 21446
/proc/meminfo: memFree=30861356/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=288364 CPUtime=1.18 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 5490 0 0 0 117 1 0 0 25 0 4 0 525257630 295284736 4253 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363927 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 72091 4253 394 112 0 67056 0
[pid=21446/tid=21447] ppid=21444 vsize=288364 CPUtime=0.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1284 0 0 0 29 0 0 0 25 0 4 0 525257630 295284736 4253 33554432000 4194304 4650419 140735523269984 18446744073709551615 4314835 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=288364 CPUtime=0.28 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1275 0 0 0 28 0 0 0 25 0 4 0 525257630 295284736 4253 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=288364 CPUtime=0.29 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1185 0 0 0 29 0 0 0 25 0 4 0 525257630 295284736 4253 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363458 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 288364

[startup+0.700801 s]
/proc/loadavg: 7.43 7.90 7.63 3/174 21446
/proc/meminfo: memFree=30861356/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=298176 CPUtime=2.77 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 7476 0 0 0 276 1 0 0 25 0 4 0 525257630 305332224 5494 33554432000 4194304 4650419 140735523269984 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 74544 5494 394 112 0 69509 0
[pid=21446/tid=21447] ppid=21444 vsize=298176 CPUtime=0.69 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1833 0 0 0 69 0 0 0 25 0 4 0 525257630 305332224 5494 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=298176 CPUtime=0.68 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1792 0 0 0 68 0 0 0 25 0 4 0 525257630 305332224 5494 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=298176 CPUtime=0.69 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 1607 0 0 0 69 0 0 0 25 0 4 0 525257630 305332224 5494 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 298176

[startup+1.50067 s]
/proc/loadavg: 7.43 7.90 7.63 6/178 21450
/proc/meminfo: memFree=30815172/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=289968 CPUtime=5.97 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 10599 0 0 0 595 2 0 0 25 0 4 0 525257630 296927232 6404 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 72492 6404 395 112 0 67457 0
[pid=21446/tid=21447] ppid=21444 vsize=289968 CPUtime=1.49 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 2479 0 0 0 149 0 0 0 25 0 4 0 525257630 296927232 6404 33554432000 4194304 4650419 140735523269984 18446744073709551615 4313048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=289968 CPUtime=1.48 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 2645 0 0 0 148 0 0 0 25 0 4 0 525257630 296927232 6404 33554432000 4194304 4650419 140735523269984 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=289968 CPUtime=1.48 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 2300 0 0 0 148 0 0 0 25 0 4 0 525257630 296927232 6404 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 289968

[startup+3.1004 s]
/proc/loadavg: 7.43 7.90 7.63 6/178 21450
/proc/meminfo: memFree=30778336/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=293900 CPUtime=12.36 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 21497 0 0 0 1232 4 0 0 25 0 4 0 525257630 300953600 14269 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 73475 14269 395 112 0 68440 0
[pid=21446/tid=21447] ppid=21444 vsize=293900 CPUtime=3.09 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 5054 0 0 0 308 1 0 0 25 0 4 0 525257630 300953600 14269 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366933 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=293900 CPUtime=3.08 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 5947 0 0 0 308 0 0 0 25 0 4 0 525257630 300953600 14269 33554432000 4194304 4650419 140735523269984 18446744073709551615 4439464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=293900 CPUtime=3.07 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 4505 0 0 0 307 0 0 0 25 0 4 0 525257630 300953600 14269 33554432000 4194304 4650419 140735523269984 18446744073709551615 4367521 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 293900

[startup+6.30087 s]
/proc/loadavg: 7.48 7.90 7.63 9/184 21459
/proc/meminfo: memFree=29463892/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=294632 CPUtime=25.15 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 30603 0 0 0 2509 6 0 0 25 0 4 0 525257630 301703168 18359 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363866 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 73658 18359 395 112 0 68623 0
[pid=21446/tid=21447] ppid=21444 vsize=294632 CPUtime=6.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 8225 0 0 0 628 1 0 0 25 0 4 0 525257630 301703168 18359 33554432000 4194304 4650419 140735523269984 18446744073709551615 4439573 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=294632 CPUtime=6.29 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 7878 0 0 0 628 1 0 0 25 0 4 0 525257630 301703168 18359 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=294632 CPUtime=6.26 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 5941 0 0 0 625 1 0 0 25 0 4 0 525257630 301703168 18359 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 294632

[startup+12.7008 s]
/proc/loadavg: 7.52 7.90 7.64 9/184 21459
/proc/meminfo: memFree=28957808/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=310720 CPUtime=50.71 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 46460 0 0 0 5061 10 0 0 25 0 4 0 525257630 318177280 22917 33554432000 4194304 4650419 140735523269984 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 77680 22917 395 112 0 72645 0
[pid=21446/tid=21447] ppid=21444 vsize=310720 CPUtime=12.68 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 12844 0 0 0 1266 2 0 0 25 0 4 0 525257630 318177280 22917 33554432000 4194304 4650419 140735523269984 18446744073709551615 4438671 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=310720 CPUtime=12.69 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 11756 0 0 0 1267 2 0 0 25 0 4 0 525257630 318177280 22917 33554432000 4194304 4650419 140735523269984 18446744073709551615 4328424 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=310720 CPUtime=12.62 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 8025 0 0 0 1260 2 0 0 25 0 4 0 525257630 318177280 22917 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 310720

[startup+25.5006 s]
/proc/loadavg: 7.63 7.90 7.64 9/184 21460
/proc/meminfo: memFree=28890552/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=321492 CPUtime=101.84 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 72069 0 0 0 10167 17 0 0 25 0 4 0 525257630 329207808 35304 33554432000 4194304 4650419 140735523269984 18446744073709551615 4438939 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 80373 35304 395 112 0 75338 0
[pid=21446/tid=21447] ppid=21444 vsize=321492 CPUtime=25.49 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 20929 0 0 0 2544 5 0 0 25 0 4 0 525257630 329207808 35304 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=321492 CPUtime=25.49 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 15867 0 0 0 2546 3 0 0 25 0 4 0 525257630 329207808 35304 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=321492 CPUtime=25.35 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 13412 0 0 0 2532 3 0 0 25 0 4 0 525257630 329207808 35304 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 321492

[startup+51.1003 s]
/proc/loadavg: 7.83 7.93 7.65 9/184 21460
/proc/meminfo: memFree=28215680/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=323912 CPUtime=204.1 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 114907 0 0 0 20381 29 0 0 25 0 4 0 525257630 331685888 41474 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 80978 41474 395 112 0 75943 0
[pid=21446/tid=21447] ppid=21444 vsize=323912 CPUtime=51.08 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 32091 0 0 0 5100 8 0 0 25 0 4 0 525257630 331685888 41474 33554432000 4194304 4650419 140735523269984 18446744073709551615 4334468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=323912 CPUtime=51.08 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 27781 0 0 0 5102 6 0 0 25 0 4 0 525257630 331685888 41474 33554432000 4194304 4650419 140735523269984 18446744073709551615 4334293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=323912 CPUtime=50.81 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 19766 0 0 0 5077 4 0 0 25 0 4 0 525257630 331685888 41474 33554432000 4194304 4650419 140735523269984 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 323912

[startup+102.307 s]
/proc/loadavg: 7.96 7.95 7.67 9/184 21462
/proc/meminfo: memFree=27483416/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=333604 CPUtime=408.64 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 184048 0 0 0 40816 48 0 0 25 0 4 0 525257630 341610496 52546 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 83401 52546 395 112 0 78366 0
[pid=21446/tid=21447] ppid=21444 vsize=333604 CPUtime=102.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 55690 0 0 0 10215 14 0 0 25 0 4 0 525257630 341610496 52546 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=333604 CPUtime=102.29 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 43958 0 0 0 10217 12 0 0 25 0 4 0 525257630 341610496 52546 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=333604 CPUtime=101.73 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 27673 0 0 0 10166 7 0 0 25 0 4 0 525257630 341610496 52546 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 333604

[startup+162.301 s]

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

[pid=21446] ppid=21444 vsize=792976 CPUtime=2805.37 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 663049 0 0 0 280307 230 0 0 25 0 4 0 525257630 812007424 131574 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 198244 131574 396 112 0 193209 0
[pid=21446/tid=21447] ppid=21444 vsize=792976 CPUtime=702.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 154297 0 0 0 70175 54 0 0 25 0 4 0 525257630 812007424 131574 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=792976 CPUtime=702.29 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 196993 0 0 0 70161 68 0 0 25 0 4 0 525257630 812007424 131574 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=792976 CPUtime=698.47 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 99090 0 0 0 69810 37 0 0 25 0 4 0 525257630 812007424 131574 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.37
Current children cumulated vsize (KiB) 792976

[startup+762.307 s]
/proc/loadavg: 8.00 8.00 7.83 9/184 21479
/proc/meminfo: memFree=25863800/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=748896 CPUtime=3045.07 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 698424 0 0 0 304262 245 0 0 25 0 4 0 525257630 766869504 125109 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365276 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 187224 125109 396 112 0 182189 0
[pid=21446/tid=21447] ppid=21444 vsize=748896 CPUtime=762.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 162309 0 0 0 76172 58 0 0 25 0 4 0 525257630 766869504 125109 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=748896 CPUtime=762.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 205150 0 0 0 76159 71 0 0 25 0 4 0 525257630 766869504 125109 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=748896 CPUtime=758.14 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 106425 0 0 0 75774 40 0 0 25 0 4 0 525257630 766869504 125109 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.07
Current children cumulated vsize (KiB) 748896

[startup+822.301 s]
/proc/loadavg: 8.04 8.01 7.84 9/184 21481
/proc/meminfo: memFree=25817028/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=749340 CPUtime=3284.72 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 739075 0 0 0 328208 264 0 0 25 0 4 0 525257630 767324160 138984 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364751 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 187335 138984 395 112 0 182300 0
[pid=21446/tid=21447] ppid=21444 vsize=749340 CPUtime=822.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 171548 0 0 0 82168 62 0 0 25 0 4 0 525257630 767324160 138984 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=749340 CPUtime=822.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 213632 0 0 0 82153 77 0 0 25 0 4 0 525257630 767324160 138984 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=749340 CPUtime=817.81 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 112059 0 0 0 81739 42 0 0 25 0 4 0 525257630 767324160 138984 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.72
Current children cumulated vsize (KiB) 749340

[startup+882.301 s]
/proc/loadavg: 8.01 8.01 7.84 9/184 21482
/proc/meminfo: memFree=25604204/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=762284 CPUtime=3524.4 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 778489 0 0 0 352159 281 0 0 25 0 4 0 525257630 780578816 138410 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 190571 138410 395 112 0 185536 0
[pid=21446/tid=21447] ppid=21444 vsize=762284 CPUtime=882.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 178435 0 0 0 88165 64 0 0 25 0 4 0 525257630 780578816 138410 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=762284 CPUtime=882.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 227950 0 0 0 88146 84 0 0 25 0 4 0 525257630 780578816 138410 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=762284 CPUtime=877.48 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 116527 0 0 0 87704 44 0 0 25 0 4 0 525257630 780578816 138410 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 762284

[startup+942.301 s]
/proc/loadavg: 8.00 8.00 7.85 9/184 21484
/proc/meminfo: memFree=25518984/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=825340 CPUtime=3764.08 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 818986 0 0 0 376109 299 0 0 25 0 4 0 525257630 845148160 144812 33554432000 4194304 4650419 140735523269984 18446744073709551615 4433090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 206335 144812 395 112 0 201300 0
[pid=21446/tid=21447] ppid=21444 vsize=825340 CPUtime=942.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 180108 0 0 0 94164 66 0 0 25 0 4 0 525257630 845148160 144812 33554432000 4194304 4650419 140735523269984 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=825340 CPUtime=942.29 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 239705 0 0 0 94137 92 0 0 25 0 4 0 525257630 845148160 144812 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=825340 CPUtime=937.16 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 121074 0 0 0 93668 48 0 0 25 0 4 0 525257630 845148160 144812 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 825340

[startup+1002.3 s]
/proc/loadavg: 8.00 8.00 7.85 9/184 21486
/proc/meminfo: memFree=25516224/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=809172 CPUtime=4003.75 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 938603 0 0 0 400047 328 0 0 25 0 4 0 525257630 828592128 151089 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 202293 151089 395 112 0 197258 0
[pid=21446/tid=21447] ppid=21444 vsize=809172 CPUtime=1002.29 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 184740 0 0 0 100161 68 0 0 25 0 4 0 525257630 828592128 151089 33554432000 4194304 4650419 140735523269984 18446744073709551615 4331301 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=809172 CPUtime=1002.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 249271 0 0 0 100132 98 0 0 25 0 4 0 525257630 828592128 151089 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=809172 CPUtime=996.83 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 126214 0 0 0 99633 50 0 0 25 0 4 0 525257630 828592128 151089 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 809172

[startup+1062.3 s]
/proc/loadavg: 8.00 8.00 7.86 9/184 21487
/proc/meminfo: memFree=25437960/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=779996 CPUtime=4243.43 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 963691 0 0 0 424003 340 0 0 25 0 4 0 525257630 798715904 155152 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 194999 155153 395 112 0 189964 0
[pid=21446/tid=21447] ppid=21444 vsize=779996 CPUtime=1062.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 189788 0 0 0 106158 72 0 0 25 0 4 0 525257630 798715904 155153 33554432000 4194304 4650419 140735523269984 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=779996 CPUtime=1062.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 254410 0 0 0 106131 99 0 0 25 0 4 0 525257630 798715904 155153 33554432000 4194304 4650419 140735523269984 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=779996 CPUtime=1056.51 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 128856 0 0 0 105598 53 0 0 25 0 4 0 525257630 798715904 155153 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.43
Current children cumulated vsize (KiB) 779996

[startup+1122.3 s]
/proc/loadavg: 8.15 8.03 7.88 9/184 21489
/proc/meminfo: memFree=25416236/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=909180 CPUtime=4483.11 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 982639 0 0 0 447959 352 0 0 25 0 4 0 525257630 931000320 166650 33554432000 4194304 4650419 140735523269984 18446744073709551615 4433059 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 227295 166650 395 112 0 222260 0
[pid=21446/tid=21447] ppid=21444 vsize=909180 CPUtime=1122.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 195425 0 0 0 112154 76 0 0 25 0 4 0 525257630 931000320 166650 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=909180 CPUtime=1122.31 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 256104 0 0 0 112130 101 0 0 25 0 4 0 525257630 931000320 166650 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=909180 CPUtime=1116.18 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 135406 0 0 0 111561 57 0 0 25 0 4 0 525257630 931000320 166650 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363398 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 909180

[startup+1182.3 s]
/proc/loadavg: 8.20 8.06 7.89 9/184 21490
/proc/meminfo: memFree=25386932/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=905060 CPUtime=4722.78 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 1003673 0 0 0 471919 359 0 0 25 0 4 0 525257630 926781440 162885 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 226265 162885 395 112 0 221230 0
[pid=21446/tid=21447] ppid=21444 vsize=905060 CPUtime=1182.3 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 210868 0 0 0 118150 80 0 0 25 0 4 0 525257630 926781440 162885 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=905060 CPUtime=1182.3 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 259314 0 0 0 118128 102 0 0 25 0 4 0 525257630 926781440 162885 33554432000 4194304 4650419 140735523269984 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=905060 CPUtime=1175.86 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 137781 0 0 0 117528 58 0 0 25 0 4 0 525257630 926781440 162885 33554432000 4194304 4650419 140735523269984 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.78
Current children cumulated vsize (KiB) 905060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.05 7.89 9/184 21491
/proc/meminfo: memFree=25229316/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=968756 CPUtime=4800.29 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 1007327 0 0 0 479669 360 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 242189 165773 395 112 0 237154 0
[pid=21446/tid=21447] ppid=21444 vsize=968756 CPUtime=1201.7 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 210868 0 0 0 120090 80 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=968756 CPUtime=1201.71 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 259739 0 0 0 120069 102 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=968756 CPUtime=1195.14 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 139752 0 0 0 119456 58 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 968756

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.14 8.05 7.89 9/184 21491
/proc/meminfo: memFree=25229316/32950928 swapFree=67111448/67111528
[pid=21446] ppid=21444 vsize=968756 CPUtime=4800.29 cores=1,3,5,7
/proc/21446/stat : 21446 (strangenight1-m) R 21444 21446 20530 0 -1 4202496 1007327 0 0 0 479669 360 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365337 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/21446/statm: 242189 165773 395 112 0 237154 0
[pid=21446/tid=21447] ppid=21444 vsize=968756 CPUtime=1201.7 cores=1,3,5,7
/proc/21446/task/21447/stat : 21447 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 210868 0 0 0 120090 80 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=21446/tid=21448] ppid=21444 vsize=968756 CPUtime=1201.71 cores=1,3,5,7
/proc/21446/task/21448/stat : 21448 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 259739 0 0 0 120069 102 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=21446/tid=21449] ppid=21444 vsize=968756 CPUtime=1195.14 cores=1,3,5,7
/proc/21446/task/21449/stat : 21449 (strangenight1-m) R 21444 21446 20530 0 -1 4202560 139752 0 0 0 119456 58 0 0 25 0 4 0 525257630 992006144 165773 33554432000 4194304 4650419 140735523269984 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 968756

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.35
CPU user time (s): 4796.72
CPU system time (s): 3.63745
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 1024052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.71
system time used= 3.63745
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007327
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= 449
involuntary context switches= 18400

runsolver used 1.71374 second user time and 4.86026 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 06:09:49
IDJOB=3291544
IDBENCH=84237
IDSOLVER=1588
FILE ID=node126/3291544-1304136589
RUNJOBID= node126-1304136589-21433
PBS_JOBID= 13170788
Free space on /tmp= 73184 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291544-1304136589/watcher-3291544-1304136589 -o /tmp/evaluation-result-3291544-1304136589/solver-3291544-1304136589 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3291544-1304136589.cnf

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

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=1254864624

node126.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.783
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.56
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.783
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.783
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.783
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.74
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.783
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.80
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.783
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.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30861512 kB
Buffers:        283260 kB
Cached:        1426908 kB
SwapCached:         76 kB
Active:         157584 kB
Inactive:      1620580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30861512 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            6252 kB
Writeback:           0 kB
AnonPages:       67816 kB
Mapped:          14496 kB
Slab:           247544 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   193116 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= 73108 MiB
End job on node126 at 2011-04-30 06:29:53