Trace number 3173723

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.19 1201.9

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf
MD5SUMc6eeff67aa308a86267a5f4d04512b40
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark50.5953
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-3173723-1304030111.cnf'
0.00/0.00	c -- header says num vars:          40000
0.00/0.00	c -- header says num clauses:      168000
0.00/0.15	c -- clauses added:            0 learnts,       168000 normals,            0 xors
0.00/0.15	c -- vars added      40000
0.00/0.15	c Parsing time:  0.13 s
0.00/0.15	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
0.00/0.31	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
0.00/0.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.10
0.32/0.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.32/0.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.32/0.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
0.32/0.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
0.32/0.58	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
2.06/0.88	c lits-rem:         0  cl-subs:        0  v-elim:    995  v-fix:    0  time:  0.30 s
2.06/0.89	c Finding binary XORs  T:     0.01 s  found:       0
2.90/0.96	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
2.90/0.96	c calculated reachability. Time: 0.00
2.90/0.98	c Calc default polars -  time:   0.02 s pos:   17868 undec:    4360 neg:   17772
2.90/0.98	c =========================================================================================
2.90/0.98	c types(t): F = full restart, N = normal restart
2.90/0.98	c types(t): S = simplification begin/end, E = solution found
2.90/0.98	c restart types(rt): st = static, dy = dynamic
2.90/0.98	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.90/0.98	c  B st     0         0     39005    166883         0         0    506827         0   no data   no data
11.94/3.09	c  N dy    23      4096     39005    166883         0      4095    506827   1139084    168.57    189.81
21.13/5.31	c  N dy    50      8363     39005    166883         0      8362    506827   2256327    168.33    182.87
29.91/7.51	c  N dy    81     12461     39005    166883         0     12460    506827   3325730    170.80    184.45
38.70/9.74	c  N dy   113     16488     39005    166883         0     16487    506827   4421987    174.25    186.10
48.29/12.11	c  N dy   147     20584     39005    166883         0     10586    506827    830729    176.92    186.45
57.08/14.33	c  N dy   176     24660     39005    166883         0     14662    506827   1948798    177.81    187.88
57.88/14.52	c  F st   180     25001     39005    166883         0     15003    506827   2039209    178.00   no data
69.86/17.54	c  N dy   186     30000     39005    166883         0     20002    506827   4100666    178.00   no data
69.86/17.54	c  S st   186     30000     39005    166883         0     20002    506827   4100666    178.00   no data
71.06/17.81	c  S st   186     30503     39005    166883         0     20505    506827   4191841    178.00   no data
71.06/17.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
71.86/18.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.22
72.26/18.13	c blocked clauses removed:      819 vars:    130 tried:       39005 T: 0.02 s
72.26/18.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.26/18.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
72.26/18.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38875 time:  0.01 s
72.26/18.18	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
73.45/18.42	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.23 s
74.65/18.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
78.65/19.76	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.94 s
79.44/19.95	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.20
79.44/19.97	c calculated reachability. Time: 0.00
79.44/19.97	c  N dy   186     30503     38855    166048         0     19947    504445   3737135    178.00   no data
88.63/22.24	c  N dy   212     34586     38855    166048         0     24030    504445   4781113    177.13    187.15
98.22/24.67	c  N dy   243     38602     38855    166048         0     28046    504445   5882242    177.96    254.61
107.82/27.05	c  N dy   270     42639     38855    166048         0     16866    504445   1214397    178.17    189.56
115.00/28.82	c  S st   292     45755     38855    166048         0     19982    504445   2042874    178.19   no data
116.20/29.11	c  S st   292     46258     38855    166048         0     20485    504445   2142864    178.19   no data
116.20/29.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
117.01/29.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
117.39/29.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.39/29.43	c bin-w-bin subsume rem            0 bins  time:  0.01 s
117.39/29.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
117.39/29.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
117.39/29.47	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
118.19/29.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
118.99/29.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.19/30.18	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.32 s
120.59/30.20	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
120.59/30.24	c vivif2 --  cl tried    20484 cl shrink        0 lits rem          0 time: 0.04
121.41/30.45	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.20
121.41/30.46	c calculated reachability. Time: 0.00
121.41/30.46	c  N dy   292     46258     38855    166048         0     20484    504445   2142465    178.19   no data
130.58/32.79	c  N dy   320     50386     38855    166048         0     24612    504445   3228951    178.03    189.90
140.16/35.17	c  N dy   348     54489     38855    166048         0     28715    504445   4394815    178.22    194.37
149.74/37.55	c  N dy   375     58520     38855    166048         0     32746    504445   5478575    178.22    201.59
159.34/39.98	c  N dy   400     62647     38855    166048         0     36873    504445   6570571    178.08    187.97
168.91/42.31	c  N dy   428     66691     38855    166048         0     22304    504445   1772085    177.87    188.50
175.31/43.90	c  S st   448     69389     38855    166048         0     25002    504445   2507618    178.11   no data
176.11/44.18	c  S st   448     69892     38855    166048         0     25505    504445   2596355    178.11   no data
176.51/44.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
177.31/44.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.23
177.31/44.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.31/44.49	c bin-w-bin subsume rem            0 bins  time:  0.01 s
177.71/44.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
177.71/44.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
177.71/44.54	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
178.52/44.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
178.90/44.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
180.90/45.37	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  0.44 s
180.90/45.39	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
181.30/45.45	c vivif2 --  cl tried    25502 cl shrink        0 lits rem          0 time: 0.05
182.10/45.65	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.21
182.10/45.67	c calculated reachability. Time: 0.00
182.10/45.67	c  N dy   448     69892     38855    166048         0     25502    504445   2594326    178.11   no data
192.48/48.28	c  N dy   477     74388     38855    166048         0     29998    504445   3812945    178.13    187.85
204.48/51.22	c  N dy   511     79261     38855    166048         0     34870    504445   5093801    178.16    190.57
216.85/54.33	c  N dy   549     84389     38855    166048         0     39998    504445   6537598    178.75    189.61
224.44/56.25	c  F st   573     87501     38855    166048         0     22303    504445   1163782    178.99    151.76
232.42/58.29	c  N st   578     90805     38855    166048         0     25606    504445   2397790    178.99   no data
247.21/61.98	c  N dy   607     96780     38855    166048         0     31581    504445   4439614    179.10    195.16
262.39/65.72	c  N dy   648    103081     38855    166048         0     37882    504445   6113759    178.87    190.77
266.40/66.75	c  S st   656    104839     38855    166048         0     39640    504445   6578414    178.62   no data
267.58/67.07	c  S st   656    105343     38855    166048         0     40144    504445   6681198    178.62   no data
267.98/67.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
268.78/67.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.25
268.78/67.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.17/67.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
269.17/67.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
269.17/67.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
269.17/67.45	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
269.98/67.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.22 s
271.97/68.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
279.18/69.97	c lits-rem:         6  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.80 s
279.18/70.00	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
279.95/70.13	c vivif2 --  cl tried    40140 cl shrink        0 lits rem          0 time: 0.13
280.75/70.36	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.24
280.75/70.37	c calculated reachability. Time: 0.00
280.75/70.38	c  N dy   656    105343     38855    166048         0     40140    504445   6677262    178.62   no data
297.53/74.51	c  N dy   702    112117     38855    166048         0     24511    504445   1262353    178.50    189.58
314.73/78.80	c  N dy   747    119320     38855    166048         0     31712    504445   3209922    178.46    190.26
333.48/83.58	c  N dy   806    127065     38855    166048         0     39456    504445   5338069    178.80    195.27
353.88/88.64	c  N dy   858    135188     38855    166048         0     23881    504445    708786    178.76    246.85
374.63/93.83	c  N dy   918    143954     38855    166048         0     32646    504445   3086823    178.78    191.00
397.40/99.53	c  N dy   985    153239     38855    166048         0     41931    504445   5647195    178.99    188.81
408.98/102.49	c  S st  1017    158014     38855    166048         0     46706    504445   6922759    178.96    158.70
410.57/102.81	c  S st  1017    158519     38855    166048         0     47211    504445   7035136    178.96   no data
410.57/102.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
411.77/103.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
411.77/103.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
411.77/103.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
411.77/103.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
411.77/103.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
412.17/103.21	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
412.97/103.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
414.97/103.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
424.58/106.33	c lits-rem:         3  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.38 s
424.58/106.36	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
425.35/106.50	c vivif2 --  cl tried    47203 cl shrink        0 lits rem          0 time: 0.14
426.15/106.75	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.25
426.15/106.76	c calculated reachability. Time: 0.00
426.15/106.76	c  N dy  1017    158519     38855    166048         0     47203    504445   7032693    178.96   no data
450.95/112.91	c  N dy  1087    168683     38855    166048         0     32517    504445   2675420    178.96    192.32
477.68/119.69	c  N dy  1170    179589     38855    166048         0     43421    504445   5707716    179.33    190.28
506.44/126.88	c  N dy  1248    191095     38855    166048         0     29009    504445   1420190    179.42    239.02
536.40/134.35	c  N dy  1335    203351     38855    166048         0     41265    504445   4779651    179.50    200.98
569.56/142.62	c  N dy  1416    216433     38855    166048         0     27386    504445    676164    179.35    193.43
602.31/150.89	c  N dy  1509    230249     38855    166048         0     41201    504445   4428523    179.36    190.15
622.27/155.82	c  S st  1563    237778     38855    166048         0     48730    504445   6510762    179.40   no data
623.44/156.17	c  S st  1563    238282     38855    166048         0     49234    504445   6620533    179.40   no data
623.84/156.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
624.64/156.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.27
625.04/156.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
625.04/156.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
625.04/156.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
625.04/156.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
625.04/156.59	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
626.25/156.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.24 s
627.82/157.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
638.21/159.86	c lits-rem:         5  cl-subs:        5  v-elim:      0  v-fix:    0  time:  2.53 s
638.21/159.89	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
639.01/160.03	c vivif2 --  cl tried    49229 cl shrink        0 lits rem          0 time: 0.14
639.83/160.30	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.27
640.20/160.31	c calculated reachability. Time: 0.00
640.20/160.31	c  N dy  1563    238282     38855    166048         0     49229    504445   6618158    179.40   no data
681.05/170.67	c  N dy  1678    253513     38855    166048         0     36477    504445   2875928    179.64    189.13
723.76/181.32	c  N dy  1787    269718     38855    166048         0     52681    504445   7282491    179.60    190.31
768.50/192.55	c  N dy  1911    287071     38855    166048         0     41044    504445   3801371    179.58    190.47
817.64/204.81	c  N dy  2044    305538     38855    166048         0     59511    504445   8817940    179.67    193.51
819.65/205.33	c  F st  2048    306250     38855    166048         0     30227    504445    587218    179.67    176.14
869.17/217.78	c  N dy  2149    325109     38855    166048         0     49085    504445   6489920    179.71    196.21
922.69/231.16	c  N dy  2296    345267     38855    166048         0     38244    504445   2496257    179.91    189.53
954.65/239.18	c  S st  2381    357423     38855    166048         0     50399    504445   5879702    180.02   no data
956.24/239.52	c  S st  2381    357926     38855    166048         0     50902    504445   5971413    180.02   no data
956.24/239.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
957.44/239.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.26
957.44/239.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
957.44/239.88	c bin-w-bin subsume rem            0 bins  time:  0.01 s
957.84/239.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
957.84/239.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
957.84/239.93	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
958.65/240.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.23 s
960.26/240.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
969.82/242.95	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.35 s
969.82/242.98	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
970.62/243.10	c vivif2 --  cl tried    50899 cl shrink        0 lits rem          0 time: 0.12
971.42/243.37	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.27
971.42/243.38	c calculated reachability. Time: 0.00
971.42/243.38	c  N dy  2381    357926     38855    166048         0     50899    504445   5970416    180.02   no data
1025.35/256.85	c  N dy  2519    377947     38855    166048         0     38924    504445   2399397    180.13    203.58
1079.67/270.45	c  N dy  2653    398410     38855    166048         0     59387    504445   8032920    180.13    190.43
1132.80/283.71	c  N dy  2788    418551     38855    166048         0     46532    504445   4157781    180.04    193.51
1187.13/297.35	c  N dy  2933    438572     38855    166048         0     66552    504445   9555693    180.01    192.95
1240.25/310.62	c  N dy  3066    458652     38855    166048         0     52633    504445   5547042    179.95    191.19
1296.18/324.63	c  N dy  3211    478787     38855    166048         0     37770    504445   1247272    180.14    191.83
1348.50/337.72	c  N dy  3352    498832     38855    166048         0     57814    504445   6791345    180.24    196.36
1401.23/350.98	c  N dy  3485    518916     38855    166048         0     41900    504445   2152681    180.21    190.46
1447.17/362.47	c  S st  3606    536889     38855    166048         0     59871    504445   7041669    180.23   no data
1448.77/362.80	c  S st  3606    537390     38855    166048         0     60372    504445   7142999    180.23   no data
1448.77/362.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1449.97/363.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
1449.97/363.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1449.97/363.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1449.97/363.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1449.97/363.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
1450.37/363.21	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1451.16/363.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
1453.16/363.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1465.94/367.15	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  3.20 s
1465.94/367.18	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
1466.74/367.32	c vivif2 --  cl tried    60367 cl shrink        0 lits rem          0 time: 0.14
1467.94/367.60	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.28
1467.94/367.61	c calculated reachability. Time: 0.00
1467.94/367.61	c  N dy  3606    537390     38855    166048         0     60367    504445   7138883    180.23   no data
1521.06/380.92	c  N dy  3742    557422     38855    166048         0     43400    504445   2217949    180.19    190.12
1572.99/393.91	c  N dy  3881    577461     38855    166048         0     63439    504445   7724112    180.23    194.18
1625.72/407.13	c  N dy  4022    597507     38855    166048         0     45482    504445   2568247    180.29    201.78
1678.04/420.21	c  N dy  4164    617535     38855    166048         0     65508    504445   8066216    180.37    194.57
1731.97/433.72	c  N dy  4306    637591     38855    166048         0     46570    504445   2609235    180.46    191.88
1784.31/446.88	c  N dy  4446    657689     38855    166048         0     66666    504445   8130777    180.53    192.57
1839.43/460.65	c  N dy  4581    677769     38855    166048         0     46750    504445   2395112    180.59    191.40
1892.55/473.90	c  N dy  4725    697865     38855    166048         0     66846    504445   7961878    180.70    195.78
1946.48/487.46	c  N dy  4859    717889     38855    166048         0     45872    504445   1853752    180.72    194.71
1998.00/500.36	c  N dy  4987    737940     38855    166048         0     65921    504445   7253396    180.67    192.25
2053.53/514.21	c  N dy  5119    757985     38855    166048         0     43964    504445   1053125    180.68    191.62
2105.85/527.32	c  N dy  5254    778052     38855    166048         0     64029    504445   6669415    180.74    193.14
2160.98/541.18	c  N dy  5388    798101     38855    166048         0     84077    504445  12133599    180.70    191.61
2182.54/546.54	c  S st  5441    806085     38855    166048         0     49063    504445   2196907    180.72   no data
2183.74/546.87	c  S st  5441    806588     38855    166048         0     49566    504445   2301567    180.72   no data
2183.74/546.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2184.93/547.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.25
2185.33/547.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2185.33/547.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2185.33/547.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2185.33/547.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
2185.33/547.26	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2186.16/547.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
2186.94/547.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2189.73/548.38	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.74 s
2190.15/548.41	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
2190.15/548.46	c vivif2 --  cl tried    49565 cl shrink        0 lits rem          0 time: 0.05
2191.32/548.71	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.25
2191.32/548.72	c calculated reachability. Time: 0.00
2191.32/548.72	c  N dy  5441    806588     38855    166048         0     49565    504445   2300466    180.72   no data
2245.25/562.30	c  N dy  5589    826720     38855    166048         0     69696    504445   8002026    180.86    193.81
2301.97/576.42	c  N dy  5723    846827     38855    166048         0     45800    504445   1050583    180.83    194.79
2354.29/589.55	c  N dy  5856    866959     38855    166048         0     65929    504445   6542478    180.80    195.09
2410.24/603.59	c  N dy  5999    886983     38855    166048         0     85952    504445  12007890    180.85    190.94
2464.94/617.21	c  N dy  6133    907194     38855    166048         0     61166    504445   4997178    180.86    193.20
2519.68/630.94	c  N dy  6268    927207     38855    166048         0     81177    504445  10555293    180.91    190.53
2575.19/644.88	c  N dy  6411    947282     38855    166048         0     55261    504445   3108046    180.96    197.70
2629.53/658.47	c  N dy  6543    967344     38855    166048         0     75321    504445   8678822    180.97    191.64
2687.05/672.85	c  N dy  6678    987443     38855    166048         0     48433    504445    917096    180.94    204.31
2740.15/686.17	c  N dy  6820   1007527     38855    166048         0     68516    504445   6451250    180.97    190.80
2796.49/700.26	c  N dy  6954   1027627     38855    166048         0     88613    504445  11990494    180.95    191.13
2851.20/713.90	c  N dy  7088   1047716     38855    166048         0     60698    504445   4048334    180.98    212.71
2905.52/727.58	c  N dy  7220   1067757     38855    166048         0     80738    504445   9563436    180.98    194.01
2917.10/730.44	c  F st  7244   1071875     38855    166048         0     84854    504445  10691419    180.97   no data
2963.04/741.98	c  N dy  7321   1087801     38855    166048         0     51778    504445   1268110    180.96    207.43
3016.96/755.44	c  N dy  7465   1107884     38855    166048         0     71860    504445   6806468    180.97    192.13
3073.69/769.64	c  N dy  7598   1127911     38855    166048         0     91885    504445  12221277    180.96    219.98
3129.20/783.51	c  N dy  7734   1147948     38855    166048         0     61922    504445   3847041    180.97    196.51
3184.32/797.35	c  N dy  7871   1167997     38855    166048         0     81971    504445   9373630    180.97    192.63
3244.65/812.48	c  N dy  8017   1188453     38855    166048         0     51434    504445    650957    181.03    192.72
3298.96/826.03	c  N dy  8151   1208501     38855    166048         0     71481    504445   6192235    181.06    195.28
3302.55/826.98	c  S st  8160   1209882     38855    166048         0     72862    504445   6583864    181.07    163.80
3304.15/827.34	c  S st  8160   1210386     38855    166048         0     73366    504445   6683759    181.07   no data
3304.15/827.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3305.35/827.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
3305.75/827.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3305.75/827.72	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3305.75/827.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3305.75/827.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
3305.75/827.77	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3306.94/828.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.25 s
3308.55/828.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3322.13/831.86	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.38 s
3322.13/831.89	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
3322.93/832.02	c vivif2 --  cl tried    73360 cl shrink        0 lits rem          0 time: 0.13
3324.14/832.32	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.30
3324.14/832.33	c calculated reachability. Time: 0.00
3324.14/832.33	c  N dy  8160   1210386     38855    166048         0     73360    504445   6682364    181.07   no data
3381.64/846.73	c  N dy  8301   1230436     38855    166048         0     93410    504445  12306394    181.12    195.52
3438.76/861.03	c  N dy  8437   1250500     38855    166048         0     61474    504445   3151060    181.09    192.53
3493.88/874.84	c  N dy  8574   1270587     38855    166048         0     81559    504445   8723629    181.11    201.86
3552.62/889.59	c  N dy  8715   1290611     38855    166048         0    101581    504445  14277474    181.16    198.97
3608.52/903.51	c  N dy  8857   1310737     38855    166048         0     68706    504445   4869566    181.20    191.89
3665.24/917.70	c  N dy  8996   1330784     38855    166048         0     88751    504445  10395928    181.22    191.48
3725.56/932.80	c  N dy  9134   1350853     38855    166048         0     54823    504445    770760    181.26    198.27
3780.28/946.51	c  N dy  9264   1371156     38855    166048         0     75124    504445   6376462    181.24    190.91
3838.99/961.22	c  N dy  9402   1391396     38855    166048         0     95362    504445  12062961    181.27    196.72
3898.91/976.20	c  N dy  9540   1411422     38855    166048         0     60390    504445   2076803    181.29    192.59
3953.63/989.93	c  N dy  9671   1431462     38855    166048         0     80427    504445   7571413    181.28    196.12
4012.74/1004.76	c  N dy  9812   1451608     38855    166048         0    100570    504445  13123924    181.31    192.02
4070.68/1019.28	c  N dy  9938   1471822     38855    166048         0     64786    504445   2940867    181.27    191.95
4126.18/1033.16	c  N dy 10063   1491955     38855    166048         0     84917    504445   8343870    181.24    199.81
4185.32/1047.95	c  N dy 10202   1512004     38855    166048         0    104966    504445  13873148    181.26    192.47
4243.21/1062.44	c  N dy 10347   1532031     38855    166048         0     68000    504445   3612729    181.30    193.26
4299.93/1076.61	c  N dy 10487   1552104     38855    166048         0     88071    504445   9200057    181.32    190.98
4359.46/1091.52	c  N dy 10624   1572206     38855    166048         0    108172    504445  14727313    181.31    191.38
4416.97/1105.90	c  N dy 10763   1592346     38855    166048         0     70314    504445   3966924    181.32    201.96
4472.90/1119.93	c  N dy 10887   1612350     38855    166048         0     90317    504445   9446717    181.28    190.91
4532.81/1134.90	c  N dy 11020   1632396     38855    166048         0    110363    504445  14942312    181.28    193.20
4591.13/1149.52	c  N dy 11161   1652474     38855    166048         0     71450    504445   3996203    181.30    196.94
4647.85/1163.71	c  N dy 11289   1672587     38855    166048         0     91561    504445   9557893    181.27    200.48
4707.37/1178.70	c  N dy 11422   1692627     38855    166048         0    111599    504445  15099972    181.27    192.16
4760.09/1191.88	c  S st 11546   1710386     38855    166048         0     69356    504445   3133405    181.28   no data
4761.69/1192.24	c  S st 11546   1710893     38855    166048         0     69863    504445   3215968    181.28   no data
4761.69/1192.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4762.89/1192.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.28
4763.29/1192.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4763.29/1192.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4763.29/1192.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4763.29/1192.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38855 time:  0.01 s
4763.29/1192.66	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4764.09/1192.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
4764.90/1193.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4772.89/1195.04	c lits-rem:         3  cl-subs:        1  v-elim:      0  v-fix:    0  time:  1.92 s
4772.89/1195.07	c vivif2 --  cl tried   166048 cl shrink        0 lits rem          0 time: 0.03
4773.29/1195.14	c vivif2 --  cl tried    69862 cl shrink        0 lits rem          0 time: 0.07
4774.48/1195.43	c asymm  cl-useful: 0/166048/166048 lits-rem:0 time: 0.29
4774.48/1195.45	c calculated reachability. Time: 0.00
4774.48/1195.45	c  N dy 11546   1710893     38855    166048         0     69862    504445   3214764    181.28   no data

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-3173723-1304030111/watcher-3173723-1304030111 -o /tmp/evaluation-result-3173723-1304030111/solver-3173723-1304030111 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173723-1304030111.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: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 408 0 0 0 0 0 0 0 24 0 4 0 495427358 52441088 347 33554432000 4194304 4627427 140734118082384 18446744073709551615 47464403871656 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13533/statm: 12803 347 299 106 0 7774 0
[pid=13533/tid=13534] ppid=13531 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495427358 52441088 347 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039711729 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495427358 52441088 347 33554432000 4194304 4627427 140734118082384 18446744073709551615 212051452982 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495427358 52441088 347 33554432000 4194304 4627427 140734118082384 18446744073709551615 47464403871656 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0879391 s]
/proc/loadavg: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=322456 CPUtime=0.32 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 22842 0 0 0 28 4 0 0 18 0 4 0 495427358 330194944 18654 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039352439 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13533/statm: 80970 21708 339 106 0 75941 0
[pid=13533/tid=13534] ppid=13531 vsize=325500 CPUtime=0.11 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) D 13531 13533 13269 0 -1 4202560 6551 0 0 0 10 1 0 0 18 0 4 0 495427358 333312000 22391 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039352505 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=335620 CPUtime=0.4 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) D 13531 13533 13269 0 -1 4202560 7285 0 0 0 39 1 0 0 18 0 4 0 495427358 343674880 25625 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039352528 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=336624 CPUtime=0.41 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 7109 0 0 0 40 1 0 0 25 0 4 0 495427358 344702976 26547 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 322456

[startup+0.516442 s]
/proc/loadavg: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=354336 CPUtime=2.06 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 41166 0 0 0 197 9 0 0 18 0 4 0 495427358 362840064 36800 33554432000 4194304 4627427 140734118082384 18446744073709551615 4526746 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13533/statm: 90786 39972 379 106 0 85757 0
[pid=13533/tid=13534] ppid=13531 vsize=363144 CPUtime=0.57 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) D 13531 13533 13269 0 -1 4202560 12173 0 0 0 54 3 0 0 18 0 4 0 495427358 371859456 39972 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039698615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=363144 CPUtime=0.57 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) D 13531 13533 13269 0 -1 4202560 11780 0 0 0 55 2 0 0 18 0 4 0 495427358 371859456 39972 33554432000 4194304 4627427 140734118082384 18446744073709551615 212039316513 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=363144 CPUtime=0.57 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 7197 0 0 0 56 1 0 0 25 0 4 0 495427358 371859456 39972 33554432000 4194304 4627427 140734118082384 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 354336

[startup+0.738614 s]
/proc/loadavg: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=361608 CPUtime=2.9 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) D 13531 13533 13269 0 -1 4202496 51814 0 0 0 279 11 0 0 18 0 4 0 495427358 370286592 40260 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 90402 40260 381 106 0 85373 0
[pid=13533/tid=13534] ppid=13531 vsize=361608 CPUtime=0.71 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) D 13531 13533 13269 0 -1 4202560 14832 0 0 0 68 3 0 0 18 0 4 0 495427358 370286592 40260 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=365524 CPUtime=0.93 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 15597 0 0 0 90 3 0 0 18 0 4 0 495427358 374296576 41799 33554432000 4194304 4627427 140734118082384 18446744073709551615 4370159 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=365524 CPUtime=0.94 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 7414 0 0 0 93 1 0 0 25 0 4 0 495427358 374296576 41799 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 361608

[startup+1.06074 s]
/proc/loadavg: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=365524 CPUtime=4.2 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 54472 0 0 0 408 12 0 0 19 0 4 0 495427358 374296576 41343 33554432000 4194304 4627427 140734118082384 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 91381 41343 385 106 0 86352 0
[pid=13533/tid=13534] ppid=13531 vsize=365524 CPUtime=1.03 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 15710 0 0 0 100 3 0 0 19 0 4 0 495427358 374296576 41343 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=365524 CPUtime=1.03 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 15629 0 0 0 100 3 0 0 18 0 4 0 495427358 374296576 41343 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=365524 CPUtime=1.04 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 7475 0 0 0 103 1 0 0 25 0 4 0 495427358 374296576 41343 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 365524

[startup+1.50066 s]
/proc/loadavg: 8.07 7.93 6.27 5/180 13533
/proc/meminfo: memFree=13708792/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=365524 CPUtime=5.96 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 55537 0 0 0 584 12 0 0 19 0 4 0 495427358 374296576 42355 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 91381 42355 385 106 0 86352 0
[pid=13533/tid=13534] ppid=13531 vsize=365524 CPUtime=1.47 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 15954 0 0 0 144 3 0 0 19 0 4 0 495427358 374296576 42355 33554432000 4194304 4627427 140734118082384 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=365524 CPUtime=1.47 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 15878 0 0 0 144 3 0 0 19 0 4 0 495427358 374296576 42355 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=365524 CPUtime=1.48 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 7803 0 0 0 147 1 0 0 25 0 4 0 495427358 374296576 42355 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 365524

[startup+3.10037 s]
/proc/loadavg: 8.14 7.95 6.28 9/184 13537
/proc/meminfo: memFree=13337628/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=496788 CPUtime=12.34 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 59071 0 0 0 1221 13 0 0 25 0 4 0 495427358 508710912 45889 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 124197 45889 385 106 0 119168 0
[pid=13533/tid=13534] ppid=13531 vsize=496788 CPUtime=3.07 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 16912 0 0 0 303 4 0 0 25 0 4 0 495427358 508710912 45889 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=496788 CPUtime=3.08 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 16775 0 0 0 304 4 0 0 22 0 4 0 495427358 508710912 45889 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=496788 CPUtime=3.08 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 8633 0 0 0 307 1 0 0 25 0 4 0 495427358 508710912 45889 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 496788

[startup+6.3008 s]
/proc/loadavg: 8.13 7.95 6.29 9/184 13537
/proc/meminfo: memFree=12907084/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=496788 CPUtime=25.12 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 66018 0 0 0 2498 14 0 0 25 0 4 0 495427358 508710912 52836 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 124197 52836 385 106 0 119168 0
[pid=13533/tid=13534] ppid=13531 vsize=496788 CPUtime=6.25 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 18525 0 0 0 621 4 0 0 25 0 4 0 495427358 508710912 52836 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=496788 CPUtime=6.27 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 18340 0 0 0 623 4 0 0 25 0 4 0 495427358 508710912 52836 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=496788 CPUtime=6.28 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 10835 0 0 0 626 2 0 0 25 0 4 0 495427358 508710912 52837 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 496788

[startup+12.7007 s]
/proc/loadavg: 8.12 7.95 6.30 9/184 13537
/proc/meminfo: memFree=12318760/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=397696 CPUtime=50.71 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 86199 0 0 0 5052 19 0 0 25 0 4 0 495427358 407240704 47289 33554432000 4194304 4627427 140734118082384 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 99424 47289 386 106 0 94395 0
[pid=13533/tid=13534] ppid=13531 vsize=397696 CPUtime=12.62 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 23630 0 0 0 1256 6 0 0 25 0 4 0 495427358 407240704 47289 33554432000 4194304 4627427 140734118082384 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=397696 CPUtime=12.68 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 23420 0 0 0 1263 5 0 0 25 0 4 0 495427358 407240704 47289 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=397696 CPUtime=12.68 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 16062 0 0 0 1265 3 0 0 25 0 4 0 495427358 407240704 47289 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 397696

[startup+25.5004 s]
/proc/loadavg: 8.10 7.95 6.32 9/184 13538
/proc/meminfo: memFree=10553532/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=735880 CPUtime=101.81 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 164108 0 0 0 10143 38 0 0 25 0 4 0 495427358 753541120 105827 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 183970 105827 390 106 0 178941 0
[pid=13533/tid=13534] ppid=13531 vsize=735880 CPUtime=25.34 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 59860 0 0 0 2519 15 0 0 25 0 4 0 495427358 753541120 105827 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=735880 CPUtime=25.47 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 32007 0 0 0 2540 7 0 0 25 0 4 0 495427358 753541120 105827 33554432000 4194304 4627427 140734118082384 18446744073709551615 4498052 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=735880 CPUtime=25.48 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 24714 0 0 0 2542 6 0 0 25 0 4 0 495427358 753541120 105827 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 735880

[startup+51.1008 s]
/proc/loadavg: 8.07 7.95 6.36 9/184 13538
/proc/meminfo: memFree=9884776/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=879832 CPUtime=204.07 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 251329 0 0 0 20350 57 0 0 25 0 4 0 495427358 900947968 138724 33554432000 4194304 4627427 140734118082384 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 219958 138724 390 106 0 214929 0
[pid=13533/tid=13534] ppid=13531 vsize=879832 CPUtime=50.8 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 76278 0 0 0 5062 18 0 0 25 0 4 0 495427358 900947968 138724 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=879832 CPUtime=51.07 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 54871 0 0 0 5095 12 0 0 25 0 4 0 495427358 900947968 138724 33554432000 4194304 4627427 140734118082384 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=879832 CPUtime=51.07 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 52031 0 0 0 5095 12 0 0 25 0 4 0 495427358 900947968 138724 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.07
Current children cumulated vsize (KiB) 879832

[startup+102.301 s]
/proc/loadavg: 8.02 7.96 6.45 9/184 13540
/proc/meminfo: memFree=9576436/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1028792 CPUtime=408.58 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 387642 0 0 0 40763 95 0 0 25 0 4 0 495427358 1053483008 195655 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 257198 195655 390 106 0 252169 0
[pid=13533/tid=13534] ppid=13531 vsize=1028792 CPUtime=101.73 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 106014 0 0 0 10147 26 0 0 25 0 4 0 495427358 1053483008 195655 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1028792 CPUtime=102.28 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 90905 0 0 0 10205 23 0 0 25 0 4 0 495427358 1053483008 195655 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1028792 CPUtime=102.27 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 93974 0 0 0 10203 24 0 0 25 0 4 0 495427358 1053483008 195655 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.58
Current children cumulated vsize (KiB) 1028792

[startup+162.301 s]

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

[pid=13533] ppid=13531 vsize=1714968 CPUtime=2804.86 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1398533 0 0 0 279850 636 0 0 25 0 4 0 495427358 1756127232 346760 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321747 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 428742 346760 390 106 0 423713 0
[pid=13533/tid=13534] ppid=13531 vsize=1714968 CPUtime=700.46 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 358330 0 0 0 69908 138 0 0 25 0 4 0 495427358 1756127232 346760 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1714968 CPUtime=700.13 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 360434 0 0 0 69736 277 0 0 25 0 4 0 495427358 1756127232 346760 33554432000 4194304 4627427 140734118082384 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1714968 CPUtime=702.24 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 359743 0 0 0 70103 121 0 0 25 0 4 0 495427358 1756127232 346761 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2804.86
Current children cumulated vsize (KiB) 1714968

[startup+762.301 s]
/proc/loadavg: 8.21 8.22 7.40 9/184 13589
/proc/meminfo: memFree=23146556/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1685012 CPUtime=3044.52 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1494078 0 0 0 303782 670 0 0 25 0 4 0 495427358 1725452288 333205 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309584 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 421253 333205 390 106 0 416224 0
[pid=13533/tid=13534] ppid=13531 vsize=1685012 CPUtime=760.46 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 378773 0 0 0 75901 145 0 0 25 0 4 0 495427358 1725452288 333205 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1685012 CPUtime=759.8 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 387797 0 0 0 75694 286 0 0 25 0 4 0 495427358 1725452288 333205 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321776 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1685012 CPUtime=762.23 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 383852 0 0 0 76091 132 0 0 25 0 4 0 495427358 1725452288 333205 33554432000 4194304 4627427 140734118082384 18446744073709551615 4299634 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3044.52
Current children cumulated vsize (KiB) 1685012

[startup+822.301 s]
/proc/loadavg: 8.20 8.21 7.45 9/184 13591
/proc/meminfo: memFree=23038532/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1815900 CPUtime=3284.2 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1579740 0 0 0 327718 702 0 0 25 0 4 0 495427358 1859481600 352332 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 453975 352332 390 106 0 448946 0
[pid=13533/tid=13534] ppid=13531 vsize=1815900 CPUtime=820.47 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 406738 0 0 0 81893 154 0 0 25 0 4 0 495427358 1859481600 352332 33554432000 4194304 4627427 140734118082384 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1815900 CPUtime=819.46 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 408513 0 0 0 81652 294 0 0 25 0 4 0 495427358 1859481600 352332 33554432000 4194304 4627427 140734118082384 18446744073709551615 4324759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1815900 CPUtime=822.25 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 402419 0 0 0 82085 140 0 0 25 0 4 0 495427358 1859481600 352332 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.2
Current children cumulated vsize (KiB) 1815900

[startup+882.301 s]
/proc/loadavg: 8.12 8.18 7.48 9/184 13593
/proc/meminfo: memFree=22997952/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1751844 CPUtime=3523.84 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1673286 0 0 0 351654 730 0 0 25 0 4 0 495427358 1793888256 356425 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 437961 356425 390 106 0 432932 0
[pid=13533/tid=13534] ppid=13531 vsize=1751844 CPUtime=880.45 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 432024 0 0 0 87884 161 0 0 25 0 4 0 495427358 1793888256 356425 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1751844 CPUtime=879.14 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 435205 0 0 0 87612 302 0 0 25 0 4 0 495427358 1793888256 356425 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1751844 CPUtime=882.23 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 425049 0 0 0 88077 146 0 0 25 0 4 0 495427358 1793888256 356425 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321761 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.84
Current children cumulated vsize (KiB) 1751844

[startup+942.306 s]
/proc/loadavg: 8.15 8.18 7.52 10/184 13594
/proc/meminfo: memFree=22933332/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1817656 CPUtime=3763.52 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1755504 0 0 0 375592 760 0 0 25 0 4 0 495427358 1861279744 363480 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 454414 363480 390 106 0 449385 0
[pid=13533/tid=13534] ppid=13531 vsize=1817656 CPUtime=940.46 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 452838 0 0 0 93877 169 0 0 25 0 4 0 495427358 1861279744 363480 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1817656 CPUtime=938.81 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 453611 0 0 0 93573 308 0 0 25 0 4 0 495427358 1861279744 363480 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1817656 CPUtime=942.24 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 449817 0 0 0 94069 155 0 0 25 0 4 0 495427358 1861279744 363480 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3763.52
Current children cumulated vsize (KiB) 1817656

[startup+1002.3 s]
/proc/loadavg: 8.16 8.17 7.56 9/184 13596
/proc/meminfo: memFree=22991440/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1753348 CPUtime=4003.16 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1846909 0 0 0 399521 795 0 0 25 0 4 0 495427358 1795428352 355407 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 438337 355407 390 106 0 433308 0
[pid=13533/tid=13534] ppid=13531 vsize=1753348 CPUtime=1000.45 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 475156 0 0 0 99867 178 0 0 25 0 4 0 495427358 1795428352 355407 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1753348 CPUtime=998.47 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 479944 0 0 0 99529 318 0 0 25 0 4 0 495427358 1795428352 355407 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1753348 CPUtime=1002.23 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 472193 0 0 0 100060 163 0 0 25 0 4 0 495427358 1795428352 355407 33554432000 4194304 4627427 140734118082384 18446744073709551615 4305380 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.16
Current children cumulated vsize (KiB) 1753348

[startup+1062.3 s]
/proc/loadavg: 8.15 8.17 7.60 9/184 13597
/proc/meminfo: memFree=22960284/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1819804 CPUtime=4242.81 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 1929383 0 0 0 423454 827 0 0 25 0 4 0 495427358 1863479296 359398 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 454951 359398 390 106 0 449922 0
[pid=13533/tid=13534] ppid=13531 vsize=1819804 CPUtime=1060.45 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 499331 0 0 0 105858 187 0 0 25 0 4 0 495427358 1863479296 359398 33554432000 4194304 4627427 140734118082384 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1819804 CPUtime=1058.14 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 500148 0 0 0 105488 326 0 0 25 0 4 0 495427358 1863479296 359398 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1819804 CPUtime=1062.23 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 492584 0 0 0 106053 170 0 0 25 0 4 0 495427358 1863479296 359398 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.81
Current children cumulated vsize (KiB) 1819804

[startup+1122.3 s]
/proc/loadavg: 8.14 8.17 7.63 9/184 13599
/proc/meminfo: memFree=22887728/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1754692 CPUtime=4482.48 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 2021398 0 0 0 447386 862 0 0 25 0 4 0 495427358 1796804608 364900 33554432000 4194304 4627427 140734118082384 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 438673 364900 390 106 0 433644 0
[pid=13533/tid=13534] ppid=13531 vsize=1754692 CPUtime=1120.44 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 523332 0 0 0 111849 195 0 0 25 0 4 0 495427358 1796804608 364900 33554432000 4194304 4627427 140734118082384 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1754692 CPUtime=1117.82 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 526022 0 0 0 111446 336 0 0 25 0 4 0 495427358 1796804608 364900 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1754692 CPUtime=1122.23 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 514304 0 0 0 112045 178 0 0 25 0 4 0 495427358 1796804608 364900 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4482.48
Current children cumulated vsize (KiB) 1754692

[startup+1182.3 s]
/proc/loadavg: 8.21 8.18 7.66 9/184 13601
/proc/meminfo: memFree=22838340/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1821264 CPUtime=4722.15 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 2105688 0 0 0 471326 889 0 0 25 0 4 0 495427358 1864974336 362500 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 455316 362500 390 106 0 450287 0
[pid=13533/tid=13534] ppid=13531 vsize=1821264 CPUtime=1180.44 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 545197 0 0 0 117841 203 0 0 25 0 4 0 495427358 1864974336 362500 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1821264 CPUtime=1177.49 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 546286 0 0 0 117407 342 0 0 25 0 4 0 495427358 1864974336 362500 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1821264 CPUtime=1182.22 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 536616 0 0 0 118039 183 0 0 25 0 4 0 495427358 1864974336 362500 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.15
Current children cumulated vsize (KiB) 1821264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.15 8.17 7.67 9/184 13601
/proc/meminfo: memFree=22819968/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1821356 CPUtime=4800.08 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 2128671 0 0 0 479111 897 0 0 25 0 4 0 495427358 1865068544 371215 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 455339 371215 390 106 0 450310 0
[pid=13533/tid=13534] ppid=13531 vsize=1821356 CPUtime=1199.95 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 550361 0 0 0 119791 204 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1821356 CPUtime=1196.89 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 553307 0 0 0 119344 345 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1821356 CPUtime=1201.74 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 543682 0 0 0 119989 185 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1821356

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

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

[startup+1201.8 s]
/proc/loadavg: 8.15 8.17 7.67 9/184 13601
/proc/meminfo: memFree=22819968/32951124 swapFree=67111524/67111528
[pid=13533] ppid=13531 vsize=1821356 CPUtime=4800.08 cores=0,2,4,6
/proc/13533/stat : 13533 (strangenight2-m) R 13531 13533 13269 0 -1 4202496 2128671 0 0 0 479111 897 0 0 25 0 4 0 495427358 1865068544 371215 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308712 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/13533/statm: 455339 371215 390 106 0 450310 0
[pid=13533/tid=13534] ppid=13531 vsize=1821356 CPUtime=1199.95 cores=0,2,4,6
/proc/13533/task/13534/stat : 13534 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 550361 0 0 0 119791 204 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13533/tid=13535] ppid=13531 vsize=1821356 CPUtime=1196.89 cores=0,2,4,6
/proc/13533/task/13535/stat : 13535 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 553307 0 0 0 119344 345 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4308368 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13533/tid=13536] ppid=13531 vsize=1821356 CPUtime=1201.74 cores=0,2,4,6
/proc/13533/task/13536/stat : 13536 (strangenight2-m) R 13531 13533 13269 0 -1 4202560 543682 0 0 0 119989 185 0 0 25 0 4 0 495427358 1865068544 371216 33554432000 4194304 4627427 140734118082384 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 1821356

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.9
CPU time (s): 4800.19
CPU user time (s): 4791.13
CPU system time (s): 9.05362
CPU usage (%): 399.385
Max. virtual memory (cumulated for all children) (KiB): 1821356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4791.13
system time used= 9.05362
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2128676
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= 2684
involuntary context switches= 23679

runsolver used 2.01269 second user time and 4.55431 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 00:35:11
IDJOB=3173723
IDBENCH=82541
IDSOLVER=1586
FILE ID=node146/3173723-1304030111
RUNJOBID= node146-1304028687-13287
PBS_JOBID= 13170306
Free space on /tmp= 72868 MiB

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

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

MD5SUM BENCH= c6eeff67aa308a86267a5f4d04512b40
RANDOM SEED=1590204659

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      13713420 kB
Buffers:       1919192 kB
Cached:        8464112 kB
SwapCached:          4 kB
Active:        9751436 kB
Inactive:      8945360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      13713420 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          112616 kB
Writeback:           0 kB
AnonPages:     8312976 kB
Mapped:          15492 kB
Slab:           460648 kB
PageTables:      21568 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  9268024 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= 72980 MiB
End job on node146 at 2011-04-29 00:55:15