Trace number 3175323

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-mtUNSAT 3600.44 901.335

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
MD5SUM60552051d2d5a0c0eefaeedea18e63df
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark7.9058
Satisfiable
(Un)Satisfiability was proved
Number of variables350
Number of clauses1491
Sum of the clauses size4473
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31491
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175323-1304115998.cnf'
0.00/0.00	c -- header says num vars:            350
0.00/0.00	c -- header says num clauses:        1491
0.00/0.00	c -- clauses added:            0 learnts,         1491 normals,            0 xors
0.00/0.00	c -- vars added        350
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       350      1491         0         0      4473         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/1491/1491 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.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    350 time:  0.00 s
0.00/0.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.03	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.01 s
0.00/0.03	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:     139 undec:      48 neg:     163
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	c  B st     0         0       336      1472         0         0      4494         0   no data   no data  --
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4916       336      1472         0      4812      4494     81474   no data   no data  --
3.18/0.80	c  N st    10     11303       336      1472         0      4414      4494     57117   no data   no data  --
3.18/0.80	c  N st    11     17049       336      1472         0      9986      4494    156804   no data   no data  --
3.58/0.97	c  F st    12     25002       336      1472         0     12263      4494    195393   no data   no data  --
3.58/0.97	c  N st    12     25002       336      1472         0     12263      4494    195393   no data   no data  --
4.39/1.19	c Decided on static restart strategy
4.39/1.19	c  N st    18     30001       336      1472         0     10534      4494    149213   no data   no data  --
4.39/1.19	c  S st    18     30001       336      1472         0     10534      4494    149213   no data   no data  --
4.77/1.22	c  S st    18     30508       336      1472         0     11037      4494    158068   no data   no data  --
4.77/1.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.77/1.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
4.77/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
4.77/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.36	c lits-rem:       181  cl-subs:      971  v-elim:      0  v-fix:    0  time:  0.53 s
5.17/1.37	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.03
5.17/1.37	c calculated reachability. Time: 0.00
5.17/1.37	c  N st    18     30508       336      1472         0     10066      4494    141978   no data   no data  --
6.78/1.77	c  N st    20     37622       336      1472         0      9309      4494    117801   no data   no data  --
8.39/2.12	c  N st    21     44021       336      1472         0     15489      4494    226953   no data   no data  --
8.79/2.22	c  S st    22     45762       336      1472         0     17198      4494    259285   no data   no data  --
8.79/2.26	c  S st    22     46266       336      1472         0      9054      4494    101976   no data   no data  --
8.79/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
8.79/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
8.79/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
8.79/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.31	c lits-rem:        58  cl-subs:      212  v-elim:      0  v-fix:    0  time:  0.17 s
9.17/2.31	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
9.17/2.32	c vivif2 --  cl tried     8842 cl shrink        0 lits rem          0 time: 0.01
9.17/2.32	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.02
9.17/2.32	c calculated reachability. Time: 0.00
9.17/2.32	c  N st    22     46266       336      1472         0      8842      4494     98775   no data   no data  --
12.36/3.18	c  N st    23     60663       336      1472         0     13178      4494    172026   no data   no data  --
15.15/3.84	c  N st    24     69399       336      1472         0     10964      4494    122127   no data   no data  --
15.15/3.84	c  S st    24     69399       336      1472         0     10964      4494    122127   no data   no data  --
15.15/3.88	c  S st    24     69900       336      1472         0     11463      4494    131285   no data   no data  --
15.15/3.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.15/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.01
15.15/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
15.15/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.55/3.99	c lits-rem:       106  cl-subs:      160  v-elim:      0  v-fix:    0  time:  0.42 s
15.55/3.99	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
15.55/3.99	c vivif2 --  cl tried    11303 cl shrink        0 lits rem          0 time: 0.00
15.95/4.00	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.03
15.95/4.00	c calculated reachability. Time: 0.00
15.95/4.00	c  N st    24     69900       336      1472         0     11303      4494    128285   no data   no data  --
20.75/5.25	c  F st    25     87500       336      1472         0     16765      4494    226195   no data   no data  --
20.75/5.25	c  N st    25     87500       336      1472         0     16765      4494    226195   no data   no data  --
22.34/5.60	c Decided on static restart strategy
23.14/5.85	c  N st    32     95540       336      1472         0     24570      4494    362756   no data   no data  --
25.55/6.48	c  N st    34    104851       336      1472         0     20967      4494    283140   no data   no data  --
25.55/6.48	c  S st    34    104851       336      1472         0     20967      4494    283140   no data   no data  --
25.97/6.54	c  S st    34    105351       336      1472         0     21464      4494    292145   no data   no data  --
25.97/6.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.97/6.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.97/6.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
25.97/6.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.97/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.97/6.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
25.97/6.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.34/7.17	c lits-rem:       428  cl-subs:     1256  v-elim:      0  v-fix:    0  time:  2.48 s
28.34/7.17	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
28.34/7.18	c vivif2 --  cl tried    20208 cl shrink        0 lits rem          0 time: 0.01
28.34/7.19	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.06
28.34/7.19	c calculated reachability. Time: 0.00
28.34/7.19	c  N st    34    105351       336      1472         0     20208      4494    270863   no data   no data  --
31.94/8.03	c  N st    35    114950       336      1472         0     15901      4494    176684   no data   no data  --
36.73/9.27	c  N st    36    129347       336      1472         0     15303      4494    156878   no data   no data  --
43.54/10.99	c  N st    37    150943       336      1472         0     20685      4494    244665   no data   no data  --
46.32/11.61	c  S st    38    158026       336      1472         0     27522      4494    371358   no data   no data  --
46.32/11.69	c  S st    38    158533       336      1472         0     28026      4494    380534   no data   no data  --
46.32/11.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.32/11.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.72/11.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
46.72/11.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.72/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
46.72/11.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
51.11/12.87	c lits-rem:      1118  cl-subs:     2295  v-elim:      0  v-fix:    0  time:  4.64 s
51.11/12.87	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
51.11/12.87	c vivif2 --  cl tried    25731 cl shrink        0 lits rem          0 time: 0.02
51.11/12.89	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.07
51.11/12.89	c calculated reachability. Time: 0.00
51.11/12.89	c  N st    38    158533       336      1472         0     25731      4494    341256   no data   no data  --
69.90/17.54	c  N st    39    207122       336      1472         0     20448      4494    214778   no data   no data  --
80.67/20.27	c  N st    40    237799       336      1472         0     30876      4494    391312   no data   no data  --
80.67/20.27	c  S st    40    237799       336      1472         0     30876      4494    391312   no data   no data  --
81.07/20.36	c  S st    40    238302       336      1472         0     31375      4494    400452   no data   no data  --
81.07/20.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.07/20.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
81.07/20.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
81.07/20.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.07/20.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
81.07/20.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
86.66/21.71	c lits-rem:       888  cl-subs:     2430  v-elim:      0  v-fix:    0  time:  5.30 s
86.66/21.71	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
86.66/21.71	c vivif2 --  cl tried    28945 cl shrink        0 lits rem          0 time: 0.02
86.66/21.73	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.08
86.66/21.73	c calculated reachability. Time: 0.00
86.66/21.73	c  N st    40    238302       336      1472         0     28945      4494    362216   no data   no data  --
115.02/28.84	c  F st    41    306250       336      1472         0     30688      4494    347752   no data   no data  --
115.02/28.84	c  N st    41    306250       336      1472         0     30688      4494    347752   no data   no data  --
117.43/29.42	c Decided on static restart strategy
129.80/32.51	c  N st    51    334558       336      1472         0     34983      4494    421251   no data   no data  --
141.78/35.54	c  N st    53    357453       336      1472         0     32910      4494    366070   no data   no data  --
141.78/35.54	c  S st    53    357453       336      1472         0     32910      4494    366070   no data   no data  --
142.18/35.63	c  S st    53    357953       336      1472         0     33409      4494    375589   no data   no data  --
142.18/35.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.18/35.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.18/35.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
142.18/35.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.18/35.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.18/35.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
142.18/35.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
146.98/36.83	c lits-rem:       626  cl-subs:     2337  v-elim:      0  v-fix:    0  time:  4.74 s
146.98/36.83	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
146.98/36.84	c vivif2 --  cl tried    31072 cl shrink        0 lits rem          0 time: 0.02
146.98/36.86	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.08
146.98/36.86	c calculated reachability. Time: 0.00
146.98/36.86	c  N st    53    357953       336      1472         0     31072      4494    340711   no data   no data  --
162.18/40.69	c  N st    54    390347       336      1472         0     37247      4494    436889   no data   no data  --
190.52/47.70	c  N st    55    438939       336      1472         0     30964      4494    302361   no data   no data  --
228.87/57.30	c  N st    56    511822       336      1472         0     44437      4494    525795   no data   no data  --
242.85/60.80	c  N st    57    536930       336      1472         0     38710      4494    408616   no data   no data  --
242.85/60.80	c  S st    57    536930       336      1472         0     38710      4494    408616   no data   no data  --
243.25/60.91	c  S st    57    537437       336      1472         0     39213      4494    418295   no data   no data  --
243.25/60.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
243.25/60.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
243.25/60.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.04
243.25/60.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.25/60.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.25/60.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
243.25/60.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
248.44/62.29	c lits-rem:       663  cl-subs:     2433  v-elim:      0  v-fix:    0  time:  5.40 s
248.44/62.29	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
248.44/62.29	c vivif2 --  cl tried    36780 cl shrink        0 lits rem          0 time: 0.02
248.84/62.32	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.11
248.84/62.32	c calculated reachability. Time: 0.00
248.84/62.32	c  N st    57    537437       336      1472         0     36780      4494    383853   no data   no data  --
343.11/85.93	c  N st    58    701422       336      1472         0     65411      4494    834628   no data   no data  --
409.82/102.61	c  N st    59    806155       336      1472         0     59483      4494    703962   no data   no data  --
409.82/102.61	c  S st    59    806155       336      1472         0     59483      4494    703962   no data   no data  --
410.62/102.80	c  S st    59    806660       336      1472         0     59985      4494    713480   no data   no data  --
410.62/102.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
410.62/102.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
410.62/102.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.09
410.62/102.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.62/102.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.62/102.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
410.62/102.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
422.21/105.76	c lits-rem:      1368  cl-subs:     6402  v-elim:      0  v-fix:    0  time: 11.61 s
422.21/105.76	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
422.21/105.77	c vivif2 --  cl tried    53583 cl shrink        0 lits rem          0 time: 0.03
422.61/105.83	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.24
422.61/105.83	c calculated reachability. Time: 0.00
422.61/105.83	c  N st    59    806660       336      1472         0     53583      4494    622108   no data   no data  --
616.75/154.43	c  F st    60   1071876       336      1472         0     69323      4494    833577   no data   no data  --
616.75/154.43	c  N st    60   1071876       336      1472         0     69323      4494    833577   no data   no data  --
621.54/155.61	c Decided on static restart strategy
637.92/159.71	c  N st    70   1100182       336      1472         0     53510      4494    548255   no data   no data  --
668.68/167.47	c  N st    72   1136180       336      1472         0     87875      4494   1129431   no data   no data  --
691.44/173.15	c  N st    73   1168573       336      1472         0     74851      4494    919238   no data   no data  --
721.41/180.67	c  N st    74   1209990       336      1472         0     69509      4494    815503   no data   no data  --
721.41/180.67	c  S st    74   1209990       336      1472         0     69509      4494    815503   no data   no data  --
722.21/180.89	c  S st    74   1210493       336      1472         0     70008      4494    825194   no data   no data  --
722.21/180.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
722.21/180.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
722.61/180.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.11
722.61/180.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
722.61/180.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
722.61/180.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
722.61/180.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
736.98/184.51	c lits-rem:      1397  cl-subs:     6597  v-elim:      0  v-fix:    0  time: 14.22 s
736.98/184.51	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
736.98/184.52	c vivif2 --  cl tried    63411 cl shrink        0 lits rem          0 time: 0.04
736.98/184.59	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.27
736.98/184.59	c calculated reachability. Time: 0.00
736.98/184.59	c  N st    74   1210493       336      1472         0     63411      4494    722495   no data   no data  --
797.71/199.76	c  N st    75   1283375       336      1472         0     87556      4494   1147075   no data   no data  --
893.18/223.64	c  N st    76   1392698       336      1472         0     97099      4494   1209804   no data   no data  --
1038.98/260.15	c  N st    77   1556682       336      1472         0     53277      4494    460040   no data   no data  --
1182.39/296.00	c  N st    78   1710494       336      1472         0     93976      4494   1127167   no data   no data  --
1182.39/296.00	c  S st    78   1710494       336      1472         0     93976      4494   1127167   no data   no data  --
1183.59/296.32	c  S st    78   1710996       336      1472         0     94474      4494   1136934   no data   no data  --
1183.59/296.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1183.59/296.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1183.59/296.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.16
1183.99/296.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1183.99/296.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1183.99/296.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
1183.99/296.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1209.55/302.88	c lits-rem:      1005  cl-subs:    14547  v-elim:      0  v-fix:    0  time: 25.84 s
1209.55/302.88	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
1209.55/302.89	c vivif2 --  cl tried    79927 cl shrink        0 lits rem          0 time: 0.05
1209.95/302.99	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.38
1209.95/302.99	c calculated reachability. Time: 0.00
1209.95/302.99	c  N st    78   1710996       336      1472         0     79927      4494    923533   no data   no data  --
1567.87/392.55	c  N st    79   2079961       336      1472         0     91914      4494   1055282   no data   no data  --
1701.69/426.01	c  N st    80   2210996       336      1472         0     95993      4494   1109890   no data   no data  --
1701.69/426.01	c  S st    80   2210996       336      1472         0     95993      4494   1109890   no data   no data  --
1702.89/426.36	c  S st    80   2211504       336      1472         0     96498      4494   1120064   no data   no data  --
1702.89/426.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1702.89/426.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1703.29/426.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.17
1703.29/426.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1703.29/426.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1703.29/426.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    336 time:  0.00 s
1703.29/426.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1727.66/432.57	c lits-rem:      1122  cl-subs:    12731  v-elim:      0  v-fix:    0  time: 24.48 s
1727.66/432.57	c vivif2 --  cl tried     1472 cl shrink        0 lits rem          0 time: 0.00
1727.66/432.58	c vivif2 --  cl tried    83767 cl shrink        0 lits rem          0 time: 0.05
1728.06/432.68	c asymm  cl-useful: 0/1472/1472 lits-rem:0 time: 0.40
1728.06/432.69	c calculated reachability. Time: 0.00
1728.06/432.69	c  N st    80   2211504       336      1472         0     83767      4494    924328   no data   no data  --
2254.95/564.59	c  N st    81   2711504       336      1472         1    106921      4494   1224680   no data   no data  --
2254.95/564.60	c  S st    81   2711504       336      1472         1    106921      4494   1224680   no data   no data  --
2256.55/564.91	c  S st    81   2712007       335      1472         1    107423      4494   1233886   no data   no data  --
2256.55/564.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2256.55/564.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2256.55/564.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      0 BRemN:      0 P:  1.2M T:  0.18
2256.95/565.06	c bin-w-bin subsume rem           10 bins  time:  0.00 s
2257.34/565.11	c subs with bin:      189  lits-rem:      1976  v-fix:    0  time:  0.18 s
2257.34/565.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    335 time:  0.00 s
2257.34/565.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2282.12/571.31	c lits-rem:      1863  cl-subs:    12819  v-elim:      0  v-fix:    0  time: 24.76 s
2282.12/571.31	c vivif2 --  cl tried     1450 cl shrink        0 lits rem          0 time: 0.00
2282.12/571.32	c vivif2 --  cl tried    84657 cl shrink        0 lits rem          0 time: 0.06
2282.52/571.44	c asymm  cl-useful: 0/1450/1450 lits-rem:0 time: 0.46
2282.52/571.44	c calculated reachability. Time: 0.00
2282.52/571.44	c  N st    81   2712007       335      1450        10     84657      4447    947776   no data   no data  --
2282.52/571.44	c Finding binary XORs  T:     0.00 s  found:       0
2850.15/713.59	c  N st    82   3212007       335      1450        12    145832      4447   1854667   no data   no data  --
2850.15/713.59	c  S st    82   3212007       335      1450        12    145832      4447   1854667   no data   no data  --
2852.55/714.14	c  S st    82   3212511       335      1450        13    146334      4447   1864150   no data   no data  --
2852.55/714.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2852.55/714.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2852.95/714.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  1.8M T:  0.29
2852.95/714.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2878.14/720.55	c subs with bin:    10280  lits-rem:     12702  v-fix:    0  time: 25.02 s
2878.14/720.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    335 time:  0.00 s
2878.14/720.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2928.44/733.14	c lits-rem:       888  cl-subs:    15815  v-elim:      0  v-fix:    0  time: 50.29 s
2928.44/733.14	c vivif2 --  cl tried     1450 cl shrink        0 lits rem          0 time: 0.00
2928.44/733.17	c vivif2 --  cl tried   120239 cl shrink        0 lits rem          0 time: 0.10
2929.24/733.35	c asymm  cl-useful: 0/1450/1450 lits-rem:0 time: 0.70
2929.24/733.35	c calculated reachability. Time: 0.00
2929.24/733.35	c  N st    82   3212511       335      1450        14    120239      4447   1488914   no data   no data  --
3476.91/870.42	c Finding binary XORs  T:     0.00 s  found:       0
3539.63/886.13	c  N st    83   3712511       334      1431        32    128729      4408   1335909   no data   no data  --
3539.63/886.13	c  S st    83   3712511       334      1431        32    128729      4408   1335909   no data   no data  --
3540.43/886.34	c Finding binary XORs  T:     0.00 s  found:       0
3542.02/886.70	c  S st    83   3713014       331      1381        66    101661      4299   1009570   no data   no data  --
3542.02/886.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3542.02/886.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3542.02/886.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.19
3542.02/886.79	c bin-w-bin subsume rem           14 bins  time:  0.00 s
3554.43/889.90	c subs with bin:    18342  lits-rem:      8658  v-fix:    0  time: 12.44 s
3554.83/889.91	c Subs w/ non-existent bins:     78 l-rem:    148 v-fix:     0 done:    331 time:  0.02 s
3554.83/889.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3563.21/892.06	c lits-rem:       648  cl-subs:     3630  v-elim:      1  v-fix:    0  time:  8.57 s
3563.21/892.06	c vivif2 --  cl tried     1379 cl shrink        1 lits rem          1 time: 0.00
3563.21/892.09	c vivif2 --  cl tried    79519 cl shrink     3915 lits rem       4118 time: 0.14
3563.99/892.21	c asymm  cl-useful: 0/1378/1378 lits-rem:0 time: 0.45
3563.99/892.21	c calculated reachability. Time: 0.00
3563.99/892.21	c  N st    83   3713014       330      1378        54     79519      4300    733706   no data   no data  --
3600.34/901.32	c Following stats are for *FIRST FINISHED THREAD ONLY*
3600.34/901.32	c num threads              : 4          
3600.34/901.32	c restarts                 : 82         
3600.34/901.32	c dynamic restarts         : 0          
3600.34/901.32	c static restarts          : 82         
3600.34/901.32	c full restarts            : 4          
3600.34/901.32	c total simplify time      : 1.55       
3600.34/901.32	c learnts DL2              : 0          
3600.34/901.32	c learnts size 2           : 282        
3600.34/901.32	c learnts size 1           : 190         (54.29     % of vars)
3600.34/901.32	c filedLit time            : 1.08        (0.03      % time)
3600.34/901.32	c v-elim SatELite          : 14          (4.00      % vars)
3600.34/901.32	c SatELite time            : 166.33      (4.62      % time)
3600.34/901.32	c v-elim xor               : 0           (0.00      % vars)
3600.34/901.32	c xor elim time            : 0.14        (0.00      % time)
3600.34/901.32	c num binary xor trees     : 0          
3600.34/901.32	c binxor trees' crown      : 0           (nan       leafs/tree)
3600.34/901.32	c bin xor find time        : 0.00       
3600.34/901.32	c OTF clause improved      : 158588      (0.04      clauses/conflict)
3600.34/901.32	c OTF impr. size diff      : 168150      (1.06       lits/clause)
3600.34/901.32	c OTF cl watch-shrink      : 1031820     (0.28      clauses/conflict)
3600.34/901.32	c OTF cl watch-sh-lit      : 1343753     (1.30       lits/clause)
3600.34/901.32	c tried to recurMin cls    : 494271      (13.52      % of conflicts)
3600.34/901.32	c updated cache            : 8391        (0.02       lits/tried recurMin)
3600.34/901.32	c unit cls received        : 3           (1.58      % of units)
3600.34/901.32	c unit cls sent            : 8           (4.21      % of units)
3600.34/901.32	c bin cls received         : 9          
3600.34/901.32	c bin cls sent             : 148        
3600.34/901.32	c clauses over max glue    : 0           (0.00      % of all clauses)
3600.34/901.32	c conflicts                : 3655029     (1015.62   / sec)
3600.34/901.32	c decisions                : 4185669     (0.45      % random)
3600.34/901.32	c bogo-props               : 111879977053 (31088022.71 / sec)
3600.34/901.32	c conflict literals        : 61927813    (30.31     % deleted)
3600.34/901.32	c Memory used              : 564.13      MB
3600.34/901.32	c single-thread CPU time   : 3598.81     s
3600.34/901.32	c all-threads sum CPU time : 3598.81     s
3600.34/901.32	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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

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

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


[startup+0 s]
/proc/loadavg: 7.42 7.85 7.19 2/173 23582
/proc/meminfo: memFree=30811872/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 412 0 0 0 0 0 0 0 18 0 4 0 601830392 52465664 352 33554432000 4194304 4650419 140735092202768 18446744073709551615 46919099467698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 12809 352 303 112 0 7774 0
[pid=23582/tid=23584] ppid=23579 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 601830392 52465664 352 33554432000 4194304 4650419 140735092202768 18446744073709551615 260032193590 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 601830392 52465664 352 33554432000 4194304 4650419 140735092202768 18446744073709551615 46919099467698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 601830392 52465664 352 33554432000 4194304 4650419 140735092202768 18446744073709551615 260020452337 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.050344 s]
/proc/loadavg: 7.42 7.85 7.19 2/173 23582
/proc/meminfo: memFree=30811872/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=282160 CPUtime=0.17 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 1258 0 0 0 17 0 0 0 18 0 4 0 601830392 288931840 1142 33554432000 4194304 4650419 140735092202768 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 70540 1142 390 112 0 65505 0
[pid=23582/tid=23584] ppid=23579 vsize=282160 CPUtime=0.04 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 245 0 0 0 4 0 0 0 18 0 4 0 601830392 288931840 1142 33554432000 4194304 4650419 140735092202768 18446744073709551615 4306748 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=282160 CPUtime=0.04 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 205 0 0 0 4 0 0 0 18 0 4 0 601830392 288931840 1142 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=282160 CPUtime=0.04 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 164 0 0 0 4 0 0 0 21 0 4 0 601830392 288931840 1142 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366698 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282160

[startup+0.100334 s]
/proc/loadavg: 7.42 7.85 7.19 2/173 23582
/proc/meminfo: memFree=30811872/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=282300 CPUtime=0.37 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 1538 0 0 0 37 0 0 0 18 0 4 0 601830392 289075200 1422 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 70575 1423 391 112 0 65540 0
[pid=23582/tid=23584] ppid=23579 vsize=282300 CPUtime=0.09 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 310 0 0 0 9 0 0 0 18 0 4 0 601830392 289075200 1423 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=282300 CPUtime=0.09 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 271 0 0 0 9 0 0 0 18 0 4 0 601830392 289075200 1423 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363604 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=282300 CPUtime=0.09 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 231 0 0 0 9 0 0 0 21 0 4 0 601830392 289075200 1423 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282300

[startup+0.300297 s]
/proc/loadavg: 7.42 7.85 7.19 2/173 23582
/proc/meminfo: memFree=30811872/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=283088 CPUtime=1.17 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 2442 0 0 0 117 0 0 0 18 0 4 0 601830392 289882112 1896 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366896 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 70772 1896 393 112 0 65737 0
[pid=23582/tid=23584] ppid=23579 vsize=283088 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 545 0 0 0 29 0 0 0 18 0 4 0 601830392 289882112 1896 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=283088 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 491 0 0 0 29 0 0 0 18 0 4 0 601830392 289882112 1896 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=283088 CPUtime=0.29 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 467 0 0 0 29 0 0 0 21 0 4 0 601830392 289882112 1896 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283088

[startup+0.700224 s]
/proc/loadavg: 7.42 7.85 7.19 2/173 23582
/proc/meminfo: memFree=30811872/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=284308 CPUtime=2.78 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 4225 0 0 0 277 1 0 0 18 0 4 0 601830392 291131392 2190 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 71077 2190 393 112 0 66042 0
[pid=23582/tid=23584] ppid=23579 vsize=284308 CPUtime=0.69 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 1017 0 0 0 69 0 0 0 18 0 4 0 601830392 291131392 2190 33554432000 4194304 4650419 140735092202768 18446744073709551615 4328270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=284308 CPUtime=0.69 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 975 0 0 0 69 0 0 0 18 0 4 0 601830392 291131392 2190 33554432000 4194304 4650419 140735092202768 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=284308 CPUtime=0.68 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 889 0 0 0 68 0 0 0 22 0 4 0 601830392 291131392 2190 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284308

[startup+1.50108 s]
/proc/loadavg: 7.42 7.85 7.19 10/184 23596
/proc/meminfo: memFree=30784992/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=275976 CPUtime=5.97 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 7427 0 0 0 596 1 0 0 20 0 4 0 601830392 282599424 3745 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 68994 3745 395 112 0 63959 0
[pid=23582/tid=23584] ppid=23579 vsize=275976 CPUtime=1.49 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 1631 0 0 0 149 0 0 0 20 0 4 0 601830392 282599424 3745 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=275976 CPUtime=1.49 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 1608 0 0 0 149 0 0 0 20 0 4 0 601830392 282599424 3745 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=275976 CPUtime=1.48 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 1325 0 0 0 148 0 0 0 25 0 4 0 601830392 282599424 3745 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 275976

[startup+3.10078 s]
/proc/loadavg: 7.42 7.85 7.19 9/184 23596
/proc/meminfo: memFree=30757092/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=280324 CPUtime=12.36 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 14143 0 0 0 1234 2 0 0 25 0 4 0 601830392 287051776 7620 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 70081 7620 395 112 0 65046 0
[pid=23582/tid=23584] ppid=23579 vsize=280324 CPUtime=3.09 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 3378 0 0 0 309 0 0 0 25 0 4 0 601830392 287051776 7620 33554432000 4194304 4650419 140735092202768 18446744073709551615 4333694 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=280324 CPUtime=3.08 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 3626 0 0 0 308 0 0 0 25 0 4 0 601830392 287051776 7620 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=280324 CPUtime=3.08 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 3192 0 0 0 307 1 0 0 25 0 4 0 601830392 287051776 7620 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 280324

[startup+6.30019 s]
/proc/loadavg: 7.47 7.85 7.19 9/184 23596
/proc/meminfo: memFree=30706132/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=285544 CPUtime=25.15 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 21281 0 0 0 2511 4 0 0 25 0 4 0 601830392 292397056 10506 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363371 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 71386 10506 395 112 0 66351 0
[pid=23582/tid=23584] ppid=23579 vsize=285544 CPUtime=6.29 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 5459 0 0 0 629 0 0 0 25 0 4 0 601830392 292397056 10506 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=285544 CPUtime=6.29 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 5837 0 0 0 628 1 0 0 25 0 4 0 601830392 292397056 10506 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=285544 CPUtime=6.25 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 4252 0 0 0 624 1 0 0 25 0 4 0 601830392 292397056 10506 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 285544

[startup+12.701 s]
/proc/loadavg: 7.51 7.85 7.20 9/184 23597
/proc/meminfo: memFree=30665200/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=297232 CPUtime=50.71 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 32576 0 0 0 5065 6 0 0 25 0 4 0 601830392 304365568 14395 33554432000 4194304 4650419 140735092202768 18446744073709551615 4476315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 74308 14395 395 112 0 69273 0
[pid=23582/tid=23584] ppid=23579 vsize=297232 CPUtime=12.69 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 8219 0 0 0 1268 1 0 0 25 0 4 0 601830392 304365568 14395 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=297232 CPUtime=12.68 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 8547 0 0 0 1267 1 0 0 25 0 4 0 601830392 304365568 14395 33554432000 4194304 4650419 140735092202768 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=297232 CPUtime=12.62 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 6383 0 0 0 1261 1 0 0 25 0 4 0 601830392 304365568 14395 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 297232

[startup+25.5007 s]
/proc/loadavg: 7.70 7.88 7.21 9/184 23597
/proc/meminfo: memFree=30608288/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=298172 CPUtime=101.84 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 48168 0 0 0 10174 10 0 0 25 0 4 0 601830392 305328128 19822 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 74543 19822 395 112 0 69508 0
[pid=23582/tid=23584] ppid=23579 vsize=298172 CPUtime=25.48 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 12167 0 0 0 2546 2 0 0 25 0 4 0 601830392 305328128 19822 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=298172 CPUtime=25.48 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 13359 0 0 0 2546 2 0 0 25 0 4 0 601830392 305328128 19822 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=298172 CPUtime=25.35 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 8921 0 0 0 2533 2 0 0 25 0 4 0 601830392 305328128 19822 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 298172

[startup+51.1009 s]
/proc/loadavg: 7.80 7.89 7.23 9/184 23598
/proc/meminfo: memFree=30558100/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=303504 CPUtime=204.1 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 73620 0 0 0 20392 18 0 0 25 0 4 0 601830392 310788096 24498 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 75876 24498 395 112 0 70841 0
[pid=23582/tid=23584] ppid=23579 vsize=303504 CPUtime=51.09 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 19731 0 0 0 5104 5 0 0 25 0 4 0 601830392 310788096 24498 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=303504 CPUtime=51.08 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 20970 0 0 0 5103 5 0 0 25 0 4 0 601830392 310788096 24498 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=303504 CPUtime=50.81 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 12636 0 0 0 5078 3 0 0 25 0 4 0 601830392 310788096 24498 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 303504

[startup+102.307 s]
/proc/loadavg: 8.03 7.93 7.28 9/184 23599
/proc/meminfo: memFree=30500148/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=310172 CPUtime=408.64 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 112171 0 0 0 40832 32 0 0 25 0 4 0 601830392 317616128 28987 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 77543 28987 395 112 0 72508 0
[pid=23582/tid=23584] ppid=23579 vsize=310172 CPUtime=102.29 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 30006 0 0 0 10220 9 0 0 25 0 4 0 601830392 317616128 28987 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=310172 CPUtime=102.29 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 31454 0 0 0 10220 9 0 0 25 0 4 0 601830392 317616128 28987 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366835 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=310172 CPUtime=101.73 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 18479 0 0 0 10168 5 0 0 25 0 4 0 601830392 317616128 28987 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 310172

[startup+162.3 s]

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

/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 56178 0 0 0 63858 21 0 0 25 0 4 0 601830392 603025408 75632 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.75
Current children cumulated vsize (KiB) 588892

[startup+702.301 s]
/proc/loadavg: 8.21 8.11 7.67 9/184 23615
/proc/meminfo: memFree=30067924/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=523696 CPUtime=2805.41 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 368850 0 0 0 280401 140 0 0 25 0 4 0 601830392 536264704 77447 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 130924 77447 395 112 0 125889 0
[pid=23582/tid=23584] ppid=23579 vsize=523696 CPUtime=702.31 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 94235 0 0 0 70196 35 0 0 25 0 4 0 601830392 536264704 77447 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=523696 CPUtime=702.31 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 100938 0 0 0 70191 40 0 0 25 0 4 0 601830392 536264704 77447 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=523696 CPUtime=698.46 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 59333 0 0 0 69823 23 0 0 25 0 4 0 601830392 536264704 77447 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 523696

[startup+762.307 s]
/proc/loadavg: 8.59 8.22 7.73 9/184 23620
/proc/meminfo: memFree=30011020/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=589756 CPUtime=3045.12 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 385195 0 0 0 304365 147 0 0 25 0 4 0 601830392 603910144 80205 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 147439 80205 398 112 0 142404 0
[pid=23582/tid=23584] ppid=23579 vsize=589756 CPUtime=762.32 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 97060 0 0 0 76195 37 0 0 25 0 4 0 601830392 603910144 80205 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=589756 CPUtime=762.31 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 105260 0 0 0 76190 41 0 0 25 0 4 0 601830392 603910144 80205 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=589756 CPUtime=758.14 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 61450 0 0 0 75789 25 0 0 25 0 4 0 601830392 603910144 80205 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 589756

[startup+822.301 s]
/proc/loadavg: 8.26 8.19 7.75 9/184 23621
/proc/meminfo: memFree=30009220/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=565232 CPUtime=3284.77 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 402999 0 0 0 328323 154 0 0 25 0 4 0 601830392 578797568 81502 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 141308 81502 398 112 0 136273 0
[pid=23582/tid=23584] ppid=23579 vsize=565232 CPUtime=822.31 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 102059 0 0 0 82192 39 0 0 25 0 4 0 601830392 578797568 81502 33554432000 4194304 4650419 140735092202768 18446744073709551615 4313311 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=565232 CPUtime=822.31 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 108987 0 0 0 82188 43 0 0 25 0 4 0 601830392 578797568 81502 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365252 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=565232 CPUtime=817.8 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 64637 0 0 0 81754 26 0 0 25 0 4 0 601830392 578797568 81502 33554432000 4194304 4650419 140735092202768 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 565232

[startup+882.301 s]
/proc/loadavg: 8.15 8.17 7.77 9/184 23623
/proc/meminfo: memFree=29987596/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3524.44 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 416578 0 0 0 352285 159 0 0 25 0 4 0 601830392 591532032 86071 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 86071 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=882.31 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 105763 0 0 0 88191 40 0 0 25 0 4 0 601830392 591532032 86071 33554432000 4194304 4650419 140735092202768 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=882.31 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 88187 44 0 0 25 0 4 0 601830392 591532032 86071 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=877.47 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 67960 0 0 0 87720 27 0 0 25 0 4 0 601830392 591532032 86071 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 577668

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

[startup+883.101 s]
/proc/loadavg: 8.15 8.17 7.77 9/184 23623
/proc/meminfo: memFree=29987596/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3527.65 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 416674 0 0 0 352605 160 0 0 25 0 4 0 601830392 591532032 86167 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 86167 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=883.11 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 105792 0 0 0 88271 40 0 0 25 0 4 0 601830392 591532032 86167 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=883.11 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 88267 44 0 0 25 0 4 0 601830392 591532032 86167 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=878.27 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 67988 0 0 0 87800 27 0 0 25 0 4 0 601830392 591532032 86167 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3527.65
Current children cumulated vsize (KiB) 577668

[startup+889.501 s]
/proc/loadavg: 8.13 8.16 7.77 9/184 23623
/proc/meminfo: memFree=29994168/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3553.21 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 417399 0 0 0 355161 160 0 0 25 0 4 0 601830392 591532032 86892 33554432000 4194304 4650419 140735092202768 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 86892 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=889.51 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106130 0 0 0 88911 40 0 0 25 0 4 0 601830392 591532032 86892 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=889.51 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 88907 44 0 0 25 0 4 0 601830392 591532032 86892 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=884.64 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68219 0 0 0 88436 28 0 0 25 0 4 0 601830392 591532032 86892 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3553.21
Current children cumulated vsize (KiB) 577668

[startup+895.9 s]
/proc/loadavg: 8.12 8.16 7.77 9/184 23623
/proc/meminfo: memFree=29997864/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3578.77 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 419285 0 0 0 357717 160 0 0 25 0 4 0 601830392 591532032 87663 33554432000 4194304 4650419 140735092202768 18446744073709551615 4332118 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 87663 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=895.91 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106422 0 0 0 89551 40 0 0 25 0 4 0 601830392 591532032 87663 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=895.91 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 89547 44 0 0 25 0 4 0 601830392 591532032 87663 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=891.01 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68447 0 0 0 89073 28 0 0 25 0 4 0 601830392 591532032 87663 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3578.77
Current children cumulated vsize (KiB) 577668

[startup+899.101 s]
/proc/loadavg: 8.11 8.16 7.77 9/184 23623
/proc/meminfo: memFree=30011744/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3591.56 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 419832 0 0 0 358995 161 0 0 25 0 4 0 601830392 591532032 83734 33554432000 4194304 4650419 140735092202768 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 83734 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=899.12 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106684 0 0 0 89871 41 0 0 25 0 4 0 601830392 591532032 83734 33554432000 4194304 4650419 140735092202768 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=899.11 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 89867 44 0 0 25 0 4 0 601830392 591532032 83734 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=894.19 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68562 0 0 0 89391 28 0 0 25 0 4 0 601830392 591532032 83734 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3591.56
Current children cumulated vsize (KiB) 577668

[startup+900.7 s]
/proc/loadavg: 8.11 8.16 7.77 9/184 23623
/proc/meminfo: memFree=30011000/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3597.95 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 419962 0 0 0 359634 161 0 0 25 0 4 0 601830392 591532032 83864 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 83864 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=900.72 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106693 0 0 0 90031 41 0 0 25 0 4 0 601830392 591532032 83864 33554432000 4194304 4650419 140735092202768 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=900.71 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 90027 44 0 0 25 0 4 0 601830392 591532032 83864 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=895.78 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68615 0 0 0 89550 28 0 0 25 0 4 0 601830392 591532032 83864 33554432000 4194304 4650419 140735092202768 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3597.95
Current children cumulated vsize (KiB) 577668

[startup+901.1 s]
/proc/loadavg: 8.11 8.16 7.77 9/184 23623
/proc/meminfo: memFree=30025508/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3599.54 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 420029 0 0 0 359793 161 0 0 25 0 4 0 601830392 591532032 79934 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 79934 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=901.12 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106695 0 0 0 90071 41 0 0 25 0 4 0 601830392 591532032 79934 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=901.11 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 90067 44 0 0 25 0 4 0 601830392 591532032 79934 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=896.17 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68660 0 0 0 89589 28 0 0 25 0 4 0 601830392 591532032 79934 33554432000 4194304 4650419 140735092202768 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3599.54
Current children cumulated vsize (KiB) 577668

[startup+901.3 s]
/proc/loadavg: 8.11 8.16 7.77 9/184 23623
/proc/meminfo: memFree=30025508/32951124 swapFree=67111464/67111528
[pid=23582] ppid=23579 vsize=577668 CPUtime=3600.34 cores=1,3,5,7
/proc/23582/stat : 23582 (strangenight1-m) R 23579 23582 23457 0 -1 4202496 420044 0 0 0 359873 161 0 0 25 0 4 0 601830392 591532032 79949 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/23582/statm: 144417 79949 398 112 0 139382 0
[pid=23582/tid=23584] ppid=23579 vsize=577668 CPUtime=901.32 cores=1,3,5,7
/proc/23582/task/23584/stat : 23584 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 106696 0 0 0 90091 41 0 0 25 0 4 0 601830392 591532032 79949 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23582/tid=23585] ppid=23579 vsize=577668 CPUtime=901.31 cores=1,3,5,7
/proc/23582/task/23585/stat : 23585 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 111300 0 0 0 90087 44 0 0 25 0 4 0 601830392 591532032 79949 33554432000 4194304 4650419 140735092202768 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23582/tid=23586] ppid=23579 vsize=577668 CPUtime=896.37 cores=1,3,5,7
/proc/23582/task/23586/stat : 23586 (strangenight1-m) R 23579 23582 23457 0 -1 4202560 68660 0 0 0 89609 28 0 0 25 0 4 0 601830392 591532032 79949 33554432000 4194304 4650419 140735092202768 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3600.34
Current children cumulated vsize (KiB) 577668

Child status: 20
Real time (s): 901.335
CPU time (s): 3600.44
CPU user time (s): 3598.81
CPU system time (s): 1.63175
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 590032

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3598.81
system time used= 1.63175
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 420048
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= 265
involuntary context switches= 25978

runsolver used 1.3438 second user time and 3.57945 second system time

The end

Launcher Data 

Begin job on node110 at 2011-04-30 00:26:38
IDJOB=3175323
IDBENCH=82941
IDSOLVER=1588
FILE ID=node110/3175323-1304115998
RUNJOBID= node110-1304114794-23476
PBS_JOBID= 13170707
Free space on /tmp= 72840 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175323-1304115998/watcher-3175323-1304115998 -o /tmp/evaluation-result-3175323-1304115998/solver-3175323-1304115998 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175323-1304115998.cnf

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

MD5SUM BENCH= 60552051d2d5a0c0eefaeedea18e63df
RANDOM SEED=1942432252

node110.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.830
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.66
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.830
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.83
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.830
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.830
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.830
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.76
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.830
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.83
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.830
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.830
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:     32951124 kB
MemFree:      30812160 kB
Buffers:        924832 kB
Cached:         744548 kB
SwapCached:         64 kB
Active:         139104 kB
Inactive:      1594452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30812160 kB
SwapTotal:    67111528 kB
SwapFree:     67111464 kB
Dirty:            6244 kB
Writeback:           0 kB
AnonPages:       64200 kB
Mapped:          14500 kB
Slab:           341912 kB
PageTables:       4576 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185548 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= 72828 MiB
End job on node110 at 2011-04-30 00:41:40