Trace number 3366115

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.34 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf
MD5SUMaeb1e99b5983291023a10a1b4c71c10e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark40.0889
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-3366115-1305395588.cnf'
0.00/0.01	c -- header says num vars:          25000
0.00/0.01	c -- header says num clauses:      105000
0.00/0.21	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.21	c -- vars added      25000
0.00/0.21	c Parsing time:  0.07 s
0.00/0.21	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.00/0.21	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.00/0.21	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.24M  time:  0.01 s
0.84/0.50	c lits-rem:         0  cl-subs:        0  v-elim:    619  v-fix:    0  time:  0.17 s
0.84/0.50	c Finding binary XORs  T:     0.01 s  found:       0
0.84/0.60	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.84/0.60	c calculated reachability. Time: 0.00
0.84/0.60	c Calc default polars -  time:   0.01 s pos:   11331 undec:    2769 neg:   10900
0.84/0.60	c =========================================================================================
0.84/0.60	c types(t): F = full restart, N = normal restart
0.84/0.60	c types(t): S = simplification begin/end, E = solution found
0.84/0.60	c restart types(rt): st = static, dy = dynamic
0.84/0.60	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.84/0.60	c  B st     0         0     24381    104349         0         0    316886         0   no data   no data
7.56/1.95	c  N dy    20      4072     24381    104349         0      4072    316886   1093751    152.36    202.63
13.54/3.41	c  N dy    49      8133     24381    104349         0      8132    316886   2038370    151.35    160.47
19.13/4.84	c  N dy    76     12138     24381    104349         0     12137    316886   2965306    150.48    181.46
24.72/6.28	c  N dy    98     16205     24381    104349         0     16204    316886   3884285    148.58    159.95
31.09/7.85	c  N dy   126     20320     24381    104349         0     10321    316886    666961    148.13    156.00
37.08/9.31	c  N dy   149     24391     24381    104349         0     14392    316886   1620588    147.92    156.25
37.89/9.53	c  F st   153     25000     24381    104349         0     15001    316886   1759974    148.06    155.20
45.47/11.48	c  N dy   159     30001     24381    104349         0     20002    316886   3235117    148.06   no data
45.47/11.48	c  S st   159     30001     24381    104349         0     20002    316886   3235117    148.06   no data
46.26/11.67	c  S st   159     30505     24381    104349         0     20506    316886   3312182    148.06   no data
46.26/11.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.66/11.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.06
46.66/11.79	c blocked clauses removed:      540 vars:     87 tried:       24381 T: 0.01 s
46.66/11.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.06/11.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.06/11.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24294 time:  0.01 s
47.06/11.82	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.48/11.93	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.11 s
48.65/12.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
51.86/13.06	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.82 s
52.29/13.19	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.12
52.29/13.20	c calculated reachability. Time: 0.00
52.29/13.20	c  N dy   159     30505     24278    103795         0     20171    315330   3173396    148.06   no data
59.02/14.85	c  N dy   185     34669     24278    103795         0     24335    315330   4141891    147.52    155.80
65.80/16.50	c  N dy   209     38731     24278    103795         0     28397    315330   5039038    146.89    192.26
72.59/18.22	c  N dy   237     43053     24278    103795         0     17385    315330   1178361    146.44    155.18
76.58/19.24	c  S st   252     45757     24278    103795         0     20087    315330   1781728    146.44   no data
77.38/19.44	c  S st   252     46261     24278    103795         0     20591    315330   1856844    146.44   no data
77.38/19.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.78/19.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
77.78/19.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.78/19.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
77.78/19.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.78/19.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
77.78/19.57	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.19/19.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
78.61/19.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.76/20.06	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.24 s
79.76/20.07	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
80.16/20.10	c vivif2 --  cl tried    20590 cl shrink        0 lits rem          0 time: 0.03
80.56/20.23	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.13
80.56/20.23	c calculated reachability. Time: 0.00
80.56/20.23	c  N dy   252     46261     24278    103795         0     20590    315330   1856600    146.44   no data
86.56/21.80	c  N dy   275     50355     24278    103795         0     24683    315330   2775827    146.22    164.72
93.33/23.43	c  N dy   301     54457     24278    103795         0     28785    315330   3709676    146.07    154.24
99.73/25.10	c  N dy   329     58539     24278    103795         0     32867    315330   4622703    146.05    160.32
106.50/26.78	c  N dy   356     62551     24278    103795         0     36879    315330   5545291    145.96    159.49
112.89/28.38	c  N dy   380     66609     24278    103795         0     22271    315330   1523368    145.88    155.76
117.28/29.48	c  S st   396     69391     24278    103795         0     25053    315330   2152420    145.66    123.75
118.11/29.68	c  S st   396     69895     24278    103795         0     25557    315330   2243136    145.66   no data
118.46/29.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
118.46/29.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.07
118.46/29.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
118.86/29.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
118.86/29.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.86/29.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
118.86/29.82	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
119.26/29.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.09 s
119.67/30.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.27/30.46	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.39 s
121.27/30.47	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
121.67/30.51	c vivif2 --  cl tried    25556 cl shrink        0 lits rem          0 time: 0.04
122.08/30.64	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.13
122.08/30.65	c calculated reachability. Time: 0.00
122.08/30.65	c  N dy   396     69895     24278    103795         0     25556    315330   2243022    145.66   no data
129.24/32.50	c  N dy   429     74394     24278    103795         0     30055    315330   3272977    145.89    155.27
137.22/34.49	c  N dy   460     79180     24278    103795         0     34841    315330   4373710    145.97    157.71
146.00/36.63	c  N dy   493     84329     24278    103795         0     39990    315330   5527320    146.00    154.72
151.19/37.98	c  F st   514     87500     24278    103795         0     22333    315330    989557    145.97   no data
156.78/39.36	c  N st   519     90795     24278    103795         0     25628    315330   1956668    145.97   no data
166.75/41.87	c  N dy   541     97061     24278    103795         0     31894    315330   3478857    145.45    153.70
177.12/44.49	c  N dy   580    103283     24278    103795         0     38114    315330   4862531    145.15    156.46
179.91/45.16	c  S st   593    104842     24278    103795         0     39673    315330   5213132    145.12   no data
180.71/45.39	c  S st   593    105349     24278    103795         0     40180    315330   5305753    145.12   no data
181.11/45.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
181.11/45.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.08
181.51/45.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
181.51/45.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
181.51/45.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
181.51/45.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
181.51/45.55	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
181.91/45.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
183.11/45.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
189.49/47.58	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.56 s
189.49/47.59	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
189.89/47.68	c vivif2 --  cl tried    40174 cl shrink        0 lits rem          0 time: 0.09
190.68/47.83	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.16
190.68/47.84	c calculated reachability. Time: 0.00
190.68/47.84	c  N dy   593    105349     24278    103795         0     40174    315330   5302965    145.12   no data
202.65/50.86	c  N dy   638    112316     24278    103795         0     24724    315330   1129347    144.93    155.94
215.02/53.91	c  N dy   690    119623     24278    103795         0     32030    315330   2790757    145.24    153.84
228.19/57.20	c  N dy   742    127466     24278    103795         0     39873    315330   4528519    145.01    158.16
242.16/60.76	c  N dy   793    135803     24278    103795         0     24505    315330    760032    144.84    155.26
256.12/64.28	c  N dy   845    144566     24278    103795         0     33267    315330   2701632    144.63    172.31
272.08/68.25	c  N dy   911    153848     24278    103795         0     42549    315330   4828653    144.82    168.29
279.26/70.09	c  S st   940    158023     24278    103795         0     46724    315330   5752646    144.75   no data
280.50/70.32	c  S st   940    158526     24278    103795         0     47227    315330   5834321    144.75   no data
280.50/70.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
280.85/70.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
280.85/70.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
280.85/70.46	c bin-w-bin subsume rem            0 bins  time:  0.01 s
280.85/70.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
280.85/70.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
280.85/70.49	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
281.65/70.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
282.86/70.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
291.64/73.17	c lits-rem:         6  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.19 s
291.64/73.18	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
292.04/73.28	c vivif2 --  cl tried    47219 cl shrink        0 lits rem          0 time: 0.09
292.84/73.44	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
292.84/73.45	c calculated reachability. Time: 0.00
292.84/73.45	c  N dy   940    158526     24278    103795         0     47219    315330   5830653    144.75   no data
309.99/77.70	c  N dy  1008    168667     24278    103795         0     32509    315330   2266047    144.60    153.23
327.95/82.30	c  N dy  1079    179539     24278    103795         0     43380    315330   4689342    144.50    154.52
348.69/87.41	c  N dy  1162    191100     24278    103795         0     29013    315330   1216971    144.40    156.47
369.44/92.63	c  N dy  1241    203352     24278    103795         0     41265    315330   4005273    144.41    152.63
392.58/98.48	c  N dy  1330    216372     24278    103795         0     27322    315330    593205    144.38    154.83
416.14/104.33	c  N dy  1419    230372     24278    103795         0     41322    315330   3751276    144.30    158.15
429.31/107.62	c  S st  1468    237790     24278    103795         0     48740    315330   5420951    144.21   no data
430.08/107.85	c  S st  1468    238292     24278    103795         0     49242    315330   5503934    144.21   no data
430.08/107.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
430.48/107.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
430.48/107.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
430.48/108.00	c bin-w-bin subsume rem            0 bins  time:  0.01 s
430.88/108.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
430.88/108.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
430.88/108.02	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
431.28/108.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
432.48/108.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
441.66/110.71	c lits-rem:        13  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.26 s
441.66/110.73	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
442.06/110.82	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.09
442.48/110.99	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
442.48/111.00	c calculated reachability. Time: 0.00
442.48/111.00	c  N dy  1468    238292     24278    103795         0     49242    315330   5503921    144.21   no data
469.58/117.74	c  N dy  1578    253608     24278    103795         0     36577    315330   2453977    144.31    158.86
498.32/124.97	c  N dy  1688    269963     24278    103795         0     52932    315330   6182622    144.35    152.18
529.04/132.63	c  N dy  1809    287287     24278    103795         0     41264    315330   3258503    144.53    158.31
561.76/140.85	c  N dy  1925    305710     24278    103795         0     59686    315330   7403154    144.46    180.29
562.95/141.14	c  F st  1930    306250     24278    103795         0     30231    315330    527008    144.46   no data
596.52/149.56	c  N dy  2027    325323     24278    103795         0     49303    315330   5265141    144.51    154.94
632.38/158.56	c  N dy  2162    345348     24278    103795         0     38332    315330   2092264    144.50    162.54
653.56/163.88	c  S st  2241    357439     24278    103795         0     50423    315330   4806297    144.46   no data
654.72/164.12	c  S st  2241    357944     24278    103795         0     50928    315330   4881493    144.46   no data
654.72/164.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
655.12/164.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
655.12/164.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
655.12/164.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
655.12/164.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
655.12/164.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
655.12/164.29	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
655.92/164.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
656.72/164.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
664.70/166.68	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.00 s
665.10/166.70	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
665.10/166.78	c vivif2 --  cl tried    50925 cl shrink        0 lits rem          0 time: 0.08
665.90/166.95	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
665.90/166.96	c calculated reachability. Time: 0.00
665.90/166.96	c  N dy  2241    357944     24278    103795         0     50925    315330   4879044    144.46   no data
702.20/176.09	c  N dy  2372    378052     24278    103795         0     39031    315330   2077053    144.47    152.21
739.31/185.31	c  N dy  2504    398097     24278    103795         0     59075    315330   6602665    144.51    170.35
775.22/194.36	c  N dy  2638    418176     24278    103795         0     46154    315330   3447592    144.49    192.89
812.72/203.74	c  N dy  2773    438259     24278    103795         0     66236    315330   8018717    144.51    162.58
849.04/212.83	c  N dy  2911    458395     24278    103795         0     52370    315330   4664686    144.59    160.18
887.34/222.43	c  N dy  3046    478633     24278    103795         0     37610    315330   1061291    144.56    158.80
923.64/231.56	c  N dy  3184    498677     24278    103795         0     57653    315330   5582386    144.61    162.04
961.54/241.03	c  N dy  3313    518747     24278    103795         0     41731    315330   1752059    144.52    172.11
995.07/249.40	c  S st  3442    536916     24278    103795         0     59900    315330   5906084    144.61   no data
995.90/249.67	c  S st  3442    537424     24278    103795         0     60408    315330   6003929    144.61   no data
995.90/249.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
996.26/249.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.10
996.66/249.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
996.66/249.82	c bin-w-bin subsume rem            0 bins  time:  0.01 s
996.66/249.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
996.66/249.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
996.66/249.85	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
997.06/249.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
998.66/250.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1010.63/253.39	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.07 s
1011.03/253.40	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
1011.43/253.51	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.10
1011.83/253.69	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.19
1012.23/253.70	c calculated reachability. Time: 0.00
1012.23/253.70	c  N dy  3442    537424     24278    103795         0     60401    315330   6001145    144.61   no data
1050.53/263.36	c  N dy  3581    557593     24278    103795         0     43566    315330   1958819    144.70    152.80
1087.66/272.70	c  N dy  3725    577596     24278    103795         0     63567    315330   6556657    144.81    184.30
1126.34/282.38	c  N dy  3859    597828     24278    103795         0     45806    315330   2243394    144.82    152.65
1164.25/291.82	c  N dy  3997    617889     24278    103795         0     65865    315330   6927577    144.91    160.20
1202.55/301.44	c  N dy  4133    637912     24278    103795         0     46893    315330   2245778    144.93    207.38
1240.85/311.03	c  N dy  4272    658021     24278    103795         0     67000    315330   6890576    145.01    152.77
1279.95/320.84	c  N dy  4406    678130     24278    103795         0     47108    315330   2089851    145.00    160.91
1318.66/330.57	c  N dy  4538    698272     24278    103795         0     67248    315330   6702744    145.02    159.67
1358.15/340.40	c  N dy  4668    718295     24278    103795         0     46273    315330   1680030    145.04    240.42
1396.45/350.05	c  N dy  4803    738632     24278    103795         0     66610    315330   6326663    145.05    158.01
1437.55/360.30	c  N dy  4940    758810     24278    103795         0     44786    315330   1120673    145.08    154.04
1475.06/369.75	c  N dy  5076    778914     24278    103795         0     64890    315330   5705300    145.08    153.35
1514.96/379.77	c  N dy  5209    798921     24278    103795         0     84894    315330  10155589    145.05    154.78
1528.53/383.13	c  S st  5258    806136     24278    103795         0     49114    315330   1848834    145.05    134.49
1529.32/383.38	c  S st  5258    806641     24278    103795         0     49619    315330   1939050    145.05   no data
1529.32/383.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1529.72/383.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.09
1530.12/383.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1530.12/383.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1530.12/383.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1530.12/383.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
1530.12/383.54	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1530.52/383.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
1530.94/383.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1533.71/384.45	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.68 s
1533.71/384.47	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
1534.12/384.50	c vivif2 --  cl tried    49617 cl shrink        0 lits rem          0 time: 0.03
1534.51/384.67	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
1534.51/384.68	c calculated reachability. Time: 0.00
1534.51/384.68	c  N dy  5258    806641     24278    103795         0     49617    315330   1937536    145.05   no data
1572.81/394.26	c  N dy  5387    826664     24278    103795         0     69640    315330   6515398    145.05    154.15
1613.92/404.59	c  N dy  5525    846814     24278    103795         0     45785    315330    882484    145.08    156.18
1652.22/414.17	c  N dy  5660    867044     24278    103795         0     66014    315330   5485327    145.08    154.45
1693.33/424.47	c  N dy  5796    887087     24278    103795         0     86056    315330  10041422    145.10    153.77
1731.61/434.08	c  N dy  5939    907121     24278    103795         0     61094    315330   4164484    145.17    154.30
1772.33/444.26	c  N dy  6075    927243     24278    103795         0     81216    315330   8739250    145.19    164.95
1812.60/454.35	c  N dy  6207    947291     24278    103795         0     55266    315330   2576825    145.18    153.00
1852.50/464.32	c  N dy  6343    967360     24278    103795         0     75334    315330   7220277    145.22    185.28
1894.38/474.83	c  N dy  6475    987377     24278    103795         0     48352    315330    777786    145.19    156.96
1932.69/484.40	c  N dy  6613   1007476     24278    103795         0     68449    315330   5348306    145.21    192.40
1974.21/494.84	c  N dy  6742   1027491     24278    103795         0     88464    315330   9925398    145.21    155.44
2014.12/504.88	c  N dy  6882   1047563     24278    103795         0     60539    315330   3362637    145.23    153.01
2054.38/514.94	c  N dy  7021   1067587     24278    103795         0     80560    315330   7959809    145.27    157.88
2063.55/517.20	c  F st  7052   1071877     24278    103795         0     84849    315330   8935821    145.28   no data
2096.67/525.58	c  N dy  7131   1087663     24278    103795         0     51637    315330   1111612    145.28    154.67
2135.37/535.22	c  N dy  7267   1107702     24278    103795         0     71676    315330   5609373    145.27    154.72
2177.67/545.85	c  N dy  7408   1127752     24278    103795         0     91726    315330  10189208    145.29    169.20
2218.36/556.09	c  N dy  7545   1147846     24278    103795         0     61816    315330   3184067    145.28    183.55
2259.48/566.39	c  N dy  7684   1167936     24278    103795         0     81903    315330   7824488    145.33    159.99
2303.37/577.37	c  N dy  7818   1187980     24278    103795         0    101944    315330  12387041    145.35    154.46
2343.29/587.39	c  N dy  7944   1208052     24278    103795         0     71021    315330   5051636    145.34    162.53
2347.26/588.32	c  S st  7954   1209961     24278    103795         0     72930    315330   5469383    145.33   no data
2348.43/588.60	c  S st  7954   1210468     24278    103795         0     73437    315330   5547225    145.33   no data
2348.43/588.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2348.83/588.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.11
2348.83/588.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2348.83/588.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2348.83/588.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2348.83/588.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
2348.83/588.79	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2349.63/588.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
2350.83/589.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2363.19/592.39	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.16 s
2363.60/592.41	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
2364.00/592.50	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.09
2364.82/592.71	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.21
2364.82/592.72	c calculated reachability. Time: 0.00
2364.82/592.72	c  N dy  7954   1210468     24278    103795         0     73432    315330   5544911    145.33   no data
2407.08/603.36	c  N dy  8088   1230521     24278    103795         0     93483    315330  10136426    145.34    185.70
2448.98/613.80	c  N dy  8226   1250585     24278    103795         0     61553    315330   2676711    145.37    179.99
2489.27/623.96	c  N dy  8358   1270800     24278    103795         0     81767    315330   7236316    145.34    154.56
2532.76/634.85	c  N dy  8489   1290819     24278    103795         0    101785    315330  11763255    145.32    157.23
2572.66/644.89	c  N dy  8624   1310876     24278    103795         0     68850    315330   4088767    145.32    154.16
2614.56/655.39	c  N dy  8763   1330890     24278    103795         0     88863    315330   8622375    145.32    158.06
2659.64/666.60	c  N dy  8904   1350938     24278    103795         0     54911    315330    724707    145.32    154.42
2699.55/676.65	c  N dy  9045   1371009     24278    103795         0     74981    315330   5397906    145.37    164.18
2741.85/687.29	c  N dy  9173   1391082     24278    103795         0     95054    315330   9957606    145.38    154.69
2785.33/698.19	c  N dy  9305   1411140     24278    103795         0     60116    315330   1677971    145.39    173.14
2825.23/708.19	c  N dy  9434   1431208     24278    103795         0     80183    315330   6214941    145.38    154.72
2869.54/719.21	c  N dy  9565   1451288     24278    103795         0    100262    315330  10827840    145.38    159.34
2912.22/729.96	c  N dy  9702   1471303     24278    103795         0     64275    315330   2388593    145.40    156.40
2953.35/740.23	c  N dy  9838   1491376     24278    103795         0     84348    315330   6978225    145.41    154.09
2997.59/751.33	c  N dy  9965   1511512     24278    103795         0    104484    315330  11544976    145.40    153.96
3040.29/762.07	c  N dy 10108   1531557     24278    103795         0     67534    315330   2974587    145.41    157.66
3081.78/772.41	c  N dy 10239   1551570     24278    103795         0     87547    315330   7512904    145.40    153.30
3126.87/783.74	c  N dy 10373   1571637     24278    103795         0    107614    315330  12086802    145.41    159.97
3170.35/794.63	c  N dy 10518   1591917     24278    103795         0     69891    315330   3268096    145.46    155.39
3212.28/805.13	c  N dy 10654   1611926     24278    103795         0     89900    315330   7808852    145.46    154.11
3258.13/816.67	c  N dy 10788   1632065     24278    103795         0    110036    315330  12422708    145.46    154.84
3300.82/827.34	c  N dy 10920   1652131     24278    103795         0     71101    315330   3248438    145.45    157.90
3343.13/837.91	c  N dy 11050   1672150     24278    103795         0     91120    315330   7781285    145.45    165.81
3388.60/849.40	c  N dy 11183   1692262     24278    103795         0    111231    315330  12384658    145.45    153.17
3428.90/859.46	c  S st 11306   1710469     24278    103795         0     69442    315330   2777075    145.44    106.59
3430.09/859.72	c  S st 11306   1710974     24278    103795         0     69947    315330   2861455    145.44   no data
3430.09/859.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3430.49/859.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.10
3430.49/859.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3430.49/859.87	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3430.49/859.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3430.49/859.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
3430.89/859.90	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3431.31/860.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
3431.73/860.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3439.67/862.17	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.99 s
3439.67/862.19	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
3440.09/862.24	c vivif2 --  cl tried    69944 cl shrink        0 lits rem          0 time: 0.05
3440.86/862.44	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.20
3440.86/862.45	c calculated reachability. Time: 0.00
3440.86/862.45	c  N dy 11306   1710974     24278    103795         0     69944    315330   2860667    145.44   no data
3483.16/873.08	c  N dy 11442   1731172     24278    103795         0     90142    315330   7442581    145.43    153.58
3529.44/884.62	c  N dy 11587   1751230     24278    103795         0    110199    315330  12070935    145.46    153.45
3574.13/895.88	c  N dy 11724   1771320     24278    103795         0     69285    315330   2405854    145.47    156.69
3615.65/906.27	c  N dy 11856   1791346     24278    103795         0     89311    315330   7010894    145.48    153.93
3661.91/917.83	c  N dy 11996   1811419     24278    103795         0    109384    315330  11643884    145.50    155.30
3707.39/929.21	c  N dy 12131   1831461     24278    103795         0     67432    315330   1793994    145.51    157.61
3748.88/939.69	c  N dy 12271   1851523     24278    103795         0     87493    315330   6409662    145.53    179.90
3796.01/951.44	c  N dy 12405   1871669     24278    103795         0    107636    315330  10979176    145.54    155.07
3843.87/963.50	c  N dy 12543   1892031     24278    103795         0     65000    315330   1001828    145.55    156.76
3884.95/973.72	c  N dy 12679   1912094     24278    103795         0     85063    315330   5594393    145.56    157.89
3929.63/984.90	c  N dy 12811   1932176     24278    103795         0    105145    315330  10155936    145.58    154.23
3977.91/997.01	c  N dy 12958   1952182     24278    103795         0    125149    315330  14752861    145.61    156.86
4020.19/1007.60	c  N dy 13100   1972222     24278    103795         0     81191    315330   4537300    145.63    156.27
4064.49/1018.72	c  N dy 13239   1992381     24278    103795         0    101349    315330   9185425    145.65    154.14
4112.00/1030.64	c  N dy 13379   2012472     24278    103795         0    121439    315330  13807137    145.67    153.73
4156.25/1041.79	c  N dy 13511   2032487     24278    103795         0     76455    315330   3174219    145.66    160.71
4199.37/1052.56	c  N dy 13645   2052491     24278    103795         0     96459    315330   7756450    145.68    158.82
4246.02/1064.26	c  N dy 13783   2072514     24278    103795         0    116477    315330  12315945    145.70    212.74
4293.90/1076.23	c  N dy 13924   2092534     24278    103795         0     70501    315330   1613560    145.71    153.89
4335.84/1086.72	c  N dy 14060   2112577     24278    103795         0     90538    315330   6209472    145.72    154.07
4381.28/1098.12	c  N dy 14189   2132612     24278    103795         0    110570    315330  10828199    145.71    155.83
4430.76/1110.51	c  N dy 14331   2152715     24278    103795         0    130671    315330  15529497    145.75    164.72
4473.44/1121.24	c  N dy 14465   2172734     24278    103795         0     83705    315330   4404302    145.76    158.21
4517.73/1132.35	c  N dy 14606   2192815     24278    103795         0    103784    315330   9016705    145.77    157.81
4563.64/1143.86	c  S st 14728   2210974     24278    103795         0    121942    315330  13165660    145.78   no data
4565.21/1144.26	c  S st 14728   2211479     24278    103795         0    122447    315330  13246528    145.78   no data
4565.21/1144.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4566.02/1144.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.16
4566.02/1144.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4566.02/1144.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4566.42/1144.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4566.42/1144.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
4566.42/1144.52	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4567.22/1144.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
4570.80/1145.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4600.73/1153.10	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.38 s
4600.73/1153.11	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
4601.53/1153.34	c vivif2 --  cl tried   122438 cl shrink        0 lits rem          0 time: 0.23
4602.73/1153.64	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.30
4602.73/1153.65	c calculated reachability. Time: 0.00
4602.73/1153.65	c  N dy 14728   2211479     24278    103795         0    122438    315330  13242312    145.78   no data
4650.61/1165.70	c  N dy 14866   2231759     24278    103795         0     74719    315330   2149007    145.79    157.05
4693.69/1176.43	c  N dy 15000   2252009     24278    103795         0     94967    315330   6793243    145.80    154.53
4740.78/1188.27	c  N dy 15143   2272075     24278    103795         0    115032    315330  11479094    145.84    155.52
4790.64/1200.74	c  N dy 15275   2292112     24278    103795         0    135066    315330  16069495    145.84    159.46

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-3366115-1305395588/watcher-3366115-1305395588 -o /tmp/evaluation-result-3366115-1305395588/solver-3366115-1305395588 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366115-1305395588.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: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 383750080 52396032 352 33554432000 4194304 4580107 140734224871088 18446744073709551615 47474650576409 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 12792 352 302 95 0 7774 0
[pid=7472/tid=7473] ppid=7470 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 4 0 0 0 0 0 0 0 22 0 4 0 383750080 52396032 352 33554432000 4194304 4580107 140734224871088 18446744073709551615 47474650576409 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 383750080 52396032 352 33554432000 4194304 4580107 140734224871088 18446744073709551615 47474650576818 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 383750080 52396032 352 33554432000 4194304 4580107 140734224871088 18446744073709551615 47474650576403 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.217069 s]
/proc/loadavg: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=316164 CPUtime=0.84 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 18957 0 0 0 80 4 0 0 18 0 4 0 383750080 323751936 16854 33554432000 4194304 4580107 140734224871088 18446744073709551615 4401482 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 79131 17266 363 95 0 74113 0
[pid=7472/tid=7473] ppid=7470 vsize=319540 CPUtime=0.22 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 5610 0 0 0 22 0 0 0 18 0 4 0 383750080 327208960 19281 33554432000 4194304 4580107 140734224871088 18446744073709551615 268660330737 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=324664 CPUtime=0.23 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 6297 0 0 0 22 1 0 0 18 0 4 0 383750080 332455936 21836 33554432000 4194304 4580107 140734224871088 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=325588 CPUtime=0.25 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 4576 0 0 0 24 1 0 0 18 0 4 0 383750080 333402112 22880 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293691 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) 316164

[startup+1.11465 s]
/proc/loadavg: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=334888 CPUtime=4.42 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 38383 0 0 0 434 8 0 0 19 0 4 0 383750080 342925312 27912 33554432000 4194304 4580107 140734224871088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 83722 27912 377 95 0 78704 0
[pid=7472/tid=7473] ppid=7470 vsize=334888 CPUtime=1.1 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 10279 0 0 0 109 1 0 0 19 0 4 0 383750080 342925312 27912 33554432000 4194304 4580107 140734224871088 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=334888 CPUtime=1.09 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 11381 0 0 0 107 2 0 0 19 0 4 0 383750080 342925312 27912 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=334888 CPUtime=1.1 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 5147 0 0 0 109 1 0 0 19 0 4 0 383750080 342925312 27912 33554432000 4194304 4580107 140734224871088 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 334888

[startup+1.20064 s]
/proc/loadavg: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=334888 CPUtime=4.76 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 38694 0 0 0 468 8 0 0 19 0 4 0 383750080 342925312 28223 33554432000 4194304 4580107 140734224871088 18446744073709551615 4318418 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 83722 28224 377 95 0 78704 0
[pid=7472/tid=7473] ppid=7470 vsize=334888 CPUtime=1.18 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 10359 0 0 0 117 1 0 0 19 0 4 0 383750080 342925312 28224 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=334888 CPUtime=1.18 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 11482 0 0 0 116 2 0 0 19 0 4 0 383750080 342925312 28224 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=334888 CPUtime=1.18 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 5199 0 0 0 117 1 0 0 19 0 4 0 383750080 342925312 28224 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 334888

[startup+1.30062 s]
/proc/loadavg: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=334888 CPUtime=5.16 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 39011 0 0 0 508 8 0 0 19 0 4 0 383750080 342925312 28540 33554432000 4194304 4580107 140734224871088 18446744073709551615 4322534 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 83722 28540 377 95 0 78704 0
[pid=7472/tid=7473] ppid=7470 vsize=334888 CPUtime=1.28 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 10426 0 0 0 127 1 0 0 19 0 4 0 383750080 342925312 28540 33554432000 4194304 4580107 140734224871088 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=334888 CPUtime=1.28 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 11560 0 0 0 126 2 0 0 19 0 4 0 383750080 342925312 28540 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=334888 CPUtime=1.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 5267 0 0 0 127 1 0 0 19 0 4 0 383750080 342925312 28540 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.16
Current children cumulated vsize (KiB) 334888

[startup+1.50059 s]
/proc/loadavg: 3.77 4.10 5.23 6/319 7472
/proc/meminfo: memFree=27343012/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=334888 CPUtime=5.96 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 39554 0 0 0 588 8 0 0 19 0 4 0 383750080 342925312 29083 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293032 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 83722 29083 377 95 0 78704 0
[pid=7472/tid=7473] ppid=7470 vsize=334888 CPUtime=1.48 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 10568 0 0 0 147 1 0 0 19 0 4 0 383750080 342925312 29083 33554432000 4194304 4580107 140734224871088 18446744073709551615 4322582 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=334888 CPUtime=1.48 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 11698 0 0 0 146 2 0 0 19 0 4 0 383750080 342925312 29083 33554432000 4194304 4580107 140734224871088 18446744073709551615 4301834 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=334888 CPUtime=1.48 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 5397 0 0 0 147 1 0 0 20 0 4 0 383750080 342925312 29083 33554432000 4194304 4580107 140734224871088 18446744073709551615 4326722 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) 334888

[startup+3.10031 s]
/proc/loadavg: 4.11 4.17 5.24 9/323 7476
/proc/meminfo: memFree=27173476/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=466152 CPUtime=12.36 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 44175 0 0 0 1227 9 0 0 24 0 4 0 383750080 477339648 33704 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 116538 33704 377 95 0 111520 0
[pid=7472/tid=7473] ppid=7470 vsize=466152 CPUtime=3.09 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 11640 0 0 0 308 1 0 0 24 0 4 0 383750080 477339648 33713 33554432000 4194304 4580107 140734224871088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=466152 CPUtime=3.06 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 12756 0 0 0 304 2 0 0 23 0 4 0 383750080 477339648 33713 33554432000 4194304 4580107 140734224871088 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=466152 CPUtime=3.09 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 6770 0 0 0 308 1 0 0 25 0 4 0 383750080 477339648 33713 33554432000 4194304 4580107 140734224871088 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 466152

[startup+6.30075 s]
/proc/loadavg: 4.11 4.17 5.24 9/323 7477
/proc/meminfo: memFree=27077008/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=466152 CPUtime=25.12 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 52511 0 0 0 2500 12 0 0 25 0 4 0 383750080 477339648 42040 33554432000 4194304 4580107 140734224871088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 116538 42040 377 95 0 111520 0
[pid=7472/tid=7473] ppid=7470 vsize=466152 CPUtime=6.29 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 13630 0 0 0 627 2 0 0 25 0 4 0 383750080 477339648 42040 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=466152 CPUtime=6.24 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 14873 0 0 0 621 3 0 0 25 0 4 0 383750080 477339648 42041 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=466152 CPUtime=6.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 8800 0 0 0 626 2 0 0 25 0 4 0 383750080 477339648 42041 33554432000 4194304 4580107 140734224871088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 466152

[startup+12.7006 s]
/proc/loadavg: 4.42 4.23 5.26 9/323 7477
/proc/meminfo: memFree=27005256/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=649488 CPUtime=50.65 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 91491 0 0 0 5044 21 0 0 25 0 4 0 383750080 665075712 59481 33554432000 4194304 4580107 140734224871088 18446744073709551615 4417007 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 162372 59481 379 95 0 157354 0
[pid=7472/tid=7473] ppid=7470 vsize=649488 CPUtime=12.68 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 19123 0 0 0 1265 3 0 0 25 0 4 0 383750080 665075712 59481 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=649488 CPUtime=12.56 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 20364 0 0 0 1252 4 0 0 25 0 4 0 383750080 665075712 59481 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=649488 CPUtime=12.68 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 14533 0 0 0 1265 3 0 0 25 0 4 0 383750080 665075712 59481 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 649488

[startup+25.5004 s]
/proc/loadavg: 5.29 4.43 5.31 9/323 7477
/proc/meminfo: memFree=26641188/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=680648 CPUtime=101.71 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 169089 0 0 0 10132 39 0 0 25 0 4 0 383750080 696983552 100077 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 170162 100077 379 95 0 165144 0
[pid=7472/tid=7473] ppid=7470 vsize=680648 CPUtime=25.48 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 49342 0 0 0 2540 8 0 0 25 0 4 0 383750080 696983552 100077 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293805 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=680648 CPUtime=25.23 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 35376 0 0 0 2514 9 0 0 25 0 4 0 383750080 696983552 100078 33554432000 4194304 4580107 140734224871088 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=680648 CPUtime=25.49 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 35909 0 0 0 2540 9 0 0 25 0 4 0 383750080 696983552 100078 33554432000 4194304 4580107 140734224871088 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 680648

[startup+51.1009 s]
/proc/loadavg: 6.29 4.73 5.38 9/323 7478
/proc/meminfo: memFree=26391512/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=896600 CPUtime=203.85 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 263707 0 0 0 20321 64 0 0 25 0 4 0 383750080 918118400 146347 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 224150 146347 379 95 0 219132 0
[pid=7472/tid=7473] ppid=7470 vsize=896600 CPUtime=51.08 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 64224 0 0 0 5095 13 0 0 25 0 4 0 383750080 918118400 146347 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294455 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=896600 CPUtime=50.58 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 57773 0 0 0 5044 14 0 0 25 0 4 0 383750080 918118400 146347 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=896600 CPUtime=51.08 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 63973 0 0 0 5090 18 0 0 25 0 4 0 383750080 918118400 146347 33554432000 4194304 4580107 140734224871088 18446744073709551615 4416018 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.85
Current children cumulated vsize (KiB) 896600

[startup+102.301 s]
/proc/loadavg: 7.32 5.25 5.52 9/323 7479
/proc/meminfo: memFree=26284832/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=949284 CPUtime=408.14 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 364816 0 0 0 40720 94 0 0 25 0 4 0 383750080 972066816 169778 33554432000 4194304 4580107 140734224871088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 237321 169778 379 95 0 232303 0
[pid=7472/tid=7473] ppid=7470 vsize=949284 CPUtime=102.28 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 80158 0 0 0 10210 18 0 0 25 0 4 0 383750080 972066816 169778 33554432000 4194304 4580107 140734224871088 18446744073709551615 4321152 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=949284 CPUtime=101.27 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 86324 0 0 0 10105 22 0 0 25 0 4 0 383750080 972066816 169778 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=949284 CPUtime=102.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 88689 0 0 0 10201 27 0 0 25 0 4 0 383750080 972066816 169778 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 949284

[startup+162.3 s]

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

[pid=7472] ppid=7470 vsize=1479212 CPUtime=2802.09 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1441322 0 0 0 279743 466 0 0 25 0 4 0 383750080 1514713088 282435 33554432000 4194304 4580107 140734224871088 18446744073709551615 4316680 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 369803 282435 379 95 0 364785 0
[pid=7472/tid=7473] ppid=7470 vsize=1479212 CPUtime=702.24 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 327503 0 0 0 70123 101 0 0 25 0 4 0 383750080 1514713088 282435 33554432000 4194304 4580107 140734224871088 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1479212 CPUtime=695.26 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 366115 0 0 0 69409 117 0 0 25 0 4 0 383750080 1514713088 282435 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1479212 CPUtime=702.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 368300 0 0 0 70102 126 0 0 25 0 4 0 383750080 1514713088 282435 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.09
Current children cumulated vsize (KiB) 1479212

[startup+762.301 s]
/proc/loadavg: 8.16 7.81 6.84 9/323 7509
/proc/meminfo: memFree=25311672/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1480716 CPUtime=3041.48 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1535788 0 0 0 303647 501 0 0 25 0 4 0 383750080 1516253184 285844 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 370179 285844 379 95 0 365161 0
[pid=7472/tid=7473] ppid=7470 vsize=1480716 CPUtime=762.24 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 348771 0 0 0 76114 110 0 0 25 0 4 0 383750080 1516253184 285844 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1480716 CPUtime=754.65 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 390416 0 0 0 75339 126 0 0 25 0 4 0 383750080 1516253184 285844 33554432000 4194304 4580107 140734224871088 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1480716 CPUtime=762.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 389287 0 0 0 76094 134 0 0 25 0 4 0 383750080 1516253184 285844 33554432000 4194304 4580107 140734224871088 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3041.48
Current children cumulated vsize (KiB) 1480716

[startup+822.3 s]
/proc/loadavg: 8.13 7.87 6.92 9/323 7510
/proc/meminfo: memFree=25292764/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1366000 CPUtime=3280.87 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1624875 0 0 0 327556 531 0 0 25 0 4 0 383750080 1398784000 271317 33554432000 4194304 4580107 140734224871088 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 341500 271317 379 95 0 336482 0
[pid=7472/tid=7473] ppid=7470 vsize=1366000 CPUtime=822.24 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 369484 0 0 0 82108 116 0 0 25 0 4 0 383750080 1398784000 271317 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1366000 CPUtime=814.05 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 414488 0 0 0 81271 134 0 0 25 0 4 0 383750080 1398784000 271317 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1366000 CPUtime=822.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 409944 0 0 0 82087 141 0 0 25 0 4 0 383750080 1398784000 271317 33554432000 4194304 4580107 140734224871088 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.87
Current children cumulated vsize (KiB) 1366000

[startup+882.301 s]
/proc/loadavg: 8.05 7.89 6.98 9/323 7512
/proc/meminfo: memFree=25146380/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1424528 CPUtime=3520.26 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1716434 0 0 0 351459 567 0 0 25 0 4 0 383750080 1458716672 305197 33554432000 4194304 4580107 140734224871088 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 356132 305197 379 95 0 351114 0
[pid=7472/tid=7473] ppid=7470 vsize=1424528 CPUtime=882.23 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 389920 0 0 0 88100 123 0 0 25 0 4 0 383750080 1458716672 305197 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1424528 CPUtime=873.45 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 440051 0 0 0 87200 145 0 0 25 0 4 0 383750080 1458716672 305197 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1424528 CPUtime=882.27 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 430325 0 0 0 88079 148 0 0 25 0 4 0 383750080 1458716672 305197 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3520.26
Current children cumulated vsize (KiB) 1424528

[startup+942.3 s]
/proc/loadavg: 8.02 7.91 7.04 9/323 7513
/proc/meminfo: memFree=25205112/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1484396 CPUtime=3759.66 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1801410 0 0 0 375363 603 0 0 25 0 4 0 383750080 1520021504 299460 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 371099 299460 379 95 0 366081 0
[pid=7472/tid=7473] ppid=7470 vsize=1484396 CPUtime=942.23 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 410438 0 0 0 94091 132 0 0 25 0 4 0 383750080 1520021504 299460 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1484396 CPUtime=932.85 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 460268 0 0 0 93132 153 0 0 25 0 4 0 383750080 1520021504 299460 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1484396 CPUtime=942.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 450793 0 0 0 94072 156 0 0 25 0 4 0 383750080 1520021504 299460 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3759.66
Current children cumulated vsize (KiB) 1484396

[startup+1002.3 s]
/proc/loadavg: 8.04 7.94 7.10 9/323 7515
/proc/meminfo: memFree=25237800/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1419400 CPUtime=3999.05 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 1911982 0 0 0 399265 640 0 0 25 0 4 0 383750080 1453465600 288937 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 354850 288937 379 95 0 349832 0
[pid=7472/tid=7473] ppid=7470 vsize=1419400 CPUtime=1002.24 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 430533 0 0 0 100085 139 0 0 25 0 4 0 383750080 1453465600 288937 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1419400 CPUtime=992.24 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 503625 0 0 0 99060 164 0 0 25 0 4 0 383750080 1453465600 288937 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1419400 CPUtime=1002.27 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 474240 0 0 0 100061 166 0 0 25 0 4 0 383750080 1453465600 288937 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3999.05
Current children cumulated vsize (KiB) 1419400

[startup+1062.3 s]
/proc/loadavg: 8.14 7.98 7.17 9/323 7517
/proc/meminfo: memFree=24849132/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1516488 CPUtime=4238.45 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 2013424 0 0 0 423168 677 0 0 25 0 4 0 383750080 1552883712 330788 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 379122 330788 379 95 0 374104 0
[pid=7472/tid=7473] ppid=7470 vsize=1516488 CPUtime=1062.23 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 455900 0 0 0 106073 150 0 0 25 0 4 0 383750080 1552883712 330788 33554432000 4194304 4580107 140734224871088 18446744073709551615 4318686 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1516488 CPUtime=1051.65 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 529454 0 0 0 104992 173 0 0 25 0 4 0 383750080 1552883712 330788 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1516488 CPUtime=1062.27 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 499552 0 0 0 106052 175 0 0 25 0 4 0 383750080 1552883712 330788 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4238.45
Current children cumulated vsize (KiB) 1516488

[startup+1122.3 s]
/proc/loadavg: 8.10 8.00 7.22 9/323 7518
/proc/meminfo: memFree=24876604/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1503232 CPUtime=4477.83 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 2114007 0 0 0 447069 714 0 0 25 0 4 0 383750080 1539309568 301020 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 375808 301020 379 95 0 370790 0
[pid=7472/tid=7473] ppid=7470 vsize=1503232 CPUtime=1122.23 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 475900 0 0 0 112065 158 0 0 25 0 4 0 383750080 1539309568 301020 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1503232 CPUtime=1111.04 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 555801 0 0 0 110922 182 0 0 25 0 4 0 383750080 1539309568 301020 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1503232 CPUtime=1122.27 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 526832 0 0 0 112041 186 0 0 25 0 4 0 383750080 1539309568 301020 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4477.83
Current children cumulated vsize (KiB) 1503232

[startup+1182.3 s]
/proc/loadavg: 8.15 8.02 7.28 9/323 7520
/proc/meminfo: memFree=24463028/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1907080 CPUtime=4717.26 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 2282840 0 0 0 470966 760 0 0 25 0 4 0 383750080 1952849920 403552 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 476770 403552 379 95 0 471752 0
[pid=7472/tid=7473] ppid=7470 vsize=1907080 CPUtime=1182.24 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 526339 0 0 0 118056 168 0 0 25 0 4 0 383750080 1952849920 403560 33554432000 4194304 4580107 140734224871088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1907080 CPUtime=1170.45 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 580406 0 0 0 116853 192 0 0 25 0 4 0 383750080 1952849920 403560 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1907080 CPUtime=1182.28 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 574434 0 0 0 118029 199 0 0 25 0 4 0 383750080 1952849920 403560 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4717.26
Current children cumulated vsize (KiB) 1907080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.17 8.04 7.30 9/323 7520
/proc/meminfo: memFree=24555396/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1788644 CPUtime=4800.24 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 2320623 0 0 0 479250 774 0 0 25 0 4 0 383750080 1831571456 371637 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 447161 371637 379 95 0 442143 0
[pid=7472/tid=7473] ppid=7470 vsize=1788644 CPUtime=1203.03 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 536023 0 0 0 120131 172 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1788644 CPUtime=1191.03 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 589718 0 0 0 118908 195 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1788644 CPUtime=1203.07 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 584129 0 0 0 120106 201 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1788644

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

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

[startup+1203.1 s]
/proc/loadavg: 8.17 8.04 7.30 9/323 7520
/proc/meminfo: memFree=24555396/32951124 swapFree=46575252/67111528
[pid=7472] ppid=7470 vsize=1788644 CPUtime=4800.24 cores=1,3,5,7
/proc/7472/stat : 7472 (strangenight2-m) R 7470 7472 6565 0 -1 4202496 2320623 0 0 0 479250 774 0 0 25 0 4 0 383750080 1831571456 371637 33554432000 4194304 4580107 140734224871088 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7472/statm: 447161 371637 379 95 0 442143 0
[pid=7472/tid=7473] ppid=7470 vsize=1788644 CPUtime=1203.03 cores=1,3,5,7
/proc/7472/task/7473/stat : 7473 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 536023 0 0 0 120131 172 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7472/tid=7474] ppid=7470 vsize=1788644 CPUtime=1191.03 cores=1,3,5,7
/proc/7472/task/7474/stat : 7474 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 589718 0 0 0 118908 195 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7472/tid=7475] ppid=7470 vsize=1788644 CPUtime=1203.07 cores=1,3,5,7
/proc/7472/task/7475/stat : 7475 (strangenight2-m) R 7470 7472 6565 0 -1 4202560 584129 0 0 0 120106 201 0 0 25 0 4 0 383750080 1831571456 371642 33554432000 4194304 4580107 140734224871088 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 1788644

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.18
CPU time (s): 4800.34
CPU user time (s): 4792.54
CPU system time (s): 7.80381
CPU usage (%): 398.971
Max. virtual memory (cumulated for all children) (KiB): 1907080

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

runsolver used 3.32449 second user time and 8.73967 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-14 19:53:08
IDJOB=3366115
IDBENCH=82524
IDSOLVER=1844
FILE ID=node107/3366115-1305395588
RUNJOBID= node107-1305395588-7450
PBS_JOBID= 13324428
Free space on /tmp= 73428 MiB

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

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

MD5SUM BENCH= aeb1e99b5983291023a10a1b4c71c10e
RANDOM SEED=603703620

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27343168 kB
Buffers:        115928 kB
Cached:         913916 kB
SwapCached:       9832 kB
Active:        5233120 kB
Inactive:        95232 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27343168 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:           13620 kB
Writeback:           0 kB
AnonPages:     4295900 kB
Mapped:          19420 kB
Slab:           146644 kB
PageTables:      68684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 65000804 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= 73420 MiB
End job on node107 at 2011-05-14 20:13:13