Trace number 3366185

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.3 1204

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.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-3366185-1305398271.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.03/0.09	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.03/0.09	c -- vars added      25000
0.03/0.22	c Parsing time:  0.06 s
0.03/0.22	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.03/0.22	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.03/0.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.03
0.84/0.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.84/0.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.84/0.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.84/0.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
0.84/0.31	c Removed useless bin:       0  fixed:     0  props:   0.25M  time:  0.01 s
3.83/1.03	c lits-rem:         0  cl-subs:        0  v-elim:    608  v-fix:    0  time:  0.16 s
3.83/1.03	c Finding binary XORs  T:     0.01 s  found:       0
3.83/1.03	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
3.83/1.03	c calculated reachability. Time: 0.00
3.83/1.03	c Calc default polars -  time:   0.01 s pos:   11052 undec:    2814 neg:   11134
3.83/1.03	c =========================================================================================
3.83/1.03	c types(t): F = full restart, N = normal restart
3.83/1.03	c types(t): S = simplification begin/end, E = solution found
3.83/1.03	c restart types(rt): st = static, dy = dynamic
3.83/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.83/1.03	c  B st     0         0     24392    104392         0         0    316990         0   no data   no data
7.54/1.95	c  N dy    20      4178     24392    104392         0      4178    316990   1019858    140.81    149.24
13.13/3.34	c  N dy    47      8210     24392    104392         0      8210    316990   1886337    140.76    151.33
18.71/4.77	c  N dy    74     12273     24392    104392         0     12273    316990   2767185    140.88    170.57
24.68/6.27	c  N dy   102     16436     24392    104392         0     16436    316990   3700324    141.50    152.10
30.67/7.80	c  N dy   129     20485     24392    104392         0     10489    316990    696507    141.31    148.83
36.65/9.25	c  N dy   156     24528     24392    104392         0     14531    316990   1571980    141.32    152.94
37.50/9.42	c  F st   160     25000     24392    104392         0     15003    316990   1672946    141.38   no data
45.43/11.42	c  N dy   166     30002     24392    104392         0     20005    316990   3262975    141.38   no data
45.43/11.42	c  S st   166     30002     24392    104392         0     20005    316990   3262975    141.38   no data
46.27/11.61	c  S st   166     30504     24392    104392         0     20507    316990   3341179    141.38   no data
46.27/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.27/11.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
46.61/11.73	c blocked clauses removed:      502 vars:     80 tried:       24392 T: 0.01 s
46.61/11.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.61/11.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
46.61/11.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24312 time:  0.01 s
46.61/11.76	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.01/11.86	c lits-rem:         0  cl-subs:        0  v-elim:     14  v-fix:    0  time:  0.10 s
48.22/12.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
51.80/13.01	c lits-rem:         4  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.83 s
52.20/13.13	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.12
52.20/13.14	c calculated reachability. Time: 0.00
52.20/13.14	c  N dy   166     30504     24298    103878         0     20194    315530   3134922    141.38   no data
59.03/14.86	c  N dy   188     34932     24298    103878         0     24622    315530   4105637    141.28    150.76
65.75/16.59	c  N dy   217     39172     24298    103878         0     28862    315530   5025063    141.10    151.21
72.59/18.24	c  N dy   249     43230     24298    103878         0     17575    315530   1191850    141.57    151.88
76.57/19.22	c  S st   267     45757     24298    103878         0     20102    315530   1760243    141.58   no data
77.31/19.42	c  S st   267     46259     24298    103878         0     20604    315530   1840245    141.58   no data
77.31/19.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.31/19.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
77.71/19.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.71/19.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
77.71/19.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.71/19.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
77.71/19.56	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.12/19.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
78.52/19.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.72/20.04	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
79.72/20.06	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
79.72/20.09	c vivif2 --  cl tried    20604 cl shrink        0 lits rem          0 time: 0.03
80.52/20.22	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.13
80.52/20.22	c calculated reachability. Time: 0.00
80.52/20.22	c  N dy   267     46259     24298    103878         0     20604    315530   1840243    141.58   no data
86.48/21.75	c  N dy   295     50270     24298    103878         0     24615    315530   2697982    141.38    151.43
92.87/23.38	c  N dy   323     54322     24298    103878         0     28667    315530   3607608    141.31    149.88
99.65/25.07	c  N dy   350     58522     24298    103878         0     32867    315530   4525205    141.34    155.74
106.83/26.81	c  N dy   381     62692     24298    103878         0     37036    315530   5442114    141.56    151.29
113.20/28.41	c  N dy   410     66753     24298    103878         0     22421    315530   1497378    141.65    158.87
117.19/29.46	c  S st   431     69392     24298    103878         0     25060    315530   2124650    141.91   no data
117.99/29.67	c  S st   431     69895     24298    103878         0     25563    315530   2217156    141.91   no data
117.99/29.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
118.39/29.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
118.39/29.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.39/29.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
118.78/29.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.78/29.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
118.78/29.81	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
119.19/29.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
119.59/30.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.17/30.45	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.39 s
121.17/30.46	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
121.57/30.50	c vivif2 --  cl tried    25560 cl shrink        0 lits rem          0 time: 0.04
121.97/30.63	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.13
121.97/30.64	c calculated reachability. Time: 0.00
121.97/30.64	c  N dy   431     69895     24298    103878         0     25560    315530   2214639    141.91   no data
129.20/32.43	c  N dy   465     74365     24298    103878         0     30030    315530   3244519    142.41    153.57
137.13/34.50	c  N dy   501     79303     24298    103878         0     34968    315530   4379469    142.66    150.31
145.51/36.59	c  N dy   533     84409     24298    103878         0     40074    315530   5483135    142.48    150.62
150.69/37.88	c  F st   553     87500     24298    103878         0     22332    315530    988372    142.46   no data
156.26/39.24	c  N st   558     90798     24298    103878         0     25630    315530   1889379    142.46   no data
165.83/41.69	c  N dy   589     96817     24298    103878         0     31649    315530   3338099    142.66    152.89
176.61/44.35	c  N dy   633    103185     24298    103878         0     38016    315530   4766439    142.67    158.77
179.39/45.03	c  S st   641    104842     24298    103878         0     39673    315530   5131607    142.49   no data
180.19/45.25	c  S st   641    105342     24298    103878         0     40173    315530   5223693    142.49   no data
180.19/45.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
180.59/45.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
180.59/45.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
180.59/45.39	c bin-w-bin subsume rem            0 bins  time:  0.01 s
180.59/45.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
180.99/45.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
180.99/45.41	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
181.39/45.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
182.57/45.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
188.96/47.46	c lits-rem:        10  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.58 s
188.96/47.47	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
189.36/47.55	c vivif2 --  cl tried    40168 cl shrink        0 lits rem          0 time: 0.08
190.16/47.71	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.16
190.16/47.72	c calculated reachability. Time: 0.00
190.16/47.72	c  N dy   641    105342     24298    103878         0     40168    315530   5219456    142.49   no data
202.12/50.75	c  N dy   691    112180     24298    103878         0     24590    315530   1105402    142.76    150.87
214.08/53.74	c  N dy   735    119537     24298    103878         0     31947    315530   2751198    142.67    151.24
226.84/56.98	c  N dy   783    127295     24298    103878         0     39705    315530   4460463    142.55    156.74
241.59/60.61	c  N dy   842    135512     24298    103878         0     24212    315530    680128    142.76    188.50
255.55/64.16	c  N dy   902    144259     24298    103878         0     32957    315530   2639972    142.88    154.77
271.49/68.10	c  N dy   966    153544     24298    103878         0     42241    315530   4702634    142.82    150.79
279.06/70.08	c  S st   998    158013     24298    103878         0     46709    315530   5724271    142.92   no data
280.26/70.32	c  S st   998    158518     24298    103878         0     47214    315530   5819682    142.92   no data
280.26/70.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
280.66/70.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
280.66/70.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.66/70.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
280.66/70.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
280.66/70.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
280.66/70.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
281.46/70.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
282.70/70.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
291.47/73.15	c lits-rem:         2  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.18 s
291.47/73.17	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
291.87/73.26	c vivif2 --  cl tried    47209 cl shrink        0 lits rem          0 time: 0.09
292.62/73.43	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
292.62/73.44	c calculated reachability. Time: 0.00
292.62/73.44	c  N dy   998    158518     24298    103878         0     47209    315530   5818557    142.92   no data
310.16/77.83	c  N dy  1070    168822     24298    103878         0     32662    315530   2306566    143.14    153.05
328.91/82.51	c  N dy  1145    179681     24298    103878         0     43521    315530   4745649    143.15    155.32
348.90/87.53	c  N dy  1221    191207     24298    103878         0     29119    315530   1249540    143.09    152.72
369.98/92.84	c  N dy  1308    203614     24298    103878         0     41526    315530   4126766    143.42    164.05
393.90/98.81	c  N dy  1399    216726     24298    103878         0     27676    315530    659113    143.52    152.28
417.42/104.72	c  N dy  1493    230626     24298    103878         0     41576    315530   3774551    143.61    154.77
430.19/107.93	c  S st  1543    237778     24298    103878         0     48728    315530   5398552    143.67   no data
430.99/108.17	c  S st  1543    238284     24298    103878         0     49234    315530   5486330    143.67   no data
430.99/108.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
431.39/108.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
431.39/108.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.39/108.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
431.83/108.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
431.83/108.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
431.83/108.34	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
432.23/108.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
433.38/108.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
442.54/111.00	c lits-rem:         3  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.23 s
442.54/111.01	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
442.94/111.10	c vivif2 --  cl tried    49231 cl shrink        0 lits rem          0 time: 0.09
443.34/111.27	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
443.34/111.28	c calculated reachability. Time: 0.00
443.34/111.28	c  N dy  1543    238284     24298    103878         0     49231    315530   5485005    143.67   no data
470.05/117.98	c  N dy  1642    253622     24298    103878         0     36589    315530   2428542    143.66    153.58
499.56/125.36	c  N dy  1753    270245     24298    103878         0     53211    315530   6180445    143.72    152.50
530.67/133.10	c  N dy  1874    287561     24298    103878         0     41540    315530   3264194    143.85    155.14
563.81/141.45	c  N dy  1994    305986     24298    103878         0     59964    315530   7433799    143.81    222.84
564.55/141.60	c  F st  1996    306250     24298    103878         0     30230    315530    517276    143.80   no data
599.24/150.32	c  N dy  2100    325660     24298    103878         0     49639    315530   5437962    143.87    159.97
635.52/159.46	c  N dy  2236    345908     24298    103878         0     38893    315530   2225247    143.93    155.59
656.66/164.70	c  S st  2322    357428     24298    103878         0     50412    315530   4853389    144.03   no data
657.45/164.94	c  S st  2322    357930     24298    103878         0     50914    315530   4935503    144.03   no data
657.45/164.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
657.85/165.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
657.85/165.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
657.85/165.09	c bin-w-bin subsume rem            0 bins  time:  0.01 s
657.85/165.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
658.25/165.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
658.25/165.11	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
658.65/165.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
659.45/165.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
667.82/167.58	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.08 s
667.82/167.60	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
668.23/167.68	c vivif2 --  cl tried    50911 cl shrink        0 lits rem          0 time: 0.08
669.07/167.85	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
669.07/167.86	c calculated reachability. Time: 0.00
669.07/167.86	c  N dy  2322    357930     24298    103878         0     50911    315530   4934824    144.03   no data
706.10/177.18	c  N dy  2463    377960     24298    103878         0     38938    315530   2032453    144.21    168.52
743.23/186.42	c  N dy  2594    398085     24298    103878         0     59062    315530   6572299    144.13    152.79
779.47/195.52	c  N dy  2734    418093     24298    103878         0     46074    315530   3431755    144.25    152.55
816.95/204.98	c  N dy  2870    438181     24298    103878         0     66162    315530   7964568    144.25    152.45
853.28/214.02	c  N dy  3007    458188     24298    103878         0     52171    315530   4608851    144.36    155.51
891.11/223.56	c  N dy  3140    478231     24298    103878         0     37215    315530    981158    144.36    153.06
927.85/232.75	c  N dy  3278    498426     24298    103878         0     57409    315530   5666683    144.57    153.47
965.67/242.25	c  N dy  3410    518473     24298    103878         0     41452    315530   1674358    144.59    153.67
999.56/250.76	c  S st  3537    536896     24298    103878         0     59875    315530   5858063    144.66   no data
1000.76/251.02	c  S st  3537    537401     24298    103878         0     60380    315530   5939508    144.66   no data
1000.76/251.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1001.16/251.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
1001.16/251.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1001.16/251.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1001.16/251.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1001.16/251.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1001.16/251.20	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1002.00/251.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
1003.15/251.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1014.72/254.59	c lits-rem:         1  cl-subs:        9  v-elim:      0  v-fix:    0  time:  2.93 s
1014.72/254.61	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
1015.16/254.70	c vivif2 --  cl tried    60371 cl shrink        0 lits rem          0 time: 0.10
1015.91/254.89	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.19
1016.31/254.90	c calculated reachability. Time: 0.00
1016.31/254.90	c  N dy  3537    537401     24298    103878         0     60371    315530   5936473    144.66   no data
1054.63/264.60	c  N dy  3685    557482     24298    103878         0     43452    315530   1952223    144.74    158.44
1092.07/273.99	c  N dy  3825    577732     24298    103878         0     63700    315530   6524714    144.72    161.04
1131.14/283.73	c  N dy  3963    597781     24298    103878         0     45755    315530   2246457    144.78    158.68
1168.67/293.12	c  N dy  4093    617833     24298    103878         0     65805    315530   6794776    144.80    156.94
1206.90/302.77	c  N dy  4221    637842     24298    103878         0     46816    315530   2257361    144.80    164.17
1244.78/312.26	c  N dy  4358    657935     24298    103878         0     66906    315530   6860578    144.85    158.77
1284.24/322.18	c  N dy  4504    678016     24298    103878         0     46984    315530   2103853    144.95    156.92
1323.33/331.97	c  N dy  4635    698135     24298    103878         0     67102    315530   6645017    144.92    152.92
1363.59/342.04	c  N dy  4771    718224     24298    103878         0     46197    315530   1621231    144.95    153.92
1401.87/351.60	c  N dy  4916    738293     24298    103878         0     66264    315530   6168179    144.98    157.82
1442.14/361.78	c  N dy  5055    758342     24298    103878         0     44318    315530   1019625    144.98    159.27
1479.63/371.17	c  N dy  5184    778387     24298    103878         0     64362    315530   5643093    144.98    174.53
1520.68/381.47	c  N dy  5324    798447     24298    103878         0     84420    315530  10228493    145.06    152.77
1535.04/385.07	c  S st  5377    806101     24298    103878         0     49077    315530   1891251    145.05   no data
1536.24/385.31	c  S st  5377    806603     24298    103878         0     49579    315530   1975048    145.05   no data
1536.24/385.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1536.64/385.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1536.64/385.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1536.64/385.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1536.64/385.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1536.64/385.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
1536.64/385.48	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1537.08/385.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1537.48/385.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1540.62/386.42	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.72 s
1540.62/386.44	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
1540.62/386.47	c vivif2 --  cl tried    49576 cl shrink        0 lits rem          0 time: 0.03
1541.47/386.64	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.17
1541.47/386.65	c calculated reachability. Time: 0.00
1541.47/386.65	c  N dy  5377    806603     24298    103878         0     49576    315530   1973301    145.05   no data
1580.10/396.39	c  N dy  5514    826604     24298    103878         0     69574    315530   6571694    145.12    153.76
1621.96/406.82	c  N dy  5658    846625     24298    103878         0     45592    315530    840420    145.18    156.09
1659.89/416.40	c  N dy  5789    866652     24298    103878         0     65618    315530   5412385    145.20    159.01
1701.30/426.78	c  N dy  5926    886675     24298    103878         0     85637    315530  10046555    145.26    172.97
1740.38/436.55	c  N dy  6059    906916     24298    103878         0     60877    315530   4101791    145.28    155.85
1780.65/446.69	c  N dy  6201    926924     24298    103878         0     80884    315530   8627157    145.30    155.06
1821.32/456.85	c  N dy  6334    947035     24298    103878         0     55001    315530   2576891    145.33    153.82
1861.19/466.82	c  N dy  6472    967250     24298    103878         0     75214    315530   7192629    145.34    154.53
1903.86/477.57	c  N dy  6607    987399     24298    103878         0     48367    315530    801942    145.36    153.85
1942.13/487.18	c  N dy  6744   1007430     24298    103878         0     68395    315530   5384090    145.39    166.48
1983.59/497.54	c  N dy  6873   1027475     24298    103878         0     88439    315530   9917555    145.37    156.86
2023.91/507.65	c  N dy  7009   1047588     24298    103878         0     60562    315530   3342910    145.38    155.09
2064.53/517.82	c  N dy  7146   1067669     24298    103878         0     80641    315530   7882787    145.38    153.94
2072.91/519.99	c  F st  7173   1071875     24298    103878         0     84847    315530   8818490    145.38   no data
2106.80/528.48	c  N dy  7257   1087698     24298    103878         0     51670    315530   1127207    145.43    155.46
2145.87/538.21	c  N dy  7388   1107805     24298    103878         0     71771    315530   5655166    145.42    154.28
2188.14/548.85	c  N dy  7526   1127870     24298    103878         0     91834    315530  10242151    145.42    153.47
2229.61/559.20	c  N dy  7667   1148028     24298    103878         0     62004    315530   3292397    145.47    154.06
2270.26/569.46	c  N dy  7808   1168096     24298    103878         0     82072    315530   7893347    145.49    189.02
2315.32/580.75	c  N dy  7953   1188200     24298    103878         0     51174    315530    539058    145.57    155.05
2355.20/590.70	c  N dy  8098   1208271     24298    103878         0     71244    315530   5134441    145.60    157.70
2358.78/591.62	c  S st  8110   1209904     24298    103878         0     72877    315530   5505957    145.60   no data
2359.99/591.91	c  S st  8110   1210406     24298    103878         0     73379    315530   5593935    145.60   no data
2359.99/591.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2360.39/592.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2360.39/592.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2360.39/592.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2360.39/592.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2360.39/592.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
2360.79/592.10	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2361.19/592.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2362.37/592.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2374.78/595.70	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.14 s
2374.78/595.71	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
2375.52/595.81	c vivif2 --  cl tried    73375 cl shrink        0 lits rem          0 time: 0.09
2376.32/596.02	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.21
2376.32/596.03	c calculated reachability. Time: 0.00
2376.32/596.03	c  N dy  8110   1210406     24298    103878         0     73375    315530   5592653    145.60   no data
2419.04/606.74	c  N dy  8244   1230483     24298    103878         0     93451    315530  10154631    145.60    162.78
2460.87/617.21	c  N dy  8383   1250549     24298    103878         0     61514    315530   2680176    145.62    177.35
2501.98/627.53	c  N dy  8521   1270794     24298    103878         0     81756    315530   7330413    145.63    157.01
2545.84/638.58	c  N dy  8658   1290936     24298    103878         0    101898    315530  11882705    145.62    153.99
2586.46/648.70	c  N dy  8792   1311143     24298    103878         0     69105    315530   4175024    145.62    154.64
2628.33/659.29	c  N dy  8923   1331268     24298    103878         0     89230    315530   8841739    145.62    154.76
2674.17/670.71	c  N dy  9060   1351369     24298    103878         0     55331    315530    834987    145.66    157.76
2714.04/680.73	c  N dy  9200   1371420     24298    103878         0     75382    315530   5429367    145.67    156.56
2757.10/691.51	c  N dy  9332   1391544     24298    103878         0     95505    315530  10028021    145.66    154.93
2800.96/702.55	c  N dy  9476   1411629     24298    103878         0     60587    315530   1791853    145.69    161.64
2841.63/712.73	c  N dy  9611   1431819     24298    103878         0     80776    315530   6395341    145.69    160.58
2885.49/723.73	c  N dy  9748   1451853     24298    103878         0    100809    315530  10949716    145.71    154.44
2928.55/734.59	c  N dy  9887   1471882     24298    103878         0     64846    315530   2566054    145.74    157.49
2970.02/744.95	c  N dy 10027   1491897     24298    103878         0     84859    315530   7178028    145.77    182.66
3014.69/756.19	c  N dy 10164   1511994     24298    103878         0    104952    315530  11824307    145.81    190.98
3058.15/767.05	c  N dy 10317   1532078     24298    103878         0     68041    315530   3123706    145.89    154.15
3099.61/777.48	c  N dy 10451   1552166     24298    103878         0     88129    315530   7754890    145.89    174.56
3145.06/788.89	c  N dy 10586   1572261     24298    103878         0    108223    315530  12328134    145.89    154.71
3188.12/799.64	c  N dy 10727   1592410     24298    103878         0     70376    315530   3403115    145.90    157.25
3230.44/810.27	c  N dy 10857   1612586     24298    103878         0     90552    315530   7991905    145.89    155.77
3276.24/821.79	c  N dy 10998   1632639     24298    103878         0    110603    315530  12595365    145.94    208.24
3319.30/832.56	c  N dy 11134   1652883     24298    103878         0     71851    315530   3474289    145.94    153.72
3361.61/843.19	c  N dy 11268   1672917     24298    103878         0     91885    315530   7979928    145.94    159.53
3408.21/854.84	c  N dy 11405   1692949     24298    103878         0    111917    315530  12591943    145.96    156.55
3446.08/864.30	c  S st 11514   1710406     24298    103878         0     69378    315530   2631518    145.93   no data
3446.88/864.57	c  S st 11514   1710909     24298    103878         0     69881    315530   2707141    145.93   no data
3446.88/864.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3447.28/864.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
3447.68/864.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3447.68/864.73	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3447.68/864.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3447.68/864.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
3447.68/864.76	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3448.08/864.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3448.89/865.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3455.66/866.79	c lits-rem:         1  cl-subs:        2  v-elim:      0  v-fix:    0  time:  1.73 s
3456.06/866.81	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.01
3456.06/866.86	c vivif2 --  cl tried    69879 cl shrink        0 lits rem          0 time: 0.05
3456.86/867.05	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.20
3456.86/867.06	c calculated reachability. Time: 0.00
3456.86/867.06	c  N dy 11514   1710909     24298    103878         0     69879    315530   2706741    145.93   no data
3499.12/877.67	c  N dy 11651   1730915     24298    103878         0     89885    315530   7362379    145.97    153.89
3545.38/889.26	c  N dy 11785   1751074     24298    103878         0    110044    315530  11984861    145.96    155.40
3591.21/900.70	c  N dy 11926   1771395     24298    103878         0     69364    315530   2501836    145.98    155.30
3633.53/911.40	c  N dy 12069   1791591     24298    103878         0     89555    315530   7194650    146.02    155.38
3679.74/922.90	c  N dy 12199   1811616     24298    103878         0    109580    315530  11732848    146.01    158.42
3726.03/934.54	c  N dy 12333   1831878     24298    103878         0     67847    315530   1938491    146.00    154.05
3768.65/945.22	c  N dy 12478   1852037     24298    103878         0     88006    315530   6649319    146.02    154.07
3815.30/956.97	c  N dy 12622   1872223     24298    103878         0    108190    315530  11297693    146.06    154.85
3863.94/969.12	c  N dy 12756   1892388     24298    103878         0     65355    315530   1118433    146.07    154.25
3905.01/979.43	c  N dy 12898   1912489     24298    103878         0     85455    315530   5700077    146.09    158.20
3949.32/990.57	c  N dy 13019   1932561     24298    103878         0    105526    315530  10299972    146.06    164.73
3997.56/1002.70	c  N dy 13158   1952570     24298    103878         0    125535    315530  14898878    146.09    157.41
4039.77/1013.25	c  N dy 13294   1972701     24298    103878         0     81662    315530   4576048    146.09    165.60
4083.64/1024.24	c  N dy 13435   1992752     24298    103878         0    101711    315530   9168626    146.10    153.88
4131.07/1036.19	c  N dy 13566   2012927     24298    103878         0    121883    315530  13776885    146.09    156.46
4175.73/1047.39	c  N dy 13698   2032951     24298    103878         0     76908    315530   3327731    146.10    154.29
4219.60/1058.30	c  N dy 13847   2052996     24298    103878         0     96951    315530   7961941    146.13    155.52
4267.04/1070.21	c  N dy 13987   2073141     24298    103878         0    117095    315530  12625779    146.15    155.04
4314.88/1082.22	c  N dy 14127   2093218     24298    103878         0     71177    315530   1783396    146.18    156.85
4357.19/1092.83	c  N dy 14264   2113287     24298    103878         0     91246    315530   6403694    146.18    165.45
4403.01/1104.34	c  N dy 14396   2133295     24298    103878         0    111253    315530  11010567    146.19    154.00
4452.45/1116.72	c  N dy 14536   2153386     24298    103878         0    131344    315530  15671479    146.22    155.61
4495.51/1127.58	c  N dy 14677   2173539     24298    103878         0     84499    315530   4599439    146.22    154.29
4540.16/1138.78	c  N dy 14811   2193587     24298    103878         0    104547    315530   9227696    146.23    154.05
4583.22/1149.55	c  S st 14929   2210909     24298    103878         0    121867    315530  13154304    146.23   no data
4584.82/1149.91	c  S st 14929   2211416     24298    103878         0    122374    315530  13238599    146.23   no data
4584.82/1149.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4585.27/1150.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.15
4585.67/1150.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4585.67/1150.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4585.67/1150.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4585.67/1150.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24298 time:  0.01 s
4585.67/1150.16	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4586.41/1150.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4590.06/1151.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4619.51/1158.60	c lits-rem:         5  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.35 s
4619.51/1158.61	c vivif2 --  cl tried   103878 cl shrink        0 lits rem          0 time: 0.02
4620.35/1158.86	c vivif2 --  cl tried   122365 cl shrink        0 lits rem          0 time: 0.24
4621.50/1159.18	c asymm  cl-useful: 0/103878/103878 lits-rem:0 time: 0.32
4621.50/1159.19	c calculated reachability. Time: 0.00
4621.50/1159.19	c  N dy 14929   2211416     24298    103878         0    122365    315530  13235830    146.23   no data
4669.34/1171.12	c  N dy 15060   2231546     24298    103878         0     74503    315530   2072509    146.22    154.33
4712.01/1181.82	c  N dy 15202   2251552     24298    103878         0     94509    315530   6655676    146.24    182.75
4759.06/1193.62	c  N dy 15351   2271632     24298    103878         0    114589    315530  11264656    146.26    163.83

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-3366185-1305398271/watcher-3366185-1305398271 -o /tmp/evaluation-result-3366185-1305398271/solver-3366185-1305398271 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366185-1305398271.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: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=51168 CPUtime=0.03 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 407 0 0 0 3 0 0 0 25 0 4 0 651425806 52396032 347 33554432000 4194304 4580107 140735780602832 18446744073709551615 47203735078828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 12792 347 299 95 0 7774 0
[pid=27867/tid=27868] ppid=27865 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 4 0 651425806 52396032 347 33554432000 4194304 4580107 140735780602832 18446744073709551615 47203735078834 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651425806 52396032 347 33554432000 4194304 4580107 140735780602832 18446744073709551615 251814296561 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651425806 52396032 347 33554432000 4194304 4580107 140735780602832 18446744073709551615 47203735078834 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0153181 s]
/proc/loadavg: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=248748 CPUtime=0.03 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) S 27865 27867 27826 0 -1 4202496 1546 0 0 0 3 0 0 0 25 0 4 0 651425806 254717952 1464 33554432000 4194304 4580107 140735780602832 18446744073709551615 251814345198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 62187 1478 333 95 0 57169 0
[pid=27867/tid=27868] ppid=27865 vsize=248748 CPUtime=0.01 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) D 27865 27867 27826 0 -1 4202560 301 0 0 0 1 0 0 0 25 0 4 0 651425806 254717952 1478 33554432000 4194304 4580107 140735780602832 18446744073709551615 251814283447 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=248748 CPUtime=0 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 280 0 0 0 0 0 0 0 25 0 4 0 651425806 254717952 1478 33554432000 4194304 4580107 140735780602832 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=248748 CPUtime=0.01 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) D 27865 27867 27826 0 -1 4202560 296 0 0 0 1 0 0 0 25 0 4 0 651425806 254717952 1478 33554432000 4194304 4580107 140735780602832 18446744073709551615 4307656 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 248748

[startup+0.219886 s]
/proc/loadavg: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=316552 CPUtime=0.84 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 18654 0 0 0 81 3 0 0 18 0 4 0 651425806 324149248 16580 33554432000 4194304 4580107 140735780602832 18446744073709551615 251814283447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 79261 16971 363 95 0 74243 0
[pid=27867/tid=27868] ppid=27865 vsize=318600 CPUtime=0.21 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) D 27865 27867 27826 0 -1 4202560 5067 0 0 0 21 0 0 0 18 0 4 0 651425806 326246400 18085 33554432000 4194304 4580107 140735780602832 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=320448 CPUtime=0.21 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) D 27865 27867 27826 0 -1 4202560 5750 0 0 0 21 0 0 0 18 0 4 0 651425806 328138752 20152 33554432000 4194304 4580107 140735780602832 18446744073709551615 251813900997 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=325440 CPUtime=0.24 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 4580 0 0 0 24 0 0 0 18 0 4 0 651425806 333250560 21937 33554432000 4194304 4580107 140735780602832 18446744073709551615 4301894 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.84
Current children cumulated vsize (KiB) 316552

[startup+0.39715 s]
/proc/loadavg: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=335412 CPUtime=3.43 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 37398 0 0 0 337 6 0 0 18 0 4 0 651425806 343461888 27130 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 83853 27130 377 95 0 78835 0
[pid=27867/tid=27868] ppid=27865 vsize=335412 CPUtime=0.86 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 10971 0 0 0 84 2 0 0 18 0 4 0 651425806 343461888 27131 33554432000 4194304 4580107 140735780602832 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=335412 CPUtime=0.83 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 9979 0 0 0 83 0 0 0 19 0 4 0 651425806 343461888 27131 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=335412 CPUtime=0.86 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 5104 0 0 0 85 1 0 0 19 0 4 0 651425806 343461888 27131 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 335412

[startup+0.970146 s]
/proc/loadavg: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=335412 CPUtime=3.83 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 37741 0 0 0 377 6 0 0 18 0 4 0 651425806 343461888 27473 33554432000 4194304 4580107 140735780602832 18446744073709551615 4321650 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 83853 27473 377 95 0 78835 0
[pid=27867/tid=27868] ppid=27865 vsize=335412 CPUtime=0.96 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 11055 0 0 0 94 2 0 0 18 0 4 0 651425806 343461888 27473 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294316 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=335412 CPUtime=0.93 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 10088 0 0 0 93 0 0 0 19 0 4 0 651425806 343461888 27473 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=335412 CPUtime=0.96 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 5159 0 0 0 95 1 0 0 19 0 4 0 651425806 343461888 27473 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 335412

[startup+1.50106 s]
/proc/loadavg: 6.86 7.82 7.85 6/388 27867
/proc/meminfo: memFree=27033980/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=335412 CPUtime=5.96 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 39330 0 0 0 589 7 0 0 19 0 4 0 651425806 343461888 29062 33554432000 4194304 4580107 140735780602832 18446744073709551615 4321131 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 83853 29062 377 95 0 78835 0
[pid=27867/tid=27868] ppid=27865 vsize=335412 CPUtime=1.49 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 11477 0 0 0 147 2 0 0 19 0 4 0 651425806 343461888 29062 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=335412 CPUtime=1.47 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 10514 0 0 0 146 1 0 0 20 0 4 0 651425806 343461888 29062 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=335412 CPUtime=1.49 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 5504 0 0 0 148 1 0 0 20 0 4 0 651425806 343461888 29062 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 335412

[startup+3.10079 s]
/proc/loadavg: 7.03 7.84 7.86 9/392 27871
/proc/meminfo: memFree=26866340/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=466676 CPUtime=12.33 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 43945 0 0 0 1225 8 0 0 24 0 4 0 651425806 477876224 33677 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 116669 33677 377 95 0 111651 0
[pid=27867/tid=27868] ppid=27865 vsize=466676 CPUtime=3.08 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 12620 0 0 0 306 2 0 0 23 0 4 0 651425806 477876224 33677 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=466676 CPUtime=3.04 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 11525 0 0 0 303 1 0 0 25 0 4 0 651425806 477876224 33677 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=466676 CPUtime=3.09 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 6894 0 0 0 308 1 0 0 25 0 4 0 651425806 477876224 33677 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 466676

[startup+6.30026 s]
/proc/loadavg: 7.11 7.84 7.86 9/392 27871
/proc/meminfo: memFree=26781952/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=466676 CPUtime=25.08 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 52221 0 0 0 2498 10 0 0 25 0 4 0 651425806 477876224 41953 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 116669 41953 377 95 0 111651 0
[pid=27867/tid=27868] ppid=27865 vsize=466676 CPUtime=6.28 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 14782 0 0 0 626 2 0 0 25 0 4 0 651425806 477876224 41953 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=466676 CPUtime=6.2 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 13432 0 0 0 618 2 0 0 25 0 4 0 651425806 477876224 41953 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=466676 CPUtime=6.29 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 8973 0 0 0 627 2 0 0 25 0 4 0 651425806 477876224 41953 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 466676

[startup+12.7152 s]
/proc/loadavg: 7.26 7.86 7.86 9/392 27871
/proc/meminfo: memFree=26672800/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=649820 CPUtime=50.66 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 90786 0 0 0 5047 19 0 0 25 0 4 0 651425806 665415680 59250 33554432000 4194304 4580107 140735780602832 18446744073709551615 4451559 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 162455 59250 379 95 0 157437 0
[pid=27867/tid=27868] ppid=27865 vsize=649820 CPUtime=12.7 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 20302 0 0 0 1266 4 0 0 25 0 4 0 651425806 665415680 59250 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=649820 CPUtime=12.54 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 18837 0 0 0 1251 3 0 0 25 0 4 0 651425806 665415680 59250 33554432000 4194304 4580107 140735780602832 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=649820 CPUtime=12.7 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 14540 0 0 0 1267 3 0 0 25 0 4 0 651425806 665415680 59250 33554432000 4194304 4580107 140735780602832 18446744073709551615 4321616 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 649820

[startup+25.501 s]
/proc/loadavg: 7.45 7.88 7.87 9/392 27871
/proc/meminfo: memFree=26469096/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=680840 CPUtime=101.65 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 168593 0 0 0 10130 35 0 0 25 0 4 0 651425806 697180160 100580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 170210 100580 379 95 0 165192 0
[pid=27867/tid=27868] ppid=27865 vsize=680840 CPUtime=25.48 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 52412 0 0 0 2538 10 0 0 25 0 4 0 651425806 697180160 100580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=680840 CPUtime=25.16 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 33436 0 0 0 2511 5 0 0 25 0 4 0 651425806 697180160 100580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=680840 CPUtime=25.49 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 35121 0 0 0 2541 8 0 0 25 0 4 0 651425806 697180160 100580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 680840

[startup+51.1007 s]
/proc/loadavg: 7.66 7.89 7.87 9/392 27872
/proc/meminfo: memFree=26261052/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=841268 CPUtime=203.76 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 261372 0 0 0 20313 63 0 0 25 0 4 0 651425806 861458432 140987 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 210317 140987 379 95 0 205299 0
[pid=27867/tid=27868] ppid=27865 vsize=841268 CPUtime=51.1 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 68340 0 0 0 5095 15 0 0 25 0 4 0 651425806 861458432 140987 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=841268 CPUtime=50.44 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 53708 0 0 0 5033 11 0 0 25 0 4 0 651425806 861458432 140987 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=841268 CPUtime=51.09 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 62857 0 0 0 5093 16 0 0 25 0 4 0 651425806 861458432 140987 33554432000 4194304 4580107 140735780602832 18446744073709551615 4507856 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 841268

[startup+102.301 s]
/proc/loadavg: 7.90 7.92 7.88 9/392 27873
/proc/meminfo: memFree=26101412/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=965468 CPUtime=407.86 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 363697 0 0 0 40690 96 0 0 25 0 4 0 651425806 988639232 162167 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 241367 162167 379 95 0 236349 0
[pid=27867/tid=27868] ppid=27865 vsize=965468 CPUtime=102.28 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 96906 0 0 0 10204 24 0 0 25 0 4 0 651425806 988639232 162167 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=965468 CPUtime=100.98 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 71495 0 0 0 10081 17 0 0 25 0 4 0 651425806 988639232 162167 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=965468 CPUtime=102.29 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 87306 0 0 0 10204 25 0 0 25 0 4 0 651425806 988639232 162167 33554432000 4194304 4580107 140735780602832 18446744073709551615 4302554 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.86
Current children cumulated vsize (KiB) 965468

[startup+162.315 s]

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

[pid=27867] ppid=27865 vsize=1476172 CPUtime=2800.22 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1467767 0 0 0 279547 475 0 0 25 0 4 0 651425806 1511600128 281965 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 369043 281965 379 95 0 364025 0
[pid=27867/tid=27868] ppid=27865 vsize=1476172 CPUtime=702.28 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 386913 0 0 0 70105 123 0 0 25 0 4 0 651425806 1511600128 281965 33554432000 4194304 4580107 140735780602832 18446744073709551615 4321452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1476172 CPUtime=693.35 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 314219 0 0 0 69238 97 0 0 25 0 4 0 651425806 1511600128 281965 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1476172 CPUtime=702.28 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 392112 0 0 0 70098 130 0 0 25 0 4 0 651425806 1511600128 281965 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.22
Current children cumulated vsize (KiB) 1476172

[startup+762.3 s]
/proc/loadavg: 8.17 8.10 7.99 9/392 27891
/proc/meminfo: memFree=25449720/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1419124 CPUtime=3039.4 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1564555 0 0 0 303429 511 0 0 25 0 4 0 651425806 1453182976 278291 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 354781 278291 379 95 0 349763 0
[pid=27867/tid=27868] ppid=27865 vsize=1419124 CPUtime=762.26 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 411461 0 0 0 76096 130 0 0 25 0 4 0 651425806 1453182976 278291 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1419124 CPUtime=752.58 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 335293 0 0 0 75153 105 0 0 25 0 4 0 651425806 1453182976 278291 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1419124 CPUtime=762.26 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 416520 0 0 0 76088 138 0 0 25 0 4 0 651425806 1453182976 278291 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3039.4
Current children cumulated vsize (KiB) 1419124

[startup+822.314 s]
/proc/loadavg: 8.11 8.09 7.99 9/392 27893
/proc/meminfo: memFree=25370204/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1485460 CPUtime=3278.68 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1663197 0 0 0 327322 546 0 0 25 0 4 0 651425806 1521111040 295557 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 371365 295557 379 95 0 366347 0
[pid=27867/tid=27868] ppid=27865 vsize=1485460 CPUtime=822.27 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 439227 0 0 0 82088 139 0 0 25 0 4 0 651425806 1521111040 295557 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1485460 CPUtime=811.82 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 359141 0 0 0 81067 115 0 0 25 0 4 0 651425806 1521111040 295557 33554432000 4194304 4580107 140735780602832 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1485460 CPUtime=822.28 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 440656 0 0 0 82082 146 0 0 25 0 4 0 651425806 1521111040 295557 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3278.68
Current children cumulated vsize (KiB) 1485460

[startup+882.3 s]
/proc/loadavg: 8.09 8.09 8.00 9/392 27894
/proc/meminfo: memFree=25199916/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1544672 CPUtime=3517.86 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1754795 0 0 0 351202 584 0 0 25 0 4 0 651425806 1581744128 311243 33554432000 4194304 4580107 140735780602832 18446744073709551615 4320663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 386168 311244 379 95 0 381150 0
[pid=27867/tid=27868] ppid=27865 vsize=1544672 CPUtime=882.26 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 459925 0 0 0 88078 148 0 0 25 0 4 0 651425806 1581744128 311244 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1544672 CPUtime=871.05 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 379318 0 0 0 86982 123 0 0 25 0 4 0 651425806 1581744128 311244 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1544672 CPUtime=882.26 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 464957 0 0 0 88070 156 0 0 25 0 4 0 651425806 1581744128 311244 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293778 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3517.86
Current children cumulated vsize (KiB) 1544672

[startup+942.301 s]
/proc/loadavg: 8.07 8.08 8.00 9/392 27896
/proc/meminfo: memFree=25292636/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1546036 CPUtime=3757.08 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1849480 0 0 0 375086 622 0 0 25 0 4 0 651425806 1583140864 296480 33554432000 4194304 4580107 140735780602832 18446744073709551615 4295739 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 386509 296480 379 95 0 381491 0
[pid=27867/tid=27868] ppid=27865 vsize=1546036 CPUtime=942.26 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 487305 0 0 0 94068 158 0 0 25 0 4 0 651425806 1583140864 296480 33554432000 4194304 4580107 140735780602832 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1546036 CPUtime=930.27 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 399113 0 0 0 92897 130 0 0 25 0 4 0 651425806 1583140864 296480 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1546036 CPUtime=942.25 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 488947 0 0 0 94059 166 0 0 25 0 4 0 651425806 1583140864 296480 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.08
Current children cumulated vsize (KiB) 1546036

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 8.01 9/392 27897
/proc/meminfo: memFree=25140928/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1568540 CPUtime=3996.32 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 1962758 0 0 0 398974 658 0 0 25 0 4 0 651425806 1606184960 328559 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 392135 328559 379 95 0 387117 0
[pid=27867/tid=27868] ppid=27865 vsize=1568540 CPUtime=1002.26 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 510336 0 0 0 100061 165 0 0 25 0 4 0 651425806 1606184960 328559 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1568540 CPUtime=989.52 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 437182 0 0 0 98814 138 0 0 25 0 4 0 651425806 1606184960 328559 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1568540 CPUtime=1002.26 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 515894 0 0 0 100049 177 0 0 25 0 4 0 651425806 1606184960 328559 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3996.32
Current children cumulated vsize (KiB) 1568540

[startup+1062.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/392 27899
/proc/meminfo: memFree=25090160/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1643012 CPUtime=4235.55 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 2057239 0 0 0 422860 695 0 0 25 0 4 0 651425806 1682444288 332848 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293083 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 410753 332848 379 95 0 405735 0
[pid=27867/tid=27868] ppid=27865 vsize=1643012 CPUtime=1062.25 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 536221 0 0 0 106050 175 0 0 25 0 4 0 651425806 1682444288 332848 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1643012 CPUtime=1048.75 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 460516 0 0 0 104728 147 0 0 25 0 4 0 651425806 1682444288 332848 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1643012 CPUtime=1062.25 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 537681 0 0 0 106039 186 0 0 25 0 4 0 651425806 1682444288 332848 33554432000 4194304 4580107 140735780602832 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4235.55
Current children cumulated vsize (KiB) 1643012

[startup+1122.3 s]
/proc/loadavg: 8.12 8.11 8.02 9/392 27901
/proc/meminfo: memFree=25174816/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1432688 CPUtime=4474.78 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 2155121 0 0 0 446746 732 0 0 25 0 4 0 651425806 1467072512 304791 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 358172 304791 379 95 0 353154 0
[pid=27867/tid=27868] ppid=27865 vsize=1432688 CPUtime=1122.25 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 559555 0 0 0 112041 184 0 0 25 0 4 0 651425806 1467072512 304791 33554432000 4194304 4580107 140735780602832 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1432688 CPUtime=1107.99 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 481550 0 0 0 110643 156 0 0 25 0 4 0 651425806 1467072512 304791 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1432688 CPUtime=1122.24 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 564594 0 0 0 112030 194 0 0 25 0 4 0 651425806 1467072512 304791 33554432000 4194304 4580107 140735780602832 18446744073709551615 4306354 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4474.78
Current children cumulated vsize (KiB) 1432688

[startup+1182.3 s]
/proc/loadavg: 8.08 8.10 8.02 9/392 27902
/proc/meminfo: memFree=24843940/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1887828 CPUtime=4714 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 2323005 0 0 0 470617 783 0 0 25 0 4 0 651425806 1933135872 392139 33554432000 4194304 4580107 140735780602832 18446744073709551615 4295863 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 471957 392139 379 95 0 466939 0
[pid=27867/tid=27868] ppid=27865 vsize=1887828 CPUtime=1182.26 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 614646 0 0 0 118028 198 0 0 25 0 4 0 651425806 1933135872 392139 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1887828 CPUtime=1167.21 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 500196 0 0 0 116555 166 0 0 25 0 4 0 651425806 1933135872 392139 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1887828 CPUtime=1182.25 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 611902 0 0 0 118017 208 0 0 25 0 4 0 651425806 1933135872 392139 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4714
Current children cumulated vsize (KiB) 1887828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.12 8.11 8.02 6/387 27904
/proc/meminfo: memFree=25403700/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1888124 CPUtime=4800.21 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 2356893 0 0 0 479228 793 0 0 25 0 4 0 651425806 1933438976 408580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 472031 408580 379 95 0 467013 0
[pid=27867/tid=27868] ppid=27865 vsize=1888124 CPUtime=1203.88 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 622709 0 0 0 120188 200 0 0 25 0 4 0 651425806 1933438976 408581 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1888124 CPUtime=1188.54 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 508255 0 0 0 118685 169 0 0 25 0 4 0 651425806 1933438976 408582 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1888124 CPUtime=1203.88 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 621591 0 0 0 120177 211 0 0 25 0 4 0 651425806 1933438976 408582 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1888124

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

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

[startup+1203.9 s]
/proc/loadavg: 8.12 8.11 8.02 6/387 27904
/proc/meminfo: memFree=25403700/32950928 swapFree=44388876/67111528
[pid=27867] ppid=27865 vsize=1888124 CPUtime=4800.21 cores=1,3,5,7
/proc/27867/stat : 27867 (strangenight2-m) R 27865 27867 27826 0 -1 4202496 2356893 0 0 0 479228 793 0 0 25 0 4 0 651425806 1933438976 408580 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27867/statm: 472031 408580 379 95 0 467013 0
[pid=27867/tid=27868] ppid=27865 vsize=1888124 CPUtime=1203.88 cores=1,3,5,7
/proc/27867/task/27868/stat : 27868 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 622709 0 0 0 120188 200 0 0 25 0 4 0 651425806 1933438976 408581 33554432000 4194304 4580107 140735780602832 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27867/tid=27869] ppid=27865 vsize=1888124 CPUtime=1188.54 cores=1,3,5,7
/proc/27867/task/27869/stat : 27869 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 508255 0 0 0 118685 169 0 0 25 0 4 0 651425806 1933438976 408582 33554432000 4194304 4580107 140735780602832 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27867/tid=27870] ppid=27865 vsize=1888124 CPUtime=1203.88 cores=1,3,5,7
/proc/27867/task/27870/stat : 27870 (strangenight2-m) R 27865 27867 27826 0 -1 4202560 621591 0 0 0 120177 211 0 0 25 0 4 0 651425806 1933438976 408582 33554432000 4194304 4580107 140735780602832 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 1888124

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204
CPU time (s): 4800.3
CPU user time (s): 4792.31
CPU system time (s): 7.99778
CPU usage (%): 398.697
Max. virtual memory (cumulated for all children) (KiB): 1952708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.31
system time used= 7.99778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2356904
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= 2328
involuntary context switches= 30907

runsolver used 4.29835 second user time and 11.0553 second system time

The end

Launcher Data 

Begin job on node126 at 2011-05-14 20:37:51
IDJOB=3366185
IDBENCH=82594
IDSOLVER=1844
FILE ID=node126/3366185-1305398271
RUNJOBID= node126-1305398271-27845
PBS_JOBID= 13324485
Free space on /tmp= 73316 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
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-3366185-1305398271/watcher-3366185-1305398271 -o /tmp/evaluation-result-3366185-1305398271/solver-3366185-1305398271 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366185-1305398271.cnf

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

MD5SUM BENCH= d893b9743a6b7d8026df42df0d29d561
RANDOM SEED=1754413427

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27034384 kB
Buffers:        254880 kB
Cached:        2442096 kB
SwapCached:      92524 kB
Active:         749560 kB
Inactive:      4914332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27034384 kB
SwapTotal:    67111528 kB
SwapFree:     44388876 kB
Dirty:           13496 kB
Writeback:           8 kB
AnonPages:     2887540 kB
Mapped:          14844 kB
Slab:           109592 kB
PageTables:      75784 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 88172808 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= 73320 MiB
End job on node126 at 2011-05-14 20:57:57