Trace number 3174264

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
MD5SUM08f7f98549a111fea2bbc5a28af8d7eb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.054991
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of clauses3195
Sum of the clauses size15975
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 53195
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174264-1304116415.cnf'
0.00/0.00	c -- header says num vars:            150
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        150
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.04	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.04	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.04	c calculated reachability. Time: 0.00
0.00/0.04	c Calc default polars -  time:   0.00 s pos:      79 undec:       4 neg:      67
0.00/0.04	c =========================================================================================
0.00/0.04	c types(t): F = full restart, N = normal restart
0.00/0.04	c types(t): S = simplification begin/end, E = solution found
0.00/0.04	c restart types(rt): st = static, dy = dynamic
0.00/0.04	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.04	c  B st     0         0       150      3195         0         0     15975         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.40/0.15	c  N st     8      4919       150      3195         0      4676     15975    137323   no data   no data
1.17/0.37	c  N st    10     11301       150      3195         0      4334     15975     99533   no data   no data
2.37/0.60	c  N st    11     17045       150      3195         0      9782     15975    260800   no data   no data
3.57/0.95	c  F st    12     25001       150      3195         0     12025     15975    326012   no data   no data
3.57/0.96	c  N st    12     25001       150      3195         0     12025     15975    326012   no data   no data
4.38/1.18	c Decided on static restart strategy
4.38/1.18	c  N st    18     30000       150      3195         0     10299     15975    259379   no data   no data
4.38/1.18	c  S st    18     30000       150      3195         0     10299     15975    259379   no data   no data
4.79/1.21	c  S st    18     30507       150      3195         0     10795     15975    274095   no data   no data
4.79/1.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.79/1.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.79/1.21	c blocked clauses removed:        0 vars:      0 tried:         150 T: 0.00 s
4.79/1.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.79/1.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.79/1.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4.79/1.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.79/1.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.79/1.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c lits-rem:       180  cl-subs:     1239  v-elim:      0  v-fix:    0  time:  0.19 s
5.57/1.45	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30507       150      3195         0      9556     15975    233547   no data   no data
7.16/1.83	c  N st    20     37617       150      3195         0      8806     15975    193084   no data   no data
8.36/2.14	c  N st    21     44016       150      3195         0     14873     15975    376958   no data   no data
8.78/2.23	c  S st    22     45760       150      3195         0     16555     15975    428342   no data   no data
8.78/2.29	c  S st    22     46263       150      3195         0      8539     15975    166646   no data   no data
8.78/2.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.78/2.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.78/2.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
8.78/2.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.18/2.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.18/2.33	c lits-rem:        27  cl-subs:      210  v-elim:      0  v-fix:    0  time:  0.02 s
9.18/2.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
9.18/2.33	c vivif2 --  cl tried     8329 cl shrink        0 lits rem          0 time: 0.00
9.18/2.37	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.04
9.18/2.37	c calculated reachability. Time: 0.00
9.18/2.37	c  N st    22     46263       150      3195         0      8329     15975    160464   no data   no data
12.36/3.18	c  N st    23     60662       150      3195         0     12535     15975    277208   no data   no data
14.75/3.70	c  N st    24     69396       150      3195         0     20843     15975    522906   no data   no data
14.75/3.70	c  S st    24     69396       150      3195         0     20843     15975    522906   no data   no data
14.75/3.75	c  S st    24     69903       150      3195         0     10891     15975    206875   no data   no data
14.75/3.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.75/3.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
14.75/3.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.75/3.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.75/3.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
14.75/3.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.75/3.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.75/3.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.81	c lits-rem:        38  cl-subs:      190  v-elim:      0  v-fix:    0  time:  0.04 s
15.15/3.81	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
15.15/3.81	c vivif2 --  cl tried    10701 cl shrink        0 lits rem          0 time: 0.00
15.15/3.86	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.05
15.15/3.86	c calculated reachability. Time: 0.00
15.15/3.86	c  N st    24     69903       150      3195         0     10701     15975    200171   no data   no data
19.94/5.02	c  F st    25     87502       150      3195         0     16025     15975    345390   no data   no data
19.94/5.02	c  N st    25     87502       150      3195         0     16025     15975    345390   no data   no data
21.14/5.35	c Decided on static restart strategy
21.96/5.57	c  N st    32     95540       150      3195         0     23670     15975    570632   no data   no data
24.34/6.16	c  N st    34    104855       150      3195         0     20147     15975    460097   no data   no data
24.34/6.16	c  S st    34    104855       150      3195         0     20147     15975    460097   no data   no data
24.73/6.21	c  S st    34    105355       150      3195         0     20637     15975    474600   no data   no data
24.73/6.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.73/6.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
24.73/6.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.73/6.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.73/6.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.73/6.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
24.73/6.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.73/6.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
24.73/6.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.70	c lits-rem:       461  cl-subs:     1447  v-elim:      0  v-fix:    0  time:  0.46 s
26.36/6.70	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
26.76/6.70	c vivif2 --  cl tried    19190 cl shrink        0 lits rem          0 time: 0.00
26.76/6.78	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.07
26.76/6.78	c calculated reachability. Time: 0.00
26.76/6.78	c  N st    34    105355       150      3195         0     19190     15975    427778   no data   no data
30.34/7.60	c  N st    35    114954       150      3195         0     15023     15975    295649   no data   no data
34.73/8.77	c  N st    36    129351       150      3195         0     14472     15975    255522   no data   no data
41.52/10.40	c  N st    37    150946       150      3195         0     19734     15975    390625   no data   no data
43.52/10.91	c  S st    38    158034       150      3195         0     26456     15975    588079   no data   no data
43.52/10.97	c  S st    38    158537       150      3195         0     26946     15975    602384   no data   no data
43.52/10.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.52/10.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
43.52/10.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.52/10.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.52/10.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.52/10.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
43.52/10.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.52/10.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.93/11.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.51/11.94	c lits-rem:       431  cl-subs:     2182  v-elim:      0  v-fix:    0  time:  0.94 s
47.51/11.94	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
47.51/11.95	c vivif2 --  cl tried    24764 cl shrink        0 lits rem          0 time: 0.01
47.91/12.05	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.10
47.91/12.05	c calculated reachability. Time: 0.00
47.91/12.05	c  N st    38    158537       150      3195         0     24764     15975    535811   no data   no data
65.09/16.34	c  N st    39    207126       150      3195         0     19770     15975    343226   no data   no data
75.87/19.01	c  N st    40    237808       150      3195         0     29966     15975    642795   no data   no data
75.87/19.01	c  S st    40    237808       150      3195         0     29966     15975    642795   no data   no data
75.87/19.09	c  S st    40    238309       150      3195         0     30458     15975    657277   no data   no data
75.87/19.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.27/19.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.27/19.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.27/19.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.27/19.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.27/19.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
76.27/19.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.27/19.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.27/19.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.06/20.33	c lits-rem:       852  cl-subs:     2342  v-elim:      0  v-fix:    0  time:  1.20 s
81.06/20.33	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
81.06/20.33	c vivif2 --  cl tried    28116 cl shrink        0 lits rem          0 time: 0.01
81.46/20.45	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.12
81.46/20.45	c calculated reachability. Time: 0.00
81.46/20.45	c  N st    40    238309       150      3195         0     28116     15975    582958   no data   no data
107.03/26.83	c  F st    41    306252       150      3195         0     29962     15975    595458   no data   no data
107.03/26.83	c  N st    41    306252       150      3195         0     29962     15975    595458   no data   no data
109.03/27.34	c Decided on static restart strategy
118.22/29.65	c  N st    51    334554       150      3195         0     34244     15975    716949   no data   no data
128.60/32.23	c  N st    53    357464       150      3195         0     32270     15975    612956   no data   no data
128.60/32.23	c  S st    53    357464       150      3195         0     32270     15975    612956   no data   no data
129.00/32.31	c  S st    53    357967       150      3195         0     32761     15975    627677   no data   no data
129.00/32.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
129.00/32.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
129.00/32.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
129.00/32.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
129.00/32.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.00/32.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
129.00/32.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
129.00/32.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
129.00/32.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.81/33.05	c lits-rem:       452  cl-subs:     1497  v-elim:      0  v-fix:    0  time:  0.70 s
131.81/33.05	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
131.81/33.05	c vivif2 --  cl tried    31264 cl shrink        0 lits rem          0 time: 0.01
132.59/33.20	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.14
132.59/33.20	c calculated reachability. Time: 0.00
132.59/33.20	c  N st    53    357967       150      3195         0     31264     15975    578767   no data   no data
146.58/36.71	c  N st    54    390361       150      3195         0     37138     15975    741573   no data   no data
172.94/43.32	c  N st    55    438949       150      3195         0     31064     15975    532180   no data   no data
205.70/51.50	c  N st    56    511831       150      3195         0     44091     15975    874775   no data   no data
218.88/54.86	c  N st    57    536952       150      3195         0     38660     15975    690684   no data   no data
218.88/54.86	c  S st    57    536952       150      3195         0     38660     15975    690684   no data   no data
219.28/54.96	c  S st    57    537456       150      3195         0     39149     15975    705375   no data   no data
219.28/54.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
219.28/54.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
219.28/54.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
219.28/54.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
219.28/54.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
219.28/54.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
219.28/54.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.28/54.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
219.70/55.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.27/55.94	c lits-rem:       437  cl-subs:     1780  v-elim:      0  v-fix:    0  time:  0.93 s
223.27/55.94	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
223.27/55.95	c vivif2 --  cl tried    37369 cl shrink        0 lits rem          0 time: 0.01
224.09/56.12	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.17
224.09/56.12	c calculated reachability. Time: 0.00
224.09/56.12	c  N st    57    537456       150      3195         0     37369     15975    653704   no data   no data
314.75/78.81	c  N st    58    701441       150      3195         0     65477     15975   1481364   no data   no data
373.49/93.58	c  N st    59    806185       150      3195         0     59950     15975   1272655   no data   no data
373.49/93.58	c  S st    59    806185       150      3195         0     59950     15975   1272655   no data   no data
374.27/93.73	c  S st    59    806687       150      3195         0     60442     15975   1287384   no data   no data
374.27/93.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
374.27/93.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
374.27/93.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.27/93.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
374.27/93.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.27/93.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
374.27/93.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
374.27/93.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
374.67/93.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
399.85/100.11	c lits-rem:      1184  cl-subs:     3972  v-elim:      0  v-fix:    0  time:  6.29 s
399.85/100.11	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
399.85/100.13	c vivif2 --  cl tried    56470 cl shrink        0 lits rem          0 time: 0.02
401.02/100.41	c asymm  cl-useful: 0/2995/3195 lits-rem:0 time: 0.28
401.02/100.41	c calculated reachability. Time: 0.00
401.02/100.41	c  N st    59    806687       150      3195         0     56470     15975   1157180   no data   no data
579.19/145.04	c  F st    60   1071875       150      3195         0     71673     15975   1541947   no data   no data
579.19/145.04	c  N st    60   1071875       150      3195         0     71673     15975   1541947   no data   no data
584.41/146.34	c Decided on static restart strategy
601.99/150.73	c  N st    70   1100178       150      3195         0     56195     15975   1003276   no data   no data
634.32/158.88	c  N st    72   1136172       150      3195         0     46797     15975    684949   no data   no data
659.50/165.12	c  N st    73   1168565       150      3195         0     77270     15975   1609250   no data   no data
699.05/175.06	c  N st    74   1210033       150      3195         0     71915     15975   1436083   no data   no data
699.05/175.06	c  S st    74   1210033       150      3195         0     71915     15975   1436083   no data   no data
700.23/175.33	c  S st    74   1210540       150      3195         0     72408     15975   1450687   no data   no data
700.23/175.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
700.23/175.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.05
700.23/175.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
700.23/175.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
700.23/175.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
700.23/175.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
700.23/175.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
700.63/175.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
700.63/175.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
768.55/192.42	c lits-rem:      4468  cl-subs:     5309  v-elim:      0  v-fix:    0  time: 16.96 s
768.55/192.42	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
768.55/192.44	c vivif2 --  cl tried    67099 cl shrink        0 lits rem          0 time: 0.02
770.54/192.91	c asymm  cl-useful: 0/2577/3195 lits-rem:0 time: 0.47
770.54/192.91	c calculated reachability. Time: 0.00
770.54/192.91	c  N st    74   1210540       150      3195         0     67099     15975   1273779   no data   no data
832.86/208.51	c  N st    75   1283423       150      3195         0     90920     15975   1997551   no data   no data
937.52/234.78	c  N st    76   1392748       150      3195         0     52585     15975    763888   no data   no data
1082.51/271.08	c  N st    77   1556732       150      3195         0     56980     15975    848006   no data   no data
1208.37/302.59	c  N st    78   1710541       150      3195         0     97242     15975   2055812   no data   no data
1208.37/302.59	c  S st    78   1710541       150      3195         0     97242     15975   2055812   no data   no data
1209.95/302.92	c  S st    78   1711045       150      3195         0     97733     15975   2070335   no data   no data
1209.95/302.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1209.95/302.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1209.95/302.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1209.95/302.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1209.95/302.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1209.95/302.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1209.95/302.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1210.35/303.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1210.35/303.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1314.61/329.13	c lits-rem:      5847  cl-subs:     9722  v-elim:      0  v-fix:    0  time: 26.06 s
1314.61/329.13	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1314.61/329.15	c vivif2 --  cl tried    88011 cl shrink        0 lits rem          0 time: 0.02
1315.01/329.29	c asymm  cl-useful: 0/618/3195 lits-rem:0 time: 0.13
1315.01/329.29	c calculated reachability. Time: 0.00
1315.01/329.29	c  N st    78   1711045       150      3195         0     88011     15975   1769721   no data   no data
1661.74/416.08	c  N st    79   2080009       150      3195         0     99583     15975   1994162   no data   no data
1780.79/445.85	c  N st    80   2211047       150      3195         0    103826     15975   2153546   no data   no data
1780.79/445.85	c  S st    80   2211047       150      3195         0    103826     15975   2153546   no data   no data
1782.39/446.21	c  S st    80   2211550       150      3195         0    104321     15975   2168747   no data   no data
1782.39/446.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1782.39/446.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1782.39/446.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1782.39/446.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1782.39/446.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1782.39/446.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
1782.39/446.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1782.79/446.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1782.79/446.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1877.45/470.07	c lits-rem:      2823  cl-subs:     8510  v-elim:      0  v-fix:    0  time: 23.71 s
1877.45/470.07	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
1877.45/470.09	c vivif2 --  cl tried    95811 cl shrink        0 lits rem          0 time: 0.03
1879.05/470.45	c asymm  cl-useful: 0/1758/3195 lits-rem:0 time: 0.36
1879.05/470.46	c calculated reachability. Time: 0.00
1879.05/470.46	c  N st    80   2211550       150      3195         0     95811     15975   1894980   no data   no data
2369.20/593.11	c  N st    81   2711550       150      3195         0    118372     15975   2403752   no data   no data
2369.20/593.11	c  S st    81   2711550       150      3195         0    118372     15975   2403752   no data   no data
2370.80/593.50	c  S st    81   2712050       150      3195         0    118858     15975   2418683   no data   no data
2370.80/593.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2370.80/593.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2370.80/593.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2370.80/593.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2370.80/593.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2370.80/593.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
2370.80/593.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2371.20/593.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2371.20/593.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2507.42/627.71	c lits-rem:      2289  cl-subs:    12169  v-elim:      0  v-fix:    0  time: 34.03 s
2507.42/627.71	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
2507.42/627.74	c vivif2 --  cl tried   106689 cl shrink        0 lits rem          0 time: 0.03
2509.04/628.13	c asymm  cl-useful: 0/1403/3195 lits-rem:0 time: 0.39
2509.04/628.13	c calculated reachability. Time: 0.00
2509.04/628.13	c  N st    81   2712050       150      3195         0    106689     15975   2079641   no data   no data
3156.56/790.28	c  N st    82   3212052       150      3195         0     83762     15975   1247315   no data   no data
3156.56/790.28	c  S st    82   3212052       150      3195         0     83762     15975   1247315   no data   no data
3157.76/790.53	c  S st    82   3212554       150      3195         0     84251     15975   1262058   no data   no data
3157.76/790.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3157.76/790.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3157.76/790.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3157.76/790.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3157.76/790.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3157.76/790.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3157.76/790.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3158.16/790.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3158.16/790.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3167.74/793.02	c lits-rem:       665  cl-subs:     2196  v-elim:      0  v-fix:    0  time:  2.39 s
3167.74/793.02	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3167.74/793.04	c vivif2 --  cl tried    82055 cl shrink        0 lits rem          0 time: 0.02
3168.93/793.37	c asymm  cl-useful: 0/2096/3195 lits-rem:0 time: 0.33
3168.93/793.38	c calculated reachability. Time: 0.00
3168.93/793.38	c  N st    82   3212554       150      3195         0     82055     15975   1195496   no data   no data
3887.98/973.31	c  N st    83   3712555       150      3195         0     92671     15975   1404476   no data   no data
3887.98/973.31	c  S st    83   3712555       150      3195         0     92671     15975   1404476   no data   no data
3888.80/973.57	c  S st    83   3713056       150      3195         0     93159     15975   1419595   no data   no data
3888.80/973.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3889.20/973.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3889.20/973.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3889.20/973.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3889.20/973.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3889.20/973.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
3889.20/973.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3889.20/973.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3889.20/973.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3904.36/977.45	c lits-rem:       771  cl-subs:     3159  v-elim:      0  v-fix:    0  time:  3.75 s
3904.36/977.45	c vivif2 --  cl tried     3195 cl shrink        0 lits rem          0 time: 0.00
3904.36/977.47	c vivif2 --  cl tried    90000 cl shrink        0 lits rem          0 time: 0.02
3905.56/977.71	c asymm  cl-useful: 0/1099/3195 lits-rem:0 time: 0.24
3905.56/977.71	c calculated reachability. Time: 0.00
3905.56/977.71	c  N st    83   3713056       150      3195         0     90000     15975   1333908   no data   no data
3953.49/989.75	c  F st    84   3751563       150      3195         0    126213     15975   2450678   no data   no data
3953.49/989.75	c  N st    84   3751563       150      3195         0    126213     15975   2450678   no data   no data
3963.50/992.27	c Decided on static restart strategy
4001.03/1001.66	c  N st    94   3779868       150      3195         0    153193     15975   3280782   no data   no data
4039.78/1011.37	c  N st    96   3815860       150      3195         0    107294     15975   1837894   no data   no data
4084.52/1022.56	c  N st    97   3848253       150      3195         0    137971     15975   2769808   no data   no data
4150.43/1039.03	c  N st    98   3896842       150      3195         0    102809     15975   1692249   no data   no data
4262.70/1067.18	c  N st    99   3969726       150      3195         0     89605     15975   1251922   no data   no data
4424.88/1107.77	c  N st   100   4079049       150      3195         0    109510     15975   1832345   no data   no data
4617.01/1155.81	c  N st   101   4213057       150      3195         0    151642     15975   3107900   no data   no data
4617.01/1155.81	c  S st   101   4213057       150      3195         0    151642     15975   3107900   no data   no data
4619.00/1156.30	c  S st   101   4213558       150      3195         0    152132     15975   3122322   no data   no data
4619.00/1156.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4619.00/1156.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4619.00/1156.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4619.00/1156.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4619.00/1156.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4619.00/1156.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    150 time:  0.00 s
4619.00/1156.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4619.40/1156.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4619.80/1156.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174264-1304116415/watcher-3174264-1304116415 -o /tmp/evaluation-result-3174264-1304116415/solver-3174264-1304116415 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174264-1304116415.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: 8.16 8.09 8.02 3/176 19738
/proc/meminfo: memFree=27898868/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=182284 CPUtime=0 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) D 19736 19738 19311 0 -1 4202496 439 0 0 0 0 0 0 0 25 0 4 0 523241186 186658816 366 33554432000 4194304 4627427 140733627600912 18446744073709551615 208079887344 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 45571 366 311 106 0 40542 0
[pid=19738/tid=19742] ppid=19736 vsize=182284 CPUtime=0 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) S 19736 19738 19311 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 4 0 523241186 186658816 366 33554432000 4194304 4627427 140733627600912 18446744073709551615 208080337390 0 0 4096 2 18446604471128847616 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=160440 CPUtime=0 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) S 19736 19738 19311 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 4 0 523241186 164290560 367 33554432000 4194304 4627427 140733627600912 18446744073709551615 208080337390 0 0 4096 2 18446604471128847616 0 0 -1 3 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=116748 CPUtime=0 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 4 0 523241186 119549952 373 33554432000 4194304 4627427 140733627600912 18446744073709551615 4207088 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.10878 s]
/proc/loadavg: 8.16 8.09 8.02 3/176 19738
/proc/meminfo: memFree=27898868/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=217156 CPUtime=0.4 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 2011 0 0 0 40 0 0 0 25 0 4 0 523241186 222367744 1858 33554432000 4194304 4627427 140733627600912 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 54289 1859 383 106 0 49260 0
[pid=19738/tid=19742] ppid=19736 vsize=217156 CPUtime=0.1 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 457 0 0 0 10 0 0 0 25 0 4 0 523241186 222367744 1859 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=217156 CPUtime=0.09 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 419 0 0 0 9 0 0 0 25 0 4 0 523241186 222367744 1859 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309525 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=217156 CPUtime=0.1 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 273 0 0 0 10 0 0 0 25 0 4 0 523241186 222367744 1859 33554432000 4194304 4627427 140733627600912 18446744073709551615 208079893189 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 217156

[startup+0.200763 s]
/proc/loadavg: 8.16 8.09 8.02 3/176 19738
/proc/meminfo: memFree=27898868/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=218968 CPUtime=0.77 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 2838 0 0 0 77 0 0 0 25 0 4 0 523241186 224223232 1967 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 54742 1967 384 106 0 49713 0
[pid=19738/tid=19742] ppid=19736 vsize=218968 CPUtime=0.19 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 670 0 0 0 19 0 0 0 25 0 4 0 523241186 224223232 1967 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=218968 CPUtime=0.19 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 632 0 0 0 19 0 0 0 25 0 4 0 523241186 224223232 1967 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=218968 CPUtime=0.19 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 471 0 0 0 19 0 0 0 25 0 4 0 523241186 224223232 1967 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 218968

[startup+0.300745 s]
/proc/loadavg: 8.16 8.09 8.02 3/176 19738
/proc/meminfo: memFree=27898868/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=219232 CPUtime=1.17 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 3326 0 0 0 117 0 0 0 25 0 4 0 523241186 224493568 2455 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 54808 2455 384 106 0 49779 0
[pid=19738/tid=19742] ppid=19736 vsize=219232 CPUtime=0.29 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 801 0 0 0 29 0 0 0 25 0 4 0 523241186 224493568 2455 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=219232 CPUtime=0.29 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 749 0 0 0 29 0 0 0 25 0 4 0 523241186 224493568 2455 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=219232 CPUtime=0.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 600 0 0 0 29 0 0 0 25 0 4 0 523241186 224493568 2456 33554432000 4194304 4627427 140733627600912 18446744073709551615 208079893189 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 219232

[startup+0.700669 s]
/proc/loadavg: 8.16 8.09 8.02 3/176 19738
/proc/meminfo: memFree=27898868/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=221208 CPUtime=2.77 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 6056 0 0 0 276 1 0 0 25 0 4 0 523241186 226516992 2728 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 55302 2728 384 106 0 50273 0
[pid=19738/tid=19742] ppid=19736 vsize=221208 CPUtime=0.69 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 1527 0 0 0 69 0 0 0 25 0 4 0 523241186 226516992 2728 33554432000 4194304 4627427 140733627600912 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=221208 CPUtime=0.69 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 1397 0 0 0 69 0 0 0 25 0 4 0 523241186 226516992 2728 33554432000 4194304 4627427 140733627600912 18446744073709551615 4333328 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=221208 CPUtime=0.69 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 1293 0 0 0 69 0 0 0 25 0 4 0 523241186 226516992 2728 33554432000 4194304 4627427 140733627600912 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 221208

[startup+1.50052 s]
/proc/loadavg: 8.39 8.14 8.04 10/184 19747
/proc/meminfo: memFree=27874776/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=229444 CPUtime=5.96 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 11407 0 0 0 594 2 0 0 25 0 4 0 523241186 234950656 5017 33554432000 4194304 4627427 140733627600912 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 57361 5017 388 106 0 52332 0
[pid=19738/tid=19742] ppid=19736 vsize=229444 CPUtime=1.48 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 2587 0 0 0 148 0 0 0 25 0 4 0 523241186 234950656 5017 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=229444 CPUtime=1.48 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 2357 0 0 0 148 0 0 0 25 0 4 0 523241186 234950656 5017 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=229444 CPUtime=1.49 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 2345 0 0 0 149 0 0 0 25 0 4 0 523241186 234950656 5017 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 229444

[startup+3.10021 s]
/proc/loadavg: 8.39 8.14 8.04 10/184 19747
/proc/meminfo: memFree=27831376/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=238324 CPUtime=12.36 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 22086 0 0 0 1232 4 0 0 25 0 4 0 523241186 244043776 10961 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309173 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 59581 10961 388 106 0 54552 0
[pid=19738/tid=19742] ppid=19736 vsize=238324 CPUtime=3.09 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 5261 0 0 0 308 1 0 0 25 0 4 0 523241186 244043776 10961 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=238324 CPUtime=3.07 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 5609 0 0 0 307 0 0 0 25 0 4 0 523241186 244043776 10961 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=238324 CPUtime=3.08 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 5420 0 0 0 308 0 0 0 25 0 4 0 523241186 244043776 10961 33554432000 4194304 4627427 140733627600912 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 238324

[startup+6.30061 s]
/proc/loadavg: 8.36 8.14 8.03 10/184 19747
/proc/meminfo: memFree=27799556/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=245900 CPUtime=25.14 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 35747 0 0 0 2508 6 0 0 25 0 4 0 523241186 251801600 15626 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 61475 15626 388 106 0 56446 0
[pid=19738/tid=19742] ppid=19736 vsize=245900 CPUtime=6.29 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 9184 0 0 0 628 1 0 0 25 0 4 0 523241186 251801600 15626 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=245900 CPUtime=6.25 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 8930 0 0 0 624 1 0 0 25 0 4 0 523241186 251801600 15626 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=245900 CPUtime=6.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 8078 0 0 0 628 1 0 0 25 0 4 0 523241186 251801600 15626 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 245900

[startup+12.7004 s]
/proc/loadavg: 8.33 8.14 8.03 10/184 19747
/proc/meminfo: memFree=27739440/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=262448 CPUtime=50.7 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 53060 0 0 0 5060 10 0 0 25 0 4 0 523241186 268746752 21131 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 65612 21131 388 106 0 60583 0
[pid=19738/tid=19742] ppid=19736 vsize=262448 CPUtime=12.69 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 14165 0 0 0 1267 2 0 0 25 0 4 0 523241186 268746752 21131 33554432000 4194304 4627427 140733627600912 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=262448 CPUtime=12.62 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 13113 0 0 0 1259 3 0 0 25 0 4 0 523241186 268746752 21131 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=262448 CPUtime=12.69 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 12927 0 0 0 1267 2 0 0 25 0 4 0 523241186 268746752 21131 33554432000 4194304 4627427 140733627600912 18446744073709551615 4332971 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 262448

[startup+25.5009 s]
/proc/loadavg: 8.25 8.13 8.03 10/184 19747
/proc/meminfo: memFree=27678052/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=256688 CPUtime=101.83 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 82774 0 0 0 10167 16 0 0 25 0 4 0 523241186 262848512 28954 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 64172 28954 388 106 0 59143 0
[pid=19738/tid=19742] ppid=19736 vsize=256688 CPUtime=25.49 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 22707 0 0 0 2545 4 0 0 25 0 4 0 523241186 262848512 28954 33554432000 4194304 4627427 140733627600912 18446744073709551615 4352156 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=256688 CPUtime=25.34 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 21306 0 0 0 2529 5 0 0 25 0 4 0 523241186 262848512 28954 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=256688 CPUtime=25.48 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 18176 0 0 0 2546 2 0 0 25 0 4 0 523241186 262848512 28954 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 256688

[startup+51.1011 s]
/proc/loadavg: 8.24 8.13 8.04 10/184 19748
/proc/meminfo: memFree=27599088/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=332996 CPUtime=204.1 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 120383 0 0 0 20381 29 0 0 25 0 4 0 523241186 340987904 41205 33554432000 4194304 4627427 140733627600912 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 83249 41205 388 106 0 78220 0
[pid=19738/tid=19742] ppid=19736 vsize=332996 CPUtime=51.09 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 35183 0 0 0 5103 6 0 0 25 0 4 0 523241186 340987904 41205 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=332996 CPUtime=50.8 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 28482 0 0 0 5072 8 0 0 25 0 4 0 523241186 340987904 41205 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=332996 CPUtime=51.08 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 27905 0 0 0 5102 6 0 0 25 0 4 0 523241186 340987904 41205 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 332996

[startup+102.3 s]
/proc/loadavg: 8.26 8.14 8.04 10/184 19749
/proc/meminfo: memFree=27521680/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=363780 CPUtime=408.63 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 179327 0 0 0 40817 46 0 0 25 0 4 0 523241186 372510720 49654 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 90945 49654 388 106 0 85916 0
[pid=19738/tid=19742] ppid=19736 vsize=363780 CPUtime=102.29 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 48278 0 0 0 10218 11 0 0 25 0 4 0 523241186 372510720 49654 33554432000 4194304 4627427 140733627600912 18446744073709551615 4332767 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=363780 CPUtime=101.73 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 43197 0 0 0 10160 13 0 0 25 0 4 0 523241186 372510720 49654 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=363780 CPUtime=102.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 43095 0 0 0 10219 10 0 0 25 0 4 0 523241186 372510720 49654 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 363780

[startup+162.301 s]

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

[pid=19738] ppid=19736 vsize=613332 CPUtime=2565.74 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 535986 0 0 0 256385 189 0 0 25 0 4 0 523241186 628051968 115526 33554432000 4194304 4627427 140733627600912 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 153333 115526 388 106 0 148304 0
[pid=19738/tid=19742] ppid=19736 vsize=613332 CPUtime=642.31 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 148802 0 0 0 64177 54 0 0 25 0 4 0 523241186 628051968 115526 33554432000 4194304 4627427 140733627600912 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=613332 CPUtime=638.81 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 126920 0 0 0 63837 44 0 0 25 0 4 0 523241186 628051968 115526 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=613332 CPUtime=642.28 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 125262 0 0 0 64184 44 0 0 25 0 4 0 523241186 628051968 115526 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.74
Current children cumulated vsize (KiB) 613332

[startup+702.301 s]
/proc/loadavg: 8.10 8.08 8.03 10/184 19765
/proc/meminfo: memFree=27069840/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=653920 CPUtime=2805.43 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 555359 0 0 0 280343 200 0 0 25 0 4 0 523241186 669614080 114030 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 163480 114030 388 106 0 158451 0
[pid=19738/tid=19742] ppid=19736 vsize=653920 CPUtime=702.31 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 150591 0 0 0 70176 55 0 0 25 0 4 0 523241186 669614080 114030 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=653920 CPUtime=698.49 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 131743 0 0 0 69801 48 0 0 25 0 4 0 523241186 669614080 114030 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=653920 CPUtime=702.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 132655 0 0 0 70181 48 0 0 25 0 4 0 523241186 669614080 114030 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 653920

[startup+762.301 s]
/proc/loadavg: 8.11 8.09 8.04 10/184 19767
/proc/meminfo: memFree=27070036/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=640140 CPUtime=3045.13 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 580867 0 0 0 304301 212 0 0 25 0 4 0 523241186 655503360 113851 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 160035 113851 388 106 0 155006 0
[pid=19738/tid=19742] ppid=19736 vsize=640140 CPUtime=762.32 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 159499 0 0 0 76174 58 0 0 25 0 4 0 523241186 655503360 113851 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=640140 CPUtime=758.17 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 140179 0 0 0 75765 52 0 0 25 0 4 0 523241186 655503360 113851 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=640140 CPUtime=762.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 133863 0 0 0 76180 49 0 0 25 0 4 0 523241186 655503360 113851 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 640140

[startup+822.3 s]
/proc/loadavg: 8.08 8.08 8.04 10/184 19768
/proc/meminfo: memFree=26976028/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=710544 CPUtime=3284.78 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 604272 0 0 0 328255 223 0 0 25 0 4 0 523241186 727597056 121000 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 177636 121000 388 106 0 172607 0
[pid=19738/tid=19742] ppid=19736 vsize=710544 CPUtime=822.31 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 167840 0 0 0 82170 61 0 0 25 0 4 0 523241186 727597056 121000 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=710544 CPUtime=817.84 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 147220 0 0 0 81729 55 0 0 25 0 4 0 523241186 727597056 121000 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=710544 CPUtime=822.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 138005 0 0 0 82178 51 0 0 25 0 4 0 523241186 727597056 121001 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.78
Current children cumulated vsize (KiB) 710544

[startup+882.307 s]
/proc/loadavg: 8.07 8.08 8.04 10/184 19770
/proc/meminfo: memFree=26986912/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=747504 CPUtime=3524.48 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 631587 0 0 0 352210 238 0 0 25 0 4 0 523241186 765444096 120060 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 186876 120060 388 106 0 181847 0
[pid=19738/tid=19742] ppid=19736 vsize=747504 CPUtime=882.32 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 176090 0 0 0 88167 65 0 0 25 0 4 0 523241186 765444096 120060 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=747504 CPUtime=877.52 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 150348 0 0 0 87695 57 0 0 25 0 4 0 523241186 765444096 120060 33554432000 4194304 4627427 140733627600912 18446744073709551615 4501675 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=747504 CPUtime=882.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 148020 0 0 0 88171 58 0 0 25 0 4 0 523241186 765444096 120060 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 747504

[startup+942.3 s]
/proc/loadavg: 8.06 8.08 8.03 10/184 19772
/proc/meminfo: memFree=26929840/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=776668 CPUtime=3764.15 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 652354 0 0 0 376166 249 0 0 25 0 4 0 523241186 795308032 131306 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 194167 131306 388 106 0 189138 0
[pid=19738/tid=19742] ppid=19736 vsize=776668 CPUtime=942.32 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 182387 0 0 0 94165 67 0 0 25 0 4 0 523241186 795308032 131306 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=776668 CPUtime=937.19 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 156861 0 0 0 93658 61 0 0 25 0 4 0 523241186 795308032 131306 33554432000 4194304 4627427 140733627600912 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=776668 CPUtime=942.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 150271 0 0 0 94169 60 0 0 25 0 4 0 523241186 795308032 131306 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.15
Current children cumulated vsize (KiB) 776668

[startup+1002.3 s]
/proc/loadavg: 8.21 8.11 8.04 10/184 19773
/proc/meminfo: memFree=26947916/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=829272 CPUtime=4003.82 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 675165 0 0 0 400122 260 0 0 25 0 4 0 523241186 849174528 128767 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 207318 128767 388 106 0 202289 0
[pid=19738/tid=19742] ppid=19736 vsize=829272 CPUtime=1002.32 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 187163 0 0 0 100163 69 0 0 25 0 4 0 523241186 849174528 128767 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=829272 CPUtime=996.87 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 164620 0 0 0 99622 65 0 0 25 0 4 0 523241186 849174528 128767 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=829272 CPUtime=1002.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 159836 0 0 0 100165 64 0 0 25 0 4 0 523241186 849174528 128767 33554432000 4194304 4627427 140733627600912 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.82
Current children cumulated vsize (KiB) 829272

[startup+1062.3 s]
/proc/loadavg: 8.22 8.12 8.05 10/184 19775
/proc/meminfo: memFree=26881044/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=787296 CPUtime=4243.51 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 701759 0 0 0 424077 274 0 0 25 0 4 0 523241186 806191104 141093 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 196824 141093 388 106 0 191795 0
[pid=19738/tid=19742] ppid=19736 vsize=787296 CPUtime=1062.32 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 195011 0 0 0 106159 73 0 0 25 0 4 0 523241186 806191104 141093 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=787296 CPUtime=1056.55 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 168671 0 0 0 105588 67 0 0 25 0 4 0 523241186 806191104 141093 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=787296 CPUtime=1062.28 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 166459 0 0 0 106161 67 0 0 25 0 4 0 523241186 806191104 141093 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.51
Current children cumulated vsize (KiB) 787296

[startup+1122.3 s]
/proc/loadavg: 8.25 8.14 8.06 10/184 19776
/proc/meminfo: memFree=26890052/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=737304 CPUtime=4483.19 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 719742 0 0 0 448036 283 0 0 25 0 4 0 523241186 754999296 137232 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 184326 137232 388 106 0 179297 0
[pid=19738/tid=19742] ppid=19736 vsize=737304 CPUtime=1122.33 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 199976 0 0 0 112157 76 0 0 25 0 4 0 523241186 754999296 137232 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=737304 CPUtime=1116.22 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 176732 0 0 0 111551 71 0 0 25 0 4 0 523241186 754999296 137232 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=737304 CPUtime=1122.28 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 167557 0 0 0 112160 68 0 0 25 0 4 0 523241186 754999296 137232 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.19
Current children cumulated vsize (KiB) 737304

[startup+1182.3 s]
/proc/loadavg: 8.22 8.14 8.06 10/184 19778
/proc/meminfo: memFree=26912580/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=669080 CPUtime=4722.86 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 750663 0 0 0 471990 296 0 0 25 0 4 0 523241186 685137920 131550 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 167270 131550 388 106 0 162241 0
[pid=19738/tid=19742] ppid=19736 vsize=669080 CPUtime=1182.33 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 208144 0 0 0 118154 79 0 0 25 0 4 0 523241186 685137920 131550 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=669080 CPUtime=1175.9 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 183730 0 0 0 117515 75 0 0 25 0 4 0 523241186 685137920 131550 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=669080 CPUtime=1182.29 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 175515 0 0 0 118156 73 0 0 25 0 4 0 523241186 685137920 131550 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 669080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.13 8.06 10/184 19779
/proc/meminfo: memFree=26893972/32950928 swapFree=67111356/67111528
[pid=19738] ppid=19736 vsize=727416 CPUtime=4800.37 cores=1,3,5,7
/proc/19738/stat : 19738 (strangenight2-m) R 19736 19738 19311 0 -1 4202496 754445 0 0 0 479738 299 0 0 25 0 4 0 523241186 744873984 135332 33554432000 4194304 4627427 140733627600912 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/19738/statm: 181854 135332 388 106 0 176825 0
[pid=19738/tid=19742] ppid=19736 vsize=727416 CPUtime=1201.73 cores=1,3,5,7
/proc/19738/task/19742/stat : 19742 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 209535 0 0 0 120093 80 0 0 25 0 4 0 523241186 744873984 135332 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=19738/tid=19743] ppid=19736 vsize=727416 CPUtime=1195.2 cores=1,3,5,7
/proc/19738/task/19743/stat : 19743 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 185052 0 0 0 119444 76 0 0 25 0 4 0 523241186 744873984 135332 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=19738/tid=19744] ppid=19736 vsize=727416 CPUtime=1201.7 cores=1,3,5,7
/proc/19738/task/19744/stat : 19744 (strangenight2-m) R 19736 19738 19311 0 -1 4202560 176584 0 0 0 120096 74 0 0 25 0 4 0 523241186 744873984 135332 33554432000 4194304 4627427 140733627600912 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 727416

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.74
CPU time (s): 4800.43
CPU user time (s): 4797.41
CPU system time (s): 3.02354
CPU usage (%): 399.458
Max. virtual memory (cumulated for all children) (KiB): 902156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.41
system time used= 3.02354
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 754446
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= 478
involuntary context switches= 33355

runsolver used 1.87871 second user time and 4.67329 second system time

The end

Launcher Data 

Begin job on node127 at 2011-04-30 00:33:35
IDJOB=3174264
IDBENCH=83082
IDSOLVER=1586
FILE ID=node127/3174264-1304116415
RUNJOBID= node127-1304115211-19626
PBS_JOBID= 13170687
Free space on /tmp= 71820 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174264-1304116415/watcher-3174264-1304116415 -o /tmp/evaluation-result-3174264-1304116415/solver-3174264-1304116415 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174264-1304116415.cnf

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

MD5SUM BENCH= 08f7f98549a111fea2bbc5a28af8d7eb
RANDOM SEED=1405964686

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:      27899172 kB
Buffers:       1280900 kB
Cached:        3255396 kB
SwapCached:          8 kB
Active:         163560 kB
Inactive:      4436788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27899172 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           11308 kB
Writeback:           0 kB
AnonPages:       63252 kB
Mapped:          14684 kB
Slab:           387992 kB
PageTables:       4280 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   185608 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= 71808 MiB
End job on node127 at 2011-04-30 00:53:39