Trace number 3173706

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.17 1201.78

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173706-1304030021.cnf'
0.00/0.00	c -- header says num vars:          25000
0.00/0.00	c -- header says num clauses:      105000
0.00/0.09	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.00/0.09	c -- vars added      25000
0.00/0.09	c Parsing time:  0.07 s
0.00/0.23	c  N st     0         0     25000    105000         0         0    315000         0   no data   no data
0.00/0.23	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.09
0.00/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.05
0.00/0.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.32	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.00/0.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.00/0.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  25000 time:  0.01 s
0.00/0.32	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4.20/1.10	c lits-rem:         0  cl-subs:        0  v-elim:    619  v-fix:    0  time:  0.17 s
4.20/1.10	c Finding binary XORs  T:     0.00 s  found:       0
4.20/1.10	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
4.20/1.10	c calculated reachability. Time: 0.00
4.20/1.10	c Calc default polars -  time:   0.01 s pos:   11331 undec:    2769 neg:   10900
4.20/1.10	c =========================================================================================
4.20/1.10	c types(t): F = full restart, N = normal restart
4.20/1.10	c types(t): S = simplification begin/end, E = solution found
4.20/1.10	c restart types(rt): st = static, dy = dynamic
4.20/1.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
4.20/1.10	c  B st     0         0     24381    104349         0         0    316886         0   no data   no data
7.58/1.97	c  N dy    20      4072     24381    104349         0      4072    316886   1093751    152.36    202.63
13.55/3.42	c  N dy    49      8133     24381    104349         0      8132    316886   2038370    151.35    160.47
19.15/4.84	c  N dy    76     12138     24381    104349         0     12137    316886   2965306    150.48    181.46
24.74/6.28	c  N dy    98     16205     24381    104349         0     16204    316886   3884285    148.58    159.95
31.13/7.85	c  N dy   126     20320     24381    104349         0     10321    316886    666961    148.13    156.00
37.12/9.30	c  N dy   149     24391     24381    104349         0     14392    316886   1620588    147.92    156.25
37.92/9.52	c  F st   153     25000     24381    104349         0     15001    316886   1759974    148.06    155.20
45.51/11.47	c  N dy   159     30001     24381    104349         0     20002    316886   3235117    148.06   no data
45.51/11.47	c  S st   159     30001     24381    104349         0     20002    316886   3235117    148.06   no data
46.31/11.66	c  S st   159     30505     24381    104349         0     20506    316886   3312182    148.06   no data
46.31/11.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.71/11.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
47.12/11.82	c blocked clauses removed:      540 vars:     87 tried:       24381 T: 0.01 s
47.12/11.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
47.12/11.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
47.12/11.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24294 time:  0.01 s
47.12/11.86	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
47.52/11.98	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.12 s
48.70/12.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
52.29/13.10	c lits-rem:         3  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.85 s
52.69/13.22	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.12
52.69/13.22	c calculated reachability. Time: 0.00
52.69/13.23	c  N dy   159     30505     24278    103795         0     20171    315330   3173396    148.06   no data
59.09/14.87	c  N dy   185     34669     24278    103795         0     24335    315330   4141891    147.52    155.80
65.88/16.52	c  N dy   209     38731     24278    103795         0     28397    315330   5039038    146.89    192.26
72.67/18.23	c  N dy   237     43053     24278    103795         0     17385    315330   1178361    146.44    155.18
76.66/19.24	c  S st   252     45757     24278    103795         0     20087    315330   1781728    146.44   no data
77.47/19.43	c  S st   252     46261     24278    103795         0     20591    315330   1856844    146.44   no data
77.47/19.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.89/19.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
77.89/19.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.89/19.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
77.89/19.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.89/19.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
78.28/19.61	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
78.65/19.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
79.06/19.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
80.25/20.12	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.27 s
80.25/20.13	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
80.25/20.16	c vivif2 --  cl tried    20590 cl shrink        0 lits rem          0 time: 0.03
80.66/20.29	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.12
80.66/20.30	c calculated reachability. Time: 0.00
81.06/20.30	c  N dy   252     46261     24278    103795         0     20590    315330   1856600    146.44   no data
87.07/21.86	c  N dy   275     50355     24278    103795         0     24683    315330   2775827    146.22    164.72
93.44/23.48	c  N dy   301     54457     24278    103795         0     28785    315330   3709676    146.07    154.24
100.25/25.14	c  N dy   329     58539     24278    103795         0     32867    315330   4622703    146.05    160.32
107.02/26.81	c  N dy   356     62551     24278    103795         0     36879    315330   5545291    145.96    159.49
113.43/28.41	c  N dy   380     66609     24278    103795         0     22271    315330   1523368    145.88    155.76
117.42/29.49	c  S st   396     69391     24278    103795         0     25053    315330   2152420    145.66    123.75
118.60/29.70	c  S st   396     69895     24278    103795         0     25557    315330   2243136    145.66   no data
118.60/29.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
119.00/29.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.12
119.00/29.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.00/29.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
119.00/29.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.00/29.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
119.00/29.89	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
119.40/29.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
120.20/30.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
121.82/30.55	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.41 s
121.82/30.56	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
121.82/30.60	c vivif2 --  cl tried    25556 cl shrink        0 lits rem          0 time: 0.04
122.60/30.73	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.13
122.60/30.73	c calculated reachability. Time: 0.00
122.60/30.73	c  N dy   396     69895     24278    103795         0     25556    315330   2243022    145.66   no data
129.79/32.57	c  N dy   429     74394     24278    103795         0     30055    315330   3272977    145.89    155.27
137.77/34.56	c  N dy   460     79180     24278    103795         0     34841    315330   4373710    145.97    157.71
146.17/36.69	c  N dy   493     84329     24278    103795         0     39990    315330   5527320    146.00    154.72
151.76/38.04	c  F st   514     87500     24278    103795         0     22333    315330    989557    145.97   no data
157.37/39.41	c  N st   519     90795     24278    103795         0     25628    315330   1956668    145.97   no data
167.34/41.92	c  N dy   541     97061     24278    103795         0     31894    315330   3478857    145.45    153.70
177.72/44.52	c  N dy   580    103283     24278    103795         0     38114    315330   4862531    145.15    156.46
180.52/45.20	c  S st   593    104842     24278    103795         0     39673    315330   5213132    145.12   no data
181.31/45.43	c  S st   593    105349     24278    103795         0     40180    315330   5305753    145.12   no data
181.31/45.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
181.71/45.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.13
182.11/45.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
182.11/45.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
182.11/45.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
182.11/45.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
182.11/45.64	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
182.51/45.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
183.73/46.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
190.50/47.70	c lits-rem:         9  cl-subs:        6  v-elim:      0  v-fix:    0  time:  1.60 s
190.50/47.71	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
190.91/47.80	c vivif2 --  cl tried    40174 cl shrink        0 lits rem          0 time: 0.09
191.31/47.95	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.15
191.31/47.96	c calculated reachability. Time: 0.00
191.31/47.96	c  N dy   593    105349     24278    103795         0     40174    315330   5302965    145.12   no data
203.29/50.95	c  N dy   638    112316     24278    103795         0     24724    315330   1129347    144.93    155.94
215.27/54.00	c  N dy   690    119623     24278    103795         0     32030    315330   2790757    145.24    153.84
228.45/57.27	c  N dy   742    127466     24278    103795         0     39873    315330   4528519    145.01    158.16
242.83/60.84	c  N dy   793    135803     24278    103795         0     24505    315330    760032    144.84    155.26
256.82/64.34	c  N dy   845    144566     24278    103795         0     33267    315330   2701632    144.63    172.31
272.78/68.30	c  N dy   911    153848     24278    103795         0     42549    315330   4828653    144.82    168.29
280.00/70.13	c  S st   940    158023     24278    103795         0     46724    315330   5752646    144.75   no data
280.78/70.36	c  S st   940    158526     24278    103795         0     47227    315330   5834321    144.75   no data
280.78/70.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
281.58/70.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
281.58/70.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
281.58/70.55	c bin-w-bin subsume rem            0 bins  time:  0.01 s
281.58/70.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
281.58/70.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
281.58/70.58	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
282.38/70.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
283.57/71.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
292.76/73.31	c lits-rem:         6  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.23 s
292.76/73.32	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
293.18/73.42	c vivif2 --  cl tried    47219 cl shrink        0 lits rem          0 time: 0.10
293.58/73.58	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.16
293.58/73.59	c calculated reachability. Time: 0.00
293.58/73.59	c  N dy   940    158526     24278    103795         0     47219    315330   5830653    144.75   no data
310.76/77.82	c  N dy  1008    168667     24278    103795         0     32509    315330   2266047    144.60    153.23
329.11/82.41	c  N dy  1079    179539     24278    103795         0     43380    315330   4689342    144.50    154.52
349.48/87.50	c  N dy  1162    191100     24278    103795         0     29013    315330   1216971    144.40    156.47
369.85/92.69	c  N dy  1241    203352     24278    103795         0     41265    315330   4005273    144.41    152.63
393.43/98.51	c  N dy  1330    216372     24278    103795         0     27322    315330    593205    144.38    154.83
416.62/104.33	c  N dy  1419    230372     24278    103795         0     41322    315330   3751276    144.30    158.15
429.80/107.61	c  S st  1468    237790     24278    103795         0     48740    315330   5420951    144.21   no data
430.57/107.84	c  S st  1468    238292     24278    103795         0     49242    315330   5503934    144.21   no data
430.57/107.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
430.97/107.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
431.37/108.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.37/108.03	c bin-w-bin subsume rem            0 bins  time:  0.01 s
431.37/108.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
431.37/108.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
431.37/108.06	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
432.17/108.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
432.97/108.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
442.57/110.81	c lits-rem:        13  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.29 s
442.57/110.82	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
442.97/110.91	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.09
443.35/111.08	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
443.35/111.09	c calculated reachability. Time: 0.00
443.35/111.09	c  N dy  1468    238292     24278    103795         0     49242    315330   5503921    144.21   no data
470.52/117.81	c  N dy  1578    253608     24278    103795         0     36577    315330   2453977    144.31    158.86
499.28/125.00	c  N dy  1688    269963     24278    103795         0     52932    315330   6182622    144.35    152.18
529.64/132.62	c  N dy  1809    287287     24278    103795         0     41264    315330   3258503    144.53    158.31
562.39/140.82	c  N dy  1925    305710     24278    103795         0     59686    315330   7403154    144.46    180.29
563.59/141.11	c  F st  1930    306250     24278    103795         0     30231    315330    527008    144.46   no data
596.76/149.47	c  N dy  2027    325323     24278    103795         0     49303    315330   5265141    144.51    154.94
632.69/158.45	c  N dy  2162    345348     24278    103795         0     38332    315330   2092264    144.50    162.54
653.89/163.73	c  S st  2241    357439     24278    103795         0     50423    315330   4806297    144.46   no data
654.66/163.97	c  S st  2241    357944     24278    103795         0     50928    315330   4881493    144.46   no data
654.66/163.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
655.46/164.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.14
655.46/164.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
655.46/164.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
655.46/164.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
655.46/164.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
655.46/164.19	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
656.26/164.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
657.06/164.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
665.45/166.64	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.04 s
665.45/166.66	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
665.85/166.74	c vivif2 --  cl tried    50925 cl shrink        0 lits rem          0 time: 0.08
666.66/166.91	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
666.66/166.92	c calculated reachability. Time: 0.00
666.66/166.92	c  N dy  2241    357944     24278    103795         0     50925    315330   4879044    144.46   no data
702.99/176.02	c  N dy  2372    378052     24278    103795         0     39031    315330   2077053    144.47    152.21
739.35/185.18	c  N dy  2504    398097     24278    103795         0     59075    315330   6602665    144.51    170.35
775.30/194.17	c  N dy  2638    418176     24278    103795         0     46154    315330   3447592    144.49    192.89
812.84/203.53	c  N dy  2773    438259     24278    103795         0     66236    315330   8018717    144.51    162.58
848.79/212.58	c  N dy  2911    458395     24278    103795         0     52370    315330   4664686    144.59    160.18
887.13/222.16	c  N dy  3046    478633     24278    103795         0     37610    315330   1061291    144.56    158.80
923.49/231.23	c  N dy  3184    498677     24278    103795         0     57653    315330   5582386    144.61    162.04
961.06/240.65	c  N dy  3313    518747     24278    103795         0     41731    315330   1752059    144.52    172.11
994.19/248.98	c  S st  3442    536916     24278    103795         0     59900    315330   5906084    144.61   no data
995.39/249.25	c  S st  3442    537424     24278    103795         0     60408    315330   6003929    144.61   no data
995.39/249.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
996.20/249.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.15
996.20/249.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
996.20/249.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
996.20/249.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
996.20/249.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
996.20/249.48	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
996.98/249.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
998.18/249.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1010.57/253.09	c lits-rem:         4  cl-subs:        7  v-elim:      0  v-fix:    0  time:  3.12 s
1010.97/253.10	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
1011.37/253.20	c vivif2 --  cl tried    60401 cl shrink        0 lits rem          0 time: 0.10
1011.77/253.39	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.19
1012.17/253.40	c calculated reachability. Time: 0.00
1012.17/253.40	c  N dy  3442    537424     24278    103795         0     60401    315330   6001145    144.61   no data
1050.51/263.00	c  N dy  3581    557593     24278    103795         0     43566    315330   1958819    144.70    152.80
1087.67/272.31	c  N dy  3725    577596     24278    103795         0     63567    315330   6556657    144.81    184.30
1126.01/281.93	c  N dy  3859    597828     24278    103795         0     45806    315330   2243394    144.82    152.65
1163.59/291.34	c  N dy  3997    617889     24278    103795         0     65865    315330   6927577    144.91    160.20
1201.50/300.89	c  N dy  4133    637912     24278    103795         0     46893    315330   2245778    144.93    207.38
1239.85/310.45	c  N dy  4272    658021     24278    103795         0     67000    315330   6890576    145.01    152.77
1278.59/320.19	c  N dy  4406    678130     24278    103795         0     47108    315330   2089851    145.00    160.91
1317.36/329.85	c  N dy  4538    698272     24278    103795         0     67248    315330   6702744    145.02    159.67
1356.51/339.68	c  N dy  4668    718295     24278    103795         0     46273    315330   1680030    145.04    240.42
1394.84/349.21	c  N dy  4803    738632     24278    103795         0     66610    315330   6326663    145.05    158.01
1435.60/359.42	c  N dy  4940    758810     24278    103795         0     44786    315330   1120673    145.08    154.04
1472.73/368.76	c  N dy  5076    778914     24278    103795         0     64890    315330   5705300    145.08    153.35
1512.67/378.78	c  N dy  5209    798921     24278    103795         0     84894    315330  10155589    145.05    154.78
1526.26/382.13	c  S st  5258    806136     24278    103795         0     49114    315330   1848834    145.05    134.49
1527.06/382.38	c  S st  5258    806641     24278    103795         0     49619    315330   1939050    145.05   no data
1527.06/382.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1527.87/382.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.13
1527.87/382.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1527.87/382.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1527.87/382.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1527.87/382.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
1527.87/382.59	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
1528.65/382.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.12 s
1529.05/382.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1531.85/383.53	c lits-rem:         3  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.70 s
1531.85/383.55	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
1531.85/383.58	c vivif2 --  cl tried    49617 cl shrink        0 lits rem          0 time: 0.04
1532.67/383.75	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.17
1532.67/383.76	c calculated reachability. Time: 0.00
1532.67/383.76	c  N dy  5258    806641     24278    103795         0     49617    315330   1937536    145.05   no data
1570.60/393.21	c  N dy  5387    826664     24278    103795         0     69640    315330   6515398    145.05    154.15
1612.14/403.67	c  N dy  5525    846814     24278    103795         0     45785    315330    882484    145.08    156.18
1649.69/413.01	c  N dy  5660    867044     24278    103795         0     66014    315330   5485327    145.08    154.45
1690.45/423.25	c  N dy  5796    887087     24278    103795         0     86056    315330  10041422    145.10    153.77
1728.77/432.81	c  N dy  5939    907121     24278    103795         0     61094    315330   4164484    145.17    154.30
1769.12/442.91	c  N dy  6075    927243     24278    103795         0     81216    315330   8739250    145.19    164.95
1809.08/452.95	c  N dy  6207    947291     24278    103795         0     55266    315330   2576825    145.18    153.00
1848.62/462.82	c  N dy  6343    967360     24278    103795         0     75334    315330   7220277    145.22    185.28
1890.54/473.32	c  N dy  6475    987377     24278    103795         0     48352    315330    777786    145.19    156.96
1928.11/482.79	c  N dy  6613   1007476     24278    103795         0     68449    315330   5348306    145.21    192.40
1969.64/493.18	c  N dy  6742   1027491     24278    103795         0     88464    315330   9925398    145.21    155.44
2009.58/503.19	c  N dy  6882   1047563     24278    103795         0     60539    315330   3362637    145.23    153.01
2049.52/513.19	c  N dy  7021   1067587     24278    103795         0     80560    315330   7959809    145.27    157.88
2058.71/515.44	c  F st  7052   1071877     24278    103795         0     84849    315330   8935821    145.28   no data
2092.26/523.82	c  N dy  7131   1087663     24278    103795         0     51637    315330   1111612    145.28    154.67
2130.23/533.37	c  N dy  7267   1107702     24278    103795         0     71676    315330   5609373    145.27    154.72
2172.55/543.93	c  N dy  7408   1127752     24278    103795         0     91726    315330  10189208    145.29    169.20
2213.30/554.12	c  N dy  7545   1147846     24278    103795         0     61816    315330   3184067    145.28    183.55
2254.03/564.32	c  N dy  7684   1167936     24278    103795         0     81903    315330   7824488    145.33    159.99
2297.96/575.32	c  N dy  7818   1187980     24278    103795         0    101944    315330  12387041    145.35    154.46
2336.33/584.95	c  N dy  7944   1208052     24278    103795         0     71021    315330   5051636    145.34    162.53
2339.91/585.89	c  S st  7954   1209961     24278    103795         0     72930    315330   5469383    145.33   no data
2341.13/586.16	c  S st  7954   1210468     24278    103795         0     73437    315330   5547225    145.33   no data
2341.13/586.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2341.90/586.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.16
2341.90/586.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2341.90/586.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2341.90/586.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2341.90/586.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
2342.30/586.40	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
2342.70/586.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2343.90/586.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2357.08/590.10	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.22 s
2357.08/590.12	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.02
2357.48/590.22	c vivif2 --  cl tried    73432 cl shrink        0 lits rem          0 time: 0.10
2358.31/590.44	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.22
2358.31/590.45	c calculated reachability. Time: 0.00
2358.31/590.45	c  N dy  7954   1210468     24278    103795         0     73432    315330   5544911    145.33   no data
2400.63/601.04	c  N dy  8088   1230521     24278    103795         0     93483    315330  10136426    145.34    185.70
2442.56/611.51	c  N dy  8226   1250585     24278    103795         0     61553    315330   2676711    145.37    179.99
2482.51/621.56	c  N dy  8358   1270800     24278    103795         0     81767    315330   7236316    145.34    154.56
2526.05/632.43	c  N dy  8489   1290819     24278    103795         0    101785    315330  11763255    145.32    157.23
2565.99/642.43	c  N dy  8624   1310876     24278    103795         0     68850    315330   4088767    145.32    154.16
2607.54/652.81	c  N dy  8763   1330890     24278    103795         0     88863    315330   8622375    145.32    158.06
2652.70/664.15	c  N dy  8904   1350938     24278    103795         0     54911    315330    724707    145.32    154.42
2692.25/674.01	c  N dy  9045   1371009     24278    103795         0     74981    315330   5397906    145.37    164.18
2734.16/684.58	c  N dy  9173   1391082     24278    103795         0     95054    315330   9957606    145.38    154.69
2778.10/695.54	c  N dy  9305   1411140     24278    103795         0     60116    315330   1677971    145.39    173.14
2817.65/705.43	c  N dy  9434   1431208     24278    103795         0     80183    315330   6214941    145.38    154.72
2861.19/716.35	c  N dy  9565   1451288     24278    103795         0    100262    315330  10827840    145.38    159.34
2904.32/727.10	c  N dy  9702   1471303     24278    103795         0     64275    315330   2388593    145.40    156.40
2944.66/737.27	c  N dy  9838   1491376     24278    103795         0     84348    315330   6978225    145.41    154.09
2988.61/748.29	c  N dy  9965   1511512     24278    103795         0    104484    315330  11544976    145.40    153.96
3031.75/759.04	c  N dy 10108   1531557     24278    103795         0     67534    315330   2974587    145.41    157.66
3072.89/769.30	c  N dy 10239   1551570     24278    103795         0     87547    315330   7512904    145.40    153.30
3117.63/780.59	c  N dy 10373   1571637     24278    103795         0    107614    315330  12086802    145.41    159.97
3161.57/791.51	c  N dy 10518   1591917     24278    103795         0     69891    315330   3268096    145.46    155.39
3203.11/801.91	c  N dy 10654   1611926     24278    103795         0     89900    315330   7808852    145.46    154.11
3249.05/813.40	c  N dy 10788   1632065     24278    103795         0    110036    315330  12422708    145.46    154.84
3291.38/824.06	c  N dy 10920   1652131     24278    103795         0     71101    315330   3248438    145.45    157.90
3333.33/834.52	c  N dy 11050   1672150     24278    103795         0     91120    315330   7781285    145.45    165.81
3378.85/845.94	c  N dy 11183   1692262     24278    103795         0    111231    315330  12384658    145.45    153.17
3418.41/855.88	c  S st 11306   1710469     24278    103795         0     69442    315330   2777075    145.44    106.59
3419.60/856.14	c  S st 11306   1710974     24278    103795         0     69947    315330   2861455    145.44   no data
3419.60/856.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3420.40/856.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.15
3420.40/856.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3420.40/856.34	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3420.40/856.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3420.40/856.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
3420.40/856.37	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
3421.20/856.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
3421.62/856.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3429.59/858.68	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.00 s
3429.99/858.70	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
3429.99/858.75	c vivif2 --  cl tried    69944 cl shrink        0 lits rem          0 time: 0.05
3430.80/858.95	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.20
3430.80/858.96	c calculated reachability. Time: 0.00
3430.80/858.96	c  N dy 11306   1710974     24278    103795         0     69944    315330   2860667    145.44   no data
3473.53/869.63	c  N dy 11442   1731172     24278    103795         0     90142    315330   7442581    145.43    153.58
3519.06/881.07	c  N dy 11587   1751230     24278    103795         0    110199    315330  12070935    145.46    153.45
3564.60/892.43	c  N dy 11724   1771320     24278    103795         0     69285    315330   2405854    145.47    156.69
3605.75/902.70	c  N dy 11856   1791346     24278    103795         0     89311    315330   7010894    145.48    153.93
3651.28/914.10	c  N dy 11996   1811419     24278    103795         0    109384    315330  11643884    145.50    155.30
3696.81/925.53	c  N dy 12131   1831461     24278    103795         0     67432    315330   1793994    145.51    157.61
3738.37/935.95	c  N dy 12271   1851523     24278    103795         0     87493    315330   6409662    145.53    179.90
3784.69/947.50	c  N dy 12405   1871669     24278    103795         0    107636    315330  10979176    145.54    155.07
3832.63/959.57	c  N dy 12543   1892031     24278    103795         0     65000    315330   1001828    145.55    156.76
3873.37/969.73	c  N dy 12679   1912094     24278    103795         0     85063    315330   5594393    145.56    157.89
3917.71/980.80	c  N dy 12811   1932176     24278    103795         0    105145    315330  10155936    145.58    154.23
3966.04/992.91	c  N dy 12958   1952182     24278    103795         0    125149    315330  14752861    145.61    156.86
4007.99/1003.49	c  N dy 13100   1972222     24278    103795         0     81191    315330   4537300    145.63    156.27
4051.93/1014.48	c  N dy 13239   1992381     24278    103795         0    101349    315330   9185425    145.65    154.14
4099.46/1026.35	c  N dy 13379   2012472     24278    103795         0    121439    315330  13807137    145.67    153.73
4143.79/1037.46	c  N dy 13511   2032487     24278    103795         0     76455    315330   3174219    145.66    160.71
4186.15/1048.10	c  N dy 13645   2052491     24278    103795         0     96459    315330   7756450    145.68    158.82
4232.47/1059.66	c  N dy 13783   2072514     24278    103795         0    116477    315330  12315945    145.70    212.74
4280.40/1071.65	c  N dy 13924   2092534     24278    103795         0     70501    315330   1613560    145.71    153.89
4321.93/1082.10	c  N dy 14060   2112577     24278    103795         0     90538    315330   6209472    145.72    154.07
4367.48/1093.40	c  N dy 14189   2132612     24278    103795         0    110570    315330  10828199    145.71    155.83
4416.60/1105.79	c  N dy 14331   2152715     24278    103795         0    130671    315330  15529497    145.75    164.72
4459.73/1116.50	c  N dy 14465   2172734     24278    103795         0     83705    315330   4404302    145.76    158.21
4503.28/1127.48	c  N dy 14606   2192815     24278    103795         0    103784    315330   9016705    145.77    157.81
4546.84/1138.33	c  S st 14728   2210974     24278    103795         0    121942    315330  13165660    145.78   no data
4548.01/1138.69	c  S st 14728   2211479     24278    103795         0    122447    315330  13246528    145.78   no data
4548.42/1138.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4549.22/1138.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.0M T:  0.20
4549.22/1138.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4549.22/1138.97	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4549.22/1138.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4549.22/1138.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  24278 time:  0.01 s
4549.22/1139.00	c Removed useless bin:       0  fixed:     0  props:   0.24M  time:  0.01 s
4550.42/1139.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.26 s
4553.61/1140.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4583.56/1147.53	c lits-rem:         0  cl-subs:        9  v-elim:      0  v-fix:    0  time:  7.43 s
4583.56/1147.54	c vivif2 --  cl tried   103795 cl shrink        0 lits rem          0 time: 0.01
4584.37/1147.77	c vivif2 --  cl tried   122438 cl shrink        0 lits rem          0 time: 0.23
4585.57/1148.07	c asymm  cl-useful: 0/103795/103795 lits-rem:0 time: 0.29
4585.57/1148.08	c calculated reachability. Time: 0.00
4585.57/1148.08	c  N dy 14728   2211479     24278    103795         0    122438    315330  13242312    145.78   no data
4637.49/1161.04	c  N dy 14866   2231759     24278    103795         0     74719    315330   2149007    145.79    157.05
4680.22/1171.75	c  N dy 15000   2252009     24278    103795         0     94967    315330   6793243    145.80    154.53
4726.98/1183.45	c  N dy 15143   2272075     24278    103795         0    115032    315330  11479094    145.84    155.52
4776.49/1195.82	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: 935)

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

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

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

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


[startup+0 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=51212 CPUtime=0.01 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 409 0 0 0 1 0 0 0 22 0 4 0 514599951 52441088 348 33554432000 4194304 4627427 140736259011680 18446744073709551615 47871771998130 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 12803 348 299 106 0 7774 0
[pid=31553/tid=31554] ppid=31551 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 514599952 52441088 348 33554432000 4194304 4627427 140736259011680 18446744073709551615 47871771998130 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 514599952 52441088 348 33554432000 4194304 4627427 140736259011680 18446744073709551615 47871771998130 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 514599952 52441088 348 33554432000 4194304 4627427 140736259011680 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.409065 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=342680 CPUtime=1.6 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 33902 0 0 0 154 6 0 0 18 0 4 0 514599951 350904320 27272 33554432000 4194304 4627427 140736259011680 18446744073709551615 4410840 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 83732 27334 385 106 0 78703 0
[pid=31553/tid=31554] ppid=31551 vsize=334928 CPUtime=0.94 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11010 0 0 0 92 2 0 0 19 0 4 0 514599952 342966272 27334 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=334928 CPUtime=0.94 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11025 0 0 0 93 1 0 0 18 0 4 0 514599952 342966272 27334 33554432000 4194304 4627427 140736259011680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=334928 CPUtime=0.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 5063 0 0 0 93 1 0 0 19 0 4 0 514599952 342966272 27334 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 342680

[startup+1.05975 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=334928 CPUtime=4.2 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 38406 0 0 0 413 7 0 0 18 0 4 0 514599951 342966272 27631 33554432000 4194304 4627427 140736259011680 18446744073709551615 4302447 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 83732 27631 385 106 0 78703 0
[pid=31553/tid=31554] ppid=31551 vsize=334928 CPUtime=1.04 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11090 0 0 0 102 2 0 0 19 0 4 0 514599952 342966272 27631 33554432000 4194304 4627427 140736259011680 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=334928 CPUtime=1.04 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11103 0 0 0 103 1 0 0 18 0 4 0 514599952 342966272 27631 33554432000 4194304 4627427 140736259011680 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=334928 CPUtime=1.04 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 5121 0 0 0 103 1 0 0 19 0 4 0 514599952 342966272 27631 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 334928

[startup+1.15973 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=334928 CPUtime=4.6 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 38735 0 0 0 453 7 0 0 19 0 4 0 514599951 342966272 27960 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 83732 27960 385 106 0 78703 0
[pid=31553/tid=31554] ppid=31551 vsize=334928 CPUtime=1.14 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11165 0 0 0 112 2 0 0 19 0 4 0 514599952 342966272 27960 33554432000 4194304 4627427 140736259011680 18446744073709551615 4330946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=334928 CPUtime=1.14 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11225 0 0 0 113 1 0 0 19 0 4 0 514599952 342966272 27960 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332696 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=334928 CPUtime=1.14 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 5181 0 0 0 113 1 0 0 19 0 4 0 514599952 342966272 27960 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 334928

[startup+1.25971 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=334928 CPUtime=5 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 39090 0 0 0 493 7 0 0 19 0 4 0 514599951 342966272 28315 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308764 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 83732 28315 385 106 0 78703 0
[pid=31553/tid=31554] ppid=31551 vsize=334928 CPUtime=1.24 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11255 0 0 0 122 2 0 0 19 0 4 0 514599952 342966272 28316 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=334928 CPUtime=1.24 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11326 0 0 0 123 1 0 0 19 0 4 0 514599952 342966272 28316 33554432000 4194304 4627427 140736259011680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=334928 CPUtime=1.24 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 5245 0 0 0 123 1 0 0 19 0 4 0 514599952 342966272 28316 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 334928

[startup+1.50067 s]
/proc/loadavg: 7.67 7.95 6.15 5/184 31553
/proc/meminfo: memFree=21571604/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=334928 CPUtime=5.96 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 39768 0 0 0 589 7 0 0 19 0 4 0 514599951 342966272 28993 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308584 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 83732 28993 385 106 0 78703 0
[pid=31553/tid=31554] ppid=31551 vsize=334928 CPUtime=1.48 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11422 0 0 0 146 2 0 0 19 0 4 0 514599952 342966272 28993 33554432000 4194304 4627427 140736259011680 18446744073709551615 4306360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=334928 CPUtime=1.48 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 11496 0 0 0 147 1 0 0 19 0 4 0 514599952 342966272 28993 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332948 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=334928 CPUtime=1.48 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 5402 0 0 0 147 1 0 0 20 0 4 0 514599952 342966272 28993 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 334928

[startup+3.10637 s]
/proc/loadavg: 7.67 7.95 6.15 9/188 31557
/proc/meminfo: memFree=21436788/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=466192 CPUtime=12.38 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 44383 0 0 0 1229 9 0 0 23 0 4 0 514599951 477380608 33608 33554432000 4194304 4627427 140736259011680 18446744073709551615 4299638 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 116548 33608 385 106 0 111519 0
[pid=31553/tid=31554] ppid=31551 vsize=466192 CPUtime=3.08 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 12555 0 0 0 306 2 0 0 25 0 4 0 514599952 477380608 33608 33554432000 4194304 4627427 140736259011680 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=466192 CPUtime=3.09 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 12573 0 0 0 307 2 0 0 23 0 4 0 514599952 477380608 33608 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=466192 CPUtime=3.07 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 6746 0 0 0 306 1 0 0 25 0 4 0 514599952 477380608 33608 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308285 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 466192

[startup+6.30078 s]
/proc/loadavg: 7.77 7.97 6.16 9/188 31558
/proc/meminfo: memFree=21400084/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=466192 CPUtime=25.16 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 52733 0 0 0 2505 11 0 0 25 0 4 0 514599951 477380608 41958 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 116548 41958 385 106 0 111519 0
[pid=31553/tid=31554] ppid=31551 vsize=466192 CPUtime=6.29 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 14714 0 0 0 626 3 0 0 25 0 4 0 514599952 477380608 41958 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=466192 CPUtime=6.29 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 14718 0 0 0 627 2 0 0 25 0 4 0 514599952 477380608 41958 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=466192 CPUtime=6.26 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 8753 0 0 0 624 2 0 0 25 0 4 0 514599952 477380608 41958 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 466192

[startup+12.7006 s]
/proc/loadavg: 7.79 7.97 6.17 9/188 31558
/proc/meminfo: memFree=21401972/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=650316 CPUtime=50.7 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 90999 0 0 0 5050 20 0 0 25 0 4 0 514599951 665923584 59366 33554432000 4194304 4627427 140736259011680 18446744073709551615 4427403 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 162579 59366 390 106 0 157550 0
[pid=31553/tid=31554] ppid=31551 vsize=650316 CPUtime=12.68 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 20330 0 0 0 1264 4 0 0 25 0 4 0 514599952 665923584 59366 33554432000 4194304 4627427 140736259011680 18446744073709551615 4330127 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=650316 CPUtime=12.68 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 20241 0 0 0 1264 4 0 0 25 0 4 0 514599952 665923584 59366 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=650316 CPUtime=12.62 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 14430 0 0 0 1259 3 0 0 25 0 4 0 514599952 665923584 59366 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 650316

[startup+25.5012 s]
/proc/loadavg: 7.92 7.99 6.21 10/188 31558
/proc/meminfo: memFree=21139472/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=678352 CPUtime=101.83 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 168029 0 0 0 10141 42 0 0 25 0 4 0 514599951 694632448 99685 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 169588 99687 390 106 0 164559 0
[pid=31553/tid=31554] ppid=31551 vsize=678352 CPUtime=25.48 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 51413 0 0 0 2536 12 0 0 25 0 4 0 514599952 694632448 99687 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=678352 CPUtime=25.48 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 36807 0 0 0 2539 9 0 0 25 0 4 0 514599952 694632448 99687 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=678352 CPUtime=25.35 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 33656 0 0 0 2527 8 0 0 25 0 4 0 514599952 694632448 99687 33554432000 4194304 4627427 140736259011680 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 678352

[startup+51.1005 s]
/proc/loadavg: 7.94 7.99 6.25 9/188 31559
/proc/meminfo: memFree=21012848/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=780736 CPUtime=204.09 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 262994 0 0 0 20341 68 0 0 25 0 4 0 514599951 799473664 139178 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 195184 139178 390 106 0 190155 0
[pid=31553/tid=31554] ppid=31551 vsize=780736 CPUtime=51.08 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 66979 0 0 0 5091 17 0 0 25 0 4 0 514599952 799473664 139178 33554432000 4194304 4627427 140736259011680 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=780736 CPUtime=51.08 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 61773 0 0 0 5093 15 0 0 25 0 4 0 514599952 799473664 139178 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=780736 CPUtime=50.81 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 63245 0 0 0 5064 17 0 0 25 0 4 0 514599952 799473664 139178 33554432000 4194304 4627427 140736259011680 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 780736

[startup+102.301 s]
/proc/loadavg: 8.15 8.03 6.36 9/188 31560
/proc/meminfo: memFree=20848492/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=931160 CPUtime=408.6 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 369084 0 0 0 40757 103 0 0 25 0 4 0 514599951 953507840 163250 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 232790 163250 390 106 0 227761 0
[pid=31553/tid=31554] ppid=31551 vsize=931160 CPUtime=102.28 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 95847 0 0 0 10202 26 0 0 25 0 4 0 514599952 953507840 163250 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=931160 CPUtime=102.27 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 91055 0 0 0 10202 25 0 0 25 0 4 0 514599952 953507840 163250 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332615 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=931160 CPUtime=101.72 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 87051 0 0 0 10146 26 0 0 25 0 4 0 514599952 953507840 163250 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.6
Current children cumulated vsize (KiB) 931160

[startup+162.301 s]

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

[pid=31553] ppid=31551 vsize=1469316 CPUtime=2565.6 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1332010 0 0 0 256112 448 0 0 25 0 4 0 514599951 1504579584 276674 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 367329 276674 390 106 0 362300 0
[pid=31553/tid=31554] ppid=31551 vsize=1469316 CPUtime=641.08 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 358377 0 0 0 63984 124 0 0 25 0 4 0 514599952 1504579584 276674 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1469316 CPUtime=642.26 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 347355 0 0 0 64110 116 0 0 25 0 4 0 514599952 1504579584 276674 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1469316 CPUtime=639.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 325966 0 0 0 63886 108 0 0 25 0 4 0 514599952 1504579584 276674 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 1469316

[startup+702.301 s]
/proc/loadavg: 8.22 8.17 7.21 9/188 31606
/proc/meminfo: memFree=20155204/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1470912 CPUtime=2805.27 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1425308 0 0 0 280044 483 0 0 25 0 4 0 514599951 1506213888 284560 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 367728 284560 390 106 0 362699 0
[pid=31553/tid=31554] ppid=31551 vsize=1470912 CPUtime=700.75 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 382953 0 0 0 69942 133 0 0 25 0 4 0 514599952 1506213888 284560 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1470912 CPUtime=702.26 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 373732 0 0 0 70100 126 0 0 25 0 4 0 514599952 1506213888 284560 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1470912 CPUtime=699.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 347083 0 0 0 69878 116 0 0 25 0 4 0 514599952 1506213888 284560 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.27
Current children cumulated vsize (KiB) 1470912

[startup+762.301 s]
/proc/loadavg: 8.28 8.20 7.28 9/188 31608
/proc/meminfo: memFree=20166840/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1472244 CPUtime=3044.93 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1516171 0 0 0 303978 515 0 0 25 0 4 0 514599951 1507577856 277252 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 368061 277252 390 106 0 363032 0
[pid=31553/tid=31554] ppid=31551 vsize=1472244 CPUtime=760.42 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 407326 0 0 0 75899 143 0 0 25 0 4 0 514599952 1507577856 277252 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1472244 CPUtime=762.26 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 398443 0 0 0 76090 136 0 0 25 0 4 0 514599952 1507577856 277252 33554432000 4194304 4627427 140736259011680 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1472244 CPUtime=759.95 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 367977 0 0 0 75872 123 0 0 25 0 4 0 514599952 1507577856 277252 33554432000 4194304 4627427 140736259011680 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.93
Current children cumulated vsize (KiB) 1472244

[startup+822.301 s]
/proc/loadavg: 8.19 8.19 7.33 9/188 31609
/proc/meminfo: memFree=20114120/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1299276 CPUtime=3284.59 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1610437 0 0 0 327908 551 0 0 25 0 4 0 514599951 1330458624 275063 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 324819 275063 390 106 0 319790 0
[pid=31553/tid=31554] ppid=31551 vsize=1299276 CPUtime=820.09 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 434768 0 0 0 81856 153 0 0 25 0 4 0 514599952 1330458624 275063 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1299276 CPUtime=822.25 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 422586 0 0 0 82080 145 0 0 25 0 4 0 514599952 1330458624 275063 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1299276 CPUtime=819.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 389997 0 0 0 81862 132 0 0 25 0 4 0 514599952 1330458624 275063 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.59
Current children cumulated vsize (KiB) 1299276

[startup+882.301 s]
/proc/loadavg: 8.11 8.17 7.38 9/188 31611
/proc/meminfo: memFree=19955748/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1474744 CPUtime=3524.25 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1695448 0 0 0 351842 583 0 0 25 0 4 0 514599951 1510137856 295083 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 368686 295083 390 106 0 363657 0
[pid=31553/tid=31554] ppid=31551 vsize=1474744 CPUtime=879.76 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 455426 0 0 0 87815 161 0 0 25 0 4 0 514599952 1510137856 295083 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1474744 CPUtime=882.25 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 446651 0 0 0 88069 156 0 0 25 0 4 0 514599952 1510137856 295083 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332735 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1474744 CPUtime=879.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 409364 0 0 0 87856 138 0 0 25 0 4 0 514599952 1510137856 295083 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.25
Current children cumulated vsize (KiB) 1474744

[startup+942.3 s]
/proc/loadavg: 8.04 8.13 7.41 9/188 31612
/proc/meminfo: memFree=19781012/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1542164 CPUtime=3763.92 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1802262 0 0 0 375772 620 0 0 25 0 4 0 514599951 1579175936 318508 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 385541 318508 390 106 0 380512 0
[pid=31553/tid=31554] ppid=31551 vsize=1542164 CPUtime=939.42 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 482608 0 0 0 93771 171 0 0 25 0 4 0 514599952 1579175936 318508 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1542164 CPUtime=942.24 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 486050 0 0 0 94057 167 0 0 25 0 4 0 514599952 1579175936 318508 33554432000 4194304 4627427 140736259011680 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1542164 CPUtime=939.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 429401 0 0 0 93847 147 0 0 25 0 4 0 514599952 1579175936 318508 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.92
Current children cumulated vsize (KiB) 1542164

[startup+1002.3 s]
/proc/loadavg: 8.01 8.11 7.45 9/188 31614
/proc/meminfo: memFree=19879324/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1455060 CPUtime=4003.59 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1895059 0 0 0 399703 656 0 0 25 0 4 0 514599951 1489981440 301199 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308383 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 363765 301199 390 106 0 358736 0
[pid=31553/tid=31554] ppid=31551 vsize=1455060 CPUtime=999.09 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 505595 0 0 0 99729 180 0 0 25 0 4 0 514599952 1489981440 301199 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1455060 CPUtime=1002.25 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 509404 0 0 0 100049 176 0 0 25 0 4 0 514599952 1489981440 301199 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1455060 CPUtime=999.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 452509 0 0 0 99837 157 0 0 25 0 4 0 514599952 1489981440 301200 33554432000 4194304 4627427 140736259011680 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 1455060

[startup+1062.3 s]
/proc/loadavg: 8.28 8.15 7.50 9/188 31616
/proc/meminfo: memFree=19723812/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1478884 CPUtime=4243.27 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 1994042 0 0 0 423634 693 0 0 25 0 4 0 514599951 1514377216 323544 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 369721 323544 390 106 0 364692 0
[pid=31553/tid=31554] ppid=31551 vsize=1478884 CPUtime=1058.76 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 531447 0 0 0 105685 191 0 0 25 0 4 0 514599952 1514377216 323544 33554432000 4194304 4627427 140736259011680 18446744073709551615 4327298 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1478884 CPUtime=1062.25 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 534798 0 0 0 106040 185 0 0 25 0 4 0 514599952 1514377216 323544 33554432000 4194304 4627427 140736259011680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1478884 CPUtime=1059.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 478385 0 0 0 105828 166 0 0 25 0 4 0 514599952 1514377216 323544 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1478884

[startup+1122.3 s]
/proc/loadavg: 8.29 8.17 7.54 9/188 31617
/proc/meminfo: memFree=19795224/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1480380 CPUtime=4482.9 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 2098058 0 0 0 447561 729 0 0 25 0 4 0 514599951 1515909120 297401 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308760 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 370095 297401 390 106 0 365066 0
[pid=31553/tid=31554] ppid=31551 vsize=1480380 CPUtime=1118.42 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 558037 0 0 0 111643 199 0 0 25 0 4 0 514599952 1515909120 297401 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1480380 CPUtime=1122.23 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 562047 0 0 0 112030 193 0 0 25 0 4 0 514599952 1515909120 297402 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1480380 CPUtime=1119.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 505134 0 0 0 111818 176 0 0 25 0 4 0 514599952 1515909120 297402 33554432000 4194304 4627427 140736259011680 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.9
Current children cumulated vsize (KiB) 1480380

[startup+1182.31 s]
/proc/loadavg: 8.45 8.21 7.59 9/188 31619
/proc/meminfo: memFree=19446764/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1853404 CPUtime=4722.59 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 2267925 0 0 0 471479 780 0 0 25 0 4 0 514599951 1897885696 400849 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 463351 400849 390 106 0 458322 0
[pid=31553/tid=31554] ppid=31551 vsize=1853404 CPUtime=1178.1 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 611905 0 0 0 117596 214 0 0 25 0 4 0 514599952 1897885696 400849 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1853404 CPUtime=1182.24 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 586333 0 0 0 118021 203 0 0 25 0 4 0 514599952 1897885696 400849 33554432000 4194304 4627427 140736259011680 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1853404 CPUtime=1179.94 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 552872 0 0 0 117805 189 0 0 25 0 4 0 514599952 1897885696 400849 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 1853404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.32 8.20 7.60 9/188 31619
/proc/meminfo: memFree=19419480/32951124 swapFree=67111524/67111528
[pid=31553] ppid=31551 vsize=1794160 CPUtime=4800.07 cores=1,3,5,7
/proc/31553/stat : 31553 (strangenight2-m) R 31551 31553 31354 0 -1 4202496 2300981 0 0 0 479215 792 0 0 25 0 4 0 514599951 1837219840 399234 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/31553/statm: 448540 399234 390 106 0 443511 0
[pid=31553/tid=31554] ppid=31551 vsize=1794160 CPUtime=1197.39 cores=1,3,5,7
/proc/31553/task/31554/stat : 31554 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 619356 0 0 0 119521 218 0 0 25 0 4 0 514599952 1837219840 399235 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=31553/tid=31555] ppid=31551 vsize=1794160 CPUtime=1201.64 cores=1,3,5,7
/proc/31553/task/31555/stat : 31555 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 595928 0 0 0 119958 206 0 0 25 0 4 0 514599952 1837219840 399235 33554432000 4194304 4627427 140736259011680 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=31553/tid=31556] ppid=31551 vsize=1794160 CPUtime=1199.34 cores=1,3,5,7
/proc/31553/task/31556/stat : 31556 (strangenight2-m) R 31551 31553 31354 0 -1 4202560 560089 0 0 0 119743 191 0 0 25 0 4 0 514599952 1837219840 399235 33554432000 4194304 4627427 140736259011680 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 1794160

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.78
CPU time (s): 4800.17
CPU user time (s): 4792.18
CPU system time (s): 7.99678
CPU usage (%): 399.421
Max. virtual memory (cumulated for all children) (KiB): 1853664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.18
system time used= 7.99678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2300992
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= 2456
involuntary context switches= 18477

runsolver used 1.82672 second user time and 4.74928 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 00:33:41
IDJOB=3173706
IDBENCH=82524
IDSOLVER=1586
FILE ID=node135/3173706-1304030021
RUNJOBID= node135-1304028687-31374
PBS_JOBID= 13170317
Free space on /tmp= 71096 MiB

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

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

MD5SUM BENCH= aeb1e99b5983291023a10a1b4c71c10e
RANDOM SEED=768551534

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.851
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:     32951124 kB
MemFree:      21571884 kB
Buffers:       1822804 kB
Cached:        8109060 kB
SwapCached:          4 kB
Active:        3140244 kB
Inactive:      7645176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21571884 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           23600 kB
Writeback:           0 kB
AnonPages:      853980 kB
Mapped:          15504 kB
Slab:           528436 kB
PageTables:       6192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1216508 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71104 MiB
End job on node135 at 2011-04-29 00:53:45