Trace number 3261671

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.13 1201.7

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-29-sat.cnf
MD5SUM89115b5a973735d51018fb3202154f32
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.021995
Satisfiable
(Un)Satisfiability was proved
Number of variables435
Number of clauses3270
Sum of the clauses size12615
Maximum clause length29
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23045
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3261671-1304120399.cnf'
0.00/0.00	c -- header says num vars:            435
0.00/0.00	c -- header says num clauses:        3270
0.00/0.00	c -- clauses added:            0 learnts,         3270 normals,            0 xors
0.00/0.00	c -- vars added        435
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       435       225      3045         0     12615         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	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:    435 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  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:       0 neg:     435
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       435       225      3045         0     12615         0   no data   no data
0.38/0.11	c Decided on static restart strategy
0.76/0.25	c  N st     8      4915       435       225      3045      4706     12615    659883   no data   no data
2.76/0.71	c  N st    10     11299       435       225      3045      4368     12615    563570   no data   no data
3.98/1.08	c  N st    11     17042       435       225      3045      9833     12615   1376372   no data   no data
7.15/1.84	c  F st    12     25001       435       225      3045     12076     12615   1759085   no data   no data
7.15/1.84	c  N st    12     25001       435       225      3045     12076     12615   1759085   no data   no data
9.15/2.30	c Decided on static restart strategy
9.15/2.30	c  N st    18     30001       435       225      3045     10369     12615   1389883   no data   no data
9.15/2.30	c  S st    18     30001       435       225      3045     10369     12615   1389883   no data   no data
9.15/2.34	c  S st    18     30504       435       225      3045     10866     12615   1451051   no data   no data
9.15/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.15/2.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.01
9.15/2.36	c blocked clauses removed:        0 vars:      0 tried:         435 T: 0.00 s
9.15/2.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.15/2.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.15/2.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
9.15/2.36	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
9.15/2.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
16.34/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.75 s
37.91/9.58	c lits-rem:       277  cl-subs:      174  v-elim:      0  v-fix:    0  time:  5.37 s
37.91/9.59	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.02
37.91/9.60	c calculated reachability. Time: 0.00
37.91/9.60	c  N st    18     30504       435       225      3045     10692     12615   1423273   no data   no data
40.30/10.18	c  N st    20     37615       435       225      3045      9918     12615   1235927   no data   no data
43.52/10.95	c  N st    21     44018       435       225      3045     15984     12615   2584147   no data   no data
44.30/11.17	c  S st    22     45758       435       225      3045      9112     12615   1058117   no data   no data
44.70/11.21	c  S st    22     46262       435       225      3045      9612     12615   1121634   no data   no data
44.70/11.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.70/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.01
44.70/11.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.70/11.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.70/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.70/11.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
44.70/11.23	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
44.70/11.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
51.89/13.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.81 s
58.68/14.72	c lits-rem:        74  cl-subs:       48  v-elim:      0  v-fix:    0  time:  1.64 s
58.68/14.72	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
58.68/14.74	c vivif2 --  cl tried     9564 cl shrink        0 lits rem          0 time: 0.01
58.68/14.76	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.02
58.68/14.76	c calculated reachability. Time: 0.00
58.68/14.76	c  N st    22     46262       435       225      3045      9564     12615   1114197   no data   no data
64.67/16.24	c  N st    23     60659       435       225      3045     13580     12615   1773403   no data   no data
69.07/17.35	c  N st    24     69394       435       225      3045     11556     12615   1279556   no data   no data
69.07/17.35	c  S st    24     69394       435       225      3045     11556     12615   1279556   no data   no data
69.47/17.40	c  S st    24     69898       435       225      3045     12057     12615   1339790   no data   no data
69.47/17.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
69.47/17.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.02
69.47/17.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
69.47/17.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
69.47/17.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
69.47/17.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
69.47/17.43	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
69.47/17.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
77.06/19.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.87 s
87.04/21.87	c lits-rem:       172  cl-subs:      112  v-elim:      0  v-fix:    0  time:  2.50 s
87.04/21.87	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
87.04/21.88	c vivif2 --  cl tried    11945 cl shrink        0 lits rem          0 time: 0.02
87.46/21.91	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.03
87.46/21.91	c calculated reachability. Time: 0.00
87.46/21.91	c  N st    24     69898       435       225      3045     11945     12615   1325369   no data   no data
95.03/23.86	c  F st    25     87503       435       225      3045     17352     12615   2320747   no data   no data
95.03/23.86	c  N st    25     87503       435       225      3045     17352     12615   2320747   no data   no data
97.42/24.44	c Decided on static restart strategy
99.02/24.87	c  N st    32     95543       435       225      3045     12446     12615   1254856   no data   no data
103.82/26.03	c  N st    34    104847       435       225      3045     21399     12615   2647194   no data   no data
103.82/26.03	c  S st    34    104847       435       225      3045     21399     12615   2647194   no data   no data
104.22/26.12	c  S st    34    105349       435       225      3045     21897     12615   2712627   no data   no data
104.22/26.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
104.22/26.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.2M T:  0.07
104.22/26.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
104.22/26.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
104.62/26.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
104.62/26.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
104.62/26.20	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
104.62/26.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
113.40/28.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.13 s
165.74/41.59	c lits-rem:       741  cl-subs:      364  v-elim:      0  v-fix:    0  time: 13.08 s
165.74/41.59	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
166.14/41.62	c vivif2 --  cl tried    21533 cl shrink        0 lits rem          0 time: 0.03
166.55/41.70	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.07
166.55/41.70	c calculated reachability. Time: 0.00
166.55/41.70	c  N st    34    105349       435       225      3045     21533     12615   2652546   no data   no data
169.73/42.52	c  N st    35    114947       435       225      3045     17404     12615   2134430   no data   no data
176.12/44.17	c  N st    36    129345       435       225      3045     16860     12615   1815982   no data   no data
186.91/46.86	c  N st    37    150940       435       225      3045     22260     12615   2777260   no data   no data
191.70/48.00	c  S st    38    158026       435       225      3045     29103     12615   3905395   no data   no data
192.10/48.10	c  S st    38    158532       435       225      3045     29606     12615   3967130   no data   no data
192.10/48.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
192.10/48.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.0M T:  0.05
192.10/48.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
192.10/48.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
192.10/48.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
192.10/48.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
192.10/48.17	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
192.50/48.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
200.49/50.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.98 s
293.17/73.44	c lits-rem:      1393  cl-subs:      470  v-elim:      0  v-fix:    0  time: 23.04 s
293.17/73.44	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
293.17/73.49	c vivif2 --  cl tried    29136 cl shrink        0 lits rem          0 time: 0.05
293.57/73.57	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.08
293.57/73.57	c calculated reachability. Time: 0.00
293.57/73.57	c  N st    38    158532       435       225      3045     29136     12615   3874497   no data   no data
325.15/81.49	c  N st    39    207122       435       225      3045     23849     12615   2756807   no data   no data
347.12/86.96	c  N st    40    237800       435       225      3045     34169     12615   4532682   no data   no data
347.12/86.96	c  S st    40    237800       435       225      3045     34169     12615   4532682   no data   no data
347.50/87.07	c  S st    40    238303       435       225      3045     34667     12615   4597436   no data   no data
347.50/87.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
347.90/87.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.3M T:  0.06
347.90/87.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
347.90/87.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
347.90/87.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
347.90/87.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
347.90/87.15	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
347.90/87.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
356.29/89.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.95 s
444.17/111.23	c lits-rem:      1117  cl-subs:      473  v-elim:      0  v-fix:    0  time: 21.87 s
444.17/111.23	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
444.17/111.29	c vivif2 --  cl tried    34194 cl shrink        0 lits rem          0 time: 0.06
444.57/111.37	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.08
444.57/111.37	c calculated reachability. Time: 0.00
444.57/111.37	c  N st    40    238303       435       225      3045     34194     12615   4508669   no data   no data
485.33/121.56	c  F st    41    306250       435       225      3045     35743     12615   4932294   no data   no data
485.33/121.56	c  N st    41    306250       435       225      3045     35743     12615   4932294   no data   no data
490.52/122.84	c Decided on static restart strategy
511.30/128.02	c  N st    51    334555       435       225      3045     39926     12615   5624288   no data   no data
530.88/132.90	c  N st    53    357455       435       225      3045     37852     12615   4777394   no data   no data
530.88/132.90	c  S st    53    357455       435       225      3045     37852     12615   4777394   no data   no data
531.29/133.06	c  S st    53    357959       435       225      3045     38353     12615   4841938   no data   no data
531.29/133.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
531.69/133.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.8M T:  0.09
531.69/133.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
531.69/133.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
531.69/133.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
531.69/133.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
531.69/133.18	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
532.07/133.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
541.26/135.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.21 s
670.29/167.82	c lits-rem:      1356  cl-subs:      972  v-elim:      0  v-fix:    0  time: 32.12 s
670.29/167.82	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
670.29/167.87	c vivif2 --  cl tried    37381 cl shrink        0 lits rem          0 time: 0.06
670.69/167.98	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.10
670.69/167.98	c calculated reachability. Time: 0.00
670.69/167.98	c  N st    53    357959       435       225      3045     37381     12615   4667291   no data   no data
689.07/172.57	c  N st    54    390352       435       225      3045     43659     12615   5718746   no data   no data
729.44/182.61	c  N st    55    438940       435       225      3045     37220     12615   4747285   no data   no data
782.95/196.01	c  N st    56    511828       435       225      3045     50767     12615   7028976   no data   no data
801.73/200.76	c  N st    57    536940       435       225      3045     45150     12615   5606110   no data   no data
801.73/200.76	c  S st    57    536940       435       225      3045     45150     12615   5606110   no data   no data
802.53/200.94	c  S st    57    537441       435       225      3045     45648     12615   5663407   no data   no data
802.53/200.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
802.93/201.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  4.5M T:  0.12
802.93/201.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
802.93/201.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
802.93/201.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
802.93/201.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
802.93/201.08	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
803.33/201.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
812.53/203.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.18 s
947.93/237.32	c lits-rem:      1529  cl-subs:      727  v-elim:      0  v-fix:    0  time: 33.68 s
947.93/237.32	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
947.93/237.39	c vivif2 --  cl tried    44921 cl shrink        0 lits rem          0 time: 0.07
948.75/237.57	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.17
948.75/237.57	c calculated reachability. Time: 0.00
948.75/237.57	c  N st    57    537441       435       225      3045     44921     12615   5530633   no data   no data
1101.32/275.78	c  N st    58    701425       435       225      3045     39011     12615   3991455   no data   no data
1203.60/301.37	c  N st    59    806162       435       225      3045     66982     12615   9410392   no data   no data
1203.60/301.37	c  S st    59    806162       435       225      3045     66982     12615   9410392   no data   no data
1204.77/301.60	c  S st    59    806664       435       225      3045     67476     12615   9471343   no data   no data
1204.77/301.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1205.17/301.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  6.6M T:  0.16
1205.17/301.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1205.17/301.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1205.17/301.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1205.17/301.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
1205.17/301.78	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1205.58/301.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
1215.17/304.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.19 s
1478.43/370.17	c lits-rem:      2807  cl-subs:     1367  v-elim:      0  v-fix:    0  time: 65.55 s
1478.43/370.17	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
1478.83/370.28	c vivif2 --  cl tried    66109 cl shrink        0 lits rem          0 time: 0.11
1479.63/370.49	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.21
1479.63/370.49	c calculated reachability. Time: 0.00
1479.63/370.49	c  N st    59    806664       435       225      3045     66109     12615   9215268   no data   no data
1811.18/453.40	c  F st    60   1071875       435       225      3045     82712     12615  11704465   no data   no data
1811.18/453.40	c  N st    60   1071875       435       225      3045     82712     12615  11704465   no data   no data
1832.38/458.77	c  N dy    84   1092124       435       225      3045     59299     12615   6266844     34.63     36.57
1862.31/466.25	c  N dy   121   1113084       435       225      3045     79906     12615   9499635     33.85     35.64
1885.11/471.99	c  N dy   153   1133195       435       225      3045     55021     12615   5360958     33.59     35.40
1913.44/479.01	c  N dy   169   1153947       435       225      3045     75341     12615   8430984     32.96     34.92
1947.40/487.50	c  N dy   212   1174202       435       225      3045     49385     12615   4382839     32.87     34.63
1976.57/494.82	c  N dy   284   1195843       435       225      3045     70635     12615   7335149     32.98     34.91
2002.13/501.21	c  S st   313   1209996       435       225      3045     84545     12615   9439098     32.91     32.92
2002.94/501.46	c  S st   313   1210499       435       225      3045     85047     12615   9500286     32.91   no data
2002.94/501.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2003.75/501.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  7.7M T:  0.18
2003.75/501.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2003.75/501.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2003.75/501.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2003.75/501.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
2003.75/501.68	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2004.13/501.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
2013.31/504.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.08 s
2403.21/601.70	c lits-rem:       351  cl-subs:      651  v-elim:      0  v-fix:    0  time: 97.44 s
2403.21/601.70	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
2403.99/601.82	c vivif2 --  cl tried    84396 cl shrink        0 lits rem          0 time: 0.12
2404.80/602.06	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.24
2404.80/602.07	c calculated reachability. Time: 0.00
2404.80/602.07	c  N dy   313   1210499       435       225      3045     84396     12615   9403545     32.91   no data
2424.36/606.95	c  N dy   356   1231800       435       225      3045     58285     12615   5490821     32.77     34.50
2446.34/612.44	c  N dy   416   1251931       435       225      3045     78128     12615   8437783     32.81     34.57
2483.08/621.69	c  N dy   486   1275323       435       225      3045     53039     12615   4404058     32.87     34.65
2506.26/627.43	c  N dy   558   1295428       435       225      3045     72863     12615   7177443     32.95     34.70
2544.60/637.01	c  N dy   640   1316103       435       225      3045     93275     12615   9902180     33.05     34.80
2571.77/643.85	c  N dy   702   1337272       435       225      3045     64932     12615   5715181     33.09     34.85
2620.91/656.16	c  N dy   764   1366797       435       225      3045     94062     12615   9818400     32.99     34.77
2646.47/662.54	c  N dy   804   1386958       435       225      3045     63668     12615   5590530     32.95     34.72
2675.22/669.74	c  N dy   862   1407254       435       225      3045     83718     12615   8364106     32.99     34.77
2718.37/680.51	c  N dy   951   1427533       435       225      3045     52465     12615   3642066     33.08     34.93
2746.74/687.63	c  N dy  1001   1448559       435       225      3045     73238     12615   6449465     33.09     34.83
2781.11/696.23	c  N dy  1045   1471252       435       225      3045     95643     12615   9572702     33.08     34.89
2807.87/702.99	c  N dy  1069   1491308       435       225      3045     63104     12615   4965231     33.02     34.78
2838.63/710.61	c  N dy  1093   1511338       435       225      3045     82831     12615   7760989     32.97     34.80
2887.75/722.98	c  N dy  1171   1531375       435       225      3045    102626     12615  10353022     33.03     37.01
2916.52/730.17	c  N dy  1187   1552209       435       225      3045     69823     12615   5862909     32.97     34.75
2956.88/740.22	c  N dy  1217   1573012       435       225      3045     90326     12615   8728026     32.93     34.67
3012.40/754.12	c  N dy  1289   1595205       435       225      3045     57997     12615   4199903     32.97     34.85
3047.96/763.08	c  N dy  1333   1615558       435       225      3045     78074     12615   6914969     32.96     34.70
3100.29/776.17	c  N dy  1395   1635868       435       225      3045     98150     12615   9537690     32.98     34.77
3157.42/790.48	c  N dy  1449   1659540       435       225      3045     66246     12615   5330694     32.96     34.74
3184.18/797.13	c  N dy  1462   1681045       435       225      3045     87379     12615   8484583     32.88     34.69
3244.10/812.20	c  N dy  1529   1703439       435       225      3045    109487     12615  11323628     32.89     34.65
3263.27/816.94	c  S st  1559   1710500       435       225      3045     60286     12615   4129511     32.91     33.11
3264.07/817.13	c  S st  1559   1711002       435       225      3045     60787     12615   4193068     32.91   no data
3264.07/817.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3264.89/817.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.3M T:  0.15
3264.89/817.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3264.89/817.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3264.89/817.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3264.89/817.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
3264.89/817.31	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3264.89/817.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3274.86/819.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.40 s
3354.34/839.72	c lits-rem:        50  cl-subs:      152  v-elim:      0  v-fix:    0  time: 19.87 s
3354.34/839.72	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
3354.34/839.78	c vivif2 --  cl tried    60635 cl shrink        0 lits rem          0 time: 0.06
3355.14/839.97	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.18
3355.14/839.97	c calculated reachability. Time: 0.00
3355.14/839.97	c  N dy  1559   1711002       435       225      3045     60635     12615   4181075     32.91   no data
3375.91/845.11	c  N dy  1669   1731048       435       225      3045     80357     12615   6798813     32.97     36.07
3405.10/852.45	c  N dy  1719   1751923       435       225      3045    100933     12615   9789157     32.97     34.85
3435.44/860.08	c  N dy  1743   1774121       435       225      3045     65621     12615   4892136     32.93     34.72
3462.22/866.79	c  N dy  1802   1796071       435       225      3045     87254     12615   7976438     32.95     34.73
3496.16/875.27	c  N dy  1859   1816081       435       225      3045    106983     12615  10829101     32.96     40.39
3531.71/884.17	c  N dy  1922   1839017       435       225      3045     71486     12615   5511893     32.98     34.75
3557.28/890.54	c  N dy  1973   1859040       435       225      3045     91190     12615   8331905     32.99     38.23
3590.06/898.72	c  N dy  2037   1879049       435       225      3045    110780     12615  11071480     33.00     39.75
3612.80/904.49	c  N dy  2060   1899749       435       225      3045     71967     12615   5501785     32.96     34.74
3635.18/910.02	c  N dy  2106   1920085       435       225      3045     91956     12615   8384841     32.96     34.72
3677.12/920.53	c  N dy  2181   1942099       435       225      3045    113663     12615  11451864     32.98     34.78
3706.68/927.92	c  N dy  2260   1962195       435       225      3045     73482     12615   5489341     33.00     38.36
3737.84/935.78	c  N dy  2327   1982259       435       225      3045     93298     12615   8253050     33.01     35.86
3782.59/946.92	c  N dy  2393   2002690       435       225      3045    113453     12615  10988087     33.02     34.82
3806.95/953.07	c  N dy  2442   2024860       435       225      3045     74143     12615   5486349     33.01     34.76
3834.52/959.90	c  N dy  2491   2044983       435       225      3045     93971     12615   8214238     32.99     34.83
3880.07/971.32	c  N dy  2572   2066314       435       225      3045    115051     12615  11032221     33.02     34.79
3916.00/980.36	c  N dy  2635   2088073       435       225      3045     74467     12615   5498077     33.02     34.80
3941.96/986.83	c  N dy  2677   2108132       435       225      3045     94265     12615   8259584     33.02     39.56
3985.14/997.67	c  N dy  2700   2128150       435       225      3045    114044     12615  11096446     33.00     40.03
4027.06/1008.16	c  N dy  2751   2149368       435       225      3045     71866     12615   5151193     33.00     34.77
4064.23/1017.49	c  N dy  2809   2171936       435       225      3045     94135     12615   8201580     32.99     34.77
4131.31/1034.23	c  N dy  2892   2199358       435       225      3045    121186     12615  11993161     32.99     34.74
4156.50/1040.58	c  S st  2932   2211005       435       225      3045     68565     12615   4581287     33.00     34.25
4157.68/1040.81	c  S st  2932   2211509       435       225      3045     69067     12615   4646278     33.00   no data
4157.68/1040.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4158.08/1040.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.9M T:  0.15
4158.08/1040.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4158.08/1040.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4158.08/1040.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4158.08/1040.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    435 time:  0.00 s
4158.08/1040.99	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4158.48/1041.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4167.67/1043.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.23 s
4272.32/1069.52	c lits-rem:        36  cl-subs:      113  v-elim:      0  v-fix:    0  time: 26.14 s
4272.32/1069.52	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
4272.32/1069.59	c vivif2 --  cl tried    68954 cl shrink        0 lits rem          0 time: 0.07
4273.52/1069.85	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.26
4273.52/1069.85	c calculated reachability. Time: 0.00
4273.52/1069.85	c  N dy  2932   2211509       435       225      3045     68954     12615   4637951     33.00   no data
4300.29/1076.54	c  N dy  2988   2232522       435       225      3045     89628     12615   7683005     33.00     34.74
4341.05/1086.79	c  N dy  3071   2252576       435       225      3045    109402     12615  10303191     33.02     41.23
4397.75/1100.91	c  N dy  3139   2278269       435       225      3045     69598     12615   4728661     33.03     34.86
4432.11/1109.50	c  N dy  3187   2306335       435       225      3045     97247     12615   8700258     33.01     34.75
4479.24/1121.35	c  N dy  3254   2330889       435       225      3045    121353     12615  11979759     33.01     34.76
4519.58/1131.43	c  N dy  3290   2351180       435       225      3045     75292     12615   5487101     33.00     34.76
4542.35/1137.19	c  N dy  3318   2372830       435       225      3045     96571     12615   8505907     32.99     34.81
4570.30/1144.17	c  N dy  3344   2392843       435       225      3045    116250     12615  11412307     32.95     38.24
4622.26/1157.17	c  N dy  3413   2416932       435       225      3045     73112     12615   5048658     32.95     34.70
4646.61/1163.28	c  N dy  3479   2437002       435       225      3045     92860     12615   7652244     32.96     37.21
4690.15/1174.10	c  N dy  3572   2457721       435       225      3045    113294     12615  10300117     32.98     34.77
4754.48/1190.20	c  N dy  3584   2479785       435       225      3045    135013     12615  13522663     32.95     34.74
4778.43/1196.27	c  N dy  3629   2499935       435       225      3045     86947     12615   6674677     32.95     34.70

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-3261671-1304120399/watcher-3261671-1304120399 -o /tmp/evaluation-result-3261671-1304120399/solver-3261671-1304120399 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3261671-1304120399.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.38 7.90 7.96 6/180 20823
/proc/meminfo: memFree=30612152/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=265324 CPUtime=0 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 762 0 0 0 0 0 0 0 25 0 4 0 523639717 271691776 682 33554432000 4194304 4627427 140736937337376 18446744073709551615 4308787 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/20823/statm: 66331 682 354 106 0 61302 0
[pid=20823/tid=20824] ppid=20821 vsize=273528 CPUtime=0 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) D 20821 20823 20152 0 -1 4202560 109 0 0 0 0 0 0 0 25 0 4 0 523639717 280092672 690 33554432000 4194304 4627427 140736937337376 18446744073709551615 248089741495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=273528 CPUtime=0 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 44 0 0 0 0 0 0 0 25 0 4 0 523639717 280092672 694 33554432000 4194304 4627427 140736937337376 18446744073709551615 248089394955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=273528 CPUtime=0 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 84 0 0 0 0 0 0 0 25 0 4 0 523639717 280092672 695 33554432000 4194304 4627427 140736937337376 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.094412 s]
/proc/loadavg: 7.38 7.90 7.96 6/180 20823
/proc/meminfo: memFree=30612152/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=282256 CPUtime=0.34 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2511 0 0 0 34 0 0 0 25 0 4 0 523639717 289030144 2431 33554432000 4194304 4627427 140736937337376 18446744073709551615 248089359045 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 70564 2431 384 106 0 65535 0
[pid=20823/tid=20824] ppid=20821 vsize=282256 CPUtime=0.08 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 479 0 0 0 8 0 0 0 25 0 4 0 523639717 289030144 2431 33554432000 4194304 4627427 140736937337376 18446744073709551615 4332622 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=282256 CPUtime=0.08 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 498 0 0 0 8 0 0 0 25 0 4 0 523639717 289030144 2431 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=282256 CPUtime=0.08 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 593 0 0 0 8 0 0 0 25 0 4 0 523639717 289030144 2432 33554432000 4194304 4627427 140736937337376 18446744073709551615 4321482 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 282256

[startup+0.106265 s]
/proc/loadavg: 7.38 7.90 7.96 6/180 20823
/proc/meminfo: memFree=30612152/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=282256 CPUtime=0.38 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2699 0 0 0 38 0 0 0 25 0 4 0 523639717 289030144 2619 33554432000 4194304 4627427 140736937337376 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 70564 2620 384 106 0 65535 0
[pid=20823/tid=20824] ppid=20821 vsize=282256 CPUtime=0.09 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 512 0 0 0 9 0 0 0 25 0 4 0 523639717 289030144 2620 33554432000 4194304 4627427 140736937337376 18446744073709551615 248089359393 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=282256 CPUtime=0.09 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 538 0 0 0 9 0 0 0 25 0 4 0 523639717 289030144 2620 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=282256 CPUtime=0.09 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 651 0 0 0 9 0 0 0 25 0 4 0 523639717 289030144 2620 33554432000 4194304 4627427 140736937337376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282256

[startup+0.300439 s]
/proc/loadavg: 7.38 7.90 7.96 6/180 20823
/proc/meminfo: memFree=30612152/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=285972 CPUtime=1.17 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 5863 0 0 0 116 1 0 0 25 0 4 0 523639717 292835328 3789 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 71493 3789 385 106 0 66464 0
[pid=20823/tid=20824] ppid=20821 vsize=285972 CPUtime=0.29 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 1002 0 0 0 29 0 0 0 25 0 4 0 523639717 292835328 3789 33554432000 4194304 4627427 140736937337376 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=285972 CPUtime=0.28 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 1368 0 0 0 28 0 0 0 25 0 4 0 523639717 292835328 3789 33554432000 4194304 4627427 140736937337376 18446744073709551615 4322057 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=285972 CPUtime=0.28 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 1691 0 0 0 28 0 0 0 25 0 4 0 523639717 292835328 3789 33554432000 4194304 4627427 140736937337376 18446744073709551615 4331224 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285972

[startup+0.700368 s]
/proc/loadavg: 7.38 7.90 7.96 6/180 20823
/proc/meminfo: memFree=30612152/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=289864 CPUtime=2.76 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 11578 0 0 0 274 2 0 0 25 0 4 0 523639717 296820736 5269 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 72466 5269 385 106 0 67437 0
[pid=20823/tid=20824] ppid=20821 vsize=289864 CPUtime=0.68 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 2283 0 0 0 68 0 0 0 25 0 4 0 523639717 296820736 5269 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=289864 CPUtime=0.68 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 2188 0 0 0 68 0 0 0 25 0 4 0 523639717 296820736 5269 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=289864 CPUtime=0.68 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 3724 0 0 0 68 0 0 0 25 0 4 0 523639717 296820736 5269 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 289864

[startup+1.50023 s]
/proc/loadavg: 7.38 7.90 7.96 9/184 20827
/proc/meminfo: memFree=30568720/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=293972 CPUtime=5.95 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 22276 0 0 0 591 4 0 0 25 0 4 0 523639717 301027328 7519 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 73493 7519 386 106 0 68464 0
[pid=20823/tid=20824] ppid=20821 vsize=293972 CPUtime=1.48 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 5081 0 0 0 148 0 0 0 25 0 4 0 523639717 301027328 7519 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=293972 CPUtime=1.48 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 4848 0 0 0 147 1 0 0 25 0 4 0 523639717 301027328 7519 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=293972 CPUtime=1.48 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 6511 0 0 0 147 1 0 0 25 0 4 0 523639717 301027328 7519 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 293972

[startup+3.10095 s]
/proc/loadavg: 7.38 7.90 7.96 9/184 20827
/proc/meminfo: memFree=30474648/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=319304 CPUtime=12.35 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 47881 0 0 0 1227 8 0 0 25 0 4 0 523639717 326967296 23693 33554432000 4194304 4627427 140736937337376 18446744073709551615 4424696 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 79826 23693 389 106 0 74797 0
[pid=20823/tid=20824] ppid=20821 vsize=319304 CPUtime=3.08 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 8350 0 0 0 307 1 0 0 25 0 4 0 523639717 326967296 23693 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=319304 CPUtime=3.08 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 9197 0 0 0 306 2 0 0 25 0 4 0 523639717 326967296 23693 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=319304 CPUtime=3.08 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 14599 0 0 0 306 2 0 0 25 0 4 0 523639717 326967296 23693 33554432000 4194304 4627427 140736937337376 18446744073709551615 4424455 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 319304

[startup+6.30038 s]
/proc/loadavg: 7.51 7.92 7.96 9/184 20827
/proc/meminfo: memFree=30283068/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=320360 CPUtime=25.13 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 67022 0 0 0 2502 11 0 0 25 0 4 0 523639717 328048640 40697 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428403 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 80090 40697 389 106 0 75061 0
[pid=20823/tid=20824] ppid=20821 vsize=320360 CPUtime=6.28 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 15047 0 0 0 626 2 0 0 25 0 4 0 523639717 328048640 40697 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428380 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=320360 CPUtime=6.28 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 21129 0 0 0 625 3 0 0 25 0 4 0 523639717 328048640 40697 33554432000 4194304 4627427 140736937337376 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=320360 CPUtime=6.28 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 14922 0 0 0 626 2 0 0 25 0 4 0 523639717 328048640 40697 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428403 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 320360

[startup+12.7003 s]
/proc/loadavg: 7.55 7.92 7.96 9/184 20827
/proc/meminfo: memFree=30205376/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=335932 CPUtime=50.69 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 89976 0 0 0 5055 14 0 0 25 0 4 0 523639717 343994368 50300 33554432000 4194304 4627427 140736937337376 18446744073709551615 4424993 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 83983 50303 389 106 0 78954 0
[pid=20823/tid=20824] ppid=20821 vsize=335932 CPUtime=12.68 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 27300 0 0 0 1265 3 0 0 25 0 4 0 523639717 343994368 50308 33554432000 4194304 4627427 140736937337376 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=335932 CPUtime=12.68 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 21129 0 0 0 1265 3 0 0 25 0 4 0 523639717 343994368 50311 33554432000 4194304 4627427 140736937337376 18446744073709551615 4427416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=335932 CPUtime=12.68 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 20819 0 0 0 1265 3 0 0 25 0 4 0 523639717 343994368 50316 33554432000 4194304 4627427 140736937337376 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 335932

[startup+25.501 s]
/proc/loadavg: 7.65 7.92 7.96 9/184 20828
/proc/meminfo: memFree=29861292/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=550084 CPUtime=101.82 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 146983 0 0 0 10156 26 0 0 25 0 4 0 523639717 563286016 91073 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 137521 91073 389 106 0 132492 0
[pid=20823/tid=20824] ppid=20821 vsize=550084 CPUtime=25.48 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 33685 0 0 0 2544 4 0 0 25 0 4 0 523639717 563286016 91073 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=550084 CPUtime=25.48 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 34197 0 0 0 2542 6 0 0 25 0 4 0 523639717 563286016 91073 33554432000 4194304 4627427 140736937337376 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=550084 CPUtime=25.48 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 46871 0 0 0 2539 9 0 0 25 0 4 0 523639717 563286016 91073 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 550084

[startup+51.1005 s]
/proc/loadavg: 7.77 7.93 7.96 9/184 20828
/proc/meminfo: memFree=29687340/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=712716 CPUtime=204.08 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 212786 0 0 0 20368 40 0 0 25 0 4 0 523639717 729821184 108543 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 178179 108543 389 106 0 173150 0
[pid=20823/tid=20824] ppid=20821 vsize=712716 CPUtime=51.08 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 47855 0 0 0 5101 7 0 0 25 0 4 0 523639717 729821184 108543 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=712716 CPUtime=51.08 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 48052 0 0 0 5099 9 0 0 25 0 4 0 523639717 729821184 108543 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=712716 CPUtime=51.08 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 70027 0 0 0 5094 14 0 0 25 0 4 0 523639717 729821184 108543 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 712716

[startup+102.306 s]
/proc/loadavg: 7.94 7.95 7.97 9/184 20830
/proc/meminfo: memFree=29430100/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=962256 CPUtime=408.64 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 326713 0 0 0 40788 76 0 0 25 0 4 0 523639717 985350144 151770 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428093 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/20823/statm: 240564 151770 389 106 0 235535 0
[pid=20823/tid=20824] ppid=20821 vsize=962256 CPUtime=102.28 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 73464 0 0 0 10214 14 0 0 25 0 4 0 523639717 985350144 151770 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=962256 CPUtime=102.29 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 82413 0 0 0 10210 19 0 0 25 0 4 0 523639717 985350144 151770 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=962256 CPUtime=102.28 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 111906 0 0 0 10200 28 0 0 25 0 4 0 523639717 985350144 151770 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 962256

[startup+162.301 s]

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

[pid=20823] ppid=20821 vsize=1779612 CPUtime=2565.79 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 1575541 0 0 0 256169 410 0 0 25 0 4 0 523639717 1822322688 318133 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 444903 318133 389 106 0 439874 0
[pid=20823/tid=20824] ppid=20821 vsize=1779612 CPUtime=642.22 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 442831 0 0 0 64109 113 0 0 25 0 4 0 523639717 1822322688 318133 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428093 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=1779612 CPUtime=641.76 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 398229 0 0 0 64066 110 0 0 25 0 4 0 523639717 1822322688 318133 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=1779612 CPUtime=642.27 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 497316 0 0 0 64106 121 0 0 25 0 4 0 523639717 1822322688 318133 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.79
Current children cumulated vsize (KiB) 1779612

[startup+702.3 s]
/proc/loadavg: 8.15 8.09 8.02 9/184 20846
/proc/meminfo: memFree=27466384/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2179864 CPUtime=2805.45 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 1773621 0 0 0 280094 451 0 0 25 0 4 0 523639717 2232180736 388061 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 544966 388061 389 106 0 539937 0
[pid=20823/tid=20824] ppid=20821 vsize=2179864 CPUtime=702.22 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 474971 0 0 0 70101 121 0 0 25 0 4 0 523639717 2232180736 388061 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2179864 CPUtime=701.45 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 500020 0 0 0 70018 127 0 0 25 0 4 0 523639717 2232180736 388061 33554432000 4194304 4627427 140736937337376 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2179864 CPUtime=702.27 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 548135 0 0 0 70093 134 0 0 25 0 4 0 523639717 2232180736 388061 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.45
Current children cumulated vsize (KiB) 2179864

[startup+762.307 s]
/proc/loadavg: 8.13 8.10 8.02 9/184 20847
/proc/meminfo: memFree=27417112/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2290000 CPUtime=3045.18 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 1855602 0 0 0 304033 485 0 0 25 0 4 0 523639717 2344960000 394189 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 572500 394189 389 106 0 567471 0
[pid=20823/tid=20824] ppid=20821 vsize=2290000 CPUtime=762.22 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 511484 0 0 0 76088 134 0 0 25 0 4 0 523639717 2344960000 394189 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2290000 CPUtime=761.16 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 500020 0 0 0 75989 127 0 0 25 0 4 0 523639717 2344960000 394189 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2290000 CPUtime=762.27 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 583949 0 0 0 76078 149 0 0 25 0 4 0 523639717 2344960000 394189 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.18
Current children cumulated vsize (KiB) 2290000

[startup+822.3 s]
/proc/loadavg: 8.08 8.09 8.02 9/184 20849
/proc/meminfo: memFree=27364612/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=1927196 CPUtime=3284.85 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 1955050 0 0 0 327961 524 0 0 25 0 4 0 523639717 1973448704 382714 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 481799 382715 389 106 0 476770 0
[pid=20823/tid=20824] ppid=20821 vsize=1927196 CPUtime=822.21 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 555803 0 0 0 82069 152 0 0 25 0 4 0 523639717 1973448704 382715 33554432000 4194304 4627427 140736937337376 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=1927196 CPUtime=820.85 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 500020 0 0 0 81958 127 0 0 25 0 4 0 523639717 1973448704 382715 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420176 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=1927196 CPUtime=822.26 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 629519 0 0 0 82061 165 0 0 25 0 4 0 523639717 1973448704 382715 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.85
Current children cumulated vsize (KiB) 1927196

[startup+882.301 s]
/proc/loadavg: 8.13 8.10 8.03 9/184 20851
/proc/meminfo: memFree=27413660/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2204908 CPUtime=3524.52 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2032678 0 0 0 351901 551 0 0 25 0 4 0 523639717 2257825792 395002 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 551227 395002 389 106 0 546198 0
[pid=20823/tid=20824] ppid=20821 vsize=2204908 CPUtime=882.21 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 579998 0 0 0 88059 162 0 0 25 0 4 0 523639717 2257825792 395002 33554432000 4194304 4627427 140736937337376 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2204908 CPUtime=880.54 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 536230 0 0 0 87915 139 0 0 25 0 4 0 523639717 2257825792 395002 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2204908 CPUtime=882.26 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 635651 0 0 0 88060 166 0 0 25 0 4 0 523639717 2257825792 395002 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.52
Current children cumulated vsize (KiB) 2204908

[startup+942.301 s]
/proc/loadavg: 8.12 8.10 8.03 9/184 20852
/proc/meminfo: memFree=27361780/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2324648 CPUtime=3764.22 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2168311 0 0 0 375838 584 0 0 25 0 4 0 523639717 2380439552 410035 33554432000 4194304 4627427 140736937337376 18446744073709551615 4332032 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 581162 410035 389 106 0 576133 0
[pid=20823/tid=20824] ppid=20821 vsize=2324648 CPUtime=942.22 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 604598 0 0 0 94054 168 0 0 25 0 4 0 523639717 2380439552 410035 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2324648 CPUtime=940.24 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 592266 0 0 0 93873 151 0 0 25 0 4 0 523639717 2380439552 410035 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2324648 CPUtime=942.26 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 675670 0 0 0 94050 176 0 0 25 0 4 0 523639717 2380439552 410035 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.22
Current children cumulated vsize (KiB) 2324648

[startup+1002.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 20854
/proc/meminfo: memFree=27281248/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2192252 CPUtime=4003.89 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2339003 0 0 0 399766 623 0 0 25 0 4 0 523639717 2244866048 398433 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 548063 398433 389 106 0 543034 0
[pid=20823/tid=20824] ppid=20821 vsize=2192252 CPUtime=1002.21 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 656841 0 0 0 100042 179 0 0 25 0 4 0 523639717 2244866048 398433 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2192252 CPUtime=999.94 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 644201 0 0 0 99833 161 0 0 25 0 4 0 523639717 2244866048 398433 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2192252 CPUtime=1002.25 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 728744 0 0 0 100036 189 0 0 25 0 4 0 523639717 2244866048 398433 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.89
Current children cumulated vsize (KiB) 2192252

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.03 9/184 20855
/proc/meminfo: memFree=27376684/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2250160 CPUtime=4243.57 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2424821 0 0 0 423706 651 0 0 25 0 4 0 523639717 2304163840 394811 33554432000 4194304 4627427 140736937337376 18446744073709551615 4427841 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 562540 394811 389 106 0 557511 0
[pid=20823/tid=20824] ppid=20821 vsize=2250160 CPUtime=1062.2 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 693152 0 0 0 106029 191 0 0 25 0 4 0 523639717 2304163840 394811 33554432000 4194304 4627427 140736937337376 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2250160 CPUtime=1059.63 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 648806 0 0 0 105801 162 0 0 25 0 4 0 523639717 2304163840 394811 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2250160 CPUtime=1062.26 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 766775 0 0 0 106024 202 0 0 25 0 4 0 523639717 2304163840 394811 33554432000 4194304 4627427 140736937337376 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.57
Current children cumulated vsize (KiB) 2250160

[startup+1122.3 s]
/proc/loadavg: 8.12 8.10 8.03 9/184 20857
/proc/meminfo: memFree=27118236/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2274748 CPUtime=4483.23 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2505072 0 0 0 447646 677 0 0 25 0 4 0 523639717 2329341952 410414 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 568687 410414 389 106 0 563658 0
[pid=20823/tid=20824] ppid=20821 vsize=2274748 CPUtime=1122.2 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 728914 0 0 0 112018 202 0 0 25 0 4 0 523639717 2329341952 410414 33554432000 4194304 4627427 140736937337376 18446744073709551615 4468063 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2274748 CPUtime=1119.3 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 681979 0 0 0 111758 172 0 0 25 0 4 0 523639717 2329341952 410414 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2274748 CPUtime=1122.26 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 766775 0 0 0 112024 202 0 0 25 0 4 0 523639717 2329341952 410414 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.23
Current children cumulated vsize (KiB) 2274748

[startup+1182.3 s]
/proc/loadavg: 8.22 8.12 8.04 9/184 20859
/proc/meminfo: memFree=27067356/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2442412 CPUtime=4722.91 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2632014 0 0 0 471581 710 0 0 25 0 4 0 523639717 2501029888 426203 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 610603 426203 389 106 0 605574 0
[pid=20823/tid=20824] ppid=20821 vsize=2442412 CPUtime=1182.2 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 747375 0 0 0 118015 205 0 0 25 0 4 0 523639717 2501029888 426203 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2442412 CPUtime=1178.99 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 730904 0 0 0 117712 187 0 0 25 0 4 0 523639717 2501029888 426203 33554432000 4194304 4627427 140736937337376 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2442412 CPUtime=1182.25 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 812515 0 0 0 118012 213 0 0 25 0 4 0 523639717 2501029888 426203 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.91
Current children cumulated vsize (KiB) 2442412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.16 8.11 8.04 5/179 20860
/proc/meminfo: memFree=28947848/32950928 swapFree=67111428/67111528
[pid=20823] ppid=20821 vsize=2441540 CPUtime=4800.02 cores=0,2,4,6
/proc/20823/stat : 20823 (strangenight2-m) R 20821 20823 20152 0 -1 4202496 2691614 0 0 0 479279 723 0 0 25 0 4 0 523639717 2500136960 420401 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20823/statm: 610385 420401 389 106 0 605356 0
[pid=20823/tid=20824] ppid=20821 vsize=2441540 CPUtime=1201.51 cores=0,2,4,6
/proc/20823/task/20824/stat : 20824 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 764883 0 0 0 119942 209 0 0 25 0 4 0 523639717 2500136960 420401 33554432000 4194304 4627427 140736937337376 18446744073709551615 4332398 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20823/tid=20825] ppid=20821 vsize=2441540 CPUtime=1198.19 cores=0,2,4,6
/proc/20823/task/20825/stat : 20825 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 751579 0 0 0 119628 191 0 0 25 0 4 0 523639717 2500136960 420401 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20823/tid=20826] ppid=20821 vsize=2441540 CPUtime=1201.55 cores=0,2,4,6
/proc/20823/task/20826/stat : 20826 (strangenight2-m) R 20821 20823 20152 0 -1 4202560 830448 0 0 0 119939 216 0 0 25 0 4 0 523639717 2500136960 420401 33554432000 4194304 4627427 140736937337376 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 2441540

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.7
CPU time (s): 4800.13
CPU user time (s): 4792.82
CPU system time (s): 7.31589
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 2471076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.82
system time used= 7.31589
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2691622
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= 729
involuntary context switches= 21410

runsolver used 1.84972 second user time and 4.31134 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 01:39:59
IDJOB=3261671
IDBENCH=83238
IDSOLVER=1586
FILE ID=node123/3261671-1304120399
RUNJOBID= node123-1304119194-20526
PBS_JOBID= 13170709
Free space on /tmp= 72812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-15-29-sat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261671-1304120399/watcher-3261671-1304120399 -o /tmp/evaluation-result-3261671-1304120399/solver-3261671-1304120399 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3261671-1304120399.cnf

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

MD5SUM BENCH= 89115b5a973735d51018fb3202154f32
RANDOM SEED=378380974

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30612308 kB
Buffers:        585080 kB
Cached:        1304988 kB
SwapCached:        100 kB
Active:         165348 kB
Inactive:      1811520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30612308 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:           11776 kB
Writeback:           0 kB
AnonPages:       86352 kB
Mapped:          15336 kB
Slab:           298992 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   293096 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= 72812 MiB
End job on node123 at 2011-04-30 02:00:03