Trace number 3366123

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.48 1203.78

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf
MD5SUM4f5a8cb56de51e6630c119bd6436cc16
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark98.77
Satisfiable
(Un)Satisfiability was proved
Number of variables40000
Number of clauses168000
Sum of the clauses size504000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3168000
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-3366123-1305396014.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.36/0.18	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.36/0.18	c -- vars added      40000
0.36/0.18	c Parsing time:  0.12 s
0.36/0.18	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.36/0.36	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.36/0.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
0.74/0.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.74/0.52	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.74/0.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.74/0.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
0.74/0.56	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
0.74/0.85	c lits-rem:         0  cl-subs:        0  v-elim:   1028  v-fix:    0  time:  0.28 s
0.74/0.86	c Finding binary XORs  T:     0.01 s  found:       0
0.74/0.93	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
0.74/0.93	c calculated reachability. Time: 0.00
0.74/0.95	c Calc default polars -  time:   0.02 s pos:   17672 undec:    4484 neg:   17844
0.74/0.95	c =========================================================================================
0.74/0.95	c types(t): F = full restart, N = normal restart
0.74/0.95	c types(t): S = simplification begin/end, E = solution found
0.74/0.95	c restart types(rt): st = static, dy = dynamic
0.74/0.95	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.74/0.95	c  B st     0         0     38972    166834         0         0    506630         0   no data   no data
12.27/3.10	c  N dy    19      4092     38972    166834         0      4091    506630   1282533    174.20    187.80
20.69/5.26	c  N dy    47      8182     38972    166834         0      8180    506630   2339316    171.25    180.67
29.82/7.55	c  N dy    79     12304     38972    166834         0     12302    506630   3508532    178.89    188.46
39.39/9.91	c  N dy   108     16581     38972    166834         0     16579    506630   4618666    177.51    187.34
48.17/12.19	c  N dy   137     20598     38972    166834         0     10598    506630    833698    177.12    201.72
57.34/14.43	c  N dy   167     24660     38972    166834         0     14660    506630   1941969    178.17    188.02
58.14/14.63	c  F st   171     25000     38972    166834         0     15000    506630   2036172    178.33   no data
69.69/17.58	c  N dy   177     30000     38972    166834         0     20000    506630   3902167    178.33   no data
69.69/17.58	c  S st   177     30000     38972    166834         0     20000    506630   3902167    178.33   no data
70.90/17.85	c  S st   177     30501     38972    166834         0     20501    506630   3995968    178.33   no data
70.90/17.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
71.30/17.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
71.70/18.05	c blocked clauses removed:      857 vars:    134 tried:       38972 T: 0.02 s
71.70/18.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
71.70/18.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
71.70/18.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38838 time:  0.01 s
72.10/18.10	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
72.92/18.31	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.21 s
74.09/18.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
77.72/19.55	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.80 s
78.47/19.75	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.20
78.47/19.76	c calculated reachability. Time: 0.00
78.47/19.76	c  N dy   177     30501     38818    165957         0     19786    504135   3407814    178.33   no data
87.64/22.09	c  N dy   205     34597     38818    165957         0     23882    504135   4497892    178.36    193.88
98.02/24.62	c  N dy   228     38846     38818    165957         0     28131    504135   5606692    177.55    192.19
108.01/27.18	c  N dy   259     43076     38818    165957         0     17219    504135   1345255    178.02    188.82
113.96/28.67	c  S st   274     45751     38818    165957         0     19894    504135   2054481    177.77   no data
115.16/28.95	c  S st   274     46257     38818    165957         0     20400    504135   2142120    177.77   no data
115.16/28.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
115.56/29.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
115.96/29.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.96/29.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
115.96/29.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
115.96/29.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
115.96/29.18	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
116.79/29.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
117.54/29.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
118.75/29.83	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.29 s
118.75/29.86	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
119.14/29.90	c vivif2 --  cl tried    20398 cl shrink        0 lits rem          0 time: 0.04
119.94/30.11	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.20
119.94/30.12	c calculated reachability. Time: 0.00
119.94/30.12	c  N dy   274     46257     38818    165957         0     20398    504135   2141922    177.77   no data
129.51/32.60	c  N dy   302     50539     38818    165957         0     24680    504135   3296125    177.75    191.01
139.47/35.01	c  N dy   327     54701     38818    165957         0     28842    504135   4411736    177.46    190.70
148.65/37.39	c  N dy   353     58807     38818    165957         0     32946    504135   5484780    177.36    187.15
158.62/39.83	c  N dy   382     62836     38818    165957         0     36974    504135   6560014    177.37    188.54
167.80/42.19	c  N dy   412     66869     38818    165957         0     22440    504135   1875204    177.96    191.12
173.81/43.67	c  S st   429     69385     38818    165957         0     24956    504135   2551100    177.82   no data
174.97/43.96	c  S st   429     69888     38818    165957         0     25459    504135   2642424    177.82   no data
174.97/43.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
175.37/44.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
175.77/44.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
175.77/44.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
175.77/44.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
175.77/44.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
175.77/44.19	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
176.57/44.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
177.37/44.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
179.36/45.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.44 s
179.36/45.03	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
179.36/45.08	c vivif2 --  cl tried    25459 cl shrink        0 lits rem          0 time: 0.05
180.56/45.30	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.21
180.56/45.31	c calculated reachability. Time: 0.00
180.56/45.31	c  N dy   429     69888     38818    165957         0     25459    504135   2642424    177.82   no data
190.91/48.00	c  N dy   465     74379     38818    165957         0     29950    504135   3850911    178.02    236.15
202.47/50.87	c  N dy   500     79157     38818    165957         0     34728    504135   5144481    178.27    188.11
215.23/54.00	c  N dy   535     84336     38818    165957         0     39907    504135   6530431    178.09    190.80
222.45/55.87	c  F st   555     87502     38818    165957         0     22284    504135   1128324    177.89    157.07
231.23/58.01	c  N st   560     90800     38818    165957         0     25582    504135   2522606    177.89   no data
245.14/61.58	c  N dy   590     96687     38818    165957         0     31469    504135   4421130    177.97    187.84
260.30/65.36	c  N dy   634    102925     38818    165957         0     37707    504135   6096908    178.05    187.83
265.09/66.54	c  S st   648    104833     38818    165957         0     39615    504135   6610255    178.09   no data
266.32/66.86	c  S st   648    105339     38818    165957         0     40121    504135   6706907    178.09   no data
266.32/66.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
267.07/67.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
267.07/67.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.07/67.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
267.07/67.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
267.07/67.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
267.47/67.11	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
268.27/67.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
269.87/67.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
277.05/69.53	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.68 s
277.05/69.56	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
277.44/69.68	c vivif2 --  cl tried    40116 cl shrink        0 lits rem          0 time: 0.12
278.65/69.92	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.24
278.65/69.93	c calculated reachability. Time: 0.00
278.65/69.94	c  N dy   648    105339     38818    165957         0     40116    504135   6703361    178.09   no data
294.99/74.05	c  N dy   693    112067     38818    165957         0     24454    504135   1288633    178.28    189.77
312.54/78.44	c  N dy   742    119310     38818    165957         0     31696    504135   3297743    178.47    190.45
330.89/83.09	c  N dy   796    126999     38818    165957         0     39385    504135   5409842    178.61    188.36
351.23/88.18	c  N dy   856    135122     38818    165957         0     23810    504135    681193    178.84    191.53
371.97/93.30	c  N dy   911    143859     38818    165957         0     32547    504135   3017768    178.69    192.07
394.30/98.98	c  N dy   974    153073     38818    165957         0     41761    504135   5471656    178.62    188.38
406.71/102.03	c  S st  1006    158009     38818    165957         0     46697    504135   6755500    178.48   no data
407.85/102.37	c  S st  1006    158513     38818    165957         0     47201    504135   6866521    178.48   no data
407.85/102.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
408.65/102.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
408.65/102.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
408.65/102.59	c bin-w-bin subsume rem            0 bins  time:  0.01 s
409.05/102.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
409.05/102.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
409.05/102.63	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
409.86/102.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
411.84/103.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
420.62/105.57	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.23 s
421.02/105.60	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
421.42/105.73	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.13
422.22/105.99	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.26
422.62/106.00	c calculated reachability. Time: 0.00
422.62/106.00	c  N dy  1006    158513     38818    165957         0     47197    504135   6865570    178.48   no data
446.94/112.17	c  N dy  1079    168743     38818    165957         0     32580    504135   2737874    178.66    188.89
473.66/118.84	c  N dy  1159    179540     38818    165957         0     43375    504135   5661768    178.74    198.37
502.38/126.10	c  N dy  1241    191005     38818    165957         0     28918    504135   1432499    178.86    192.80
532.29/133.53	c  N dy  1329    203198     38818    165957         0     41111    504135   4778147    179.03    193.36
565.38/141.82	c  N dy  1417    216174     38818    165957         0     27127    504135    614652    179.08    188.88
598.50/150.19	c  N dy  1513    229995     38818    165957         0     40947    504135   4344423    179.19    201.27
618.43/155.16	c  S st  1569    237769     38818    165957         0     48721    504135   6458409    179.23   no data
619.63/155.49	c  S st  1569    238271     38818    165957         0     49223    504135   6550286    179.23   no data
620.03/155.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
620.42/155.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
620.82/155.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
620.82/155.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
620.82/155.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
620.82/155.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
620.82/155.76	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
621.66/155.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
623.21/156.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
632.39/158.69	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.29 s
632.79/158.72	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
633.19/158.84	c vivif2 --  cl tried    49221 cl shrink        0 lits rem          0 time: 0.13
633.99/159.10	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.26
634.42/159.12	c calculated reachability. Time: 0.00
634.42/159.12	c  N dy  1569    238271     38818    165957         0     49221    504135   6548861    179.23   no data
672.27/168.67	c  N dy  1676    253515     38818    165957         0     36481    504135   2880332    179.30    192.73
712.95/178.81	c  N dy  1782    269692     38818    165957         0     52658    504135   7213539    179.16    192.25
756.42/189.71	c  N dy  1904    286915     38818    165957         0     40890    504135   3856686    179.42    190.92
803.08/201.40	c  N dy  2022    305251     38818    165957         0     59224    504135   8770247    179.38    188.86
805.50/202.07	c  F st  2027    306251     38818    165957         0     30230    504135    584768    179.33    170.88
851.74/213.68	c  N dy  2122    324768     38818    165957         0     48747    504135   6221351    179.26    192.12
903.18/226.58	c  N dy  2272    344819     38818    165957         0     37805    504135   2421577    179.53    192.14
935.08/234.53	c  S st  2361    357407     38818    165957         0     50393    504135   5898939    179.61   no data
936.29/234.85	c  S st  2361    357912     38818    165957         0     50898    504135   6000951    179.61   no data
936.29/234.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
937.11/235.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
937.11/235.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
937.11/235.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
937.11/235.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
937.11/235.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
937.52/235.12	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
938.28/235.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
939.47/235.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
948.65/237.95	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.22 s
948.65/237.98	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
949.05/238.09	c vivif2 --  cl tried    50895 cl shrink        0 lits rem          0 time: 0.11
950.27/238.35	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.26
950.27/238.36	c calculated reachability. Time: 0.00
950.27/238.37	c  N dy  2361    357912     38818    165957         0     50895    504135   5999937    179.61   no data
1001.69/251.26	c  N dy  2500    378002     38818    165957         0     38982    504135   2410528    179.61    196.32
1053.53/264.28	c  N dy  2631    398112     38818    165957         0     59092    504135   7935280    179.58    190.79
1104.98/277.15	c  N dy  2770    418237     38818    165957         0     46221    504135   4143112    179.57    193.85
1158.02/290.41	c  N dy  2906    438300     38818    165957         0     66283    504135   9613724    179.63    189.26
1208.68/303.17	c  N dy  3043    458359     38818    165957         0     52344    504135   5400026    179.54    189.73
1262.51/316.62	c  N dy  3188    478408     38818    165957         0     37394    504135   1196186    179.63    192.56
1313.97/329.51	c  N dy  3335    498497     38818    165957         0     57482    504135   6704608    179.78    250.84
1367.03/342.85	c  N dy  3469    518556     38818    165957         0     41547    504135   1992231    179.78    190.42
1414.86/354.83	c  S st  3596    536870     38818    165957         0     59861    504135   6942720    179.80   no data
1416.04/355.20	c  S st  3596    537372     38818    165957         0     60363    504135   7038783    179.80   no data
1416.45/355.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1416.85/355.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.14
1417.25/355.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1417.25/355.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1417.25/355.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1417.25/355.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
1417.25/355.48	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1418.05/355.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
1420.09/356.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1432.41/359.21	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.01 s
1432.41/359.23	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
1432.84/359.38	c vivif2 --  cl tried    60360 cl shrink        0 lits rem          0 time: 0.14
1433.99/359.66	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.28
1433.99/359.68	c calculated reachability. Time: 0.00
1433.99/359.68	c  N dy  3596    537372     38818    165957         0     60360    504135   7037009    179.80   no data
1487.84/373.15	c  N dy  3723    557436     38818    165957         0     43422    504135   2221116    179.72    198.99
1541.29/386.58	c  N dy  3859    577755     38818    165957         0     63739    504135   7729056    179.72    191.40
1595.92/400.22	c  N dy  3998    597781     38818    165957         0     45760    504135   2569825    179.73    209.56
1649.36/413.69	c  N dy  4134    617890     38818    165957         0     65868    504135   8103232    179.76    196.16
1703.60/427.27	c  N dy  4272    637990     38818    165957         0     46966    504135   2690537    179.79    209.07
1758.23/440.95	c  N dy  4411    658193     38818    165957         0     67167    504135   8194344    179.79    197.24
1813.67/454.86	c  N dy  4556    678229     38818    165957         0     47210    504135   2539046    179.95    235.65
1868.71/468.61	c  N dy  4693    698381     38818    165957         0     67361    504135   8019805    179.91    194.97
1923.75/482.41	c  N dy  4828    718409     38818    165957         0     46391    504135   1963494    179.85    211.21
1977.98/496.06	c  N dy  4970    738593     38818    165957         0     66575    504135   7518977    179.92    194.19
2034.61/510.24	c  N dy  5106    758611     38818    165957         0     44593    504135   1252036    179.98    196.75
2088.46/523.72	c  N dy  5248    778664     38818    165957         0     64646    504135   6638326    179.98    203.76
2144.27/537.74	c  N dy  5376    798710     38818    165957         0     84688    504135  11968718    179.90    189.53
2163.83/542.69	c  S st  5428    806058     38818    165957         0     49033    504135   2194993    179.94   no data
2165.45/543.05	c  S st  5428    806562     38818    165957         0     49537    504135   2301856    179.94   no data
2165.45/543.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2166.21/543.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
2166.21/543.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2166.21/543.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2166.21/543.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2166.61/543.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
2166.61/543.32	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2167.01/543.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
2167.81/543.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2171.00/544.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.73 s
2171.00/544.42	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
2171.00/544.47	c vivif2 --  cl tried    49537 cl shrink        0 lits rem          0 time: 0.05
2172.20/544.73	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.26
2172.20/544.74	c calculated reachability. Time: 0.00
2172.20/544.74	c  N dy  5428    806562     38818    165957         0     49537    504135   2301856    179.94   no data
2226.04/558.29	c  N dy  5560    826572     38818    165957         0     69546    504135   7885219    180.02    192.54
2283.07/572.56	c  N dy  5696    846634     38818    165957         0     45623    504135    916771    180.02    195.07
2336.96/586.06	c  N dy  5838    866658     38818    165957         0     65644    504135   6330060    180.04    192.26
2394.33/600.46	c  N dy  5979    886776     38818    165957         0     85760    504135  11914082    180.12    190.59
2448.58/614.07	c  N dy  6112    906806     38818    165957         0     60787    504135   4824736    180.10    190.51
2504.81/628.11	c  N dy  6249    926884     38818    165957         0     80864    504135  10325298    180.14    208.02
2561.44/642.39	c  N dy  6394    946997     38818    165957         0     54976    504135   3086951    180.24    189.85
2617.31/656.36	c  N dy  6535    967121     38818    165957         0     75100    504135   8675098    180.30    201.66
2675.49/670.92	c  N dy  6671    987164     38818    165957         0     48152    504135    840168    180.31    190.56
2729.74/684.50	c  N dy  6807   1007232     38818    165957         0     68218    504135   6403565    180.33    195.78
2787.97/699.11	c  N dy  6951   1027364     38818    165957         0     88349    504135  12018629    180.41    192.27
2843.80/713.17	c  N dy  7090   1047374     38818    165957         0     60357    504135   3955507    180.45    231.03
2899.63/727.12	c  N dy  7220   1067483     38818    165957         0     80466    504135   9461345    180.42    190.25
2912.39/730.34	c  F st  7255   1071876     38818    165957         0     84858    504135  10678291    180.44    175.95
2958.26/741.83	c  N dy  7326   1087501     38818    165957         0     51485    504135   1191483    180.40    195.01
3013.69/755.71	c  N dy  7475   1107576     38818    165957         0     71560    504135   6732503    180.47    221.59
3072.72/770.53	c  N dy  7617   1127813     38818    165957         0     91797    504135  12357066    180.50    197.52
3129.75/784.85	c  N dy  7762   1147891     38818    165957         0     61877    504135   3891414    180.58    193.09
3186.78/799.19	c  N dy  7907   1168058     38818    165957         0     82044    504135   9397910    180.58    190.12
3247.40/814.34	c  N dy  8049   1188169     38818    165957         0     51153    504135    579685    180.62    191.82
3303.63/828.42	c  N dy  8194   1208243     38818    165957         0     71227    504135   6156567    180.67    193.04
3308.02/829.58	c  S st  8207   1209844     38818    165957         0     72828    504135   6598783    180.67   no data
3309.62/829.94	c  S st  8207   1210348     38818    165957         0     73332    504135   6688745    180.67   no data
3309.62/829.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3310.44/830.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.16
3310.44/830.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3310.44/830.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3310.86/830.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3310.86/830.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
3310.86/830.25	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3311.60/830.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
3313.20/830.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3327.16/834.35	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.39 s
3327.16/834.37	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
3327.99/834.52	c vivif2 --  cl tried    73327 cl shrink        0 lits rem          0 time: 0.13
3329.15/834.83	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.31
3329.15/834.84	c calculated reachability. Time: 0.00
3329.15/834.84	c  N dy  8207   1210348     38818    165957         0     73327    504135   6687491    180.67   no data
3387.38/849.45	c  N dy  8341   1230380     38818    165957         0     93359    504135  12134997    180.65    193.58
3445.20/863.93	c  N dy  8478   1250433     38818    165957         0     61414    504135   3159725    180.69    214.66
3502.24/878.22	c  N dy  8620   1270545     38818    165957         0     81524    504135   8729198    180.72    191.45
3562.46/893.37	c  N dy  8766   1290647     38818    165957         0    101624    504135  14289931    180.76    191.41
3619.49/907.60	c  N dy  8908   1310719     38818    165957         0     68701    504135   4916151    180.81    195.33
3677.32/922.18	c  N dy  9048   1330780     38818    165957         0     88760    504135  10538427    180.86    192.30
3738.73/937.56	c  N dy  9186   1350816     38818    165957         0     54804    504135    783439    180.86    216.72
3794.17/951.41	c  N dy  9323   1370886     38818    165957         0     74873    504135   6346817    180.90    201.83
3853.59/966.32	c  N dy  9466   1390966     38818    165957         0     94952    504135  11929904    180.94    191.88
3913.40/981.31	c  N dy  9595   1411003     38818    165957         0     59983    504135   1928367    180.95    193.13
3969.64/995.42	c  N dy  9733   1431074     38818    165957         0     80052    504135   7366416    180.93    192.93
4029.46/1010.46	c  N dy  9871   1451110     38818    165957         0    100088    504135  12892761    180.94    191.16
4088.48/1025.27	c  N dy 10005   1471205     38818    165957         0     64185    504135   2843951    180.94    190.92
4145.91/1039.63	c  N dy 10144   1491246     38818    165957         0     84224    504135   8407303    180.96    191.00
4206.52/1054.87	c  N dy 10277   1511417     38818    165957         0    104393    504135  13892776    180.94    191.70
4265.55/1069.67	c  N dy 10414   1531509     38818    165957         0     67485    504135   3446191    180.96    193.32
4322.58/1083.95	c  N dy 10542   1551538     38818    165957         0     87513    504135   9003574    180.95    190.87
4383.59/1099.23	c  N dy 10677   1571599     38818    165957         0    107573    504135  14481963    180.95    197.10
4442.26/1113.98	c  N dy 10818   1591675     38818    165957         0     69650    504135   3791304    180.97    191.10
4500.45/1128.53	c  N dy 10955   1611690     38818    165957         0     89664    504135   9274858    180.98    200.90
4561.46/1143.82	c  N dy 11091   1631697     38818    165957         0    109668    504135  14731725    180.98    211.44
4620.89/1158.70	c  N dy 11225   1651787     38818    165957         0     70763    504135   3770293    180.98    191.20
4679.57/1173.45	c  N dy 11357   1671979     38818    165957         0     90955    504135   9361436    180.96    196.54
4740.98/1188.87	c  N dy 11494   1692081     38818    165957         0    111054    504135  14993875    180.99    192.60
4795.97/1202.63	c  S st 11624   1710348     38818    165957         0     69324    504135   3149338    181.00   no data
4797.59/1203.01	c  S st 11624   1710851     38818    165957         0     69827    504135   3256014    181.00   no data
4797.59/1203.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4798.00/1203.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
4798.35/1203.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4798.35/1203.25	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4798.35/1203.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4798.35/1203.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
4798.75/1203.30	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4799.15/1203.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4800.35/1203.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s

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-3366123-1305396014/watcher-3366123-1305396014 -o /tmp/evaluation-result-3366123-1305396014/solver-3366123-1305396014 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366123-1305396014.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.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=190836 CPUtime=0.01 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 4005 0 0 0 1 0 0 0 23 0 4 0 632017262 195416064 3501 33554432000 4194304 4580107 140737188423440 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 47709 3523 334 95 0 42691 0
[pid=18040/tid=18041] ppid=18038 vsize=195976 CPUtime=0 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 1190 0 0 0 0 0 0 0 23 0 4 0 632017262 200679424 5340 33554432000 4194304 4580107 140737188423440 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=195976 CPUtime=0 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 890 0 0 0 0 0 0 0 23 0 4 0 632017262 200679424 5352 33554432000 4194304 4580107 140737188423440 18446744073709551615 4310274 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=195976 CPUtime=0 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 2121 0 0 0 0 0 0 0 24 0 4 0 632017262 200679424 5361 33554432000 4194304 4580107 140737188423440 18446744073709551615 233509994251 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.088886 s]
/proc/loadavg: 3.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=390488 CPUtime=0.31 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) S 18038 18040 17203 0 -1 4202496 21458 0 0 0 23 8 0 0 18 0 4 0 632017262 399859712 17795 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 97622 17817 337 95 0 92604 0
[pid=18040/tid=18041] ppid=18038 vsize=390488 CPUtime=0.07 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) S 18038 18040 17203 0 -1 4202560 4868 0 0 0 5 2 0 0 18 0 4 0 632017262 399859712 17828 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 18446604457239753664 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=390488 CPUtime=0.07 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) S 18038 18040 17203 0 -1 4202560 5508 0 0 0 5 2 0 0 23 0 4 0 632017262 399859712 17843 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 18446604457239753664 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=390488 CPUtime=0.08 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 5450 0 0 0 7 1 0 0 18 0 4 0 632017262 399859712 17856 33554432000 4194304 4580107 140737188423440 18446744073709551615 233509994935 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 390488

[startup+0.101703 s]
/proc/loadavg: 3.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=390488 CPUtime=0.36 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 22596 0 0 0 27 9 0 0 18 0 4 0 632017262 399859712 18932 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 97622 18985 337 95 0 92604 0
[pid=18040/tid=18041] ppid=18038 vsize=390488 CPUtime=0.08 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) S 18038 18040 17203 0 -1 4202560 5053 0 0 0 6 2 0 0 18 0 4 0 632017262 399859712 19031 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=390488 CPUtime=0.08 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 5659 0 0 0 6 2 0 0 18 0 4 0 632017262 399859712 19080 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=390488 CPUtime=0.09 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 5830 0 0 0 8 1 0 0 18 0 4 0 632017262 399859712 19106 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402591 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 390488

[startup+0.61361 s]
/proc/loadavg: 3.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=421220 CPUtime=2.89 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 52855 0 0 0 267 22 0 0 18 0 4 0 632017262 431329280 41131 33554432000 4194304 4580107 140737188423440 18446744073709551615 233509964762 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 105478 42401 377 95 0 100460 0
[pid=18040/tid=18041] ppid=18038 vsize=421912 CPUtime=1.09 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 15917 0 0 0 103 6 0 0 19 0 4 0 632017262 432037888 42401 33554432000 4194304 4580107 140737188423440 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=421912 CPUtime=1.09 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 15827 0 0 0 101 8 0 0 18 0 4 0 632017262 432037888 42401 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=421912 CPUtime=1.1 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 7649 0 0 0 108 2 0 0 19 0 4 0 632017262 432037888 42401 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 421220

[startup+1.21638 s]
/proc/loadavg: 3.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=421912 CPUtime=4.75 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 56998 0 0 0 453 22 0 0 19 0 4 0 632017262 432037888 42685 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 105478 42685 377 95 0 100460 0
[pid=18040/tid=18041] ppid=18038 vsize=421912 CPUtime=1.17 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 15982 0 0 0 111 6 0 0 19 0 4 0 632017262 432037888 42685 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=421912 CPUtime=1.18 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 15883 0 0 0 110 8 0 0 19 0 4 0 632017262 432037888 42685 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=421912 CPUtime=1.19 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 7743 0 0 0 117 2 0 0 19 0 4 0 632017262 432037888 42685 33554432000 4194304 4580107 140737188423440 18446744073709551615 4301856 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 421912

[startup+1.50033 s]
/proc/loadavg: 3.79 5.83 7.13 6/360 18040
/proc/meminfo: memFree=18659200/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=421912 CPUtime=5.89 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 57920 0 0 0 567 22 0 0 19 0 4 0 632017262 432037888 43462 33554432000 4194304 4580107 140737188423440 18446744073709551615 4324363 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 105478 43462 377 95 0 100460 0
[pid=18040/tid=18041] ppid=18038 vsize=421912 CPUtime=1.46 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 16179 0 0 0 140 6 0 0 19 0 4 0 632017262 432037888 43462 33554432000 4194304 4580107 140737188423440 18446744073709551615 4320798 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=421912 CPUtime=1.46 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 16088 0 0 0 138 8 0 0 19 0 4 0 632017262 432037888 43462 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=421912 CPUtime=1.47 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 7985 0 0 0 145 2 0 0 19 0 4 0 632017262 432037888 43464 33554432000 4194304 4580107 140737188423440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 421912

[startup+3.10104 s]
/proc/loadavg: 3.79 5.83 7.13 9/364 18044
/proc/meminfo: memFree=18461512/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=553176 CPUtime=12.27 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 61646 0 0 0 1204 23 0 0 25 0 4 0 632017262 566452224 47046 33554432000 4194304 4580107 140737188423440 18446744073709551615 4295890 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 138294 47046 377 95 0 133276 0
[pid=18040/tid=18041] ppid=18038 vsize=553176 CPUtime=3.04 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 17035 0 0 0 297 7 0 0 24 0 4 0 632017262 566452224 47046 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=553176 CPUtime=3.06 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 17040 0 0 0 298 8 0 0 23 0 4 0 632017262 566452224 47046 33554432000 4194304 4580107 140737188423440 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=553176 CPUtime=3.07 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 8856 0 0 0 305 2 0 0 24 0 4 0 632017262 566452224 47046 33554432000 4194304 4580107 140737188423440 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 553176

[startup+6.31347 s]
/proc/loadavg: 4.21 5.88 7.14 9/364 18045
/proc/meminfo: memFree=18401628/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=553176 CPUtime=25.09 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 68796 0 0 0 2483 26 0 0 25 0 4 0 632017262 566452224 54196 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 138294 54196 377 95 0 133276 0
[pid=18040/tid=18041] ppid=18038 vsize=553176 CPUtime=6.21 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 18659 0 0 0 614 7 0 0 25 0 4 0 632017262 566452224 54196 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=553176 CPUtime=6.28 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 18673 0 0 0 619 9 0 0 25 0 4 0 632017262 566452224 54196 33554432000 4194304 4580107 140737188423440 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=553176 CPUtime=6.29 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 11031 0 0 0 626 3 0 0 25 0 4 0 632017262 566452224 54196 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 553176

[startup+12.7003 s]
/proc/loadavg: 4.51 5.92 7.15 9/364 18045
/proc/meminfo: memFree=18310784/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=454264 CPUtime=50.56 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 88628 0 0 0 5026 30 0 0 25 0 4 0 632017262 465166336 47836 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293100 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 113566 47836 377 95 0 108548 0
[pid=18040/tid=18041] ppid=18038 vsize=454264 CPUtime=12.53 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 23465 0 0 0 1246 7 0 0 25 0 4 0 632017262 465166336 47836 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=454264 CPUtime=12.66 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 23492 0 0 0 1256 10 0 0 25 0 4 0 632017262 465166336 47836 33554432000 4194304 4580107 140737188423440 18446744073709551615 4302458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=454264 CPUtime=12.68 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 16179 0 0 0 1263 5 0 0 25 0 4 0 632017262 465166336 47836 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 454264

[startup+25.501 s]
/proc/loadavg: 5.28 6.02 7.16 9/364 18045
/proc/meminfo: memFree=18040348/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=783332 CPUtime=101.6 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 164765 0 0 0 10108 52 0 0 25 0 4 0 632017262 802131968 105497 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 195833 105497 379 95 0 190815 0
[pid=18040/tid=18041] ppid=18038 vsize=783332 CPUtime=25.18 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 57935 0 0 0 2501 17 0 0 25 0 4 0 632017262 802131968 105497 33554432000 4194304 4580107 140737188423440 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=783332 CPUtime=25.45 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 31784 0 0 0 2533 12 0 0 25 0 4 0 632017262 802131968 105497 33554432000 4194304 4580107 140737188423440 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=783332 CPUtime=25.47 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 24780 0 0 0 2540 7 0 0 25 0 4 0 632017262 802131968 105497 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 783332

[startup+51.1005 s]
/proc/loadavg: 6.21 6.18 7.18 9/364 18055
/proc/meminfo: memFree=17865676/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=970944 CPUtime=203.67 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 249093 0 0 0 20289 78 0 0 25 0 4 0 632017262 994246656 138201 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 242736 138201 379 95 0 237718 0
[pid=18040/tid=18041] ppid=18038 vsize=970944 CPUtime=50.54 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 74593 0 0 0 5032 22 0 0 25 0 4 0 632017262 994246656 138201 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=970944 CPUtime=50.96 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 52134 0 0 0 5078 18 0 0 25 0 4 0 632017262 994246656 138201 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=970944 CPUtime=51.06 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 51283 0 0 0 5091 15 0 0 25 0 4 0 632017262 994246656 138201 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318686 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.67
Current children cumulated vsize (KiB) 970944

[startup+102.3 s]
/proc/loadavg: 7.26 6.47 7.23 9/364 18056
/proc/meminfo: memFree=17598560/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1097428 CPUtime=407.85 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 375299 0 0 0 40671 114 0 0 25 0 4 0 632017262 1123766272 190281 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18040/statm: 274357 190281 379 95 0 269339 0
[pid=18040/tid=18041] ppid=18038 vsize=1097428 CPUtime=101.75 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 99922 0 0 0 10145 30 0 0 25 0 4 0 632017262 1123766272 190281 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1097428 CPUtime=101.55 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 78690 0 0 0 10130 25 0 0 25 0 4 0 632017262 1123766272 190281 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1097428 CPUtime=102.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 84144 0 0 0 10202 25 0 0 25 0 4 0 632017262 1123766272 190281 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 1097428

[startup+162.301 s]

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

[pid=18040] ppid=18038 vsize=1811664 CPUtime=2800.73 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1344922 0 0 0 279617 456 0 0 25 0 4 0 632017262 1855143936 335453 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 452916 335453 379 95 0 447898 0
[pid=18040/tid=18041] ppid=18038 vsize=1811664 CPUtime=701.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 322251 0 0 0 70067 106 0 0 25 0 4 0 632017262 1855143936 335453 33554432000 4194304 4580107 140737188423440 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1811664 CPUtime=698.8 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 324112 0 0 0 69769 111 0 0 25 0 4 0 632017262 1855143936 335454 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1811664 CPUtime=702.26 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 354890 0 0 0 70110 116 0 0 25 0 4 0 632017262 1855143936 335454 33554432000 4194304 4580107 140737188423440 18446744073709551615 4321122 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.73
Current children cumulated vsize (KiB) 1811664

[startup+762.3 s]
/proc/loadavg: 8.07 7.91 7.66 9/364 18074
/proc/meminfo: memFree=16552816/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1682368 CPUtime=3040.01 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1434241 0 0 0 303516 485 0 0 25 0 4 0 632017262 1722744832 345910 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 420592 345910 379 95 0 415574 0
[pid=18040/tid=18041] ppid=18038 vsize=1682368 CPUtime=761.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 345729 0 0 0 76060 113 0 0 25 0 4 0 632017262 1722744832 345910 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1682368 CPUtime=758.8 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 345550 0 0 0 75763 117 0 0 25 0 4 0 632017262 1722744832 345910 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1682368 CPUtime=762.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 380264 0 0 0 76102 125 0 0 25 0 4 0 632017262 1722744832 345910 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.01
Current children cumulated vsize (KiB) 1682368

[startup+822.301 s]
/proc/loadavg: 8.11 7.95 7.68 9/364 18075
/proc/meminfo: memFree=16579344/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1747792 CPUtime=3279.31 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1520155 0 0 0 327415 516 0 0 25 0 4 0 632017262 1789739008 341530 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 436948 341530 379 95 0 431930 0
[pid=18040/tid=18041] ppid=18038 vsize=1747792 CPUtime=821.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 366581 0 0 0 82053 120 0 0 25 0 4 0 632017262 1789739008 341530 33554432000 4194304 4580107 140737188423440 18446744073709551615 4401307 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1747792 CPUtime=818.8 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 368492 0 0 0 81753 127 0 0 25 0 4 0 632017262 1789739008 341530 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1747792 CPUtime=822.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 400459 0 0 0 82095 132 0 0 25 0 4 0 632017262 1789739008 341530 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.31
Current children cumulated vsize (KiB) 1747792

[startup+882.301 s]
/proc/loadavg: 8.11 7.99 7.71 9/364 18077
/proc/meminfo: memFree=16485444/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1684488 CPUtime=3518.59 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1615148 0 0 0 351308 551 0 0 25 0 4 0 632017262 1724915712 350802 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 421122 350802 379 95 0 416104 0
[pid=18040/tid=18041] ppid=18038 vsize=1684488 CPUtime=881.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 396590 0 0 0 88044 129 0 0 25 0 4 0 632017262 1724915712 350802 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1684488 CPUtime=878.8 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 390909 0 0 0 87745 135 0 0 25 0 4 0 632017262 1724915712 350802 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1684488 CPUtime=882.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 420622 0 0 0 88087 140 0 0 25 0 4 0 632017262 1724915712 350802 33554432000 4194304 4580107 140737188423440 18446744073709551615 4339824 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.59
Current children cumulated vsize (KiB) 1684488

[startup+942.3 s]
/proc/loadavg: 8.19 8.03 7.74 9/364 18079
/proc/meminfo: memFree=16378648/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1815460 CPUtime=3757.91 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1709943 0 0 0 375209 582 0 0 25 0 4 0 632017262 1859031040 362094 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 453865 362094 379 95 0 448847 0
[pid=18040/tid=18041] ppid=18038 vsize=1815460 CPUtime=941.74 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 415673 0 0 0 94039 135 0 0 25 0 4 0 632017262 1859031040 362106 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1815460 CPUtime=938.8 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 418613 0 0 0 93737 143 0 0 25 0 4 0 632017262 1859031040 362106 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1815460 CPUtime=942.28 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 442901 0 0 0 94081 147 0 0 25 0 4 0 632017262 1859031040 362106 33554432000 4194304 4580107 140737188423440 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3757.91
Current children cumulated vsize (KiB) 1815460

[startup+1002.3 s]
/proc/loadavg: 8.14 8.04 7.76 9/364 18080
/proc/meminfo: memFree=16361624/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1751000 CPUtime=3997.16 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1793574 0 0 0 399103 613 0 0 25 0 4 0 632017262 1793024000 369035 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 437750 369035 379 95 0 432732 0
[pid=18040/tid=18041] ppid=18038 vsize=1751000 CPUtime=1001.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 435081 0 0 0 100030 143 0 0 25 0 4 0 632017262 1793024000 369035 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1751000 CPUtime=998.79 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 438627 0 0 0 99728 151 0 0 25 0 4 0 632017262 1793024000 369035 33554432000 4194304 4580107 140737188423440 18446744073709551615 4306066 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1751000 CPUtime=1002.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 467097 0 0 0 100072 155 0 0 25 0 4 0 632017262 1793024000 369035 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.16
Current children cumulated vsize (KiB) 1751000

[startup+1062.31 s]
/proc/loadavg: 8.15 8.06 7.78 9/364 18082
/proc/meminfo: memFree=16278272/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1882888 CPUtime=4236.49 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1876181 0 0 0 423004 645 0 0 25 0 4 0 632017262 1928077312 372062 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 470722 372062 379 95 0 465704 0
[pid=18040/tid=18041] ppid=18038 vsize=1882888 CPUtime=1061.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 453990 0 0 0 106024 149 0 0 25 0 4 0 632017262 1928077312 372062 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1882888 CPUtime=1058.81 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 460636 0 0 0 105722 159 0 0 25 0 4 0 632017262 1928077312 372062 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1882888 CPUtime=1062.27 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 485205 0 0 0 106065 162 0 0 25 0 4 0 632017262 1928077312 372062 33554432000 4194304 4580107 140737188423440 18446744073709551615 4318735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.49
Current children cumulated vsize (KiB) 1882888

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.80 9/364 18083
/proc/meminfo: memFree=16228532/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1883788 CPUtime=4475.72 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 1957587 0 0 0 446897 675 0 0 25 0 4 0 632017262 1928998912 372958 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 470947 372958 379 95 0 465929 0
[pid=18040/tid=18041] ppid=18038 vsize=1883788 CPUtime=1121.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 473953 0 0 0 112017 156 0 0 25 0 4 0 632017262 1928998912 372958 33554432000 4194304 4580107 140737188423440 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1883788 CPUtime=1118.79 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 480632 0 0 0 111713 166 0 0 25 0 4 0 632017262 1928998912 372958 33554432000 4194304 4580107 140737188423440 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1883788 CPUtime=1122.26 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 504967 0 0 0 112055 171 0 0 25 0 4 0 632017262 1928998912 372958 33554432000 4194304 4580107 140737188423440 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.72
Current children cumulated vsize (KiB) 1883788

[startup+1182.3 s]
/proc/loadavg: 8.12 8.07 7.82 9/364 18085
/proc/meminfo: memFree=16264104/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1785584 CPUtime=4715 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 2050416 0 0 0 470791 709 0 0 25 0 4 0 632017262 1828438016 350970 33554432000 4194304 4580107 140737188423440 18446744073709551615 4294396 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/18040/statm: 446396 350970 379 95 0 441378 0
[pid=18040/tid=18041] ppid=18038 vsize=1785584 CPUtime=1181.73 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 499697 0 0 0 118008 165 0 0 25 0 4 0 632017262 1828438016 350970 33554432000 4194304 4580107 140737188423440 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1785584 CPUtime=1178.79 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 502192 0 0 0 117706 173 0 0 25 0 4 0 632017262 1828438016 350970 33554432000 4194304 4580107 140737188423440 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1785584 CPUtime=1182.26 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 526907 0 0 0 118048 178 0 0 25 0 4 0 632017262 1828438016 350970 33554432000 4194304 4580107 140737188423440 18446744073709551615 4302568 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715
Current children cumulated vsize (KiB) 1785584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.08 8.06 7.82 5/359 18086
/proc/meminfo: memFree=17239272/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1917560 CPUtime=4800.37 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 2078936 0 0 0 479318 719 0 0 25 0 4 0 632017262 1963581440 365207 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18040/statm: 479390 365207 379 95 0 474372 0
[pid=18040/tid=18041] ppid=18038 vsize=1917560 CPUtime=1203.13 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 505661 0 0 0 120146 167 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1917560 CPUtime=1200.2 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 510058 0 0 0 119845 175 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1917560 CPUtime=1203.67 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 532488 0 0 0 120187 180 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1917560

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

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

[startup+1203.7 s]
/proc/loadavg: 8.08 8.06 7.82 5/359 18086
/proc/meminfo: memFree=17239272/32951124 swapFree=67111348/67111528
[pid=18040] ppid=18038 vsize=1917560 CPUtime=4800.37 cores=1,3,5,7
/proc/18040/stat : 18040 (strangenight2-m) R 18038 18040 17203 0 -1 4202496 2078936 0 0 0 479318 719 0 0 25 0 4 0 632017262 1963581440 365207 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402591 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18040/statm: 479390 365207 379 95 0 474372 0
[pid=18040/tid=18041] ppid=18038 vsize=1917560 CPUtime=1203.13 cores=1,3,5,7
/proc/18040/task/18041/stat : 18041 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 505661 0 0 0 120146 167 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 233510402542 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18040/tid=18042] ppid=18038 vsize=1917560 CPUtime=1200.2 cores=1,3,5,7
/proc/18040/task/18042/stat : 18042 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 510058 0 0 0 119845 175 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18040/tid=18043] ppid=18038 vsize=1917560 CPUtime=1203.67 cores=1,3,5,7
/proc/18040/task/18043/stat : 18043 (strangenight2-m) R 18038 18040 17203 0 -1 4202560 532488 0 0 0 120187 180 0 0 25 0 4 0 632017262 1963581440 365209 33554432000 4194304 4580107 140737188423440 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 1917560

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.78
CPU time (s): 4800.48
CPU user time (s): 4793.22
CPU system time (s): 7.2649
CPU usage (%): 398.783
Max. virtual memory (cumulated for all children) (KiB): 1917560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.22
system time used= 7.2649
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2078944
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= 13972
involuntary context switches= 30696

runsolver used 3.9614 second user time and 10.2904 second system time

The end

Launcher Data 

Begin job on node145 at 2011-05-14 20:00:14
IDJOB=3366123
IDBENCH=82532
IDSOLVER=1844
FILE ID=node145/3366123-1305396014
RUNJOBID= node145-1305396014-18018
PBS_JOBID= 13324435
Free space on /tmp= 73652 MiB

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

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

MD5SUM BENCH= 4f5a8cb56de51e6630c119bd6436cc16
RANDOM SEED=2045699512

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      18657496 kB
Buffers:        292756 kB
Cached:        8124324 kB
SwapCached:          0 kB
Active:        7316664 kB
Inactive:      6621884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      18657496 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           15300 kB
Writeback:           0 kB
AnonPages:     5521292 kB
Mapped:          27560 kB
Slab:           255508 kB
PageTables:      34084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 79476808 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= 73652 MiB
End job on node145 at 2011-05-14 20:20:20