Trace number 3366293

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
MD5SUMcb40e65d82022f377e00087cafdb55b2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark19.0021
Satisfiable
(Un)Satisfiability was proved
Number of variables25000
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.01	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366293-1305400952.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.00/0.13	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.13	c -- vars added      25000
0.00/0.13	c Parsing time:  0.05 s
0.00/0.13	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.00/0.24	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.00/0.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.86/0.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.86/0.33	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.86/0.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.86/0.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
0.86/0.36	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
0.86/0.52	c lits-rem:         0  cl-subs:        0  v-elim:    574  v-fix:    0  time:  0.17 s
0.86/0.53	c Finding binary XORs  T:     0.01 s  found:       0
0.86/0.56	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.86/0.56	c calculated reachability. Time: 0.00
0.86/0.57	c Calc default polars -  time:   0.01 s pos:   11112 undec:    2750 neg:   11138
0.86/0.57	c =========================================================================================
0.86/0.57	c types(t): F = full restart, N = normal restart
0.86/0.57	c types(t): S = simplification begin/end, E = solution found
0.86/0.57	c restart types(rt): st = static, dy = dynamic
0.86/0.57	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.86/0.57	c  B st     0         0     24426    104378         0         0    316679         0   no data   no data
7.83/2.03	c  N dy    17      4190     24426    104378         0      4189    316679   1115263    145.99    154.68
13.39/3.45	c  N dy    43      8251     24426    104378         0      8250    316679   1990205    142.77    150.64
19.77/5.01	c  N dy    73     12566     24426    104378         0     12563    316679   2943802    143.46    159.09
25.80/6.53	c  N dy   100     16603     24426    104378         0     16600    316679   3850791    143.54    212.13
32.13/8.10	c  N dy   128     20693     24426    104378         0     10691    316679    734091    143.90    159.17
37.72/9.54	c  N dy   153     24702     24426    104378         0     14699    316679   1608044    143.18    153.20
38.12/9.66	c  F st   156     25000     24426    104378         0     14997    316679   1673049    143.19   no data
46.50/11.72	c  N dy   162     30000     24426    104378         0     19996    316679   3277168    143.19   no data
46.50/11.72	c  S st   162     30000     24426    104378         0     19996    316679   3277168    143.19   no data
47.31/11.92	c  S st   162     30502     24426    104378         0     20498    316679   3362170    143.19   no data
47.31/11.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.31/12.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
47.73/12.03	c blocked clauses removed:      441 vars:     72 tried:       24426 T: 0.01 s
47.73/12.04	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.73/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.73/12.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24354 time:  0.01 s
47.73/12.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.08/12.17	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.10 s
49.29/12.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.47/13.26	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.77 s
52.87/13.38	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.12
52.87/13.39	c calculated reachability. Time: 0.00
52.87/13.39	c  N dy   162     30502     24339    103924         0     20054    315407   3167501    143.19   no data
59.26/14.97	c  N dy   192     34506     24339    103924         0     24058    315407   4083606    144.12    152.89
66.04/16.69	c  N dy   220     38583     24339    103924         0     28135    315407   4978786    144.09    157.59
72.82/18.35	c  N dy   246     42641     24339    103924         0     16917    315407   1050523    144.10    153.39
77.61/19.55	c  S st   266     45755     24339    103924         0     20031    315407   1722036    143.90   no data
78.44/19.75	c  S st   266     46258     24339    103924         0     20533    315407   1804503    143.90   no data
78.44/19.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
78.80/19.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
78.80/19.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.80/19.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
78.80/19.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.80/19.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
78.80/19.89	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
79.19/19.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
79.97/20.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
81.15/20.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
81.15/20.43	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
81.15/20.46	c vivif2 --  cl tried    20533 cl shrink        0 lits rem          0 time: 0.03
81.54/20.59	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.13
81.54/20.59	c calculated reachability. Time: 0.00
81.54/20.59	c  N dy   266     46258     24339    103924         0     20533    315407   1804503    143.90   no data
87.92/22.17	c  N dy   291     50295     24339    103924         0     24570    315407   2714268    143.73    157.64
94.71/23.80	c  N dy   318     54384     24339    103924         0     28659    315407   3611122    143.62    153.61
101.88/25.60	c  N dy   347     58737     24339    103924         0     33012    315407   4576013    143.32    151.02
108.68/27.35	c  N dy   376     62884     24339    103924         0     37159    315407   5517583    143.44    151.24
115.05/28.93	c  N dy   397     66961     24339    103924         0     22598    315407   1539964    143.00    157.59
119.04/29.93	c  S st   418     69387     24339    103924         0     25024    315407   2116570    143.37   no data
119.84/30.14	c  S st   418     69890     24339    103924         0     25527    315407   2197635    143.37   no data
119.84/30.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.24/30.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
120.24/30.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
120.24/30.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.24/30.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.24/30.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
120.24/30.28	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
120.64/30.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
121.43/30.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
123.03/30.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.37 s
123.03/30.92	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
123.03/30.96	c vivif2 --  cl tried    25527 cl shrink        0 lits rem          0 time: 0.04
123.42/31.09	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.13
123.82/31.10	c calculated reachability. Time: 0.00
123.82/31.10	c  N dy   418     69890     24339    103924         0     25527    315407   2197635    143.37   no data
131.05/32.93	c  N dy   444     74355     24339    103924         0     29992    315407   3209189    143.27    155.58
138.98/34.96	c  N dy   478     79139     24339    103924         0     34775    315407   4311001    143.58    187.10
147.76/37.10	c  N dy   513     84207     24339    103924         0     39843    315407   5444917    143.64    155.47
153.33/38.53	c  F st   534     87500     24339    103924         0     22317    315407    996000    143.55   no data
158.92/39.93	c  N st   539     90800     24339    103924         0     25617    315407   1940151    143.55   no data
168.49/42.33	c  N dy   564     96677     24339    103924         0     31493    315407   3387018    143.56    155.86
178.88/44.95	c  N dy   603    102900     24339    103924         0     37716    315407   4803059    143.52    160.02
182.06/45.79	c  S st   618    104835     24339    103924         0     39651    315407   5236028    143.51   no data
183.28/46.01	c  S st   618    105336     24339    103924         0     40152    315407   5308048    143.51   no data
183.28/46.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
183.70/46.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
183.70/46.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
183.70/46.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
183.70/46.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
183.70/46.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
183.70/46.17	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
184.05/46.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
185.65/46.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
191.63/48.19	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  1.54 s
191.63/48.20	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
192.05/48.28	c vivif2 --  cl tried    40145 cl shrink        0 lits rem          0 time: 0.09
192.82/48.44	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.16
192.82/48.45	c calculated reachability. Time: 0.00
192.82/48.45	c  N dy   618    105336     24339    103924         0     40145    315407   5305022    143.51   no data
204.79/51.48	c  N dy   667    112192     24339    103924         0     24593    315407   1101120    143.78    151.59
217.16/54.57	c  N dy   717    119625     24339    103924         0     32025    315407   2780369    143.80    161.75
230.72/57.95	c  N dy   772    127355     24339    103924         0     39755    315407   4563745    144.03    151.97
245.47/61.68	c  N dy   827    135852     24339    103924         0     24553    315407    760307    143.96    151.72
259.84/65.26	c  N dy   884    144567     24339    103924         0     33267    315407   2724480    143.91    158.91
275.84/69.24	c  N dy   940    153862     24339    103924         0     42562    315407   4813861    143.84    159.75
282.97/71.08	c  S st   966    158004     24339    103924         0     46704    315407   5711466    143.72    123.60
284.19/71.32	c  S st   966    158511     24339    103924         0     47211    315407   5800689    143.72   no data
284.19/71.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
284.61/71.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
284.61/71.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
284.61/71.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
284.61/71.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
284.61/71.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
284.61/71.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
285.36/71.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
286.56/71.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
295.34/74.13	c lits-rem:         7  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.14 s
295.34/74.14	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
295.74/74.24	c vivif2 --  cl tried    47207 cl shrink        0 lits rem          0 time: 0.10
296.54/74.41	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
296.54/74.42	c calculated reachability. Time: 0.00
296.54/74.42	c  N dy   966    158511     24339    103924         0     47207    315407   5799061    143.72   no data
313.69/78.78	c  N dy  1039    168683     24339    103924         0     32525    315407   2281285    143.90    151.53
332.45/83.44	c  N dy  1115    179543     24339    103924         0     43383    315407   4735555    143.98    162.20
352.77/88.54	c  N dy  1187    191026     24339    103924         0     28939    315407   1201094    143.74    176.89
373.51/93.76	c  N dy  1266    203390     24339    103924         0     41302    315407   3962471    143.76    152.66
397.45/99.73	c  N dy  1354    216419     24339    103924         0     27374    315407    590357    143.92    155.40
420.99/105.64	c  N dy  1442    230394     24339    103924         0     41349    315407   3705291    143.87    156.47
434.14/108.92	c  S st  1494    237767     24339    103924         0     48722    315407   5359232    143.94   no data
434.94/109.16	c  S st  1494    238269     24339    103924         0     49224    315407   5446790    143.94   no data
434.94/109.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
435.34/109.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
435.74/109.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
435.74/109.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
435.74/109.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
435.74/109.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
435.74/109.33	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
436.14/109.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
437.35/109.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
446.12/111.94	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.17 s
446.12/111.95	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
446.53/112.04	c vivif2 --  cl tried    49220 cl shrink        0 lits rem          0 time: 0.09
447.30/112.21	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
447.30/112.22	c calculated reachability. Time: 0.00
447.30/112.22	c  N dy  1494    238269     24339    103924         0     49220    315407   5445814    143.94   no data
473.64/118.89	c  N dy  1587    253495     24339    103924         0     36463    315407   2386287    143.87    155.32
502.75/126.16	c  N dy  1701    269693     24339    103924         0     52660    315407   6067236    144.03    157.47
533.87/134.00	c  N dy  1822    287069     24339    103924         0     41043    315407   3202934    144.19    152.97
567.78/142.40	c  N dy  1950    305398     24339    103924         0     59372    315407   7317993    144.24    161.01
569.39/142.83	c  F st  1956    306250     24339    103924         0     30236    315407    522064    144.25    128.49
602.48/151.19	c  N dy  2052    324934     24339    103924         0     48919    315407   5203892    144.31    153.34
638.78/160.27	c  N dy  2174    344961     24339    103924         0     37949    315407   2043442    144.16    156.45
660.72/165.79	c  S st  2259    357404     24339    103924         0     50392    315407   4837583    144.15   no data
661.95/166.03	c  S st  2259    357907     24339    103924         0     50895    315407   4918517    144.15   no data
661.95/166.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
662.31/166.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
662.31/166.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.31/166.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
662.31/166.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
662.31/166.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
662.71/166.20	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
663.11/166.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
663.91/166.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
672.28/168.66	c lits-rem:         2  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.05 s
672.28/168.67	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
672.68/168.75	c vivif2 --  cl tried    50892 cl shrink        0 lits rem          0 time: 0.08
673.48/168.93	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
673.48/168.93	c calculated reachability. Time: 0.00
673.48/168.93	c  N dy  2259    357907     24339    103924         0     50892    315407   4917464    144.15   no data
710.21/178.14	c  N dy  2390    377984     24339    103924         0     38968    315407   2026571    144.13    153.45
747.66/187.55	c  N dy  2529    398123     24339    103924         0     59105    315407   6541799    144.17    151.93
783.97/196.62	c  N dy  2664    418151     24339    103924         0     46135    315407   3448209    144.25    168.51
821.86/206.12	c  N dy  2806    438255     24339    103924         0     66239    315407   7981558    144.27    152.13
857.76/215.17	c  N dy  2935    458290     24339    103924         0     52274    315407   4617173    144.24    152.52
896.45/224.86	c  N dy  3071    478412     24339    103924         0     37398    315407    989301    144.26    156.76
932.75/233.99	c  N dy  3208    498417     24339    103924         0     57403    315407   5477338    144.25    153.22
971.04/243.52	c  N dy  3338    518465     24339    103924         0     41454    315407   1685974    144.28    156.11
1004.95/252.07	c  S st  3469    536860     24339    103924         0     59847    315407   5866224    144.30    119.27
1006.15/252.32	c  S st  3469    537360     24339    103924         0     60347    315407   5948273    144.30   no data
1006.15/252.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1006.55/252.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1006.55/252.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1006.55/252.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1006.55/252.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1006.55/252.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
1006.95/252.50	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1007.35/252.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1008.59/252.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1020.91/256.02	c lits-rem:         3  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.05 s
1020.91/256.03	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
1021.33/256.13	c vivif2 --  cl tried    60340 cl shrink        0 lits rem          0 time: 0.10
1022.10/256.32	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.19
1022.10/256.33	c calculated reachability. Time: 0.00
1022.10/256.33	c  N dy  3469    537360     24339    103924         0     60340    315407   5945765    144.30   no data
1060.39/265.96	c  N dy  3607    557494     24339    103924         0     43471    315407   1899411    144.30    154.68
1098.29/275.47	c  N dy  3746    577550     24339    103924         0     63524    315407   6493143    144.37    155.42
1136.98/285.14	c  N dy  3878    597584     24339    103924         0     45562    315407   2190283    144.37    158.00
1174.89/294.63	c  N dy  4017    617614     24339    103924         0     65591    315407   6740184    144.44    156.61
1213.97/304.48	c  N dy  4157    637693     24339    103924         0     46671    315407   2189757    144.47    166.23
1252.25/314.05	c  N dy  4298    657867     24339    103924         0     66841    315407   6753782    144.50    152.97
1291.35/323.83	c  N dy  4431    677873     24339    103924         0     46847    315407   2057170    144.54    152.37
1330.84/333.77	c  N dy  4573    697961     24339    103924         0     66935    315407   6623064    144.62    164.24
1371.53/343.94	c  N dy  4724    717973     24339    103924         0     45947    315407   1598115    144.72    154.90
1409.81/353.51	c  N dy  4866    738067     24339    103924         0     66041    315407   6226658    144.78    154.96
1450.91/363.86	c  N dy  5012    758143     24339    103924         0     44121    315407    958094    144.89    156.60
1488.39/373.27	c  N dy  5151    778145     24339    103924         0     64121    315407   5560102    144.96    152.83
1529.89/383.61	c  N dy  5287    798212     24339    103924         0     84188    315407  10101364    144.96    153.56
1544.63/387.31	c  S st  5338    806040     24339    103924         0     49017    315407   1782362    144.94    111.80
1545.43/387.55	c  S st  5338    806542     24339    103924         0     49519    315407   1866189    144.94   no data
1545.43/387.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1545.83/387.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1545.83/387.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1545.83/387.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1545.83/387.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1546.24/387.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
1546.24/387.72	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1546.64/387.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
1547.04/387.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1549.42/388.58	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.63 s
1549.42/388.59	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
1549.82/388.62	c vivif2 --  cl tried    49517 cl shrink        0 lits rem          0 time: 0.03
1550.22/388.79	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.17
1550.62/388.80	c calculated reachability. Time: 0.00
1550.62/388.80	c  N dy  5338    806542     24339    103924         0     49517    315407   1865765    144.94   no data
1588.90/398.48	c  N dy  5477    826672     24339    103924         0     69646    315407   6381635    144.93    153.07
1631.21/409.04	c  N dy  5611    846684     24339    103924         0     45653    315407    837049    144.92    152.66
1669.49/418.68	c  N dy  5743    866937     24339    103924         0     65904    315407   5427243    144.90    154.80
1711.37/429.10	c  N dy  5884    886992     24339    103924         0     85958    315407  10038240    144.94    170.16
1750.10/438.81	c  N dy  6028    907047     24339    103924         0     61017    315407   4152586    145.02    157.79
1790.33/448.94	c  N dy  6159    927132     24339    103924         0     81100    315407   8771178    145.06    154.13
1830.63/459.00	c  N dy  6290    947141     24339    103924         0     55114    315407   2580255    145.09    152.85
1870.12/468.96	c  N dy  6432    967213     24339    103924         0     75185    315407   7153338    145.12    181.45
1913.20/479.74	c  N dy  6570    987310     24339    103924         0     48283    315407    776099    145.14    158.10
1951.51/489.32	c  N dy  6704   1007316     24339    103924         0     68289    315407   5349162    145.16    160.68
1993.36/499.87	c  N dy  6843   1027397     24339    103924         0     88370    315407   9913891    145.15    157.51
2033.26/509.81	c  N dy  6968   1047476     24339    103924         0     60443    315407   3273887    145.11    156.81
2073.15/519.88	c  N dy  7100   1067479     24339    103924         0     80445    315407   7760691    145.08    157.59
2082.72/522.22	c  F st  7132   1071875     24339    103924         0     84840    315407   8775808    145.09    136.55
2115.82/530.55	c  N dy  7212   1087533     24339    103924         0     51502    315407   1059967    145.10    153.67
2154.51/540.27	c  N dy  7342   1107601     24339    103924         0     71570    315407   5606982    145.11    164.07
2197.21/550.94	c  N dy  7481   1127723     24339    103924         0     91691    315407  10254335    145.14    160.71
2237.88/561.17	c  N dy  7611   1147768     24339    103924         0     61736    315407   3147300    145.11    161.42
2278.97/571.42	c  N dy  7748   1167813     24339    103924         0     81781    315407   7679937    145.11    154.68
2323.25/582.53	c  N dy  7891   1187834     24339    103924         0    101802    315407  12258561    145.14    153.75
2362.72/592.43	c  N dy  8025   1207913     24339    103924         0     70885    315407   5023999    145.14    152.79
2367.12/593.51	c  S st  8039   1209816     24339    103924         0     72788    315407   5462828    145.14    131.86
2368.33/593.81	c  S st  8039   1210319     24339    103924         0     73291    315407   5548094    145.14   no data
2368.33/593.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2368.75/593.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.12
2368.75/593.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2368.75/593.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2368.75/594.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2369.10/594.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
2369.10/594.02	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2369.50/594.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2370.70/594.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2383.86/597.70	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.23 s
2383.86/597.72	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
2384.26/597.82	c vivif2 --  cl tried    73285 cl shrink        0 lits rem          0 time: 0.10
2385.06/598.04	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.23
2385.06/598.05	c calculated reachability. Time: 0.00
2385.06/598.05	c  N dy  8039   1210319     24339    103924         0     73285    315407   5546443    145.14   no data
2428.54/608.95	c  N dy  8180   1230407     24339    103924         0     93371    315407  10262291    145.20    157.91
2470.82/619.54	c  N dy  8316   1250415     24339    103924         0     61383    315407   2667971    145.23    256.96
2511.51/629.74	c  N dy  8453   1270509     24339    103924         0     81475    315407   7250801    145.24    154.64
2555.78/640.81	c  N dy  8595   1290528     24339    103924         0    101492    315407  11888867    145.27    161.42
2596.91/651.17	c  N dy  8742   1310758     24339    103924         0     68725    315407   4083363    145.31    159.10
2639.15/661.76	c  N dy  8880   1330888     24339    103924         0     88855    315407   8651898    145.32    153.24
2685.81/673.40	c  N dy  9028   1351054     24339    103924         0     55023    315407    756913    145.36    159.13
2725.70/683.42	c  N dy  9163   1371267     24339    103924         0     75235    315407   5345619    145.35    153.49
2769.18/694.32	c  N dy  9304   1391270     24339    103924         0     95235    315407   9939135    145.38    153.98
2813.45/705.43	c  N dy  9436   1411298     24339    103924         0     60269    315407   1752962    145.39    153.72
2854.13/715.61	c  N dy  9569   1431442     24339    103924         0     80410    315407   6348578    145.40    156.33
2898.80/726.86	c  N dy  9705   1451805     24339    103924         0    100772    315407  11046054    145.42    154.62
2942.28/737.75	c  N dy  9849   1471810     24339    103924         0     64783    315407   2568120    145.47    155.48
2983.76/748.17	c  N dy  9990   1491902     24339    103924         0     84875    315407   7136015    145.48    161.02
3029.63/759.67	c  N dy 10136   1512004     24339    103924         0    104976    315407  11846045    145.53    156.07
3073.11/770.53	c  N dy 10275   1532117     24339    103924         0     68094    315407   3066000    145.55    154.04
3114.99/781.04	c  N dy 10413   1552151     24339    103924         0     88127    315407   7635226    145.57    155.27
3161.66/792.70	c  N dy 10559   1572479     24339    103924         0    108454    315407  12361083    145.63    155.57
3204.33/803.40	c  N dy 10689   1592507     24339    103924         0     70480    315407   3336775    145.62    154.12
3246.61/814.07	c  N dy 10824   1612699     24339    103924         0     90672    315407   7924695    145.62    154.97
3292.88/825.67	c  N dy 10966   1632706     24339    103924         0    110679    315407  12545736    145.65    153.53
3335.96/836.42	c  N dy 11107   1652742     24339    103924         0     71711    315407   3451419    145.66    153.94
3378.63/847.18	c  N dy 11251   1672801     24339    103924         0     91768    315407   8129268    145.71    185.95
3424.91/858.80	c  N dy 11385   1692940     24339    103924         0    111907    315407  12747765    145.74    155.16
3463.60/868.44	c  S st 11504   1710320     24339    103924         0     69291    315407   2704891    145.76    127.22
3464.80/868.71	c  S st 11504   1710824     24339    103924         0     69795    315407   2790448    145.76   no data
3464.80/868.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3465.21/868.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3465.21/868.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3465.21/868.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3465.21/868.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3465.21/868.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
3465.21/868.89	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3465.98/869.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
3466.38/869.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3473.57/871.00	c lits-rem:         4  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.83 s
3473.98/871.01	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
3473.98/871.07	c vivif2 --  cl tried    69794 cl shrink        0 lits rem          0 time: 0.05
3474.76/871.27	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.20
3474.76/871.28	c calculated reachability. Time: 0.00
3474.76/871.28	c  N dy 11504   1710824     24339    103924         0     69794    315407   2789814    145.76   no data
3517.46/881.91	c  N dy 11638   1730946     24339    103924         0     89916    315407   7336707    145.74    155.71
3562.91/893.38	c  N dy 11769   1751127     24339    103924         0    110097    315407  11960676    145.75    157.39
3609.18/904.97	c  N dy 11912   1771407     24339    103924         0     69377    315407   2527790    145.79    157.04
3651.87/915.62	c  N dy 12048   1791506     24339    103924         0     89474    315407   7127523    145.80    155.11
3698.18/927.22	c  N dy 12188   1811553     24339    103924         0    109519    315407  11782029    145.82    158.53
3744.80/938.93	c  N dy 12332   1831704     24339    103924         0     67666    315407   1853742    145.86    153.56
3787.08/949.58	c  N dy 12473   1851897     24339    103924         0     87858    315407   6488287    145.86    153.83
3834.19/961.32	c  N dy 12608   1871899     24339    103924         0    107857    315407  11155151    145.88    153.82
3882.46/973.42	c  N dy 12744   1891907     24339    103924         0     64871    315407   1001187    145.90    155.52
3923.48/983.79	c  N dy 12883   1911979     24339    103924         0     84942    315407   5541415    145.90    211.41
3968.57/995.05	c  N dy 13013   1932075     24339    103924         0    105037    315407  10193354    145.89    155.80
4017.63/1007.34	c  N dy 13157   1952117     24339    103924         0    125078    315407  14778843    145.92    153.71
4060.71/1018.12	c  N dy 13301   1972196     24339    103924         0     81162    315407   4539387    145.96    156.07
4105.38/1029.37	c  N dy 13447   1992481     24339    103924         0    101447    315407   9230799    145.99    156.39
4154.06/1041.60	c  N dy 13592   2012556     24339    103924         0    121521    315407  13786851    146.00    159.50
4199.11/1052.87	c  N dy 13728   2032642     24339    103924         0     76606    315407   3277764    146.02    154.02
4242.58/1063.77	c  N dy 13865   2052716     24339    103924         0     96680    315407   7872272    146.02    158.36
4290.84/1075.80	c  N dy 14002   2072814     24339    103924         0    116776    315407  12602350    146.06    154.49
4339.10/1087.96	c  N dy 14144   2092881     24339    103924         0     70848    315407   1678886    146.08    158.49
4381.80/1098.61	c  N dy 14273   2112938     24339    103924         0     90903    315407   6328627    146.10    155.94
4428.47/1110.39	c  N dy 14422   2133066     24339    103924         0    111030    315407  10963645    146.12    159.75
4478.74/1122.91	c  N dy 14555   2153178     24339    103924         0    131141    315407  15576837    146.12    155.15
4522.20/1133.80	c  N dy 14693   2173182     24339    103924         0     84148    315407   4548024    146.13    156.19
4567.27/1145.11	c  N dy 14835   2193198     24339    103924         0    104161    315407   9183884    146.15    155.81
4610.80/1156.02	c  S st 14954   2210826     24339    103924         0    121789    315407  13194707    146.14    132.10
4612.35/1156.41	c  S st 14954   2211330     24339    103924         0    122293    315407  13277918    146.14   no data
4612.35/1156.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4613.15/1156.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.17
4613.15/1156.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4613.15/1156.66	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4613.15/1156.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4613.15/1156.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24339 time:  0.01 s
4613.15/1156.69	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4614.35/1156.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
4617.93/1157.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4647.44/1165.20	c lits-rem:         2  cl-subs:       10  v-elim:      0  v-fix:    0  time:  7.33 s
4647.44/1165.21	c vivif2 --  cl tried   103924 cl shrink        0 lits rem          0 time: 0.01
4648.25/1165.45	c vivif2 --  cl tried   122283 cl shrink        0 lits rem          0 time: 0.23
4649.44/1165.75	c asymm  cl-useful: 0/103924/103924 lits-rem:0 time: 0.30
4649.44/1165.76	c calculated reachability. Time: 0.00
4649.44/1165.76	c  N dy 14954   2211330     24339    103924         0    122283    315407  13274306    146.14   no data
4699.70/1178.31	c  N dy 15091   2231370     24339    103924         0     74323    315407   2052713    146.17    167.94
4742.77/1189.11	c  N dy 15228   2251379     24339    103924         0     94330    315407   6628908    146.18    154.25
4789.85/1200.96	c  N dy 15370   2271387     24339    103924         0    114336    315407  11247940    146.20    156.23

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 651693213 52396032 348 33554432000 4194304 4580107 140736609595904 18446744073709551615 47396401682354 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12678/statm: 12792 348 299 95 0 7774 0
[pid=12678/tid=12679] ppid=12676 vsize=183212 CPUtime=0 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 255 0 0 0 0 0 0 0 23 0 4 0 651693213 187609088 1135 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244348731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=183212 CPUtime=0 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 13 0 0 0 0 0 0 0 23 0 4 0 651693213 187609088 1173 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244348731 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=183216 CPUtime=0 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 284 0 0 0 0 0 0 0 23 0 4 0 651693213 187613184 1185 33554432000 4194304 4580107 140736609595904 18446744073709551615 4231408 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.248668 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=386480 CPUtime=0.86 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 19831 0 0 0 77 9 0 0 18 0 4 0 651693213 395755520 17813 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244045579 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 97014 18235 363 95 0 91996 0
[pid=12678/tid=12679] ppid=12676 vsize=388056 CPUtime=0.21 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) S 12676 12678 12350 0 -1 4202560 6080 0 0 0 19 2 0 0 18 0 4 0 651693213 397369344 18854 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244453870 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=388056 CPUtime=0.2 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 4565 0 0 0 19 1 0 0 18 0 4 0 651693213 397369344 19142 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244010017 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=388056 CPUtime=0.24 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 4541 0 0 0 21 3 0 0 18 0 4 0 651693213 397369344 19147 33554432000 4194304 4580107 140736609595904 18446744073709551615 228243997784 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 386480

[startup+0.400838 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=405700 CPUtime=1.54 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 33910 0 0 0 143 11 0 0 18 0 4 0 651693213 415436800 27026 33554432000 4194304 4580107 140736609595904 18446744073709551615 228244392295 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 101425 27026 373 95 0 96407 0
[pid=12678/tid=12679] ppid=12676 vsize=400848 CPUtime=1.1 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10492 0 0 0 107 3 0 0 19 0 4 0 651693213 410468352 27755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=400848 CPUtime=1.08 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10572 0 0 0 106 2 0 0 19 0 4 0 651693213 410468352 27755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=400848 CPUtime=1.11 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 5271 0 0 0 108 3 0 0 19 0 4 0 651693213 410468352 27755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 405700

[startup+1.24884 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=400848 CPUtime=4.8 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 38431 0 0 0 468 12 0 0 19 0 4 0 651693213 410468352 28092 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 100212 28092 377 95 0 95194 0
[pid=12678/tid=12679] ppid=12676 vsize=400848 CPUtime=1.2 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10598 0 0 0 117 3 0 0 19 0 4 0 651693213 410468352 28093 33554432000 4194304 4580107 140736609595904 18446744073709551615 4389700 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=400848 CPUtime=1.18 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10671 0 0 0 116 2 0 0 19 0 4 0 651693213 410468352 28093 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=400848 CPUtime=1.21 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 5338 0 0 0 118 3 0 0 19 0 4 0 651693213 410468352 28093 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.8
Current children cumulated vsize (KiB) 400848

[startup+1.30083 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=400848 CPUtime=5.02 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 38606 0 0 0 489 13 0 0 19 0 4 0 651693213 410468352 28251 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 100212 28251 377 95 0 95194 0
[pid=12678/tid=12679] ppid=12676 vsize=400848 CPUtime=1.25 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10627 0 0 0 122 3 0 0 19 0 4 0 651693213 410468352 28251 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=400848 CPUtime=1.24 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10731 0 0 0 121 3 0 0 19 0 4 0 651693213 410468352 28251 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=400848 CPUtime=1.27 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 5366 0 0 0 124 3 0 0 19 0 4 0 651693213 410468352 28251 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 400848

[startup+1.5008 s]
/proc/loadavg: 7.41 7.97 8.00 3/336 12678
/proc/meminfo: memFree=18165220/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=400848 CPUtime=5.82 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 39115 0 0 0 569 13 0 0 19 0 4 0 651693213 410468352 28760 33554432000 4194304 4580107 140736609595904 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 100212 28760 377 95 0 95194 0
[pid=12678/tid=12679] ppid=12676 vsize=400848 CPUtime=1.45 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10766 0 0 0 142 3 0 0 19 0 4 0 651693213 410468352 28760 33554432000 4194304 4580107 140736609595904 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=400848 CPUtime=1.44 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 10843 0 0 0 141 3 0 0 19 0 4 0 651693213 410468352 28760 33554432000 4194304 4580107 140736609595904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=400848 CPUtime=1.47 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 5496 0 0 0 144 3 0 0 19 0 4 0 651693213 410468352 28760 33554432000 4194304 4580107 140736609595904 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 400848

[startup+3.10052 s]
/proc/loadavg: 7.46 7.97 8.00 9/346 12691
/proc/meminfo: memFree=17805816/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=532112 CPUtime=12.22 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 43417 0 0 0 1208 14 0 0 23 0 4 0 651693213 544882688 33062 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293710 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 133028 33062 377 95 0 128010 0
[pid=12678/tid=12679] ppid=12676 vsize=532112 CPUtime=3.03 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 11877 0 0 0 300 3 0 0 23 0 4 0 651693213 544882688 33072 33554432000 4194304 4580107 140736609595904 18446744073709551615 4316751 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=532112 CPUtime=3.05 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 11906 0 0 0 302 3 0 0 24 0 4 0 651693213 544882688 33072 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=532112 CPUtime=3.07 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 6560 0 0 0 304 3 0 0 24 0 4 0 651693213 544882688 33072 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 532112

[startup+6.30096 s]
/proc/loadavg: 7.46 7.97 8.00 9/346 12691
/proc/meminfo: memFree=17764512/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=532920 CPUtime=24.96 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 51651 0 0 0 2480 16 0 0 25 0 4 0 651693213 545710080 41296 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 133230 41296 377 95 0 128212 0
[pid=12678/tid=12679] ppid=12676 vsize=532920 CPUtime=6.19 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 13967 0 0 0 616 3 0 0 25 0 4 0 651693213 545710080 41296 33554432000 4194304 4580107 140736609595904 18446744073709551615 4322534 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=532920 CPUtime=6.24 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 13979 0 0 0 620 4 0 0 25 0 4 0 651693213 545710080 41296 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=532920 CPUtime=6.27 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 8566 0 0 0 623 4 0 0 25 0 4 0 651693213 545710080 41296 33554432000 4194304 4580107 140736609595904 18446744073709551615 4321769 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.96
Current children cumulated vsize (KiB) 532920

[startup+12.7008 s]
/proc/loadavg: 7.54 7.97 8.00 9/346 12692
/proc/meminfo: memFree=17707268/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=716540 CPUtime=50.49 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 94409 0 0 0 5022 27 0 0 25 0 4 0 651693213 733736960 58757 33554432000 4194304 4580107 140736609595904 18446744073709551615 4416997 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 179135 58757 379 95 0 174117 0
[pid=12678/tid=12679] ppid=12676 vsize=716540 CPUtime=12.52 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 19478 0 0 0 1247 5 0 0 25 0 4 0 651693213 733736960 58757 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=716540 CPUtime=12.64 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 19488 0 0 0 1259 5 0 0 25 0 4 0 651693213 733736960 58757 33554432000 4194304 4580107 140736609595904 18446744073709551615 4322568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=716540 CPUtime=12.67 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 18188 0 0 0 1261 6 0 0 25 0 4 0 651693213 733736960 58757 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 716540

[startup+25.5006 s]
/proc/loadavg: 7.61 7.97 8.00 9/346 12692
/proc/meminfo: memFree=17356568/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=805724 CPUtime=101.49 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 170309 0 0 0 10099 50 0 0 25 0 4 0 651693213 825061376 104830 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 201431 104830 379 95 0 196413 0
[pid=12678/tid=12679] ppid=12676 vsize=805724 CPUtime=25.18 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 50868 0 0 0 2508 10 0 0 25 0 4 0 651693213 825061376 104830 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=805724 CPUtime=25.43 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 33940 0 0 0 2533 10 0 0 25 0 4 0 651693213 825061376 104830 33554432000 4194304 4580107 140736609595904 18446744073709551615 4306320 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=805724 CPUtime=25.43 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 36284 0 0 0 2529 14 0 0 25 0 4 0 651693213 825061376 104830 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 805724

[startup+51.1011 s]
/proc/loadavg: 7.74 7.97 8.00 9/346 12693
/proc/meminfo: memFree=17059252/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=817128 CPUtime=203.59 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 261876 0 0 0 20285 74 0 0 25 0 4 0 651693213 836739072 137667 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 204282 137667 379 95 0 199264 0
[pid=12678/tid=12679] ppid=12676 vsize=817128 CPUtime=50.49 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 67128 0 0 0 5034 15 0 0 25 0 4 0 651693213 836739072 137667 33554432000 4194304 4580107 140736609595904 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=817128 CPUtime=51.03 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 59413 0 0 0 5087 16 0 0 25 0 4 0 651693213 836739072 137667 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=817128 CPUtime=51.03 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 57561 0 0 0 5084 19 0 0 25 0 4 0 651693213 836739072 137668 33554432000 4194304 4580107 140736609595904 18446744073709551615 4401345 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.59
Current children cumulated vsize (KiB) 817128

[startup+102.301 s]
/proc/loadavg: 7.89 7.97 8.00 9/346 12694
/proc/meminfo: memFree=16599312/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1002880 CPUtime=407.82 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 377743 0 0 0 40676 106 0 0 25 0 4 0 651693213 1026949120 170755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 250720 170755 379 95 0 245702 0
[pid=12678/tid=12679] ppid=12676 vsize=1002880 CPUtime=101.12 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 90090 0 0 0 10092 20 0 0 25 0 4 0 651693213 1026949120 170755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1002880 CPUtime=102.23 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 86585 0 0 0 10200 23 0 0 25 0 4 0 651693213 1026949120 170755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1002880 CPUtime=102.22 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 91503 0 0 0 10193 29 0 0 25 0 4 0 651693213 1026949120 170755 33554432000 4194304 4580107 140736609595904 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.82
Current children cumulated vsize (KiB) 1002880

[startup+162.301 s]

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

[pid=12678] ppid=12676 vsize=1468988 CPUtime=2801.09 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 1526278 0 0 0 279669 440 0 0 25 0 4 0 651693213 1504243712 282797 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 367247 282797 380 95 0 362229 0
[pid=12678/tid=12679] ppid=12676 vsize=1468988 CPUtime=694.44 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 389070 0 0 0 69338 106 0 0 25 0 4 0 651693213 1504243712 282797 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1468988 CPUtime=702.22 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 388313 0 0 0 70113 109 0 0 25 0 4 0 651693213 1504243712 282797 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1468988 CPUtime=702.2 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 389273 0 0 0 70103 117 0 0 25 0 4 0 651693213 1504243712 282797 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.09
Current children cumulated vsize (KiB) 1468988

[startup+762.301 s]
/proc/loadavg: 8.14 8.08 8.02 9/346 12712
/proc/meminfo: memFree=15555412/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1498836 CPUtime=3040.39 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 1630356 0 0 0 303567 472 0 0 25 0 4 0 651693213 1534808064 286868 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 374709 286868 380 95 0 369691 0
[pid=12678/tid=12679] ppid=12676 vsize=1498836 CPUtime=753.75 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 413364 0 0 0 75262 113 0 0 25 0 4 0 651693213 1534808064 286868 33554432000 4194304 4580107 140736609595904 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1498836 CPUtime=762.22 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 416325 0 0 0 76104 118 0 0 25 0 4 0 651693213 1534808064 286869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1498836 CPUtime=762.21 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 413137 0 0 0 76096 125 0 0 25 0 4 0 651693213 1534808064 286869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.39
Current children cumulated vsize (KiB) 1498836

[startup+822.301 s]
/proc/loadavg: 8.15 8.10 8.02 9/346 12713
/proc/meminfo: memFree=15441428/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1406160 CPUtime=3279.72 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 1735426 0 0 0 327467 505 0 0 25 0 4 0 651693213 1439907840 292432 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 351540 292432 380 95 0 346522 0
[pid=12678/tid=12679] ppid=12676 vsize=1406160 CPUtime=813.09 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 440843 0 0 0 81187 122 0 0 25 0 4 0 651693213 1439907840 292432 33554432000 4194304 4580107 140736609595904 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1406160 CPUtime=822.22 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 438960 0 0 0 82096 126 0 0 25 0 4 0 651693213 1439907840 292432 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1406160 CPUtime=822.19 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 440490 0 0 0 82086 133 0 0 25 0 4 0 651693213 1439907840 292432 33554432000 4194304 4580107 140736609595904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3279.72
Current children cumulated vsize (KiB) 1406160

[startup+882.301 s]
/proc/loadavg: 8.10 8.09 8.02 9/346 12715
/proc/meminfo: memFree=15478472/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1486936 CPUtime=3519.04 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 1832740 0 0 0 351365 539 0 0 25 0 4 0 651693213 1522622464 298810 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 371734 298810 379 95 0 366716 0
[pid=12678/tid=12679] ppid=12676 vsize=1486936 CPUtime=872.42 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 462010 0 0 0 87112 130 0 0 25 0 4 0 651693213 1522622464 298810 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1486936 CPUtime=882.21 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 463100 0 0 0 88088 133 0 0 25 0 4 0 651693213 1522622464 298810 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1486936 CPUtime=882.19 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 465947 0 0 0 88078 141 0 0 25 0 4 0 651693213 1522622464 298810 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.04
Current children cumulated vsize (KiB) 1486936

[startup+942.301 s]
/proc/loadavg: 8.08 8.08 8.02 9/346 12716
/proc/meminfo: memFree=15440648/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1524508 CPUtime=3758.36 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 1939957 0 0 0 375263 573 0 0 25 0 4 0 651693213 1561096192 290292 33554432000 4194304 4580107 140736609595904 18446744073709551615 4305984 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 381127 290292 379 95 0 376109 0
[pid=12678/tid=12679] ppid=12676 vsize=1524508 CPUtime=931.76 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 489495 0 0 0 93038 138 0 0 25 0 4 0 651693213 1561096192 290292 33554432000 4194304 4580107 140736609595904 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1524508 CPUtime=942.21 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 490415 0 0 0 94078 143 0 0 25 0 4 0 651693213 1561096192 290292 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1524508 CPUtime=942.19 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 491324 0 0 0 94069 150 0 0 25 0 4 0 651693213 1561096192 290292 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.36
Current children cumulated vsize (KiB) 1524508

[startup+1002.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/346 12718
/proc/meminfo: memFree=15326300/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1496432 CPUtime=3997.68 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2059046 0 0 0 399160 608 0 0 25 0 4 0 651693213 1532346368 327458 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293797 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 374108 327458 379 95 0 369090 0
[pid=12678/tid=12679] ppid=12676 vsize=1496432 CPUtime=991.08 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 513864 0 0 0 98962 146 0 0 25 0 4 0 651693213 1532346368 327458 33554432000 4194304 4580107 140736609595904 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1496432 CPUtime=1002.21 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 532710 0 0 0 100068 153 0 0 25 0 4 0 651693213 1532346368 327458 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1496432 CPUtime=1002.19 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 518310 0 0 0 100060 159 0 0 25 0 4 0 651693213 1532346368 327458 33554432000 4194304 4580107 140736609595904 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3997.68
Current children cumulated vsize (KiB) 1496432

[startup+1062.3 s]
/proc/loadavg: 8.07 8.08 8.02 9/346 12719
/proc/meminfo: memFree=15339296/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1505512 CPUtime=4237.02 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2153093 0 0 0 423063 639 0 0 25 0 4 0 651693213 1541644288 307869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 376378 307869 379 95 0 371360 0
[pid=12678/tid=12679] ppid=12676 vsize=1505512 CPUtime=1050.62 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 534616 0 0 0 104909 153 0 0 25 0 4 0 651693213 1541644288 307869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1505512 CPUtime=1062.2 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 556451 0 0 0 106060 160 0 0 25 0 4 0 651693213 1541644288 307869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1505512 CPUtime=1061.98 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 544657 0 0 0 106032 166 0 0 25 0 4 0 651693213 1541644288 307869 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.02
Current children cumulated vsize (KiB) 1505512

[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/346 12721
/proc/meminfo: memFree=15337300/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1476836 CPUtime=4476.32 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2252172 0 0 0 446964 668 0 0 25 0 4 0 651693213 1512280064 313459 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 369209 313459 379 95 0 364191 0
[pid=12678/tid=12679] ppid=12676 vsize=1476836 CPUtime=1110.62 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 561500 0 0 0 110903 159 0 0 25 0 4 0 651693213 1512280064 313459 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1476836 CPUtime=1122.21 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 579045 0 0 0 112053 168 0 0 25 0 4 0 651693213 1512280064 313459 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1476836 CPUtime=1121.3 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 569514 0 0 0 111955 175 0 0 25 0 4 0 651693213 1512280064 313459 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.32
Current children cumulated vsize (KiB) 1476836

[startup+1182.3 s]
/proc/loadavg: 8.11 8.10 8.03 9/346 12723
/proc/meminfo: memFree=14961552/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1885688 CPUtime=4715.68 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2413637 0 0 0 470856 712 0 0 25 0 4 0 651693213 1930944512 388108 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 471422 388108 379 95 0 466404 0
[pid=12678/tid=12679] ppid=12676 vsize=1885688 CPUtime=1170.62 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 612049 0 0 0 116892 170 0 0 25 0 4 0 651693213 1930944512 388115 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1885688 CPUtime=1182.22 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 603928 0 0 0 118045 177 0 0 25 0 4 0 651693213 1930944512 388115 33554432000 4194304 4580107 140736609595904 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1885688 CPUtime=1180.65 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 612757 0 0 0 117878 187 0 0 25 0 4 0 651693213 1930944512 388115 33554432000 4194304 4580107 140736609595904 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.68
Current children cumulated vsize (KiB) 1885688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.5 s]
/proc/loadavg: 8.21 8.13 8.04 10/346 12723
/proc/meminfo: memFree=15027512/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1841308 CPUtime=4800.23 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2448958 0 0 0 479298 725 0 0 25 0 4 0 651693213 1885499392 392262 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 460327 392262 379 95 0 455309 0
[pid=12678/tid=12679] ppid=12676 vsize=1841308 CPUtime=1191.83 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 620122 0 0 0 119010 173 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1841308 CPUtime=1203.42 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 613064 0 0 0 120161 181 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1841308 CPUtime=1201.61 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 622538 0 0 0 119970 191 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4322504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1841308

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

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

[startup+1203.5 s]
/proc/loadavg: 8.21 8.13 8.04 10/346 12723
/proc/meminfo: memFree=15027512/32951124 swapFree=67082152/67111528
[pid=12678] ppid=12676 vsize=1841308 CPUtime=4800.23 cores=0,2,4,6
/proc/12678/stat : 12678 (strangenight2-m) R 12676 12678 12350 0 -1 4202496 2448958 0 0 0 479298 725 0 0 25 0 4 0 651693213 1885499392 392262 33554432000 4194304 4580107 140736609595904 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12678/statm: 460327 392262 379 95 0 455309 0
[pid=12678/tid=12679] ppid=12676 vsize=1841308 CPUtime=1191.83 cores=0,2,4,6
/proc/12678/task/12679/stat : 12679 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 620122 0 0 0 119010 173 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12678/tid=12680] ppid=12676 vsize=1841308 CPUtime=1203.42 cores=0,2,4,6
/proc/12678/task/12680/stat : 12680 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 613064 0 0 0 120161 181 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12678/tid=12681] ppid=12676 vsize=1841308 CPUtime=1201.61 cores=0,2,4,6
/proc/12678/task/12681/stat : 12681 (strangenight2-m) R 12676 12678 12350 0 -1 4202560 622538 0 0 0 119970 191 0 0 25 0 4 0 651693213 1885499392 392270 33554432000 4194304 4580107 140736609595904 18446744073709551615 4322504 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 1841308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.59
CPU time (s): 4800.36
CPU user time (s): 4793.03
CPU system time (s): 7.32988
CPU usage (%): 398.835
Max. virtual memory (cumulated for all children) (KiB): 1900708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.03
system time used= 7.32988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2448974
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= 25997
involuntary context switches= 24192

runsolver used 3.81442 second user time and 9.33858 second system time

The end

Launcher Data 

Begin job on node136 at 2011-05-14 21:22:32
IDJOB=3366293
IDBENCH=82702
IDSOLVER=1844
FILE ID=node136/3366293-1305400952
RUNJOBID= node136-1305400952-12664
PBS_JOBID= 13324455
Free space on /tmp= 72992 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366293-1305400952/watcher-3366293-1305400952 -o /tmp/evaluation-result-3366293-1305400952/solver-3366293-1305400952 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366293-1305400952.cnf

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

MD5SUM BENCH= cb40e65d82022f377e00087cafdb55b2
RANDOM SEED=1339611640

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18165624 kB
Buffers:        293868 kB
Cached:        5032520 kB
SwapCached:       2740 kB
Active:       10553632 kB
Inactive:      3890372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18165624 kB
SwapTotal:    67111528 kB
SwapFree:     67082152 kB
Dirty:           10800 kB
Writeback:          16 kB
AnonPages:     9115564 kB
Mapped:          27264 kB
Slab:           237260 kB
PageTables:      39468 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 69864344 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= 72976 MiB
End job on node136 at 2011-05-14 21:42:38