Trace number 3173714

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.24 1201.79

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-3173714-1304030066.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.34/0.18	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.34/0.18	c -- vars added      40000
0.34/0.18	c Parsing time:  0.12 s
0.34/0.18	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.77/0.49	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.77/0.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
1.96/0.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.96/0.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.96/0.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.96/0.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
1.96/0.83	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
5.06/1.36	c lits-rem:         0  cl-subs:        0  v-elim:   1028  v-fix:    0  time:  0.30 s
5.06/1.36	c Finding binary XORs  T:     0.01 s  found:       0
5.06/1.36	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
5.06/1.36	c calculated reachability. Time: 0.00
5.06/1.36	c Calc default polars -  time:   0.02 s pos:   17672 undec:    4484 neg:   17844
5.06/1.36	c =========================================================================================
5.06/1.36	c types(t): F = full restart, N = normal restart
5.06/1.36	c types(t): S = simplification begin/end, E = solution found
5.06/1.36	c restart types(rt): st = static, dy = dynamic
5.06/1.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.06/1.36	c  B st     0         0     38972    166834         0         0    506630         0   no data   no data
12.24/3.15	c  N dy    19      4092     38972    166834         0      4091    506630   1282533    174.20    187.80
21.02/5.30	c  N dy    47      8182     38972    166834         0      8180    506630   2339316    171.25    180.67
29.81/7.56	c  N dy    79     12304     38972    166834         0     12302    506630   3508532    178.89    188.46
39.41/9.91	c  N dy   108     16581     38972    166834         0     16579    506630   4618666    177.51    187.34
48.20/12.16	c  N dy   137     20598     38972    166834         0     10598    506630    833698    177.12    201.72
56.98/14.39	c  N dy   167     24660     38972    166834         0     14660    506630   1941969    178.17    188.02
57.78/14.59	c  F st   171     25000     38972    166834         0     15000    506630   2036172    178.33   no data
69.77/17.53	c  N dy   177     30000     38972    166834         0     20000    506630   3902167    178.33   no data
69.77/17.53	c  S st   177     30000     38972    166834         0     20000    506630   3902167    178.33   no data
70.56/17.79	c  S st   177     30501     38972    166834         0     20501    506630   3995968    178.33   no data
70.96/17.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.78/18.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
72.18/18.11	c blocked clauses removed:      857 vars:    134 tried:       38972 T: 0.02 s
72.18/18.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.18/18.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
72.18/18.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38838 time:  0.01 s
72.18/18.16	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
73.36/18.40	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.24 s
74.55/18.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.15/19.68	c lits-rem:         5  cl-subs:        6  v-elim:      0  v-fix:    0  time:  0.85 s
78.95/19.88	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.20
78.95/19.89	c calculated reachability. Time: 0.00
78.95/19.89	c  N dy   177     30501     38818    165957         0     19786    504135   3407814    178.33   no data
88.15/22.18	c  N dy   205     34597     38818    165957         0     23882    504135   4497892    178.36    193.88
98.14/24.68	c  N dy   228     38846     38818    165957         0     28131    504135   5606692    177.55    192.19
108.11/27.19	c  N dy   259     43076     38818    165957         0     17219    504135   1345255    178.02    188.82
114.10/28.66	c  S st   274     45751     38818    165957         0     19894    504135   2054481    177.77   no data
115.30/28.92	c  S st   274     46257     38818    165957         0     20400    504135   2142120    177.77   no data
115.30/28.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
116.12/29.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
116.49/29.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116.49/29.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
116.49/29.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
116.49/29.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
116.49/29.27	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
117.30/29.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
118.09/29.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
119.29/29.99	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.33 s
119.69/30.01	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
119.69/30.05	c vivif2 --  cl tried    20398 cl shrink        0 lits rem          0 time: 0.04
120.51/30.25	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.20
120.51/30.27	c calculated reachability. Time: 0.00
120.51/30.27	c  N dy   274     46257     38818    165957         0     20398    504135   2141922    177.77   no data
130.48/32.71	c  N dy   302     50539     38818    165957         0     24680    504135   3296125    177.75    191.01
139.67/35.09	c  N dy   327     54701     38818    165957         0     28842    504135   4411736    177.46    190.70
149.26/37.44	c  N dy   353     58807     38818    165957         0     32946    504135   5484780    177.36    187.15
158.84/39.84	c  N dy   382     62836     38818    165957         0     36974    504135   6560014    177.37    188.54
168.03/42.17	c  N dy   412     66869     38818    165957         0     22440    504135   1875204    177.96    191.12
174.02/43.61	c  S st   429     69385     38818    165957         0     24956    504135   2551100    177.82   no data
174.82/43.89	c  S st   429     69888     38818    165957         0     25459    504135   2642424    177.82   no data
175.22/43.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
176.02/44.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
176.02/44.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
176.42/44.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.42/44.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
176.42/44.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
176.42/44.25	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
177.23/44.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
178.01/44.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
180.02/45.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.48 s
180.02/45.17	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
180.42/45.22	c vivif2 --  cl tried    25459 cl shrink        0 lits rem          0 time: 0.05
181.22/45.43	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.21
181.22/45.44	c calculated reachability. Time: 0.00
181.22/45.44	c  N dy   429     69888     38818    165957         0     25459    504135   2642424    177.82   no data
191.59/48.08	c  N dy   465     74379     38818    165957         0     29950    504135   3850911    178.02    236.15
203.19/50.91	c  N dy   500     79157     38818    165957         0     34728    504135   5144481    178.27    188.11
215.17/53.99	c  N dy   535     84336     38818    165957         0     39907    504135   6530431    178.09    190.80
222.75/55.83	c  F st   555     87502     38818    165957         0     22284    504135   1128324    177.89    157.07
231.14/57.95	c  N st   560     90800     38818    165957         0     25582    504135   2522606    177.89   no data
245.13/61.47	c  N dy   590     96687     38818    165957         0     31469    504135   4421130    177.97    187.84
259.91/65.18	c  N dy   634    102925     38818    165957         0     37707    504135   6096908    178.05    187.83
264.71/66.35	c  S st   648    104833     38818    165957         0     39615    504135   6610255    178.09   no data
265.90/66.65	c  S st   648    105339     38818    165957         0     40121    504135   6706907    178.09   no data
265.90/66.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
267.10/66.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.24
267.10/66.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
267.10/66.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
267.50/67.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
267.50/67.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
267.50/67.04	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
268.30/67.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
270.29/67.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
277.49/69.57	c lits-rem:         6  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.75 s
277.89/69.60	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
278.30/69.73	c vivif2 --  cl tried    40116 cl shrink        0 lits rem          0 time: 0.13
279.08/69.96	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.23
279.08/69.97	c calculated reachability. Time: 0.00
279.08/69.97	c  N dy   648    105339     38818    165957         0     40116    504135   6703361    178.09   no data
295.45/74.01	c  N dy   693    112067     38818    165957         0     24454    504135   1288633    178.28    189.77
312.23/78.27	c  N dy   742    119310     38818    165957         0     31696    504135   3297743    178.47    190.45
330.61/82.87	c  N dy   796    126999     38818    165957         0     39385    504135   5409842    178.61    188.36
350.57/87.88	c  N dy   856    135122     38818    165957         0     23810    504135    681193    178.84    191.53
370.97/92.93	c  N dy   911    143859     38818    165957         0     32547    504135   3017768    178.69    192.07
393.32/98.51	c  N dy   974    153073     38818    165957         0     41761    504135   5471656    178.62    188.38
404.91/101.49	c  S st  1006    158009     38818    165957         0     46697    504135   6755500    178.48   no data
406.50/101.82	c  S st  1006    158513     38818    165957         0     47201    504135   6866521    178.48   no data
406.50/101.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
407.70/102.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
407.70/102.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
407.70/102.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
407.70/102.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
407.70/102.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
408.10/102.21	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
408.91/102.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
410.90/102.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
420.09/105.27	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.30 s
420.48/105.30	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
420.88/105.43	c vivif2 --  cl tried    47197 cl shrink        0 lits rem          0 time: 0.13
421.68/105.68	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.25
421.68/105.69	c calculated reachability. Time: 0.00
421.68/105.69	c  N dy  1006    158513     38818    165957         0     47197    504135   6865570    178.48   no data
446.06/111.77	c  N dy  1079    168743     38818    165957         0     32580    504135   2737874    178.66    188.89
472.41/118.31	c  N dy  1159    179540     38818    165957         0     43375    504135   5661768    178.74    198.37
500.79/125.42	c  N dy  1241    191005     38818    165957         0     28918    504135   1432499    178.86    192.80
529.55/132.69	c  N dy  1329    203198     38818    165957         0     41111    504135   4778147    179.03    193.36
562.30/140.80	c  N dy  1417    216174     38818    165957         0     27127    504135    614652    179.08    188.88
595.08/149.01	c  N dy  1513    229995     38818    165957         0     40947    504135   4344423    179.19    201.27
614.24/153.88	c  S st  1569    237769     38818    165957         0     48721    504135   6458409    179.23   no data
615.43/154.20	c  S st  1569    238271     38818    165957         0     49223    504135   6550286    179.23   no data
615.83/154.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
616.65/154.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
617.05/154.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
617.05/154.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
617.05/154.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
617.05/154.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
617.05/154.59	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
618.23/154.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
619.82/155.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
629.42/157.66	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.36 s
629.42/157.68	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
630.24/157.81	c vivif2 --  cl tried    49221 cl shrink        0 lits rem          0 time: 0.13
631.01/158.06	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.25
631.01/158.07	c calculated reachability. Time: 0.00
631.01/158.08	c  N dy  1569    238271     38818    165957         0     49221    504135   6548861    179.23   no data
668.57/167.44	c  N dy  1676    253515     38818    165957         0     36481    504135   2880332    179.30    192.73
708.12/177.37	c  N dy  1782    269692     38818    165957         0     52658    504135   7213539    179.16    192.25
750.85/188.01	c  N dy  1904    286915     38818    165957         0     40890    504135   3856686    179.42    190.92
796.40/199.44	c  N dy  2022    305251     38818    165957         0     59224    504135   8770247    179.38    188.86
799.19/200.10	c  F st  2027    306251     38818    165957         0     30230    504135    584768    179.33    170.88
844.34/211.48	c  N dy  2122    324768     38818    165957         0     48747    504135   6221351    179.26    192.12
895.06/224.11	c  N dy  2272    344819     38818    165957         0     37805    504135   2421577    179.53    192.14
925.82/231.89	c  S st  2361    357407     38818    165957         0     50393    504135   5898939    179.61   no data
927.42/232.20	c  S st  2361    357912     38818    165957         0     50898    504135   6000951    179.61   no data
927.42/232.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
928.22/232.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
928.63/232.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
928.63/232.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
928.63/232.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
928.63/232.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
928.63/232.59	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
929.81/232.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
931.41/233.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
940.60/235.53	c lits-rem:         4  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.29 s
940.60/235.56	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
941.00/235.68	c vivif2 --  cl tried    50895 cl shrink        0 lits rem          0 time: 0.12
942.22/235.93	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.25
942.22/235.94	c calculated reachability. Time: 0.00
942.22/235.95	c  N dy  2361    357912     38818    165957         0     50895    504135   5999937    179.61   no data
992.54/248.55	c  N dy  2500    378002     38818    165957         0     38982    504135   2410528    179.61    196.32
1043.29/261.26	c  N dy  2631    398112     38818    165957         0     59092    504135   7935280    179.58    190.79
1093.20/273.79	c  N dy  2770    418237     38818    165957         0     46221    504135   4143112    179.57    193.85
1145.13/286.72	c  N dy  2906    438300     38818    165957         0     66283    504135   9613724    179.63    189.26
1194.66/299.16	c  N dy  3043    458359     38818    165957         0     52344    504135   5400026    179.54    189.73
1246.99/312.28	c  N dy  3188    478408     38818    165957         0     37394    504135   1196186    179.63    192.56
1297.32/324.85	c  N dy  3335    498497     38818    165957         0     57482    504135   6704608    179.78    250.84
1348.85/337.74	c  N dy  3469    518556     38818    165957         0     41547    504135   1992231    179.78    190.42
1394.81/349.22	c  S st  3596    536870     38818    165957         0     59861    504135   6942720    179.80   no data
1395.99/349.57	c  S st  3596    537372     38818    165957         0     60363    504135   7038783    179.80   no data
1396.39/349.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1397.19/349.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
1397.59/349.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1397.59/349.93	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1397.59/349.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1397.59/349.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
1397.59/349.97	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1398.81/350.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
1400.38/350.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1413.17/353.80	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.08 s
1413.17/353.83	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
1413.57/353.97	c vivif2 --  cl tried    60360 cl shrink        0 lits rem          0 time: 0.14
1414.77/354.24	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.27
1414.77/354.25	c calculated reachability. Time: 0.00
1414.77/354.25	c  N dy  3596    537372     38818    165957         0     60360    504135   7037009    179.80   no data
1466.29/367.18	c  N dy  3723    557436     38818    165957         0     43422    504135   2221116    179.72    198.99
1517.85/380.06	c  N dy  3859    577755     38818    165957         0     63739    504135   7729056    179.72    191.40
1570.18/393.16	c  N dy  3998    597781     38818    165957         0     45760    504135   2569825    179.73    209.56
1621.70/406.08	c  N dy  4134    617890     38818    165957         0     65868    504135   8103232    179.76    196.16
1674.02/419.14	c  N dy  4272    637990     38818    165957         0     46966    504135   2690537    179.79    209.07
1726.36/432.23	c  N dy  4411    658193     38818    165957         0     67167    504135   8194344    179.79    197.24
1779.48/445.59	c  N dy  4556    678229     38818    165957         0     47210    504135   2539046    179.95    235.65
1831.41/458.53	c  N dy  4693    698381     38818    165957         0     67361    504135   8019805    179.91    194.97
1884.95/471.96	c  N dy  4828    718409     38818    165957         0     46391    504135   1963494    179.85    211.21
1937.28/485.00	c  N dy  4970    738593     38818    165957         0     66575    504135   7518977    179.92    194.19
1991.59/498.66	c  N dy  5106    758611     38818    165957         0     44593    504135   1252036    179.98    196.75
2043.13/511.56	c  N dy  5248    778664     38818    165957         0     64646    504135   6638326    179.98    203.76
2097.05/525.02	c  N dy  5376    798710     38818    165957         0     84688    504135  11968718    179.90    189.53
2116.23/529.80	c  S st  5428    806058     38818    165957         0     49033    504135   2194993    179.94   no data
2117.43/530.13	c  S st  5428    806562     38818    165957         0     49537    504135   2301856    179.94   no data
2117.43/530.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2118.62/530.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2118.62/530.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2118.62/530.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2118.62/530.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2119.02/530.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
2119.02/530.52	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2119.84/530.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
2120.22/530.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2123.42/531.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.76 s
2123.42/531.68	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
2123.83/531.73	c vivif2 --  cl tried    49537 cl shrink        0 lits rem          0 time: 0.05
2124.62/531.98	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.25
2124.62/531.99	c calculated reachability. Time: 0.00
2124.62/531.99	c  N dy  5428    806562     38818    165957         0     49537    504135   2301856    179.94   no data
2176.56/544.92	c  N dy  5560    826572     38818    165957         0     69546    504135   7885219    180.02    192.54
2231.27/558.65	c  N dy  5696    846634     38818    165957         0     45623    504135    916771    180.02    195.07
2282.79/571.54	c  N dy  5838    866658     38818    165957         0     65644    504135   6330060    180.04    192.26
2337.93/585.32	c  N dy  5979    886776     38818    165957         0     85760    504135  11914082    180.12    190.59
2390.25/598.41	c  N dy  6112    906806     38818    165957         0     60787    504135   4824736    180.10    190.51
2443.37/611.79	c  N dy  6249    926884     38818    165957         0     80864    504135  10325298    180.14    208.02
2498.49/625.53	c  N dy  6394    946997     38818    165957         0     54976    504135   3086951    180.24    189.85
2551.62/638.84	c  N dy  6535    967121     38818    165957         0     75100    504135   8675098    180.30    201.66
2607.56/652.88	c  N dy  6671    987164     38818    165957         0     48152    504135    840168    180.31    190.56
2659.48/665.87	c  N dy  6807   1007232     38818    165957         0     68218    504135   6403565    180.33    195.78
2715.40/679.85	c  N dy  6951   1027364     38818    165957         0     88349    504135  12018629    180.41    192.27
2769.33/693.39	c  N dy  7090   1047374     38818    165957         0     60357    504135   3955507    180.45    231.03
2822.87/706.72	c  N dy  7220   1067483     38818    165957         0     80466    504135   9461345    180.42    190.25
2835.24/709.81	c  F st  7255   1071876     38818    165957         0     84858    504135  10678291    180.44    175.95
2879.18/720.85	c  N dy  7326   1087501     38818    165957         0     51485    504135   1191483    180.40    195.01
2932.31/734.10	c  N dy  7475   1107576     38818    165957         0     71560    504135   6732503    180.47    221.59
2988.62/748.27	c  N dy  7617   1127813     38818    165957         0     91797    504135  12357066    180.50    197.52
3043.74/762.02	c  N dy  7762   1147891     38818    165957         0     61877    504135   3891414    180.58    193.09
3098.06/775.67	c  N dy  7907   1168058     38818    165957         0     82044    504135   9397910    180.58    190.12
3156.40/790.25	c  N dy  8049   1188169     38818    165957         0     51153    504135    579685    180.62    191.82
3209.12/803.48	c  N dy  8194   1208243     38818    165957         0     71227    504135   6156567    180.67    193.04
3213.52/804.59	c  S st  8207   1209844     38818    165957         0     72828    504135   6598783    180.67   no data
3215.10/804.93	c  S st  8207   1210348     38818    165957         0     73332    504135   6688745    180.67   no data
3215.10/804.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3216.29/805.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3216.29/805.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3216.69/805.31	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3216.69/805.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3216.69/805.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
3216.69/805.35	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3217.49/805.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
3219.49/806.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3233.47/809.51	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.45 s
3233.47/809.54	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
3233.87/809.67	c vivif2 --  cl tried    73327 cl shrink        0 lits rem          0 time: 0.13
3235.07/809.96	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.29
3235.07/809.98	c calculated reachability. Time: 0.00
3235.07/809.98	c  N dy  8207   1210348     38818    165957         0     73327    504135   6687491    180.67   no data
3291.40/824.02	c  N dy  8341   1230380     38818    165957         0     93359    504135  12134997    180.65    193.58
3347.32/838.04	c  N dy  8478   1250433     38818    165957         0     61414    504135   3159725    180.69    214.66
3401.64/851.66	c  N dy  8620   1270545     38818    165957         0     81524    504135   8729198    180.72    191.45
3459.58/866.19	c  N dy  8766   1290647     38818    165957         0    101624    504135  14289931    180.76    191.41
3514.28/879.81	c  N dy  8908   1310719     38818    165957         0     68701    504135   4916151    180.81    195.33
3569.43/893.69	c  N dy  9048   1330780     38818    165957         0     88760    504135  10538427    180.86    192.30
3628.13/908.39	c  N dy  9186   1350816     38818    165957         0     54804    504135    783439    180.86    216.72
3681.26/921.62	c  N dy  9323   1370886     38818    165957         0     74873    504135   6346817    180.90    201.83
3737.99/935.86	c  N dy  9466   1390966     38818    165957         0     94952    504135  11929904    180.94    191.88
3795.51/950.24	c  N dy  9595   1411003     38818    165957         0     59983    504135   1928367    180.95    193.13
3849.43/963.72	c  N dy  9733   1431074     38818    165957         0     80052    504135   7366416    180.93    192.93
3906.56/978.07	c  N dy  9871   1451110     38818    165957         0    100088    504135  12892761    180.94    191.16
3963.68/992.31	c  N dy 10005   1471205     38818    165957         0     64185    504135   2843951    180.94    190.92
4018.40/1006.04	c  N dy 10144   1491246     38818    165957         0     84224    504135   8407303    180.96    191.00
4076.71/1020.60	c  N dy 10277   1511417     38818    165957         0    104393    504135  13892776    180.94    191.70
4133.43/1034.81	c  N dy 10414   1531509     38818    165957         0     67485    504135   3446191    180.96    193.32
4187.75/1048.44	c  N dy 10542   1551538     38818    165957         0     87513    504135   9003574    180.95    190.87
4246.09/1063.04	c  N dy 10677   1571599     38818    165957         0    107573    504135  14481963    180.95    197.10
4302.39/1077.18	c  N dy 10818   1591675     38818    165957         0     69650    504135   3791304    180.97    191.10
4357.91/1091.05	c  N dy 10955   1611690     38818    165957         0     89664    504135   9274858    180.98    200.90
4416.23/1105.66	c  N dy 11091   1631697     38818    165957         0    109668    504135  14731725    180.98    211.44
4473.35/1119.91	c  N dy 11225   1651787     38818    165957         0     70763    504135   3770293    180.98    191.20
4529.27/1133.98	c  N dy 11357   1671979     38818    165957         0     90955    504135   9361436    180.96    196.54
4587.99/1148.68	c  N dy 11494   1692081     38818    165957         0    111054    504135  14993875    180.99    192.60
4640.72/1161.81	c  S st 11624   1710348     38818    165957         0     69324    504135   3149338    181.00   no data
4641.94/1162.16	c  S st 11624   1710851     38818    165957         0     69827    504135   3256014    181.00   no data
4641.94/1162.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4643.11/1162.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.27
4643.51/1162.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4643.51/1162.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4643.51/1162.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4643.51/1162.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38818 time:  0.01 s
4643.51/1162.57	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4644.32/1162.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4645.12/1162.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4653.10/1164.97	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.95 s
4653.50/1165.00	c vivif2 --  cl tried   165957 cl shrink        0 lits rem          0 time: 0.03
4653.50/1165.07	c vivif2 --  cl tried    69826 cl shrink        0 lits rem          0 time: 0.07
4654.72/1165.36	c asymm  cl-useful: 0/165957/165957 lits-rem:0 time: 0.29
4654.72/1165.37	c calculated reachability. Time: 0.00
4654.72/1165.37	c  N dy 11624   1710851     38818    165957         0     69826    504135   3255445    181.00   no data
4710.22/1179.23	c  N dy 11760   1730887     38818    165957         0     89860    504135   8816834    181.02    196.58
4769.37/1194.04	c  N dy 11899   1751037     38818    165957         0    110009    504135  14343206    181.04    200.15

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

running on 4 cores: 0,2,4,6

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.75 7.97 6.21 5/180 4146
/proc/meminfo: memFree=19049220/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 495422726 52441088 347 33554432000 4194304 4627427 140734954186384 18446744073709551615 47344588965804 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 12803 347 299 106 0 7774 0
[pid=4146/tid=4147] ppid=4144 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495422726 52441088 347 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495422726 52441088 347 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495422726 52441088 347 33554432000 4194304 4627427 140734954186384 18446744073709551615 255101800680 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0229791 s]
/proc/loadavg: 7.75 7.97 6.21 5/180 4146
/proc/meminfo: memFree=19049220/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=313240 CPUtime=0.05 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 12185 0 0 0 3 2 0 0 18 0 4 0 495422726 320757760 10115 33554432000 4194304 4627427 140734954186384 18446744073709551615 4358019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 78310 10147 339 106 0 73281 0
[pid=4146/tid=4147] ppid=4144 vsize=313240 CPUtime=0 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 2911 0 0 0 0 0 0 0 18 0 4 0 495422726 320757760 10338 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106873887 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=314680 CPUtime=0.01 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) D 4144 4146 3973 0 -1 4202560 3173 0 0 0 1 0 0 0 18 0 4 0 495422726 322232320 11533 33554432000 4194304 4627427 140734954186384 18446744073709551615 4314206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=314680 CPUtime=0 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 3400 0 0 0 0 0 0 0 18 0 4 0 495422726 322232320 11533 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106812039 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 313240

[startup+0.102849 s]
/proc/loadavg: 7.75 7.97 6.21 5/180 4146
/proc/meminfo: memFree=19049220/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=387108 CPUtime=0.34 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 22373 0 0 0 27 7 0 0 18 0 4 0 495422726 396398592 18186 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106812087 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 96777 18224 339 106 0 91748 0
[pid=4146/tid=4147] ppid=4144 vsize=387108 CPUtime=0.07 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 5220 0 0 0 6 1 0 0 18 0 4 0 495422726 396398592 18238 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106873887 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=387108 CPUtime=0.08 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) S 4144 4146 3973 0 -1 4202560 5632 0 0 0 6 2 0 0 17 0 4 0 495422726 396398592 18252 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106873838 0 0 4096 2 18446604449950852416 0 0 -1 6 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=387108 CPUtime=0.08 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 5349 0 0 0 6 2 0 0 18 0 4 0 495422726 396398592 18271 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106429985 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 387108

[startup+0.505308 s]
/proc/loadavg: 7.75 7.97 6.21 5/180 4146
/proc/meminfo: memFree=19049220/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=400268 CPUtime=1.96 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 35640 0 0 0 179 17 0 0 18 0 4 0 495422726 409874432 31447 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106429985 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 100067 31482 371 106 0 95038 0
[pid=4146/tid=4147] ppid=4144 vsize=400268 CPUtime=0.47 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 8354 0 0 0 44 3 0 0 18 0 4 0 495422726 409874432 31500 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106466251 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=400268 CPUtime=0.48 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 9076 0 0 0 43 5 0 0 18 0 4 0 495422726 409874432 31518 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106466179 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=400268 CPUtime=0.49 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) S 4144 4146 3973 0 -1 4202560 7104 0 0 0 45 4 0 0 18 0 4 0 495422726 409874432 31533 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106873838 0 0 4096 2 18446604449950852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 400268

[startup+0.937959 s]
/proc/loadavg: 7.75 7.97 6.21 5/180 4146
/proc/meminfo: memFree=19049220/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=416440 CPUtime=3.6 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 54827 0 0 0 339 21 0 0 18 0 4 0 495422726 426434560 42218 33554432000 4194304 4627427 140734954186384 18446744073709551615 4377317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 104110 42239 383 106 0 99081 0
[pid=4146/tid=4147] ppid=4144 vsize=416440 CPUtime=0.89 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 14950 0 0 0 84 5 0 0 18 0 4 0 495422726 426434560 42248 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106466261 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=416440 CPUtime=0.89 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 15830 0 0 0 83 6 0 0 18 0 4 0 495422726 426434560 42260 33554432000 4194304 4627427 140734954186384 18446744073709551615 4467828 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=416440 CPUtime=0.9 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) S 4144 4146 3973 0 -1 4202560 7334 0 0 0 86 4 0 0 18 0 4 0 495422726 426434560 42273 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106873838 0 0 4096 2 18446604449950852416 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 416440

[startup+1.50055 s]
/proc/loadavg: 7.75 7.97 6.21 9/184 4150
/proc/meminfo: memFree=18875072/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=416440 CPUtime=5.87 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 57914 0 0 0 565 22 0 0 19 0 4 0 495422726 426434560 43466 33554432000 4194304 4627427 140734954186384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 104110 43466 385 106 0 99081 0
[pid=4146/tid=4147] ppid=4144 vsize=416440 CPUtime=1.45 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 16137 0 0 0 140 5 0 0 19 0 4 0 495422726 426434560 43466 33554432000 4194304 4627427 140734954186384 18446744073709551615 4348160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=416440 CPUtime=1.45 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 16926 0 0 0 139 6 0 0 19 0 4 0 495422726 426434560 43466 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=416440 CPUtime=1.46 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 7773 0 0 0 142 4 0 0 19 0 4 0 495422726 426434560 43466 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327752 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 416440

[startup+3.10027 s]
/proc/loadavg: 7.75 7.97 6.21 9/184 4151
/proc/meminfo: memFree=18863988/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=547704 CPUtime=12.24 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 61471 0 0 0 1202 22 0 0 22 0 4 0 495422726 560848896 47016 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308117 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 136926 47016 385 106 0 131897 0
[pid=4146/tid=4147] ppid=4144 vsize=547704 CPUtime=3.04 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 17012 0 0 0 299 5 0 0 22 0 4 0 495422726 560848896 47016 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=547704 CPUtime=3.05 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 17837 0 0 0 299 6 0 0 22 0 4 0 495422726 560848896 47016 33554432000 4194304 4627427 140734954186384 18446744073709551615 4333014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=547704 CPUtime=3.06 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 8634 0 0 0 301 5 0 0 24 0 4 0 495422726 560848896 47016 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.24
Current children cumulated vsize (KiB) 547704

[startup+6.30071 s]
/proc/loadavg: 7.77 7.97 6.22 9/184 4151
/proc/meminfo: memFree=18842536/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=547704 CPUtime=25.02 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 68527 0 0 0 2477 25 0 0 25 0 4 0 495422726 560848896 54072 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 136926 54072 385 106 0 131897 0
[pid=4146/tid=4147] ppid=4144 vsize=547704 CPUtime=6.24 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 18662 0 0 0 618 6 0 0 25 0 4 0 495422726 560848896 54072 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=547704 CPUtime=6.25 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 19459 0 0 0 618 7 0 0 25 0 4 0 495422726 560848896 54072 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=547704 CPUtime=6.24 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 10817 0 0 0 619 5 0 0 25 0 4 0 495422726 560848896 54072 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.02
Current children cumulated vsize (KiB) 547704

[startup+12.7006 s]
/proc/loadavg: 7.79 7.97 6.23 9/184 4151
/proc/meminfo: memFree=18867368/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=448792 CPUtime=50.59 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 88427 0 0 0 5029 30 0 0 25 0 4 0 495422726 459563008 47783 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 112198 47783 386 106 0 107169 0
[pid=4146/tid=4147] ppid=4144 vsize=448792 CPUtime=12.64 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 23665 0 0 0 1257 7 0 0 25 0 4 0 495422726 459563008 47783 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=448792 CPUtime=12.65 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 24483 0 0 0 1257 8 0 0 25 0 4 0 495422726 459563008 47783 33554432000 4194304 4627427 140734954186384 18446744073709551615 4310406 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=448792 CPUtime=12.6 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 15986 0 0 0 1254 6 0 0 25 0 4 0 495422726 459563008 47783 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 448792

[startup+25.5003 s]
/proc/loadavg: 7.91 7.99 6.26 9/184 4151
/proc/meminfo: memFree=18645016/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=777280 CPUtime=101.71 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 164754 0 0 0 10120 51 0 0 25 0 4 0 495422726 795934720 103677 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 194320 103677 390 106 0 189291 0
[pid=4146/tid=4147] ppid=4144 vsize=777280 CPUtime=25.44 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 59974 0 0 0 2528 16 0 0 23 0 4 0 495422726 795934720 103677 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=777280 CPUtime=25.45 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 32828 0 0 0 2534 11 0 0 25 0 4 0 495422726 795934720 103677 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=777280 CPUtime=25.35 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 24504 0 0 0 2526 9 0 0 25 0 4 0 495422726 795934720 103677 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 777280

[startup+51.1068 s]
/proc/loadavg: 7.62 7.92 6.28 11/184 4183
/proc/meminfo: memFree=18995344/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=914412 CPUtime=204.01 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 251866 0 0 0 20326 75 0 0 25 0 4 0 495422726 936357888 137333 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 228603 137333 390 106 0 223574 0
[pid=4146/tid=4147] ppid=4144 vsize=914412 CPUtime=51.05 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 76488 0 0 0 5084 21 0 0 25 0 4 0 495422726 936357888 137333 33554432000 4194304 4627427 140734954186384 18446744073709551615 255106427701 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=914412 CPUtime=51.05 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 55443 0 0 0 5089 16 0 0 25 0 4 0 495422726 936357888 137333 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=914412 CPUtime=50.81 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 49943 0 0 0 5066 15 0 0 25 0 4 0 495422726 936357888 137333 33554432000 4194304 4627427 140734954186384 18446744073709551615 4321768 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 914412

[startup+102.301 s]
/proc/loadavg: 7.83 7.93 6.37 9/184 4184
/proc/meminfo: memFree=18538612/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1074820 CPUtime=408.5 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 415142 0 0 0 40730 120 0 0 25 0 4 0 495422726 1100615680 190464 33554432000 4194304 4627427 140734954186384 18446744073709551615 4408519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 268705 190464 390 106 0 263676 0
[pid=4146/tid=4147] ppid=4144 vsize=1074820 CPUtime=102.23 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 106795 0 0 0 10193 30 0 0 25 0 4 0 495422726 1100615680 190464 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1074820 CPUtime=102.24 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 95707 0 0 0 10196 28 0 0 25 0 4 0 495422726 1100615680 190464 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1074820 CPUtime=101.75 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 96172 0 0 0 10147 28 0 0 25 0 4 0 495422726 1100615680 190464 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.5
Current children cumulated vsize (KiB) 1074820

[startup+162.3 s]

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

[pid=4146] ppid=4144 vsize=1690796 CPUtime=2565.6 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1358705 0 0 0 256127 433 0 0 25 0 4 0 495422726 1731375104 332230 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 422699 332230 390 106 0 417670 0
[pid=4146/tid=4147] ppid=4144 vsize=1690796 CPUtime=642.22 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 342060 0 0 0 64114 108 0 0 25 0 4 0 495422726 1731375104 332230 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1690796 CPUtime=642.21 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 341325 0 0 0 64115 106 0 0 25 0 4 0 495422726 1731375104 332230 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1690796 CPUtime=638.95 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 333824 0 0 0 63788 107 0 0 25 0 4 0 495422726 1731375104 332230 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.6
Current children cumulated vsize (KiB) 1690796

[startup+702.306 s]
/proc/loadavg: 8.01 8.03 7.16 9/184 4200
/proc/meminfo: memFree=17636508/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1790712 CPUtime=2805.29 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1458395 0 0 0 280061 468 0 0 25 0 4 0 495422726 1833689088 345605 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 447678 345605 390 106 0 442649 0
[pid=4146/tid=4147] ppid=4144 vsize=1790712 CPUtime=702.22 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 360881 0 0 0 70106 116 0 0 25 0 4 0 495422726 1833689088 345605 33554432000 4194304 4627427 140734954186384 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1790712 CPUtime=702.21 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 368125 0 0 0 70107 114 0 0 25 0 4 0 495422726 1833689088 345605 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1790712 CPUtime=698.64 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 360505 0 0 0 69747 117 0 0 25 0 4 0 495422726 1833689088 345605 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.29
Current children cumulated vsize (KiB) 1790712

[startup+762.301 s]
/proc/loadavg: 8.11 8.05 7.22 9/184 4202
/proc/meminfo: memFree=17659932/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1725720 CPUtime=3044.94 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1553879 0 0 0 303993 501 0 0 25 0 4 0 495422726 1767137280 353503 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 431430 353503 390 106 0 426401 0
[pid=4146/tid=4147] ppid=4144 vsize=1725720 CPUtime=762.2 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 386285 0 0 0 76095 125 0 0 25 0 4 0 495422726 1767137280 353503 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1725720 CPUtime=762.2 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 392982 0 0 0 76099 121 0 0 25 0 4 0 495422726 1767137280 353503 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1725720 CPUtime=758.32 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 385990 0 0 0 75705 127 0 0 25 0 4 0 495422726 1767137280 353503 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 1725720

[startup+822.3 s]
/proc/loadavg: 8.15 8.07 7.27 9/184 4203
/proc/meminfo: memFree=17592096/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1791296 CPUtime=3284.6 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1643605 0 0 0 327929 531 0 0 25 0 4 0 495422726 1834287104 352131 33554432000 4194304 4627427 140734954186384 18446744073709551615 4329746 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 447824 352131 390 106 0 442795 0
[pid=4146/tid=4147] ppid=4144 vsize=1791296 CPUtime=822.21 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 408654 0 0 0 82088 133 0 0 25 0 4 0 495422726 1834287104 352131 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1791296 CPUtime=822.2 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 417354 0 0 0 82092 128 0 0 25 0 4 0 495422726 1834287104 352131 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1791296 CPUtime=817.99 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 406547 0 0 0 81664 135 0 0 25 0 4 0 495422726 1834287104 352131 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 1791296

[startup+882.301 s]
/proc/loadavg: 8.23 8.10 7.33 9/184 4205
/proc/meminfo: memFree=17625436/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1726940 CPUtime=3524.27 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1736195 0 0 0 351863 564 0 0 25 0 4 0 495422726 1768386560 351033 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 431735 351034 390 106 0 426706 0
[pid=4146/tid=4147] ppid=4144 vsize=1726940 CPUtime=882.2 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 435199 0 0 0 88079 141 0 0 25 0 4 0 495422726 1768386560 351034 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1726940 CPUtime=882.2 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 439946 0 0 0 88084 136 0 0 25 0 4 0 495422726 1768386560 351034 33554432000 4194304 4627427 140734954186384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1726940 CPUtime=877.68 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 431077 0 0 0 87623 145 0 0 25 0 4 0 495422726 1768386560 351034 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.27
Current children cumulated vsize (KiB) 1726940

[startup+942.3 s]
/proc/loadavg: 8.22 8.11 7.38 9/184 4206
/proc/meminfo: memFree=17590212/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1858700 CPUtime=3763.95 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1831247 0 0 0 375796 599 0 0 25 0 4 0 495422726 1903308800 365679 33554432000 4194304 4627427 140734954186384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 464675 365679 390 106 0 459646 0
[pid=4146/tid=4147] ppid=4144 vsize=1858700 CPUtime=942.19 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 461628 0 0 0 94068 151 0 0 25 0 4 0 495422726 1903308800 365679 33554432000 4194304 4627427 140734954186384 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1858700 CPUtime=942.2 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 461281 0 0 0 94077 143 0 0 25 0 4 0 495422726 1903308800 365679 33554432000 4194304 4627427 140734954186384 18446744073709551615 4333004 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1858700 CPUtime=937.36 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 457460 0 0 0 93582 154 0 0 25 0 4 0 495422726 1903308800 365679 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3763.95
Current children cumulated vsize (KiB) 1858700

[startup+1002.3 s]
/proc/loadavg: 8.20 8.12 7.43 9/184 4208
/proc/meminfo: memFree=17440288/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1679776 CPUtime=4003.61 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 1916610 0 0 0 399731 630 0 0 25 0 4 0 495422726 1720090624 356622 33554432000 4194304 4627427 140734954186384 18446744073709551615 4306556 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 419944 356622 390 106 0 414915 0
[pid=4146/tid=4147] ppid=4144 vsize=1679776 CPUtime=1002.19 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 481642 0 0 0 100061 158 0 0 25 0 4 0 495422726 1720090624 356622 33554432000 4194304 4627427 140734954186384 18446744073709551615 4299569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1679776 CPUtime=1002.19 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 483810 0 0 0 100067 152 0 0 25 0 4 0 495422726 1720090624 356622 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1679776 CPUtime=997.05 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 477563 0 0 0 99544 161 0 0 25 0 4 0 495422726 1720090624 356622 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.61
Current children cumulated vsize (KiB) 1679776

[startup+1062.3 s]
/proc/loadavg: 8.19 8.13 7.47 10/184 4210
/proc/meminfo: memFree=17436548/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1778660 CPUtime=4243.27 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 2009391 0 0 0 423662 665 0 0 25 0 4 0 495422726 1821347840 365065 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 444665 365065 390 106 0 439636 0
[pid=4146/tid=4147] ppid=4144 vsize=1778660 CPUtime=1062.19 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 503584 0 0 0 106052 167 0 0 25 0 4 0 495422726 1821347840 365065 33554432000 4194304 4627427 140734954186384 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1778660 CPUtime=1062.19 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 503714 0 0 0 106059 160 0 0 25 0 4 0 495422726 1821347840 365065 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1778660 CPUtime=1056.72 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 503785 0 0 0 105501 171 0 0 25 0 4 0 495422726 1821347840 365065 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.27
Current children cumulated vsize (KiB) 1778660

[startup+1122.3 s]
/proc/loadavg: 8.12 8.12 7.51 9/184 4211
/proc/meminfo: memFree=17426240/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1779904 CPUtime=4482.94 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 2095668 0 0 0 447595 699 0 0 25 0 4 0 495422726 1822621696 362047 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308661 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 444976 362047 390 106 0 439947 0
[pid=4146/tid=4147] ppid=4144 vsize=1779904 CPUtime=1122.18 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 527800 0 0 0 112041 177 0 0 25 0 4 0 495422726 1822621696 362047 33554432000 4194304 4627427 140734954186384 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1779904 CPUtime=1122.18 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 523672 0 0 0 112050 168 0 0 25 0 4 0 495422726 1822621696 362047 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1779904 CPUtime=1116.4 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 527730 0 0 0 111460 180 0 0 25 0 4 0 495422726 1822621696 362047 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4482.94
Current children cumulated vsize (KiB) 1779904

[startup+1182.3 s]
/proc/loadavg: 8.04 8.09 7.54 9/184 4213
/proc/meminfo: memFree=17370548/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1796644 CPUtime=4722.6 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 2196107 0 0 0 471527 733 0 0 25 0 4 0 495422726 1839763456 376742 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 449161 376742 390 106 0 444132 0
[pid=4146/tid=4147] ppid=4144 vsize=1796644 CPUtime=1182.18 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 551675 0 0 0 118032 186 0 0 25 0 4 0 495422726 1839763456 376742 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1796644 CPUtime=1182.18 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 549779 0 0 0 118043 175 0 0 25 0 4 0 495422726 1839763456 376742 33554432000 4194304 4627427 140734954186384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1796644 CPUtime=1176.09 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 553389 0 0 0 117419 190 0 0 25 0 4 0 495422726 1839763456 376742 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.6
Current children cumulated vsize (KiB) 1796644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.71 s]
/proc/loadavg: 8.03 8.09 7.54 9/184 4213
/proc/meminfo: memFree=17282632/32951124 swapFree=67111524/67111528
[pid=4146] ppid=4144 vsize=1862848 CPUtime=4800.13 cores=0,2,4,6
/proc/4146/stat : 4146 (strangenight2-m) R 4144 4146 3973 0 -1 4202496 2225494 0 0 0 479269 744 0 0 25 0 4 0 495422726 1907556352 390947 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308282 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/4146/statm: 465712 390947 390 106 0 460683 0
[pid=4146/tid=4147] ppid=4144 vsize=1862848 CPUtime=1201.59 cores=0,2,4,6
/proc/4146/task/4147/stat : 4147 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 561090 0 0 0 119970 189 0 0 25 0 4 0 495422726 1907556352 390947 33554432000 4194304 4627427 140734954186384 18446744073709551615 4415750 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=4146/tid=4148] ppid=4144 vsize=1862848 CPUtime=1201.59 cores=0,2,4,6
/proc/4146/task/4148/stat : 4148 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 556966 0 0 0 119981 178 0 0 25 0 4 0 495422726 1907556352 390947 33554432000 4194304 4627427 140734954186384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=4146/tid=4149] ppid=4144 vsize=1862848 CPUtime=1195.38 cores=0,2,4,6
/proc/4146/task/4149/stat : 4149 (strangenight2-m) R 4144 4146 3973 0 -1 4202560 559152 0 0 0 119346 192 0 0 25 0 4 0 495422726 1907556352 390947 33554432000 4194304 4627427 140734954186384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 1862848

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.79
CPU time (s): 4800.24
CPU user time (s): 4792.72
CPU system time (s): 7.52186
CPU usage (%): 399.424
Max. virtual memory (cumulated for all children) (KiB): 1862848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.72
system time used= 7.52186
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2225499
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= 15811
involuntary context switches= 34119

runsolver used 1.83472 second user time and 4.44632 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 00:34:26
IDJOB=3173714
IDBENCH=82532
IDSOLVER=1586
FILE ID=node144/3173714-1304030066
RUNJOBID= node144-1304028687-3992
PBS_JOBID= 13170308
Free space on /tmp= 72400 MiB

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

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

MD5SUM BENCH= 4f5a8cb56de51e6630c119bd6436cc16
RANDOM SEED=788505494

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.850
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:      19049376 kB
Buffers:       2202460 kB
Cached:       10536856 kB
SwapCached:          4 kB
Active:        5125688 kB
Inactive:      8211176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      19049376 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            8956 kB
Writeback:           8 kB
AnonPages:      596712 kB
Mapped:          15496 kB
Slab:           498900 kB
PageTables:       6304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   919096 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= 72396 MiB
End job on node144 at 2011-04-29 00:54:30