Trace number 3173776

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.44 1201.88

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf
MD5SUMd893b9743a6b7d8026df42df0d29d561
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark122.788
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.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-3173776-1304031181.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.30/0.14	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.30/0.14	c -- vars added      25000
0.30/0.14	c Parsing time:  0.05 s
0.30/0.14	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.30/0.29	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.30/0.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
1.05/0.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.05/0.38	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.05/0.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.05/0.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
1.05/0.38	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
1.84/0.56	c lits-rem:         0  cl-subs:        0  v-elim:    608  v-fix:    0  time:  0.17 s
1.84/0.56	c Finding binary XORs  T:     0.01 s  found:       0
2.24/0.60	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
2.24/0.60	c calculated reachability. Time: 0.00
2.24/0.61	c Calc default polars -  time:   0.01 s pos:   11052 undec:    2814 neg:   11134
2.24/0.61	c =========================================================================================
2.24/0.61	c types(t): F = full restart, N = normal restart
2.24/0.61	c types(t): S = simplification begin/end, E = solution found
2.24/0.61	c restart types(rt): st = static, dy = dynamic
2.24/0.61	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.24/0.61	c  B st     0         0     24392    104392         0         0    316990         0   no data   no data
7.83/2.07	c  N dy    20      4178     24392    104392         0      4178    316990   1019858    140.81    149.24
13.42/3.49	c  N dy    47      8210     24392    104392         0      8210    316990   1886337    140.76    151.33
19.42/4.95	c  N dy    74     12273     24392    104392         0     12273    316990   2767185    140.88    170.57
25.40/6.49	c  N dy   102     16436     24392    104392         0     16436    316990   3700324    141.50    152.10
31.80/8.05	c  N dy   129     20485     24392    104392         0     10489    316990    696507    141.31    148.83
37.79/9.54	c  N dy   156     24528     24392    104392         0     14531    316990   1571980    141.32    152.94
38.59/9.71	c  F st   160     25000     24392    104392         0     15003    316990   1672946    141.38   no data
46.57/11.76	c  N dy   166     30002     24392    104392         0     20005    316990   3262975    141.38   no data
46.57/11.76	c  S st   166     30002     24392    104392         0     20005    316990   3262975    141.38   no data
47.37/11.95	c  S st   166     30504     24392    104392         0     20507    316990   3341179    141.38   no data
47.37/11.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
47.79/12.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
48.19/12.12	c blocked clauses removed:      502 vars:     80 tried:       24392 T: 0.01 s
48.19/12.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
48.19/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
48.19/12.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24312 time:  0.01 s
48.19/12.15	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
48.58/12.27	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.12 s
49.77/12.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
53.37/13.45	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.86 s
53.77/13.58	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.12
53.77/13.58	c calculated reachability. Time: 0.00
53.77/13.59	c  N dy   166     30504     24298    103878         0     20194    315530   3134922    141.38   no data
60.98/15.34	c  N dy   188     34932     24298    103878         0     24622    315530   4105637    141.28    150.76
67.74/17.08	c  N dy   217     39172     24298    103878         0     28862    315530   5025063    141.10    151.21
74.56/18.75	c  N dy   249     43230     24298    103878         0     17575    315530   1191850    141.57    151.88
78.55/19.75	c  S st   267     45757     24298    103878         0     20102    315530   1760243    141.58   no data
79.32/19.95	c  S st   267     46259     24298    103878         0     20604    315530   1840245    141.58   no data
79.32/19.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.72/20.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
80.12/20.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.12/20.11	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.12/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.12/20.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
80.12/20.14	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
80.52/20.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
80.92/20.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
82.13/20.64	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.27 s
82.13/20.65	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
82.13/20.69	c vivif2 --  cl tried    20604 cl shrink        0 lits rem          0 time: 0.03
82.94/20.81	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.12
82.94/20.82	c calculated reachability. Time: 0.00
82.94/20.82	c  N dy   267     46259     24298    103878         0     20604    315530   1840243    141.58   no data
88.92/22.37	c  N dy   295     50270     24298    103878         0     24615    315530   2697982    141.38    151.43
95.71/24.02	c  N dy   323     54322     24298    103878         0     28667    315530   3607608    141.31    149.88
102.50/25.75	c  N dy   350     58522     24298    103878         0     32867    315530   4525205    141.34    155.74
109.71/27.51	c  N dy   381     62692     24298    103878         0     37036    315530   5442114    141.56    151.29
116.08/29.14	c  N dy   410     66753     24298    103878         0     22421    315530   1497378    141.65    158.87
120.47/30.21	c  S st   431     69392     24298    103878         0     25060    315530   2124650    141.91   no data
121.27/30.41	c  S st   431     69895     24298    103878         0     25563    315530   2217156    141.91   no data
121.27/30.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
121.67/30.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
121.67/30.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.67/30.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
121.67/30.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
122.06/30.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
122.06/30.61	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
122.48/30.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
122.88/30.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
124.46/31.28	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.41 s
124.86/31.30	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
124.86/31.33	c vivif2 --  cl tried    25560 cl shrink        0 lits rem          0 time: 0.04
125.26/31.47	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.13
125.26/31.47	c calculated reachability. Time: 0.00
125.26/31.48	c  N dy   431     69895     24298    103878         0     25560    315530   2214639    141.91   no data
132.45/33.29	c  N dy   465     74365     24298    103878         0     30030    315530   3244519    142.41    153.57
140.83/35.38	c  N dy   501     79303     24298    103878         0     34968    315530   4379469    142.66    150.31
149.62/37.51	c  N dy   533     84409     24298    103878         0     40074    315530   5483135    142.48    150.62
154.82/38.81	c  F st   553     87500     24298    103878         0     22332    315530    988372    142.46   no data
160.01/40.19	c  N st   558     90798     24298    103878         0     25630    315530   1889379    142.46   no data
170.00/42.66	c  N dy   589     96817     24298    103878         0     31649    315530   3338099    142.66    152.89
180.78/45.37	c  N dy   633    103185     24298    103878         0     38016    315530   4766439    142.67    158.77
183.59/46.05	c  S st   641    104842     24298    103878         0     39673    315530   5131607    142.49   no data
184.40/46.28	c  S st   641    105342     24298    103878         0     40173    315530   5223693    142.49   no data
184.78/46.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
185.18/46.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
185.18/46.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
185.18/46.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
185.18/46.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
185.18/46.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
185.18/46.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
185.98/46.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
187.18/46.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
193.96/48.63	c lits-rem:        10  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.63 s
193.96/48.64	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
194.36/48.73	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.09
194.76/48.88	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.16
194.76/48.89	c calculated reachability. Time: 0.00
194.76/48.89	c  N dy   641    105342     24298    103878         0     40168    315530   5219456    142.49   no data
207.14/51.95	c  N dy   691    112180     24298    103878         0     24590    315530   1105402    142.76    150.87
219.15/54.97	c  N dy   735    119537     24298    103878         0     31947    315530   2751198    142.67    151.24
232.34/58.24	c  N dy   783    127295     24298    103878         0     39705    315530   4460463    142.55    156.74
247.09/61.91	c  N dy   842    135512     24298    103878         0     24212    315530    680128    142.76    188.50
261.47/65.51	c  N dy   902    144259     24298    103878         0     32957    315530   2639972    142.88    154.77
277.44/69.50	c  N dy   966    153544     24298    103878         0     42241    315530   4702634    142.82    150.79
285.06/71.50	c  S st   998    158013     24298    103878         0     46709    315530   5724271    142.92   no data
286.24/71.74	c  S st   998    158518     24298    103878         0     47214    315530   5819682    142.92   no data
286.24/71.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
286.64/71.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
287.04/71.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
287.04/71.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
287.04/71.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
287.04/71.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
287.04/71.96	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
287.83/72.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
289.04/72.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
297.82/74.69	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.23 s
298.24/74.71	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
298.64/74.81	c vivif2 --  cl tried    47209 cl shrink        0 lits rem          0 time: 0.10
299.01/74.97	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
299.01/74.98	c calculated reachability. Time: 0.00
299.01/74.98	c  N dy   998    158518     24298    103878         0     47209    315530   5818557    142.92   no data
316.99/79.42	c  N dy  1070    168822     24298    103878         0     32662    315530   2306566    143.14    153.05
335.78/84.15	c  N dy  1145    179681     24298    103878         0     43521    315530   4745649    143.15    155.32
356.14/89.24	c  N dy  1221    191207     24298    103878         0     29119    315530   1249540    143.09    152.72
377.73/94.61	c  N dy  1308    203614     24298    103878         0     41526    315530   4126766    143.42    164.05
401.68/100.65	c  N dy  1399    216726     24298    103878         0     27676    315530    659113    143.52    152.28
425.67/106.62	c  N dy  1493    230626     24298    103878         0     41576    315530   3774551    143.61    154.77
438.43/109.88	c  S st  1543    237778     24298    103878         0     48728    315530   5398552    143.67   no data
439.63/110.12	c  S st  1543    238284     24298    103878         0     49234    315530   5486330    143.67   no data
439.63/110.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
440.03/110.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
440.42/110.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
440.42/110.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
440.42/110.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
440.42/110.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
440.42/110.34	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
440.82/110.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
442.03/110.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
451.21/113.08	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.27 s
451.21/113.10	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
451.61/113.19	c vivif2 --  cl tried    49231 cl shrink        0 lits rem          0 time: 0.09
452.43/113.36	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
452.43/113.37	c calculated reachability. Time: 0.00
452.43/113.37	c  N dy  1543    238284     24298    103878         0     49231    315530   5485005    143.67   no data
479.57/120.13	c  N dy  1642    253622     24298    103878         0     36589    315530   2428542    143.66    153.58
509.15/127.59	c  N dy  1753    270245     24298    103878         0     53211    315530   6180445    143.72    152.50
540.32/135.39	c  N dy  1874    287561     24298    103878         0     41540    315530   3264194    143.85    155.14
574.24/143.84	c  N dy  1994    305986     24298    103878         0     59964    315530   7433799    143.81    222.84
574.64/144.00	c  F st  1996    306250     24298    103878         0     30230    315530    517276    143.80   no data
609.80/152.79	c  N dy  2100    325660     24298    103878         0     49639    315530   5437962    143.87    159.97
646.94/162.05	c  N dy  2236    345908     24298    103878         0     38893    315530   2225247    143.93    155.59
668.11/167.32	c  S st  2322    357428     24298    103878         0     50412    315530   4853389    144.03   no data
668.91/167.57	c  S st  2322    357930     24298    103878         0     50914    315530   4935503    144.03   no data
668.91/167.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
669.71/167.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
669.71/167.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
669.71/167.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
669.71/167.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
669.71/167.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
669.71/167.79	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
670.51/167.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
671.32/168.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
680.10/170.33	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.12 s
680.10/170.35	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
680.51/170.43	c vivif2 --  cl tried    50911 cl shrink        0 lits rem          0 time: 0.08
681.29/170.60	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
681.29/170.61	c calculated reachability. Time: 0.00
681.29/170.61	c  N dy  2322    357930     24298    103878         0     50911    315530   4934824    144.03   no data
718.85/180.05	c  N dy  2463    377960     24298    103878         0     38938    315530   2032453    144.21    168.52
755.99/189.37	c  N dy  2594    398085     24298    103878         0     59062    315530   6572299    144.13    152.79
792.74/198.55	c  N dy  2734    418093     24298    103878         0     46074    315530   3431755    144.25    152.55
831.09/208.10	c  N dy  2870    438181     24298    103878         0     66162    315530   7964568    144.25    152.45
867.44/217.21	c  N dy  3007    458188     24298    103878         0     52171    315530   4608851    144.36    155.51
905.79/226.87	c  N dy  3140    478231     24298    103878         0     37215    315530    981158    144.36    153.06
942.93/236.16	c  N dy  3278    498426     24298    103878         0     57409    315530   5666683    144.57    153.47
981.28/245.78	c  N dy  3410    518473     24298    103878         0     41452    315530   1674358    144.59    153.67
1015.63/254.33	c  S st  3537    536896     24298    103878         0     59875    315530   5858063    144.66   no data
1016.43/254.59	c  S st  3537    537401     24298    103878         0     60380    315530   5939508    144.66   no data
1016.83/254.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1017.23/254.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
1017.23/254.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1017.64/254.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1017.64/254.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1017.64/254.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1017.64/254.83	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1018.04/254.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
1019.63/255.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1031.61/258.31	c lits-rem:         1  cl-subs:        9  v-elim:      0  v-fix:    0  time:  2.99 s
1031.61/258.33	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
1032.03/258.43	c vivif2 --  cl tried    60371 cl shrink        0 lits rem          0 time: 0.10
1032.81/258.62	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.19
1032.81/258.63	c calculated reachability. Time: 0.00
1032.81/258.63	c  N dy  3537    537401     24298    103878         0     60371    315530   5936473    144.66   no data
1071.98/268.41	c  N dy  3685    557482     24298    103878         0     43452    315530   1952223    144.74    158.44
1109.51/277.88	c  N dy  3825    577732     24298    103878         0     63700    315530   6524714    144.72    161.04
1149.05/287.72	c  N dy  3963    597781     24298    103878         0     45755    315530   2246457    144.78    158.68
1186.59/297.17	c  N dy  4093    617833     24298    103878         0     65805    315530   6794776    144.80    156.94
1225.36/306.90	c  N dy  4221    637842     24298    103878         0     46816    315530   2257361    144.80    164.17
1263.69/316.48	c  N dy  4358    657935     24298    103878         0     66906    315530   6860578    144.85    158.77
1304.45/326.67	c  N dy  4504    678016     24298    103878         0     46984    315530   2103853    144.95    156.92
1342.77/336.29	c  N dy  4635    698135     24298    103878         0     67102    315530   6645017    144.92    152.92
1383.54/346.44	c  N dy  4771    718224     24298    103878         0     46197    315530   1621231    144.95    153.92
1421.87/356.05	c  N dy  4916    738293     24298    103878         0     66264    315530   6168179    144.98    157.82
1463.03/366.32	c  N dy  5055    758342     24298    103878         0     44318    315530   1019625    144.98    159.27
1500.56/375.77	c  N dy  5184    778387     24298    103878         0     64362    315530   5643093    144.98    174.53
1542.12/386.14	c  N dy  5324    798447     24298    103878         0     84420    315530  10228493    145.06    152.77
1556.48/389.79	c  S st  5377    806101     24298    103878         0     49077    315530   1891251    145.05   no data
1557.68/390.03	c  S st  5377    806603     24298    103878         0     49579    315530   1975048    145.05   no data
1557.68/390.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1558.08/390.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
1558.47/390.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1558.47/390.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1558.47/390.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1558.47/390.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1558.47/390.24	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1558.87/390.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1559.29/390.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1562.47/391.23	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.74 s
1562.47/391.24	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
1562.47/391.28	c vivif2 --  cl tried    49576 cl shrink        0 lits rem          0 time: 0.04
1563.27/391.45	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
1563.27/391.46	c calculated reachability. Time: 0.00
1563.27/391.46	c  N dy  5377    806603     24298    103878         0     49576    315530   1973301    145.05   no data
1602.41/401.22	c  N dy  5514    826604     24298    103878         0     69574    315530   6571694    145.12    153.76
1644.75/411.86	c  N dy  5658    846625     24298    103878         0     45592    315530    840420    145.18    156.09
1682.72/421.39	c  N dy  5789    866652     24298    103878         0     65618    315530   5412385    145.20    159.01
1724.64/431.82	c  N dy  5926    886675     24298    103878         0     85637    315530  10046555    145.26    172.97
1763.79/441.69	c  N dy  6059    906916     24298    103878         0     60877    315530   4101791    145.28    155.85
1804.53/451.87	c  N dy  6201    926924     24298    103878         0     80884    315530   8627157    145.30    155.06
1845.66/462.15	c  N dy  6334    947035     24298    103878         0     55001    315530   2576891    145.33    153.82
1885.61/472.17	c  N dy  6472    967250     24298    103878         0     75214    315530   7192629    145.34    154.53
1929.15/483.02	c  N dy  6607    987399     24298    103878         0     48367    315530    801942    145.36    153.85
1967.50/492.69	c  N dy  6744   1007430     24298    103878         0     68395    315530   5384090    145.39    166.48
2009.03/503.07	c  N dy  6873   1027475     24298    103878         0     88439    315530   9917555    145.37    156.86
2049.78/513.25	c  N dy  7009   1047588     24298    103878         0     60562    315530   3342910    145.38    155.09
2090.52/523.50	c  N dy  7146   1067669     24298    103878         0     80641    315530   7882787    145.38    153.94
2099.31/525.70	c  F st  7173   1071875     24298    103878         0     84847    315530   8818490    145.38   no data
2133.66/534.29	c  N dy  7257   1087698     24298    103878         0     51670    315530   1127207    145.43    155.46
2173.21/544.12	c  N dy  7388   1107805     24298    103878         0     71771    315530   5655166    145.42    154.28
2215.94/554.80	c  N dy  7526   1127870     24298    103878         0     91834    315530  10242151    145.42    153.47
2257.49/565.23	c  N dy  7667   1148028     24298    103878         0     62004    315530   3292397    145.47    154.06
2298.63/575.52	c  N dy  7808   1168096     24298    103878         0     82072    315530   7893347    145.49    189.02
2344.16/586.97	c  N dy  7953   1188200     24298    103878         0     51174    315530    539058    145.57    155.05
2384.12/596.90	c  N dy  8098   1208271     24298    103878         0     71244    315530   5134441    145.60    157.70
2387.71/597.80	c  S st  8110   1209904     24298    103878         0     72877    315530   5505957    145.60   no data
2388.51/598.09	c  S st  8110   1210406     24298    103878         0     73379    315530   5593935    145.60   no data
2388.91/598.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2389.31/598.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2389.31/598.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2389.72/598.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2389.72/598.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2389.72/598.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
2389.72/598.34	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2390.50/598.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2391.71/598.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2404.48/602.01	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.19 s
2404.48/602.03	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
2404.88/602.13	c vivif2 --  cl tried    73375 cl shrink        0 lits rem          0 time: 0.10
2405.68/602.34	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.21
2405.68/602.35	c calculated reachability. Time: 0.00
2405.68/602.35	c  N dy  8110   1210406     24298    103878         0     73375    315530   5592653    145.60   no data
2448.42/613.06	c  N dy  8244   1230483     24298    103878         0     93451    315530  10154631    145.60    162.78
2490.78/623.65	c  N dy  8383   1250549     24298    103878         0     61514    315530   2680176    145.62    177.35
2532.31/634.02	c  N dy  8521   1270794     24298    103878         0     81756    315530   7330413    145.63    157.01
2576.65/645.11	c  N dy  8658   1290936     24298    103878         0    101898    315530  11882705    145.62    153.99
2617.39/655.34	c  N dy  8792   1311143     24298    103878         0     69105    315530   4175024    145.62    154.64
2659.73/665.98	c  N dy  8923   1331268     24298    103878         0     89230    315530   8841739    145.62    154.76
2706.08/677.56	c  N dy  9060   1351369     24298    103878         0     55331    315530    834987    145.66    157.76
2746.40/687.60	c  N dy  9200   1371420     24298    103878         0     75382    315530   5429367    145.67    156.56
2789.56/698.42	c  N dy  9332   1391544     24298    103878         0     95505    315530  10028021    145.66    154.93
2833.90/709.57	c  N dy  9476   1411629     24298    103878         0     60587    315530   1791853    145.69    161.64
2875.02/719.86	c  N dy  9611   1431819     24298    103878         0     80776    315530   6395341    145.69    160.58
2919.36/730.93	c  N dy  9748   1451853     24298    103878         0    100809    315530  10949716    145.71    154.44
2963.29/741.90	c  N dy  9887   1471882     24298    103878         0     64846    315530   2566054    145.74    157.49
3004.85/752.34	c  N dy 10027   1491897     24298    103878         0     84859    315530   7178028    145.77    182.66
3049.97/763.64	c  N dy 10164   1511994     24298    103878         0    104952    315530  11824307    145.81    190.98
3093.90/774.61	c  N dy 10317   1532078     24298    103878         0     68041    315530   3123706    145.89    154.15
3135.85/785.10	c  N dy 10451   1552166     24298    103878         0     88129    315530   7754890    145.89    174.56
3181.39/796.55	c  N dy 10586   1572261     24298    103878         0    108223    315530  12328134    145.89    154.71
3224.95/807.41	c  N dy 10727   1592410     24298    103878         0     70376    315530   3403115    145.90    157.25
3267.67/818.10	c  N dy 10857   1612586     24298    103878         0     90552    315530   7991905    145.89    155.77
3313.60/829.69	c  N dy 10998   1632639     24298    103878         0    110603    315530  12595365    145.94    208.24
3357.13/840.54	c  N dy 11134   1652883     24298    103878         0     71851    315530   3474289    145.94    153.72
3399.88/851.21	c  N dy 11268   1672917     24298    103878         0     91885    315530   7979928    145.94    159.53
3446.21/862.86	c  N dy 11405   1692949     24298    103878         0    111917    315530  12591943    145.96    156.55
3484.18/872.34	c  S st 11514   1710406     24298    103878         0     69378    315530   2631518    145.93   no data
3485.36/872.61	c  S st 11514   1710909     24298    103878         0     69881    315530   2707141    145.93   no data
3485.36/872.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3485.75/872.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3486.15/872.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3486.15/872.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3486.15/872.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3486.15/872.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
3486.15/872.85	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3486.55/872.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3487.35/873.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3494.54/874.92	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.77 s
3494.54/874.94	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.02
3494.54/874.99	c vivif2 --  cl tried    69879 cl shrink        0 lits rem          0 time: 0.05
3495.74/875.20	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.21
3495.74/875.21	c calculated reachability. Time: 0.00
3495.74/875.21	c  N dy 11514   1710909     24298    103878         0     69879    315530   2706741    145.93   no data
3538.08/885.86	c  N dy 11651   1730915     24298    103878         0     89885    315530   7362379    145.97    153.89
3584.42/897.43	c  N dy 11785   1751074     24298    103878         0    110044    315530  11984861    145.96    155.40
3630.35/908.96	c  N dy 11926   1771395     24298    103878         0     69364    315530   2501836    145.98    155.30
3673.49/919.75	c  N dy 12069   1791591     24298    103878         0     89555    315530   7194650    146.02    155.38
3719.43/931.25	c  N dy 12199   1811616     24298    103878         0    109580    315530  11732848    146.01    158.42
3766.16/942.99	c  N dy 12333   1831878     24298    103878         0     67847    315530   1938491    146.00    154.05
3809.33/953.75	c  N dy 12478   1852037     24298    103878         0     88006    315530   6649319    146.02    154.07
3856.84/965.63	c  N dy 12622   1872223     24298    103878         0    108190    315530  11297693    146.06    154.85
3905.17/977.73	c  N dy 12756   1892388     24298    103878         0     65355    315530   1118433    146.07    154.25
3946.71/988.10	c  N dy 12898   1912489     24298    103878         0     85455    315530   5700077    146.09    158.20
3991.05/999.26	c  N dy 13019   1932561     24298    103878         0    105526    315530  10299972    146.06    164.73
4039.78/1011.46	c  N dy 13158   1952570     24298    103878         0    125535    315530  14898878    146.09    157.41
4082.12/1022.05	c  N dy 13294   1972701     24298    103878         0     81662    315530   4576048    146.09    165.60
4126.06/1033.09	c  N dy 13435   1992752     24298    103878         0    101711    315530   9168626    146.10    153.88
4174.39/1045.11	c  N dy 13566   2012927     24298    103878         0    121883    315530  13776885    146.09    156.46
4219.13/1056.35	c  N dy 13698   2032951     24298    103878         0     76908    315530   3327731    146.10    154.29
4263.06/1067.35	c  N dy 13847   2052996     24298    103878         0     96951    315530   7961941    146.13    155.52
4310.60/1079.25	c  N dy 13987   2073141     24298    103878         0    117095    315530  12625779    146.15    155.04
4358.94/1091.31	c  N dy 14127   2093218     24298    103878         0     71177    315530   1783396    146.18    156.85
4401.28/1101.97	c  N dy 14264   2113287     24298    103878         0     91246    315530   6403694    146.18    165.45
4447.21/1113.48	c  N dy 14396   2133295     24298    103878         0    111253    315530  11010567    146.19    154.00
4497.15/1125.94	c  N dy 14536   2153386     24298    103878         0    131344    315530  15671479    146.22    155.61
4540.69/1136.83	c  N dy 14677   2173539     24298    103878         0     84499    315530   4599439    146.22    154.29
4587.04/1148.46	c  N dy 14811   2193587     24298    103878         0    104547    315530   9227696    146.23    154.05
4628.56/1158.88	c  S st 14929   2210909     24298    103878         0    121867    315530  13154304    146.23   no data
4630.16/1159.23	c  S st 14929   2211416     24298    103878         0    122374    315530  13238599    146.23   no data
4630.16/1159.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4630.98/1159.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.21
4631.35/1159.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4631.35/1159.51	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4631.35/1159.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4631.35/1159.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
4631.35/1159.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4632.55/1159.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4635.75/1160.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4665.31/1168.07	c lits-rem:         5  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.40 s
4665.31/1168.08	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.02
4666.50/1168.33	c vivif2 --  cl tried   122365 cl shrink        0 lits rem          0 time: 0.25
4667.70/1168.66	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.32
4667.70/1168.67	c calculated reachability. Time: 0.00
4667.70/1168.67	c  N dy 14929   2211416     24298    103878         0    122365    315530  13235830    146.23   no data
4717.24/1181.07	c  N dy 15060   2231546     24298    103878         0     74503    315530   2072509    146.22    154.33
4760.37/1191.86	c  N dy 15202   2251552     24298    103878         0     94509    315530   6655676    146.24    182.75

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

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

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


[startup+0 s]
/proc/loadavg: 7.91 8.13 7.56 6/184 26668
/proc/meminfo: memFree=30129248/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 514716051 52441088 352 33554432000 4194304 4627427 140733716795216 18446744073709551615 47153136699308 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 12803 352 303 106 0 7774 0
[pid=26668/tid=26669] ppid=26666 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 5 0 0 0 0 0 0 0 22 0 4 0 514716051 52441088 352 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550537659 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 514716051 52441088 352 33554432000 4194304 4627427 140733716795216 18446744073709551615 47153136699314 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514716051 52441088 352 33554432000 4194304 4627427 140733716795216 18446744073709551615 271545584726 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.033525 s]
/proc/loadavg: 7.91 8.13 7.56 6/184 26668
/proc/meminfo: memFree=30129248/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=369060 CPUtime=0.09 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 11935 0 0 0 6 3 0 0 18 0 4 0 514716051 377917440 9809 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 92265 9861 339 106 0 87236 0
[pid=26668/tid=26669] ppid=26666 vsize=369060 CPUtime=0.01 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 2897 0 0 0 1 0 0 0 18 0 4 0 514716051 377917440 9901 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642719 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=369060 CPUtime=0.01 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) S 26666 26668 26347 0 -1 4202560 3200 0 0 0 1 0 0 0 18 0 4 0 514716051 377917440 9944 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642670 0 0 4096 2 18446604454943910976 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=369060 CPUtime=0.01 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 2834 0 0 0 1 0 0 0 18 0 4 0 514716051 377917440 9952 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550198817 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 369060

[startup+0.104476 s]
/proc/loadavg: 7.91 8.13 7.56 6/184 26668
/proc/meminfo: memFree=30129248/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=371672 CPUtime=0.3 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 15936 0 0 0 14 16 0 0 17 0 4 0 514716051 380592128 13810 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642719 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 92918 13823 339 106 0 87889 0
[pid=26668/tid=26669] ppid=26666 vsize=371672 CPUtime=0.06 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) S 26666 26668 26347 0 -1 4202560 3817 0 0 0 3 3 0 0 17 0 4 0 514716051 380592128 13833 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642670 0 0 4096 2 18446604454943910976 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=371672 CPUtime=0.06 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) S 26666 26668 26347 0 -1 4202560 4105 0 0 0 3 3 0 0 17 0 4 0 514716051 380592128 13841 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550642670 0 0 4096 2 18446604454943910976 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=371672 CPUtime=0.07 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 3791 0 0 0 4 3 0 0 17 0 4 0 514716051 380592128 13846 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550206193 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 371672

[startup+0.300427 s]
/proc/loadavg: 7.91 8.13 7.56 6/184 26668
/proc/meminfo: memFree=30129248/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=383732 CPUtime=1.05 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 21000 0 0 0 82 23 0 0 18 0 4 0 514716051 392941568 18784 33554432000 4194304 4627427 140733716795216 18446744073709551615 4415675 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 95933 18786 371 106 0 90904 0
[pid=26668/tid=26669] ppid=26666 vsize=383732 CPUtime=0.26 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 5339 0 0 0 20 6 0 0 18 0 4 0 514716051 392941568 18787 33554432000 4194304 4627427 140733716795216 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=383732 CPUtime=0.25 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 5244 0 0 0 20 5 0 0 18 0 4 0 514716051 392941568 18788 33554432000 4194304 4627427 140733716795216 18446744073709551615 271550206193 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=383732 CPUtime=0.26 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 4462 0 0 0 21 5 0 0 18 0 4 0 514716051 392941568 18789 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 383732

[startup+0.700356 s]
/proc/loadavg: 7.91 8.13 7.56 6/184 26668
/proc/meminfo: memFree=30129248/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=401356 CPUtime=2.64 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 37365 0 0 0 237 27 0 0 18 0 4 0 514716051 410988544 26993 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308715 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 100339 26993 385 106 0 95310 0
[pid=26668/tid=26669] ppid=26666 vsize=401356 CPUtime=0.65 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 10234 0 0 0 58 7 0 0 18 0 4 0 514716051 410988544 26993 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=401356 CPUtime=0.65 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 10971 0 0 0 58 7 0 0 18 0 4 0 514716051 410988544 26994 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=401356 CPUtime=0.65 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 4774 0 0 0 60 5 0 0 18 0 4 0 514716051 410988544 26994 33554432000 4194304 4627427 140733716795216 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 401356

[startup+1.50021 s]
/proc/loadavg: 7.91 8.13 7.56 10/188 26672
/proc/meminfo: memFree=30017368/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=401356 CPUtime=5.83 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 39847 0 0 0 556 27 0 0 19 0 4 0 514716051 410988544 29475 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 100339 29475 385 106 0 95310 0
[pid=26668/tid=26669] ppid=26666 vsize=401356 CPUtime=1.45 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 10861 0 0 0 138 7 0 0 19 0 4 0 514716051 410988544 29475 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=401356 CPUtime=1.44 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 11630 0 0 0 137 7 0 0 19 0 4 0 514716051 410988544 29475 33554432000 4194304 4627427 140733716795216 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=401356 CPUtime=1.45 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 5357 0 0 0 140 5 0 0 19 0 4 0 514716051 410988544 29475 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.83
Current children cumulated vsize (KiB) 401356

[startup+3.10092 s]
/proc/loadavg: 7.91 8.13 7.56 9/188 26672
/proc/meminfo: memFree=30002984/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=532620 CPUtime=12.23 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 44169 0 0 0 1195 28 0 0 23 0 4 0 514716051 545402880 33797 33554432000 4194304 4627427 140733716795216 18446744073709551615 4299638 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 133155 33797 385 106 0 128126 0
[pid=26668/tid=26669] ppid=26666 vsize=532620 CPUtime=3.05 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 11916 0 0 0 298 7 0 0 23 0 4 0 514716051 545402880 33797 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=532620 CPUtime=3.04 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 12644 0 0 0 297 7 0 0 23 0 4 0 514716051 545402880 33797 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=532620 CPUtime=3.05 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 6617 0 0 0 300 5 0 0 24 0 4 0 514716051 545402880 33797 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 532620

[startup+6.30034 s]
/proc/loadavg: 8.00 8.15 7.57 9/188 26672
/proc/meminfo: memFree=29964060/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=532620 CPUtime=25.01 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 52040 0 0 0 2471 30 0 0 25 0 4 0 514716051 545402880 41668 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 133155 41668 385 106 0 128126 0
[pid=26668/tid=26669] ppid=26666 vsize=532620 CPUtime=6.25 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 13919 0 0 0 617 8 0 0 25 0 4 0 514716051 545402880 41668 33554432000 4194304 4627427 140733716795216 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=532620 CPUtime=6.22 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 14562 0 0 0 615 7 0 0 25 0 4 0 514716051 545402880 41668 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=532620 CPUtime=6.26 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 8554 0 0 0 620 6 0 0 25 0 4 0 514716051 545402880 41668 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308593 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 532620

[startup+12.7012 s]
/proc/loadavg: 8.00 8.14 7.57 9/188 26673
/proc/meminfo: memFree=29948652/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=716184 CPUtime=50.57 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 91337 0 0 0 5017 40 0 0 25 0 4 0 514716051 733372416 58883 33554432000 4194304 4627427 140733716795216 18446744073709551615 4468063 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 179046 58883 390 106 0 174017 0
[pid=26668/tid=26669] ppid=26666 vsize=716184 CPUtime=12.65 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 19302 0 0 0 1256 9 0 0 25 0 4 0 514716051 733372416 58883 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=716184 CPUtime=12.58 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 20048 0 0 0 1250 8 0 0 25 0 4 0 514716051 733372416 58883 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=716184 CPUtime=12.65 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 14565 0 0 0 1258 7 0 0 25 0 4 0 514716051 733372416 58883 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.57
Current children cumulated vsize (KiB) 716184

[startup+25.5008 s]
/proc/loadavg: 8.00 8.14 7.58 9/188 26673
/proc/meminfo: memFree=29809776/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=854936 CPUtime=101.7 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 165659 0 0 0 10111 59 0 0 25 0 4 0 514716051 875454464 104472 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 213734 104472 390 106 0 208705 0
[pid=26668/tid=26669] ppid=26666 vsize=854936 CPUtime=25.45 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 50691 0 0 0 2527 18 0 0 25 0 4 0 514716051 875454464 104472 33554432000 4194304 4627427 140733716795216 18446744073709551615 4326744 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=854936 CPUtime=25.31 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 35175 0 0 0 2520 11 0 0 25 0 4 0 514716051 875454464 104472 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=854936 CPUtime=25.46 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 33390 0 0 0 2535 11 0 0 25 0 4 0 514716051 875454464 104472 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 854936

[startup+51.1012 s]
/proc/loadavg: 8.00 8.13 7.59 9/188 26674
/proc/meminfo: memFree=29638968/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=850208 CPUtime=203.96 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 259317 0 0 0 20316 80 0 0 25 0 4 0 514716051 870612992 147496 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 212552 147496 390 106 0 207523 0
[pid=26668/tid=26669] ppid=26666 vsize=850208 CPUtime=51.06 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 66846 0 0 0 5084 22 0 0 25 0 4 0 514716051 870612992 147496 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=850208 CPUtime=50.77 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 55945 0 0 0 5060 17 0 0 25 0 4 0 514716051 870612992 147496 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=850208 CPUtime=51.05 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 62174 0 0 0 5090 15 0 0 25 0 4 0 514716051 870612992 147496 33554432000 4194304 4627427 140733716795216 18446744073709551615 4428121 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 850208

[startup+102.307 s]
/proc/loadavg: 8.10 8.13 7.62 9/188 26675
/proc/meminfo: memFree=29434796/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=924280 CPUtime=408.49 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 366508 0 0 0 40740 109 0 0 25 0 4 0 514716051 946462720 166762 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 231070 166762 390 106 0 226041 0
[pid=26668/tid=26669] ppid=26666 vsize=924280 CPUtime=102.26 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 97865 0 0 0 10195 31 0 0 25 0 4 0 514716051 946462720 166762 33554432000 4194304 4627427 140733716795216 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=924280 CPUtime=101.7 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 81300 0 0 0 10145 25 0 0 25 0 4 0 514716051 946462720 166762 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=924280 CPUtime=102.25 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 86018 0 0 0 10205 20 0 0 25 0 4 0 514716051 946462720 166762 33554432000 4194304 4627427 140733716795216 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.49
Current children cumulated vsize (KiB) 924280

[startup+162.301 s]

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

[pid=26668] ppid=26666 vsize=1523104 CPUtime=2565.48 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1399838 0 0 0 256106 442 0 0 25 0 4 0 514716051 1559658496 293437 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 380776 293437 390 106 0 375747 0
[pid=26668/tid=26669] ppid=26666 vsize=1523104 CPUtime=642.25 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 345247 0 0 0 64108 117 0 0 25 0 4 0 514716051 1559658496 293437 33554432000 4194304 4627427 140733716795216 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1523104 CPUtime=638.73 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 339701 0 0 0 63762 111 0 0 25 0 4 0 514716051 1559658496 293437 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1523104 CPUtime=642.24 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 360459 0 0 0 64122 102 0 0 25 0 4 0 514716051 1559658496 293437 33554432000 4194304 4627427 140733716795216 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.48
Current children cumulated vsize (KiB) 1523104

[startup+702.301 s]
/proc/loadavg: 8.41 8.24 7.90 10/189 26734
/proc/meminfo: memFree=29055672/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1444044 CPUtime=2805.12 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1500812 0 0 0 280034 478 0 0 25 0 4 0 514716051 1478701056 298331 33554432000 4194304 4627427 140733716795216 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 361011 298331 390 106 0 355982 0
[pid=26668/tid=26669] ppid=26666 vsize=1444044 CPUtime=702.17 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 369613 0 0 0 70090 127 0 0 25 0 4 0 514716051 1478701056 298331 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1444044 CPUtime=698.47 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 363196 0 0 0 69727 120 0 0 25 0 4 0 514716051 1478701056 298331 33554432000 4194304 4627427 140733716795216 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1444044 CPUtime=702.23 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 388970 0 0 0 70113 110 0 0 25 0 4 0 514716051 1478701056 298331 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.12
Current children cumulated vsize (KiB) 1444044

[startup+762.307 s]
/proc/loadavg: 8.50 8.30 7.94 9/188 26736
/proc/meminfo: memFree=29035204/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1473600 CPUtime=3044.8 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1595065 0 0 0 303970 510 0 0 25 0 4 0 514716051 1508966400 303015 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 368400 303015 390 106 0 363371 0
[pid=26668/tid=26669] ppid=26666 vsize=1473600 CPUtime=761.85 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 391162 0 0 0 76051 134 0 0 25 0 4 0 514716051 1508966400 303015 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1473600 CPUtime=758.47 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 390051 0 0 0 75719 128 0 0 25 0 4 0 514716051 1508966400 303015 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1473600 CPUtime=762.23 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 410031 0 0 0 76105 118 0 0 25 0 4 0 514716051 1508966400 303015 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.8
Current children cumulated vsize (KiB) 1473600

[startup+822.301 s]
/proc/loadavg: 8.22 8.26 7.95 9/188 26737
/proc/meminfo: memFree=28940780/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1563164 CPUtime=3284.45 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1694681 0 0 0 327899 546 0 0 25 0 4 0 514716051 1600679936 314028 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 390791 314028 390 106 0 385762 0
[pid=26668/tid=26669] ppid=26666 vsize=1563164 CPUtime=821.52 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 415509 0 0 0 82011 141 0 0 25 0 4 0 514716051 1600679936 314028 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1563164 CPUtime=818.46 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 413121 0 0 0 81710 136 0 0 25 0 4 0 514716051 1600679936 314028 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1563164 CPUtime=822.22 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 434351 0 0 0 82095 127 0 0 25 0 4 0 514716051 1600679936 314028 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308162 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.45
Current children cumulated vsize (KiB) 1563164

[startup+882.301 s]
/proc/loadavg: 8.19 8.24 7.96 9/188 26739
/proc/meminfo: memFree=28935772/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1579252 CPUtime=3524.11 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1783553 0 0 0 351829 582 0 0 25 0 4 0 514716051 1617154048 320979 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 394813 320979 390 106 0 389784 0
[pid=26668/tid=26669] ppid=26666 vsize=1579252 CPUtime=881.19 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 436017 0 0 0 87969 150 0 0 25 0 4 0 514716051 1617154048 320979 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1579252 CPUtime=878.46 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 433514 0 0 0 87701 145 0 0 25 0 4 0 514716051 1617154048 320979 33554432000 4194304 4627427 140733716795216 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1579252 CPUtime=882.22 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 458915 0 0 0 88086 136 0 0 25 0 4 0 514716051 1617154048 320979 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.11
Current children cumulated vsize (KiB) 1579252

[startup+942.301 s]
/proc/loadavg: 8.10 8.21 7.96 9/188 26740
/proc/meminfo: memFree=29093320/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1572272 CPUtime=3763.77 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1877807 0 0 0 375761 616 0 0 25 0 4 0 514716051 1610006528 298257 33554432000 4194304 4627427 140733716795216 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 393068 298257 390 106 0 388039 0
[pid=26668/tid=26669] ppid=26666 vsize=1572272 CPUtime=940.86 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 462920 0 0 0 93927 159 0 0 25 0 4 0 514716051 1610006528 298257 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1572272 CPUtime=938.46 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 457214 0 0 0 93692 154 0 0 25 0 4 0 514716051 1610006528 298257 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1572272 CPUtime=942.21 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 479381 0 0 0 94076 145 0 0 25 0 4 0 514716051 1610006528 298257 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.77
Current children cumulated vsize (KiB) 1572272

[startup+1002.3 s]
/proc/loadavg: 8.26 8.23 7.98 9/188 26742
/proc/meminfo: memFree=28853332/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1646444 CPUtime=4003.44 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 1983682 0 0 0 399691 653 0 0 25 0 4 0 514716051 1685958656 338563 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 411611 338563 390 106 0 406582 0
[pid=26668/tid=26669] ppid=26666 vsize=1646444 CPUtime=1000.53 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 488347 0 0 0 99884 169 0 0 25 0 4 0 514716051 1685958656 338563 33554432000 4194304 4627427 140733716795216 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1646444 CPUtime=998.46 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 492699 0 0 0 99683 163 0 0 25 0 4 0 514716051 1685958656 338563 33554432000 4194304 4627427 140733716795216 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1646444 CPUtime=1002.21 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 499282 0 0 0 100068 153 0 0 25 0 4 0 514716051 1685958656 338563 33554432000 4194304 4627427 140733716795216 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.44
Current children cumulated vsize (KiB) 1646444

[startup+1062.3 s]
/proc/loadavg: 8.09 8.18 7.98 10/188 26744
/proc/meminfo: memFree=28796612/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1647460 CPUtime=4243.1 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 2068347 0 0 0 423625 685 0 0 25 0 4 0 514716051 1686999040 327652 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 411865 327652 390 106 0 406836 0
[pid=26668/tid=26669] ppid=26666 vsize=1647460 CPUtime=1060.2 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 511760 0 0 0 105842 178 0 0 25 0 4 0 514716051 1686999040 327652 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1647460 CPUtime=1058.46 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 512756 0 0 0 105676 170 0 0 25 0 4 0 514716051 1686999040 327652 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1647460 CPUtime=1062.21 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 521081 0 0 0 106059 162 0 0 25 0 4 0 514716051 1686999040 327652 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308787 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.1
Current children cumulated vsize (KiB) 1647460

[startup+1122.3 s]
/proc/loadavg: 8.15 8.18 7.99 9/188 26745
/proc/meminfo: memFree=28766668/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1643364 CPUtime=4482.76 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 2167232 0 0 0 447556 720 0 0 25 0 4 0 514716051 1682804736 357692 33554432000 4194304 4627427 140733716795216 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 410841 357692 390 106 0 405812 0
[pid=26668/tid=26669] ppid=26666 vsize=1643364 CPUtime=1119.87 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 536912 0 0 0 111800 187 0 0 25 0 4 0 514716051 1682804736 357692 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1643364 CPUtime=1118.45 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 537760 0 0 0 111666 179 0 0 25 0 4 0 514716051 1682804736 357693 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1643364 CPUtime=1122.21 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 544573 0 0 0 112050 171 0 0 25 0 4 0 514716051 1682804736 357693 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.76
Current children cumulated vsize (KiB) 1643364

[startup+1182.3 s]
/proc/loadavg: 8.05 8.14 7.99 9/188 26747
/proc/meminfo: memFree=28468764/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1870192 CPUtime=4722.43 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 2332761 0 0 0 471472 771 0 0 25 0 4 0 514716051 1915076608 409456 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 467548 409456 390 106 0 462519 0
[pid=26668/tid=26669] ppid=26666 vsize=1870192 CPUtime=1179.54 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 591543 0 0 0 117752 202 0 0 25 0 4 0 514716051 1915076608 409456 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1870192 CPUtime=1178.45 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 560509 0 0 0 117656 189 0 0 25 0 4 0 514716051 1915076608 409456 33554432000 4194304 4627427 140733716795216 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1870192 CPUtime=1182.21 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 589258 0 0 0 118038 183 0 0 25 0 4 0 514716051 1915076608 409456 33554432000 4194304 4627427 140733716795216 18446744073709551615 4333109 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.43
Current children cumulated vsize (KiB) 1870192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.04 8.13 7.99 9/188 26747
/proc/meminfo: memFree=28483876/32951124 swapFree=67111344/67111528
[pid=26668] ppid=26666 vsize=1974672 CPUtime=4800.34 cores=1,3,5,7
/proc/26668/stat : 26668 (strangenight2-m) R 26666 26668 26347 0 -1 4202496 2360349 0 0 0 479252 782 0 0 25 0 4 0 514716051 2022064128 419744 33554432000 4194304 4627427 140733716795216 18446744073709551615 4299595 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/26668/statm: 493668 419744 390 106 0 488639 0
[pid=26668/tid=26669] ppid=26666 vsize=1974672 CPUtime=1198.94 cores=1,3,5,7
/proc/26668/task/26669/stat : 26669 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 598626 0 0 0 119689 205 0 0 25 0 4 0 514716051 2022064128 419744 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26668/tid=26670] ppid=26666 vsize=1974672 CPUtime=1197.96 cores=1,3,5,7
/proc/26668/task/26670/stat : 26670 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 567875 0 0 0 119604 192 0 0 25 0 4 0 514716051 2022064128 419744 33554432000 4194304 4627427 140733716795216 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=26668/tid=26671] ppid=26666 vsize=1974672 CPUtime=1201.72 cores=1,3,5,7
/proc/26668/task/26671/stat : 26671 (strangenight2-m) R 26666 26668 26347 0 -1 4202560 594558 0 0 0 119986 186 0 0 25 0 4 0 514716051 2022064128 419744 33554432000 4194304 4627427 140733716795216 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1974672

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.88
CPU time (s): 4800.44
CPU user time (s): 4792.54
CPU system time (s): 7.8978
CPU usage (%): 399.41
Max. virtual memory (cumulated for all children) (KiB): 1989324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.54
system time used= 7.8978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2360356
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= 15698
involuntary context switches= 33442

runsolver used 1.72874 second user time and 4.85026 second system time

The end

Launcher Data 

Begin job on node133 at 2011-04-29 00:53:02
IDJOB=3173776
IDBENCH=82594
IDSOLVER=1586
FILE ID=node133/3173776-1304031181
RUNJOBID= node133-1304028687-26367
PBS_JOBID= 13170319
Free space on /tmp= 71888 MiB

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

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

MD5SUM BENCH= d893b9743a6b7d8026df42df0d29d561
RANDOM SEED=1244507841

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30129528 kB
Buffers:        659200 kB
Cached:         477792 kB
SwapCached:        124 kB
Active:        1796376 kB
Inactive:       679108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30129528 kB
SwapTotal:    67111528 kB
SwapFree:     67111344 kB
Dirty:            7420 kB
Writeback:           0 kB
AnonPages:     1337936 kB
Mapped:          15516 kB
Slab:           279716 kB
PageTables:       7596 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1710948 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71880 MiB
End job on node133 at 2011-04-29 01:13:06