Trace number 3366715

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.45 1203.14

General information on the benchmark

Namecrafted/kullmann/GreenTao/
GreenTaok1k2/GreenTao_2-4-4_512.cnf
MD5SUMc1f047ec179094963b21d7b90509d2b9
Bench CategoryCRAFTED (crafted 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 variables510
Number of clauses4492
Sum of the clauses size17968
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 44492
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366715-1305413763.cnf'
0.00/0.01	c -- header says num vars:            510
0.00/0.01	c -- header says num clauses:        4492
0.00/0.01	c -- clauses added:            0 learnts,         4492 normals,            0 xors
0.00/0.01	c -- vars added        510
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       510      4492         0         0     17968         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/4492/4492 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:    510 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  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:       0 undec:     510 neg:       0
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       510      4492         0         0     17968         0   no data   no data
0.40/0.11	c Decided on static restart strategy
0.77/0.21	c  N st     8      4913       510      4492         0      4745     17968    132859   no data   no data
1.17/0.34	c  N st    10     11295       510      4492         0      4383     17968     90461   no data   no data
1.97/0.56	c  N st    11     17040       510      4492         0      9887     17968    243118   no data   no data
3.17/0.89	c  F st    12     25000       510      4492         0     12159     17968    312256   no data   no data
3.17/0.89	c Found part        5 vars:        252 clauses:      2088 lits size:      8352
3.17/0.89	c Found part        7 vars:        258 clauses:      2404 lits size:      9616
3.17/0.89	c Found parts:          2 time: 0.00 s
3.17/0.89	c Solving part 5
3.17/0.89	c  N st     0         0       252      2088         0         0      8352         0   no data   no data
3.57/0.90	c asymm  cl-useful: 0/2088/2088 lits-rem:0 time: 0.00
3.57/0.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.57/0.90	c Finding binary XORs  T:     0.00 s  found:       0
3.57/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.57/0.90	c calculated reachability. Time: 0.00
3.57/0.90	c Calc default polars -  time:   0.00 s pos:       0 undec:     510 neg:       0
3.57/0.90	c =========================================================================================
3.57/0.90	c types(t): F = full restart, N = normal restart
3.57/0.90	c types(t): S = simplification begin/end, E = solution found
3.57/0.90	c restart types(rt): st = static, dy = dynamic
3.57/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.57/0.90	c  B st     0         0       252      2088         0         0      8352         0   no data   no data
3.57/0.94	c Decided on static restart strategy
3.97/1.01	c  N st     8      4925       252      2088         0      4791      8352    147973   no data   no data
4.39/1.11	c  E st    10      8030         0      2088         0      5381      8352    143400   no data   no data
4.39/1.11	c Verified 2088 clauses.
4.39/1.11	c Verified 2088 clauses.
4.39/1.11	c Solved part
4.39/1.11	c =========================================================================================
4.39/1.11	c Coming back to original instance
4.39/1.11	c =========================================================================================
4.39/1.11	c  N st    12     25000       258      2404         0     12159      9616    312256   no data   no data
5.16/1.30	c Decided on static restart strategy
5.16/1.30	c  N st    18     30001       258      2404         0     10421      9616    226859   no data   no data
5.16/1.30	c  S st    18     30001       258      2404         0     10421      9616    226859   no data   no data
5.16/1.33	c  S st    18     30503       258      2404         0     10921      9616    240646   no data   no data
5.16/1.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.16/1.34	c blocked clauses removed:        0 vars:      0 tried:         258 T: 0.00 s
5.16/1.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
5.16/1.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.47	c lits-rem:       258  cl-subs:      965  v-elim:      0  v-fix:    0  time:  0.12 s
5.56/1.48	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.01
5.56/1.48	c calculated reachability. Time: 0.00
5.56/1.48	c  N st    18     30503       258      2404         0      9956      9616    212181   no data   no data
7.15/1.82	c  N st    20     37613       258      2404         0      9127      9616    172646   no data   no data
8.35/2.14	c  N st    21     44012       258      2404         0     15251      9616    349625   no data   no data
8.77/2.24	c  S st    22     45754       258      2404         0     16911      9616    395547   no data   no data
8.77/2.28	c  S st    22     46262       258      2404         0      8856      9616    150146   no data   no data
8.77/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
8.77/2.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.31	c lits-rem:        53  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.02 s
9.20/2.31	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
9.20/2.31	c vivif2 --  cl tried     8743 cl shrink        0 lits rem          0 time: 0.00
9.20/2.32	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.01
9.20/2.32	c calculated reachability. Time: 0.00
9.20/2.32	c  N st    22     46262       258      2404         0      8743      9616    146872   no data   no data
11.94/3.02	c  N st    23     60659       258      2404         0     13047      9616    261220   no data   no data
14.33/3.60	c  N st    24     69393       258      2404         0     10838      9616    184322   no data   no data
14.33/3.60	c  S st    24     69393       258      2404         0     10838      9616    184322   no data   no data
14.33/3.63	c  S st    24     69896       258      2404         0     11337      9616    198132   no data   no data
14.33/3.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.33/3.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.33/3.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.33/3.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.33/3.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
14.33/3.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.33/3.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.33/3.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.33/3.67	c lits-rem:        73  cl-subs:      207  v-elim:      0  v-fix:    0  time:  0.03 s
14.33/3.67	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
14.33/3.67	c vivif2 --  cl tried    11130 cl shrink        0 lits rem          0 time: 0.00
14.33/3.68	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.01
14.33/3.69	c calculated reachability. Time: 0.00
14.33/3.69	c  N st    24     69896       258      2404         0     11130      9616    192399   no data   no data
18.32/4.70	c  F st    25     87502       258      2404         0     16444      9616    318308   no data   no data
18.73/4.70	c  N st    25     87502       258      2404         0     16444      9616    318308   no data   no data
19.52/4.99	c Decided on static restart strategy
20.32/5.16	c  N st    32     95543       258      2404         0     24203      9616    534325   no data   no data
22.71/5.72	c  N st    34    104846       258      2404         0     20689      9616    426709   no data   no data
22.71/5.72	c  S st    34    104846       258      2404         0     20689      9616    426709   no data   no data
22.71/5.77	c  S st    34    105350       258      2404         0     21189      9616    442116   no data   no data
22.71/5.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
22.71/5.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
22.71/5.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22.71/5.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
22.71/5.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22.71/5.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
22.71/5.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
22.71/5.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
22.71/5.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.31/6.13	c lits-rem:       545  cl-subs:     1075  v-elim:      0  v-fix:    0  time:  0.34 s
24.31/6.13	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
24.31/6.13	c vivif2 --  cl tried    20114 cl shrink        0 lits rem          0 time: 0.00
24.31/6.16	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.02
24.31/6.16	c calculated reachability. Time: 0.00
24.31/6.16	c  N st    34    105350       258      2404         0     20114      9616    406759   no data   no data
26.75/6.78	c  N st    35    114948       258      2404         0     15881      9616    263202   no data   no data
31.14/7.87	c  N st    36    129347       258      2404         0     15244      9616    238816   no data   no data
37.08/9.39	c  N st    37    150942       258      2404         0     20598      9616    370789   no data   no data
39.50/9.94	c  S st    38    158025       258      2404         0     27318      9616    541075   no data   no data
39.50/10.01	c  S st    38    158529       258      2404         0     27822      9616    555500   no data   no data
39.92/10.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
39.92/10.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
39.92/10.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
39.92/10.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
39.92/10.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
39.92/10.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
39.92/10.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
39.92/10.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
39.92/10.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.06/10.89	c lits-rem:       923  cl-subs:     2351  v-elim:      0  v-fix:    0  time:  0.85 s
43.06/10.89	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
43.06/10.89	c vivif2 --  cl tried    25471 cl shrink        0 lits rem          0 time: 0.01
43.47/10.92	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.03
43.47/10.92	c calculated reachability. Time: 0.00
43.47/10.92	c  N st    38    158529       258      2404         0     25471      9616    493782   no data   no data
59.83/15.02	c  N st    39    207119       258      2404         0     20153      9616    303288   no data   no data
69.40/17.46	c  N st    40    237793       258      2404         0     30327      9616    562196   no data   no data
69.40/17.46	c  S st    40    237793       258      2404         0     30327      9616    562196   no data   no data
69.80/17.54	c  S st    40    238295       258      2404         0     30828      9616    576125   no data   no data
69.80/17.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.80/17.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
69.80/17.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.80/17.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.80/17.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.80/17.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
69.80/17.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
69.80/17.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
69.80/17.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.19/18.64	c lits-rem:       666  cl-subs:     2729  v-elim:      0  v-fix:    0  time:  1.06 s
74.19/18.64	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
74.19/18.64	c vivif2 --  cl tried    28099 cl shrink        0 lits rem          0 time: 0.01
74.19/18.68	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.03
74.19/18.68	c calculated reachability. Time: 0.00
74.19/18.68	c  N st    40    238295       258      2404         0     28099      9616    507379   no data   no data
97.72/24.59	c  F st    41    306250       258      2404         0     30065      9616    503751   no data   no data
97.72/24.59	c  N st    41    306250       258      2404         0     30065      9616    503751   no data   no data
99.72/25.01	c Decided on static restart strategy
107.71/27.03	c  N st    51    334554       258      2404         0     34350      9616    625465   no data   no data
116.88/29.32	c  N st    53    357443       258      2404         0     32393      9616    537082   no data   no data
116.88/29.32	c  S st    53    357443       258      2404         0     32393      9616    537082   no data   no data
117.28/29.40	c  S st    53    357949       258      2404         0     32895      9616    551702   no data   no data
117.28/29.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
117.28/29.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
117.28/29.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.28/29.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.28/29.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.28/29.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
117.28/29.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
117.28/29.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
117.28/29.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
119.27/29.96	c lits-rem:       520  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.51 s
119.27/29.96	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
119.27/29.97	c vivif2 --  cl tried    31636 cl shrink        0 lits rem          0 time: 0.01
119.67/30.00	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.04
119.67/30.00	c calculated reachability. Time: 0.00
119.67/30.00	c  N st    53    357949       258      2404         0     31636      9616    515756   no data   no data
132.08/33.16	c  N st    54    390341       258      2404         0     37683      9616    680991   no data   no data
152.79/38.35	c  N st    55    438934       258      2404         0     31569      9616    470017   no data   no data
186.31/46.75	c  N st    56    511816       258      2404         0     44764      9616    813173   no data   no data
197.09/49.45	c  N st    57    536923       258      2404         0     39353      9616    657291   no data   no data
197.09/49.45	c  S st    57    536923       258      2404         0     39353      9616    657291   no data   no data
197.50/49.57	c  S st    57    537428       258      2404         0     39852      9616    670694   no data   no data
197.50/49.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
197.50/49.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
197.50/49.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
197.50/49.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
197.50/49.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
197.50/49.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
197.50/49.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
197.50/49.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
197.50/49.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
201.89/50.69	c lits-rem:      1866  cl-subs:     1646  v-elim:      0  v-fix:    0  time:  1.07 s
201.89/50.69	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
201.89/50.69	c vivif2 --  cl tried    38206 cl shrink        0 lits rem          0 time: 0.01
202.31/50.78	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.08
202.31/50.78	c calculated reachability. Time: 0.00
202.31/50.78	c  N st    57    537428       258      2404         0     38206      9616    620248   no data   no data
292.84/73.49	c  N st    58    701414       258      2404         0     66465      9616   1364284   no data   no data
347.90/87.29	c  N st    59    806143       258      2404         0     60356      9616   1121815   no data   no data
347.90/87.29	c  S st    59    806143       258      2404         0     60356      9616   1121815   no data   no data
348.70/87.46	c  S st    59    806645       258      2404         0     60857      9616   1136101   no data   no data
348.70/87.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
348.70/87.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
348.70/87.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
348.70/87.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
348.70/87.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
348.70/87.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
348.70/87.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
349.10/87.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
349.10/87.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
371.85/93.29	c lits-rem:      2316  cl-subs:     6043  v-elim:      0  v-fix:    0  time:  5.70 s
371.85/93.29	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
372.25/93.30	c vivif2 --  cl tried    54814 cl shrink        0 lits rem          0 time: 0.01
372.65/93.40	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.10
372.65/93.40	c calculated reachability. Time: 0.00
372.65/93.40	c  N st    59    806645       258      2404         0     54814      9616    977718   no data   no data
525.46/131.70	c  F st    60   1071875       258      2404         0     70240      9616   1339522   no data   no data
525.46/131.71	c  N st    60   1071875       258      2404         0     70240      9616   1339522   no data   no data
529.06/132.68	c Decided on static restart strategy
543.43/136.29	c  N st    70   1100177       258      2404         0     54806      9616    850465   no data   no data
567.76/142.36	c  N st    72   1136169       258      2404         0     45324      9616    552211   no data   no data
586.11/146.93	c  N st    73   1168563       258      2404         0     76037      9616   1438114   no data   no data
610.49/153.01	c  N st    74   1209968       258      2404         0     70778      9616   1286507   no data   no data
610.49/153.01	c  S st    74   1209968       258      2404         0     70778      9616   1286507   no data   no data
611.25/153.22	c  S st    74   1210472       258      2404         0     71280      9616   1300431   no data   no data
611.25/153.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
611.25/153.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
611.25/153.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
611.25/153.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
611.25/153.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
611.25/153.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
611.25/153.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
611.25/153.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
611.65/153.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
637.19/159.76	c lits-rem:      2476  cl-subs:     5232  v-elim:      0  v-fix:    0  time:  6.39 s
637.19/159.76	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
637.19/159.78	c vivif2 --  cl tried    66048 cl shrink        0 lits rem          0 time: 0.02
637.99/159.91	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.13
637.99/159.91	c calculated reachability. Time: 0.00
637.99/159.91	c  N st    74   1210472       258      2404         0     66048      9616   1153267   no data   no data
694.65/174.19	c  N st    75   1283354       258      2404         0     89597      9616   1775207   no data   no data
773.65/193.93	c  N st    76   1392679       258      2404         0     51134      9616    633778   no data   no data
889.76/223.05	c  N st    77   1556665       258      2404         0     55719      9616    712577   no data   no data
1019.44/255.50	c  N st    78   1710473       258      2404         0     96137      9616   1795070   no data   no data
1019.44/255.50	c  S st    78   1710473       258      2404         0     96137      9616   1795070   no data   no data
1020.63/255.88	c  S st    78   1710974       258      2404         0     96635      9616   1809641   no data   no data
1020.63/255.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1021.03/255.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1021.03/255.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1021.03/255.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1021.03/255.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1021.03/255.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1021.03/255.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1021.03/255.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1021.44/256.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1105.63/277.10	c lits-rem:      5571  cl-subs:    12248  v-elim:      0  v-fix:    0  time: 20.88 s
1105.63/277.10	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1105.63/277.12	c vivif2 --  cl tried    84387 cl shrink        0 lits rem          0 time: 0.02
1106.46/277.33	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.20
1106.46/277.33	c calculated reachability. Time: 0.00
1106.46/277.33	c  N st    78   1710974       258      2404         0     84387      9616   1499528   no data   no data
1423.63/356.87	c  N st    79   2079939       258      2404         0     96134      9616   1735052   no data   no data
1535.76/384.95	c  N st    80   2210974       258      2404         0    100491      9616   1869696   no data   no data
1535.76/384.95	c  S st    80   2210974       258      2404         0    100491      9616   1869696   no data   no data
1536.94/385.27	c  S st    80   2211480       258      2404         0    100990      9616   1883661   no data   no data
1536.94/385.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1537.34/385.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1537.34/385.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1537.34/385.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1537.34/385.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1537.34/385.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
1537.34/385.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1537.34/385.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1537.34/385.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1613.15/404.36	c lits-rem:      5305  cl-subs:    10282  v-elim:      0  v-fix:    0  time: 18.78 s
1613.15/404.36	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
1613.15/404.38	c vivif2 --  cl tried    90708 cl shrink        0 lits rem          0 time: 0.02
1614.35/404.61	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.22
1614.35/404.61	c calculated reachability. Time: 0.00
1614.35/404.61	c  N st    80   2211480       258      2404         0     90708      9616   1603603   no data   no data
2094.00/524.86	c  N st    81   2711481       258      2404         0    113516      9616   2082935   no data   no data
2094.00/524.86	c  S st    81   2711481       258      2404         0    113516      9616   2082935   no data   no data
2095.56/525.26	c  S st    81   2711985       258      2404         0    114018      9616   2097699   no data   no data
2095.56/525.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2095.96/525.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.05
2095.96/525.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2095.96/525.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2095.96/525.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2095.96/525.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2095.96/525.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2095.96/525.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2096.36/525.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2208.88/553.69	c lits-rem:      5359  cl-subs:    14162  v-elim:      0  v-fix:    0  time: 27.99 s
2208.88/553.69	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2209.28/553.72	c vivif2 --  cl tried    99856 cl shrink        0 lits rem          0 time: 0.02
2210.08/553.97	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.25
2210.08/553.97	c calculated reachability. Time: 0.00
2210.08/553.97	c  N st    81   2711985       258      2404         0     99856      9616   1730798   no data   no data
2749.94/689.23	c  N st    82   3211985       258      2404         0     77192      9616    942108   no data   no data
2749.94/689.23	c  S st    82   3211985       258      2404         0     77192      9616    942108   no data   no data
2750.74/689.47	c  S st    82   3212492       258      2404         0     77698      9616    955989   no data   no data
2750.74/689.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2751.14/689.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2751.14/689.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2751.14/689.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2751.14/689.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2751.14/689.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
2751.14/689.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2751.14/689.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2751.14/689.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2753.52/690.14	c lits-rem:       756  cl-subs:      930  v-elim:      0  v-fix:    0  time:  0.58 s
2753.52/690.14	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
2753.52/690.15	c vivif2 --  cl tried    76768 cl shrink        0 lits rem          0 time: 0.01
2754.32/690.31	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.16
2754.32/690.31	c calculated reachability. Time: 0.00
2754.32/690.31	c  N st    82   3212492       258      2404         0     76768      9616    933168   no data   no data
3294.98/825.88	c  N st    83   3712492       258      2404         0     86948      9616   1136693   no data   no data
3294.98/825.88	c  S st    83   3712492       258      2404         0     86948      9616   1136693   no data   no data
3296.19/826.17	c  S st    83   3712995       258      2404         0     87450      9616   1151093   no data   no data
3296.19/826.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3296.62/826.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3296.62/826.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3296.62/826.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3296.62/826.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3296.62/826.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3296.62/826.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3296.62/826.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3296.62/826.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3302.16/827.68	c lits-rem:       657  cl-subs:     1809  v-elim:      0  v-fix:    0  time:  1.40 s
3302.16/827.69	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
3302.56/827.70	c vivif2 --  cl tried    85641 cl shrink        0 lits rem          0 time: 0.02
3303.36/827.90	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.20
3303.36/827.90	c calculated reachability. Time: 0.00
3303.36/827.90	c  N st    83   3712995       258      2404         0     85641      9616   1102473   no data   no data
3338.46/836.70	c  F st    84   3751562       258      2404         0    122172      9616   2240090   no data   no data
3338.46/836.70	c  N st    84   3751562       258      2404         0    122172      9616   2240090   no data   no data
3344.46/838.23	c Decided on static restart strategy
3371.98/845.13	c  N st    94   3779864       258      2404         0    149084      9616   3007241   no data   no data
3407.09/853.90	c  N st    96   3815856       258      2404         0    102859      9616   1558534   no data   no data
3439.42/862.07	c  N st    97   3848248       258      2404         0    133378      9616   2443829   no data   no data
3496.87/876.43	c  N st    98   3896836       258      2404         0     98069      9616   1388524   no data   no data
3589.44/899.61	c  N st    99   3969722       258      2404         0     84807      9616   1006929   no data   no data
3701.56/927.72	c  N st   100   4079045       258      2404         0    105091      9616   1603132   no data   no data
3850.38/965.09	c  N st   101   4212995       258      2404         0    147812      9616   2897652   no data   no data
3850.38/965.09	c  S st   101   4212995       258      2404         0    147812      9616   2897652   no data   no data
3852.39/965.59	c  S st   101   4213502       258      2404         0    148319      9616   2911641   no data   no data
3852.79/965.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3852.79/965.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
3852.79/965.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3852.79/965.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3852.79/965.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3852.79/965.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
3852.79/965.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3853.19/965.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3853.19/965.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4032.34/1010.62	c lits-rem:      6142  cl-subs:    13606  v-elim:      0  v-fix:    0  time: 44.38 s
4032.34/1010.62	c vivif2 --  cl tried     2404 cl shrink        0 lits rem          0 time: 0.00
4032.34/1010.66	c vivif2 --  cl tried   134713 cl shrink        0 lits rem          0 time: 0.03
4033.97/1011.03	c asymm  cl-useful: 0/2404/2404 lits-rem:0 time: 0.36
4033.97/1011.03	c calculated reachability. Time: 0.00
4033.97/1011.03	c  N st   101   4213502       258      2404         0    134713      9616   2531624   no data   no data
4431.69/1110.75	c  N st   102   4459480       258      2404         0    109221      9616   1621553   no data   no data
4732.13/1186.02	c  N st   103   4713503       258      2404         0    172769      9616   3383131   no data   no data
4732.13/1186.02	c  S st   103   4713503       258      2404         0    172769      9616   3383131   no data   no data
4734.53/1186.68	c  S st   103   4714005       258      2404         0    173267      9616   3397816   no data   no data
4734.53/1186.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4734.93/1186.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.1M T:  0.09
4734.93/1186.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4734.93/1186.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4734.93/1186.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4734.93/1186.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    258 time:  0.00 s
4734.93/1186.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4735.33/1186.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4735.75/1186.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366715-1305413763/watcher-3366715-1305413763 -o /tmp/evaluation-result-3366715-1305413763/solver-3366715-1305413763 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366715-1305413763.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: 3.14 6.10 7.28 3/314 15355
/proc/meminfo: memFree=28009168/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=273632 CPUtime=0 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 855 0 0 0 0 0 0 0 25 0 4 0 652975093 280199168 767 33554432000 4194304 4580107 140736934068688 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/15355/statm: 68408 768 336 95 0 63390 0
[pid=15355/tid=15356] ppid=15353 vsize=281960 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 75 0 0 0 0 0 0 0 25 0 4 0 652975093 288727040 928 33554432000 4194304 4580107 140736934068688 18446744073709551615 268272350241 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=281960 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 162 0 0 0 0 0 0 0 25 0 4 0 652975093 288727040 928 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=281960 CPUtime=0 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 189 0 0 0 0 0 0 0 25 0 4 0 652975093 288727040 928 33554432000 4194304 4580107 140736934068688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107091 s]
/proc/loadavg: 3.14 6.10 7.28 3/314 15355
/proc/meminfo: memFree=28009168/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=282732 CPUtime=0.4 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 2459 0 0 0 40 0 0 0 25 0 4 0 652975093 289517568 2221 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 70683 2221 376 95 0 65665 0
[pid=15355/tid=15356] ppid=15353 vsize=282732 CPUtime=0.09 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 597 0 0 0 9 0 0 0 25 0 4 0 652975093 289517568 2221 33554432000 4194304 4580107 140736934068688 18446744073709551615 4321722 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=282732 CPUtime=0.1 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 520 0 0 0 10 0 0 0 25 0 4 0 652975093 289517568 2221 33554432000 4194304 4580107 140736934068688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=282732 CPUtime=0.1 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 344 0 0 0 10 0 0 0 25 0 4 0 652975093 289517568 2221 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282732

[startup+0.201075 s]
/proc/loadavg: 3.14 6.10 7.28 3/314 15355
/proc/meminfo: memFree=28009168/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=284592 CPUtime=0.77 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 3255 0 0 0 77 0 0 0 25 0 4 0 652975093 291422208 2308 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 71148 2308 377 95 0 66130 0
[pid=15355/tid=15356] ppid=15353 vsize=284592 CPUtime=0.19 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 796 0 0 0 19 0 0 0 25 0 4 0 652975093 291422208 2308 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=284592 CPUtime=0.19 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 708 0 0 0 19 0 0 0 25 0 4 0 652975093 291422208 2308 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=284592 CPUtime=0.19 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 543 0 0 0 19 0 0 0 25 0 4 0 652975093 291422208 2308 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284592

[startup+0.301057 s]
/proc/loadavg: 3.14 6.10 7.28 3/314 15355
/proc/meminfo: memFree=28009168/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=284592 CPUtime=1.17 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 3718 0 0 0 117 0 0 0 25 0 4 0 652975093 291422208 2771 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 71148 2771 377 95 0 66130 0
[pid=15355/tid=15356] ppid=15353 vsize=284592 CPUtime=0.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 924 0 0 0 29 0 0 0 25 0 4 0 652975093 291422208 2771 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=284592 CPUtime=0.29 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 818 0 0 0 29 0 0 0 25 0 4 0 652975093 291422208 2771 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=284592 CPUtime=0.29 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 653 0 0 0 29 0 0 0 25 0 4 0 652975093 291422208 2771 33554432000 4194304 4580107 140736934068688 18446744073709551615 4318363 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284592

[startup+0.700987 s]
/proc/loadavg: 3.14 6.10 7.28 3/314 15355
/proc/meminfo: memFree=28009168/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=286508 CPUtime=2.77 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 6412 0 0 0 277 0 0 0 25 0 4 0 652975093 293384192 3102 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 71627 3102 377 95 0 66609 0
[pid=15355/tid=15356] ppid=15353 vsize=286508 CPUtime=0.69 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 1587 0 0 0 69 0 0 0 25 0 4 0 652975093 293384192 3102 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=286508 CPUtime=0.69 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 1505 0 0 0 69 0 0 0 25 0 4 0 652975093 293384192 3102 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=286508 CPUtime=0.69 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 1339 0 0 0 69 0 0 0 25 0 4 0 652975093 293384192 3102 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 286508

[startup+1.50085 s]
/proc/loadavg: 3.14 6.10 7.28 9/324 15368
/proc/meminfo: memFree=27867852/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=321592 CPUtime=5.96 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 12195 0 0 0 595 1 0 0 25 0 4 0 652975093 329310208 8254 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 80398 8254 379 95 0 75380 0
[pid=15355/tid=15356] ppid=15353 vsize=321592 CPUtime=1.48 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 2824 0 0 0 148 0 0 0 25 0 4 0 652975093 329310208 8254 33554432000 4194304 4580107 140736934068688 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=321592 CPUtime=1.49 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 2746 0 0 0 149 0 0 0 25 0 4 0 652975093 329310208 8254 33554432000 4194304 4580107 140736934068688 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=321592 CPUtime=1.49 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 2352 0 0 0 149 0 0 0 25 0 4 0 652975093 329310208 8254 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 321592

[startup+3.10056 s]
/proc/loadavg: 3.14 6.10 7.28 9/324 15368
/proc/meminfo: memFree=27796180/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=322880 CPUtime=12.35 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 18135 0 0 0 1232 3 0 0 25 0 4 0 652975093 330629120 8078 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 80720 8078 379 95 0 75702 0
[pid=15355/tid=15356] ppid=15353 vsize=322880 CPUtime=3.08 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 4319 0 0 0 308 0 0 0 25 0 4 0 652975093 330629120 8078 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=322880 CPUtime=3.08 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 4021 0 0 0 308 0 0 0 25 0 4 0 652975093 330629120 8078 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=322880 CPUtime=3.08 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 3998 0 0 0 308 0 0 0 25 0 4 0 652975093 330629120 8078 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295739 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 322880

[startup+6.30099 s]
/proc/loadavg: 3.53 6.13 7.28 9/324 15368
/proc/meminfo: memFree=27756768/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=333152 CPUtime=25.11 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 30573 0 0 0 2507 4 0 0 25 0 4 0 652975093 341147648 11594 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 83288 11594 379 95 0 78270 0
[pid=15355/tid=15356] ppid=15353 vsize=333152 CPUtime=6.28 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 7152 0 0 0 628 0 0 0 25 0 4 0 652975093 341147648 11594 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=333152 CPUtime=6.29 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 6809 0 0 0 628 1 0 0 25 0 4 0 652975093 341147648 11594 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294754 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=333152 CPUtime=6.29 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 6948 0 0 0 628 1 0 0 25 0 4 0 652975093 341147648 11594 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 333152

[startup+12.7009 s]
/proc/loadavg: 3.89 6.16 7.28 9/324 15369
/proc/meminfo: memFree=27683280/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=305992 CPUtime=50.64 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 48940 0 0 0 5056 8 0 0 25 0 4 0 652975093 313335808 13385 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 76498 13385 379 95 0 71480 0
[pid=15355/tid=15356] ppid=15353 vsize=305992 CPUtime=12.68 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 11595 0 0 0 1267 1 0 0 25 0 4 0 652975093 313335808 13385 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=305992 CPUtime=12.69 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 11197 0 0 0 1267 2 0 0 25 0 4 0 652975093 313335808 13385 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=305992 CPUtime=12.69 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 11943 0 0 0 1267 2 0 0 25 0 4 0 652975093 313335808 13385 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 305992

[startup+25.5006 s]
/proc/loadavg: 4.80 6.25 7.29 9/324 15369
/proc/meminfo: memFree=27655636/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=306848 CPUtime=101.71 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 77788 0 0 0 10157 14 0 0 25 0 4 0 652975093 314212352 20300 33554432000 4194304 4580107 140736934068688 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 76712 20300 379 95 0 71694 0
[pid=15355/tid=15356] ppid=15353 vsize=306848 CPUtime=25.47 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 19529 0 0 0 2545 2 0 0 25 0 4 0 652975093 314212352 20300 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=306848 CPUtime=25.49 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 18491 0 0 0 2545 4 0 0 25 0 4 0 652975093 314212352 20300 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=306848 CPUtime=25.48 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 20304 0 0 0 2545 3 0 0 25 0 4 0 652975093 314212352 20300 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 306848

[startup+51.101 s]
/proc/loadavg: 5.97 6.41 7.32 9/324 15370
/proc/meminfo: memFree=27583148/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=288228 CPUtime=203.86 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 120368 0 0 0 20364 22 0 0 25 0 4 0 652975093 295145472 32613 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 72057 32613 379 95 0 67039 0
[pid=15355/tid=15356] ppid=15353 vsize=288228 CPUtime=51.08 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 32876 0 0 0 5103 5 0 0 25 0 4 0 652975093 295145472 32613 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=288228 CPUtime=51.09 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 30193 0 0 0 5103 6 0 0 25 0 4 0 652975093 295145472 32613 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=288228 CPUtime=51.09 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 29006 0 0 0 5104 5 0 0 25 0 4 0 652975093 295145472 32613 33554432000 4194304 4580107 140736934068688 18446744073709551615 4340626 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 288228

[startup+102.301 s]
/proc/loadavg: 7.12 6.65 7.35 9/324 15371
/proc/meminfo: memFree=27487876/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=326108 CPUtime=408.18 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 178010 0 0 0 40780 38 0 0 25 0 4 0 652975093 333934592 43237 33554432000 4194304 4580107 140736934068688 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 81527 43237 379 95 0 76509 0
[pid=15355/tid=15356] ppid=15353 vsize=326108 CPUtime=102.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 48774 0 0 0 10220 9 0 0 25 0 4 0 652975093 333934592 43237 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=326108 CPUtime=102.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 40526 0 0 0 10221 9 0 0 25 0 4 0 652975093 333934592 43237 33554432000 4194304 4580107 140736934068688 18446744073709551615 4316442 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=326108 CPUtime=102.3 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 44133 0 0 0 10221 9 0 0 25 0 4 0 652975093 333934592 43237 33554432000 4194304 4580107 140736934068688 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.18
Current children cumulated vsize (KiB) 326108

[startup+162.3 s]

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

[pid=15355] ppid=15353 vsize=565452 CPUtime=2562.8 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 493342 0 0 0 256122 158 0 0 25 0 4 0 652975093 579022848 108891 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 141363 108891 379 95 0 136345 0
[pid=15355/tid=15356] ppid=15353 vsize=565452 CPUtime=642.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 130300 0 0 0 64193 36 0 0 25 0 4 0 652975093 579022848 108891 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=565452 CPUtime=642.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 55159 0 0 0 64214 16 0 0 25 0 4 0 652975093 579022848 108891 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=565452 CPUtime=642.3 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 160680 0 0 0 64173 57 0 0 25 0 4 0 652975093 579022848 108891 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2562.8
Current children cumulated vsize (KiB) 565452

[startup+702.3 s]
/proc/loadavg: 8.08 7.93 7.71 9/324 15399
/proc/meminfo: memFree=27211832/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=578900 CPUtime=2802.2 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 516567 0 0 0 280052 168 0 0 25 0 4 0 652975093 592793600 107757 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295702 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 144725 107757 379 95 0 139707 0
[pid=15355/tid=15356] ppid=15353 vsize=578900 CPUtime=702.28 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 136670 0 0 0 70189 39 0 0 25 0 4 0 652975093 592793600 107757 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=578900 CPUtime=702.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 55281 0 0 0 70214 16 0 0 25 0 4 0 652975093 592793600 107757 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=578900 CPUtime=702.3 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 167782 0 0 0 70170 60 0 0 25 0 4 0 652975093 592793600 107757 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.2
Current children cumulated vsize (KiB) 578900

[startup+762.301 s]
/proc/loadavg: 8.07 7.95 7.73 9/324 15401
/proc/meminfo: memFree=27196796/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=592736 CPUtime=3041.62 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 546016 0 0 0 303981 181 0 0 25 0 4 0 652975093 606961664 108047 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 148184 108047 379 95 0 143166 0
[pid=15355/tid=15356] ppid=15353 vsize=592736 CPUtime=762.3 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 143088 0 0 0 76188 42 0 0 25 0 4 0 652975093 606961664 108050 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=592736 CPUtime=762.32 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 57725 0 0 0 76215 17 0 0 25 0 4 0 652975093 606961664 108050 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=592736 CPUtime=762.32 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 178104 0 0 0 76168 64 0 0 25 0 4 0 652975093 606961664 108050 33554432000 4194304 4580107 140736934068688 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.62
Current children cumulated vsize (KiB) 592736

[startup+822.301 s]
/proc/loadavg: 8.07 7.97 7.75 9/324 15402
/proc/meminfo: memFree=27171840/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=702152 CPUtime=3281.01 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 574344 0 0 0 327908 193 0 0 25 0 4 0 652975093 719003648 113976 33554432000 4194304 4580107 140736934068688 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 175538 113976 379 95 0 170520 0
[pid=15355/tid=15356] ppid=15353 vsize=702152 CPUtime=822.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 148351 0 0 0 82184 45 0 0 25 0 4 0 652975093 719003648 113976 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=702152 CPUtime=822.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 63295 0 0 0 82212 18 0 0 25 0 4 0 652975093 719003648 113976 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=702152 CPUtime=822.3 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 187164 0 0 0 82164 66 0 0 25 0 4 0 652975093 719003648 113976 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.01
Current children cumulated vsize (KiB) 702152

[startup+882.312 s]
/proc/loadavg: 8.10 8.00 7.77 9/324 15404
/proc/meminfo: memFree=27190908/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=634760 CPUtime=3520.46 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 603847 0 0 0 351842 204 0 0 25 0 4 0 652975093 649994240 108479 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 158690 108479 379 95 0 153672 0
[pid=15355/tid=15356] ppid=15353 vsize=634760 CPUtime=882.3 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 154767 0 0 0 88183 47 0 0 25 0 4 0 652975093 649994240 108479 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=634760 CPUtime=882.31 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 67378 0 0 0 88211 20 0 0 25 0 4 0 652975093 649994240 108479 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=634760 CPUtime=882.32 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 195816 0 0 0 88162 70 0 0 25 0 4 0 652975093 649994240 108479 33554432000 4194304 4580107 140736934068688 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.46
Current children cumulated vsize (KiB) 634760

[startup+942.301 s]
/proc/loadavg: 8.26 8.06 7.80 9/324 15405
/proc/meminfo: memFree=27175380/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=658696 CPUtime=3759.82 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 635961 0 0 0 375766 216 0 0 25 0 4 0 652975093 674504704 113148 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 164674 113148 379 95 0 159656 0
[pid=15355/tid=15356] ppid=15353 vsize=658696 CPUtime=942.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 160674 0 0 0 94180 49 0 0 25 0 4 0 652975093 674504704 113148 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=658696 CPUtime=942.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 73776 0 0 0 94207 23 0 0 25 0 4 0 652975093 674504704 113148 33554432000 4194304 4580107 140736934068688 18446744073709551615 4301509 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=658696 CPUtime=942.31 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 206377 0 0 0 94157 74 0 0 25 0 4 0 652975093 674504704 113148 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.82
Current children cumulated vsize (KiB) 658696

[startup+1002.3 s]
/proc/loadavg: 8.16 8.07 7.82 9/324 15407
/proc/meminfo: memFree=27134920/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=709516 CPUtime=3999.22 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 666689 0 0 0 399693 229 0 0 25 0 4 0 652975093 726544384 122678 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406408 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 177379 122678 379 95 0 172361 0
[pid=15355/tid=15356] ppid=15353 vsize=709516 CPUtime=1002.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 168721 0 0 0 100176 53 0 0 25 0 4 0 652975093 726544384 122678 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=709516 CPUtime=1002.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 78312 0 0 0 100205 25 0 0 25 0 4 0 652975093 726544384 122678 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=709516 CPUtime=1002.31 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 214895 0 0 0 100153 78 0 0 25 0 4 0 652975093 726544384 122678 33554432000 4194304 4580107 140736934068688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.22
Current children cumulated vsize (KiB) 709516

[startup+1062.3 s]
/proc/loadavg: 8.06 8.06 7.83 9/324 15409
/proc/meminfo: memFree=27131036/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=724648 CPUtime=4238.6 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 687552 0 0 0 423622 238 0 0 25 0 4 0 652975093 742039552 122832 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 181162 122832 379 95 0 176144 0
[pid=15355/tid=15356] ppid=15353 vsize=724648 CPUtime=1062.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 173967 0 0 0 106175 54 0 0 25 0 4 0 652975093 742039552 122832 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=724648 CPUtime=1062.3 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 81574 0 0 0 106204 26 0 0 25 0 4 0 652975093 742039552 122832 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=724648 CPUtime=1062.31 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 222325 0 0 0 106149 82 0 0 25 0 4 0 652975093 742039552 122832 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.6
Current children cumulated vsize (KiB) 724648

[startup+1122.3 s]
/proc/loadavg: 8.05 8.06 7.84 9/324 15410
/proc/meminfo: memFree=27111532/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=659760 CPUtime=4477.96 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 706336 0 0 0 447548 248 0 0 25 0 4 0 652975093 675594240 116827 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 164940 116827 379 95 0 159922 0
[pid=15355/tid=15356] ppid=15353 vsize=659760 CPUtime=1122.3 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 176661 0 0 0 112174 56 0 0 25 0 4 0 652975093 675594240 116827 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=659760 CPUtime=1122.31 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 82930 0 0 0 112203 28 0 0 25 0 4 0 652975093 675594240 116827 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=659760 CPUtime=1122.32 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 229849 0 0 0 112147 85 0 0 25 0 4 0 652975093 675594240 116827 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.96
Current children cumulated vsize (KiB) 659760

[startup+1182.3 s]
/proc/loadavg: 8.16 8.08 7.86 9/324 15412
/proc/meminfo: memFree=27051736/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=688336 CPUtime=4717.38 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 738796 0 0 0 471476 262 0 0 25 0 4 0 652975093 704856064 133977 33554432000 4194304 4580107 140736934068688 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 172084 133977 379 95 0 167066 0
[pid=15355/tid=15356] ppid=15353 vsize=688336 CPUtime=1182.29 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 186055 0 0 0 118170 59 0 0 25 0 4 0 652975093 704856064 133977 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=688336 CPUtime=1182.31 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 90861 0 0 0 118200 31 0 0 25 0 4 0 652975093 704856064 133977 33554432000 4194304 4580107 140736934068688 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=688336 CPUtime=1182.31 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 236388 0 0 0 118144 87 0 0 25 0 4 0 652975093 704856064 133977 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.38
Current children cumulated vsize (KiB) 688336



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.11 8.07 7.86 9/324 15412
/proc/meminfo: memFree=27019984/32950928 swapFree=60199044/67111528
[pid=15355] ppid=15353 vsize=867988 CPUtime=4800.38 cores=1,3,5,7
/proc/15355/stat : 15355 (strangenight2-m) R 15353 15355 15323 0 -1 4202496 751212 0 0 0 479773 265 0 0 25 0 4 0 652975093 888819712 138092 33554432000 4194304 4580107 140736934068688 18446744073709551615 4406466 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15355/statm: 216997 138092 379 95 0 211979 0
[pid=15355/tid=15356] ppid=15353 vsize=867988 CPUtime=1203.1 cores=1,3,5,7
/proc/15355/task/15356/stat : 15356 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 187401 0 0 0 120250 60 0 0 25 0 4 0 652975093 888819712 138093 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15355/tid=15357] ppid=15353 vsize=867988 CPUtime=1203.12 cores=1,3,5,7
/proc/15355/task/15357/stat : 15357 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 92562 0 0 0 120280 32 0 0 25 0 4 0 652975093 888819712 138093 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15355/tid=15358] ppid=15353 vsize=867988 CPUtime=1203.12 cores=1,3,5,7
/proc/15355/task/15358/stat : 15358 (strangenight2-m) R 15353 15355 15323 0 -1 4202560 239196 0 0 0 120224 88 0 0 25 0 4 0 652975093 888819712 138093 33554432000 4194304 4580107 140736934068688 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 867988

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.14
CPU time (s): 4800.45
CPU user time (s): 4797.77
CPU system time (s): 2.67959
CPU usage (%): 398.994
Max. virtual memory (cumulated for all children) (KiB): 981412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.67959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 751213
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= 326
involuntary context switches= 32978

runsolver used 3.38348 second user time and 8.75267 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-15 00:56:03
IDJOB=3366715
IDBENCH=83247
IDSOLVER=1844
FILE ID=node122/3366715-1305413763
RUNJOBID= node122-1305413763-15342
PBS_JOBID= 13324540
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/crafted/kullmann/GreenTao/GreenTaok1k2/GreenTao_2-4-4_512.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366715-1305413763/watcher-3366715-1305413763 -o /tmp/evaluation-result-3366715-1305413763/solver-3366715-1305413763 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366715-1305413763.cnf

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

MD5SUM BENCH= c1f047ec179094963b21d7b90509d2b9
RANDOM SEED=1782559921

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      28009572 kB
Buffers:        277784 kB
Cached:        3346240 kB
SwapCached:      50104 kB
Active:         875968 kB
Inactive:      3854200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      28009572 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:            5956 kB
Writeback:           0 kB
AnonPages:     1066652 kB
Mapped:          13172 kB
Slab:           113072 kB
PageTables:      32340 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52528680 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= 73424 MiB
End job on node122 at 2011-05-15 01:16:08