Trace number 3366201

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.48 1203.69

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf
MD5SUM1ba3e47e885ea3862e5726ce64a96a9c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark136.94
Satisfiable
(Un)Satisfiability was proved
Number of variables35000
Number of clauses147000
Sum of the clauses size441000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3147000
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-3366201-1305398554.cnf'
0.00/0.00	c -- header says num vars:          35000
0.00/0.00	c -- header says num clauses:      147000
1.07/0.39	c -- clauses added:            0 learnts,       147000 normals,            0 xors
1.07/0.39	c -- vars added      35000
1.07/0.39	c Parsing time:  0.12 s
1.07/0.39	c  N st     0         0     35000    147000         0         0    441000         0   no data   no data
1.07/0.39	c asymm  cl-useful: 0/147000/147000 lits-rem:0 time: 0.14
1.07/0.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.04
1.85/0.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1.85/0.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1.85/0.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.85/0.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  35000 time:  0.01 s
1.85/0.54	c Removed useless bin:       0  fixed:     0  props:   0.34M  time:  0.02 s
5.05/1.34	c lits-rem:         0  cl-subs:        0  v-elim:    891  v-fix:    0  time:  0.24 s
5.05/1.34	c Finding binary XORs  T:     0.01 s  found:       0
5.05/1.34	c Finding non-binary XORs:     0.04 s (found:       0, avg size: nan)
5.05/1.34	c calculated reachability. Time: 0.00
5.05/1.34	c Calc default polars -  time:   0.01 s pos:   15557 undec:    3850 neg:   15593
5.05/1.34	c =========================================================================================
5.05/1.34	c types(t): F = full restart, N = normal restart
5.05/1.34	c types(t): S = simplification begin/end, E = solution found
5.05/1.34	c restart types(rt): st = static, dy = dynamic
5.05/1.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
5.05/1.34	c  B st     0         0     34109    146031         0         0    443521         0   no data   no data
10.63/2.77	c  N dy    19      4077     34109    146031         0      4076    443521   1165083    167.29    180.45
18.60/4.72	c  N dy    45      8260     34109    146031         0      8259    443521   2203601    164.15    179.36
26.23/6.68	c  N dy    74     12322     34109    146031         0     12321    443521   3219836    164.24    191.06
34.58/8.73	c  N dy   102     16438     34109    146031         0     16437    443521   4231066    163.52    177.29
42.53/10.77	c  N dy   129     20497     34109    146031         0     10497    443521    759227    164.20    173.93
50.51/12.77	c  N dy   157     24621     34109    146031         0     14621    443521   1799563    164.92    173.84
51.31/12.95	c  F st   160     25000     34109    146031         0     15000    443521   1896182    164.78   no data
61.67/15.57	c  N dy   166     30001     34109    146031         0     20001    443521   3577785    164.78   no data
61.67/15.57	c  S st   166     30001     34109    146031         0     20001    443521   3577785    164.78   no data
62.87/15.82	c  S st   166     30503     34109    146031         0     20503    443521   3668966    164.78   no data
62.87/15.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
63.27/15.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
63.27/15.98	c blocked clauses removed:      539 vars:     84 tried:       34109 T: 0.02 s
63.27/15.99	c bin-w-bin subsume rem            0 bins  time:  0.01 s
63.67/16.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
63.67/16.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34025 time:  0.01 s
63.67/16.03	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
64.47/16.20	c lits-rem:         0  cl-subs:        0  v-elim:     22  v-fix:    0  time:  0.17 s
65.71/16.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
69.26/17.40	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.80 s
69.68/17.58	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.18
69.68/17.59	c calculated reachability. Time: 0.00
69.68/17.59	c  N dy   166     30503     34003    145472         0     19962    442007   3310497    164.78   no data
78.45/19.73	c  N dy   194     34609     34003    145472         0     24068    442007   4370930    165.87    180.66
87.22/21.98	c  N dy   222     38760     34003    145472         0     28219    442007   5417885    166.03    176.92
95.99/24.21	c  N dy   251     42936     34003    145472         0     17166    442007   1235632    166.11    176.71
101.94/25.64	c  S st   271     45755     34003    145472         0     19985    442007   1936809    165.93    162.36
103.15/25.90	c  S st   271     46258     34003    145472         0     20488    442007   2047484    165.93   no data
103.15/25.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
103.55/26.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
103.55/26.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103.55/26.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
103.55/26.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
103.55/26.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
103.95/26.10	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
104.35/26.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
104.77/26.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
105.94/26.68	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.28 s
106.34/26.71	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
106.34/26.74	c vivif2 --  cl tried    20487 cl shrink        0 lits rem          0 time: 0.04
107.13/26.93	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.18
107.13/26.94	c calculated reachability. Time: 0.00
107.13/26.94	c  N dy   271     46258     34003    145472         0     20487    442007   2046371    165.93   no data
115.51/29.08	c  N dy   303     50312     34003    145472         0     24540    442007   3095755    166.28    182.69
124.28/31.28	c  N dy   332     54469     34003    145472         0     28697    442007   4169790    166.74    178.35
133.06/33.43	c  N dy   354     58552     34003    145472         0     32780    442007   5202202    166.28    182.98
142.23/35.71	c  N dy   384     62744     34003    145472         0     36972    442007   6308050    166.62    177.86
150.60/37.88	c  N dy   414     66853     34003    145472         0     22468    442007   1744719    166.75    177.34
156.19/39.23	c  S st   431     69388     34003    145472         0     25003    442007   2375078    166.81    163.39
156.99/39.48	c  S st   431     69893     34003    145472         0     25508    442007   2473139    166.81   no data
156.99/39.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
157.41/39.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.09
157.82/39.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
157.82/39.65	c bin-w-bin subsume rem            0 bins  time:  0.01 s
157.82/39.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
157.82/39.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
157.82/39.69	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
158.58/39.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.14 s
158.98/39.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
160.98/40.42	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.40 s
160.98/40.44	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
160.98/40.49	c vivif2 --  cl tried    25507 cl shrink        0 lits rem          0 time: 0.04
161.79/40.68	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.19
161.79/40.69	c calculated reachability. Time: 0.00
161.79/40.69	c  N dy   431     69893     34003    145472         0     25507    442007   2472947    166.81   no data
171.34/43.08	c  N dy   461     74408     34003    145472         0     30021    442007   3640772    167.03    177.64
182.12/45.76	c  N dy   497     79329     34003    145472         0     34942    442007   4931181    167.34    176.18
193.28/48.58	c  N dy   532     84470     34003    145472         0     40082    442007   6236831    167.30    178.51
200.07/50.25	c  F st   557     87500     34003    145472         0     22307    442007   1086704    167.36   no data
207.63/52.14	c  N st   562     90794     34003    145472         0     25601    442007   2331454    167.36   no data
221.20/55.58	c  N dy   590     96677     34003    145472         0     31483    442007   4422512    167.33    179.06
235.15/59.05	c  N dy   635    102889     34003    145472         0     37695    442007   6064292    167.76    178.17
239.53/60.13	c  S st   650    104840     34003    145472         0     39646    442007   6551013    167.74   no data
240.76/60.42	c  S st   650    105343     34003    145472         0     40149    442007   6650307    167.74   no data
240.76/60.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
241.18/60.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.11
241.53/60.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
241.53/60.61	c bin-w-bin subsume rem            0 bins  time:  0.01 s
241.53/60.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
241.53/60.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
241.53/60.65	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
242.33/60.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
244.33/61.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
251.10/63.03	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  1.70 s
251.10/63.05	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
251.50/63.17	c vivif2 --  cl tried    40145 cl shrink        0 lits rem          0 time: 0.12
252.30/63.39	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.21
252.70/63.40	c calculated reachability. Time: 0.00
252.70/63.40	c  N dy   650    105343     34003    145472         0     40145    442007   6646812    167.74   no data
267.85/67.25	c  N dy   695    112383     34003    145472         0     24778    442007   1283347    167.55    183.52
283.81/71.25	c  N dy   743    119719     34003    145472         0     32114    442007   3177290    167.57    178.09
300.97/75.50	c  N dy   795    127548     34003    145472         0     39943    442007   5148277    167.44    176.40
319.31/80.20	c  N dy   854    135718     34003    145472         0     24413    442007    823966    167.63    178.96
338.46/84.93	c  N dy   912    144503     34003    145472         0     33197    442007   3092370    167.64    182.52
359.22/90.13	c  N dy   977    153752     34003    145472         0     42446    442007   5518626    167.81    177.79
368.77/92.58	c  S st  1005    158014     34003    145472         0     46708    442007   6606929    167.74    150.32
369.97/92.88	c  S st  1005    158517     34003    145472         0     47211    442007   6703320    167.74   no data
370.37/92.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
370.77/93.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.11
370.77/93.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
370.77/93.07	c bin-w-bin subsume rem            0 bins  time:  0.01 s
370.77/93.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
370.77/93.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
371.17/93.11	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
371.57/93.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
373.55/93.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
382.73/96.06	c lits-rem:         2  cl-subs:        8  v-elim:      0  v-fix:    0  time:  2.28 s
382.73/96.08	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
383.53/96.20	c vivif2 --  cl tried    47203 cl shrink        0 lits rem          0 time: 0.12
384.33/96.43	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
384.33/96.44	c calculated reachability. Time: 0.00
384.33/96.44	c  N dy  1005    158517     34003    145472         0     47203    442007   6700696    167.74   no data
407.06/102.15	c  N dy  1080    168669     34003    145472         0     32505    442007   2627020    168.02    182.54
430.99/108.19	c  N dy  1155    179568     34003    145472         0     43403    442007   5431689    168.03    179.20
457.72/114.84	c  N dy  1238    191051     34003    145472         0     28969    442007   1369728    168.39    178.86
484.84/121.61	c  N dy  1324    203272     34003    145472         0     41190    442007   4503006    168.47    184.96
515.15/129.23	c  N dy  1414    216368     34003    145472         0     27323    442007    644405    168.31    177.71
545.46/136.83	c  N dy  1506    230283     34003    145472         0     41238    442007   4173471    168.21    177.74
562.62/141.19	c  S st  1560    237775     34003    145472         0     48730    442007   6092418    168.22    141.13
563.82/141.48	c  S st  1560    238282     34003    145472         0     49237    442007   6186376    168.22   no data
564.22/141.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
564.62/141.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
564.62/141.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
564.62/141.67	c bin-w-bin subsume rem            0 bins  time:  0.01 s
564.62/141.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
565.02/141.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
565.02/141.71	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
565.43/141.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
567.01/142.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
576.17/144.58	c lits-rem:         3  cl-subs:        0  v-elim:      0  v-fix:    0  time:  2.29 s
576.57/144.60	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
576.97/144.71	c vivif2 --  cl tried    49237 cl shrink        0 lits rem          0 time: 0.11
577.77/144.95	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
577.77/144.96	c calculated reachability. Time: 0.00
577.77/144.96	c  N dy  1560    238282     34003    145472         0     49237    442007   6186373    168.22   no data
612.47/153.66	c  N dy  1664    253488     34003    145472         0     36461    442007   2688835    168.30    180.66
649.96/163.00	c  N dy  1782    269690     34003    145472         0     52661    442007   6924967    168.48    184.92
689.05/172.88	c  N dy  1902    287023     34003    145472         0     41002    442007   3631286    168.52    178.98
731.75/183.59	c  N dy  2019    305430     34003    145472         0     59408    442007   8306673    168.45    200.16
734.13/184.13	c  F st  2027    306252     34003    145472         0     30239    442007    564241    168.46   no data
776.80/194.82	c  N dy  2120    325034     34003    145472         0     49020    442007   5843240    168.41    181.88
823.48/206.55	c  N dy  2265    345054     34003    145472         0     38039    442007   2322965    168.48    192.17
851.80/213.69	c  S st  2352    357423     34003    145472         0     50407    442007   5521964    168.53   no data
853.39/214.01	c  S st  2352    357927     34003    145472         0     50910    442007   5625117    168.53   no data
853.39/214.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
853.79/214.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
853.79/214.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
854.19/214.20	c bin-w-bin subsume rem            0 bins  time:  0.01 s
854.19/214.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
854.19/214.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
854.19/214.24	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
855.00/214.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
856.18/214.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
864.96/216.95	c lits-rem:         1  cl-subs:        3  v-elim:      0  v-fix:    0  time:  2.16 s
864.96/216.97	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
865.35/217.08	c vivif2 --  cl tried    50907 cl shrink        0 lits rem          0 time: 0.10
866.55/217.31	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.24
866.55/217.32	c calculated reachability. Time: 0.00
866.55/217.32	c  N dy  2352    357927     34003    145472         0     50907    442007   5624224    168.53   no data
913.22/229.05	c  N dy  2487    377941     34003    145472         0     38919    442007   2292468    168.57    178.74
960.30/240.84	c  N dy  2622    398018     34003    145472         0     58994    442007   7409347    168.59    180.11
1006.95/252.56	c  N dy  2762    418096     34003    145472         0     46073    442007   3850533    168.61    177.57
1055.22/264.63	c  N dy  2910    438151     34003    145472         0     66128    442007   9075263    168.72    186.31
1101.48/276.24	c  N dy  3054    458183     34003    145472         0     52165    442007   5187155    168.81    184.55
1149.74/288.36	c  N dy  3188    478234     34003    145472         0     37221    442007   1035531    168.76    182.71
1196.02/299.97	c  N dy  3317    498340     34003    145472         0     57326    442007   6227946    168.73    179.02
1244.68/312.14	c  N dy  3454    518412     34003    145472         0     41397    442007   1929808    168.91    193.14
1288.16/323.09	c  S st  3585    536890     34003    145472         0     59874    442007   6805980    169.03   no data
1289.80/323.41	c  S st  3585    537394     34003    145472         0     60378    442007   6906054    169.03   no data
1289.80/323.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1290.15/323.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
1290.54/323.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1290.54/323.62	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1290.54/323.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1290.54/323.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
1290.54/323.66	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1291.34/323.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.18 s
1292.94/324.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1305.69/327.47	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time:  3.17 s
1305.69/327.49	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
1306.49/327.63	c vivif2 --  cl tried    60375 cl shrink        0 lits rem          0 time: 0.13
1307.34/327.88	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.25
1307.34/327.89	c calculated reachability. Time: 0.00
1307.34/327.89	c  N dy  3585    537394     34003    145472         0     60375    442007   6905411    169.03   no data
1356.35/340.14	c  N dy  3730    557434     34003    145472         0     43415    442007   2188883    169.10    178.76
1404.21/352.14	c  N dy  3867    577473     34003    145472         0     63454    442007   7396961    169.08    178.05
1453.27/364.40	c  N dy  4000    597512     34003    145472         0     45493    442007   2413694    169.02    198.47
1501.53/376.53	c  N dy  4141    617524     34003    145472         0     65505    442007   7702257    169.13    210.37
1550.99/388.93	c  N dy  4285    637540     34003    145472         0     46527    442007   2517398    169.28    209.24
1599.26/401.03	c  N dy  4428    657671     34003    145472         0     66657    442007   7766433    169.33    183.71
1648.72/413.49	c  N dy  4566    677682     34003    145472         0     46664    442007   2261433    169.38    181.56
1697.40/425.61	c  N dy  4709    697731     34003    145472         0     66711    442007   7481988    169.42    179.93
1748.83/438.59	c  N dy  4845    717824     34003    145472         0     45807    442007   1754694    169.43    185.56
1797.09/450.62	c  N dy  4981    737848     34003    145472         0     65830    442007   7008208    169.47    179.29
1848.53/463.51	c  N dy  5117    758007     34003    145472         0     43991    442007   1032017    169.48    180.35
1896.39/475.51	c  N dy  5259    778022     34003    145472         0     64006    442007   6273281    169.53    178.60
1948.24/488.57	c  N dy  5404    798154     34003    145472         0     84138    442007  11609028    169.61    184.08
1967.39/493.31	c  S st  5453    806091     34003    145472         0     49077    442007   2072921    169.60    161.20
1968.59/493.61	c  S st  5453    806593     34003    145472         0     49579    442007   2158735    169.60   no data
1968.59/493.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1968.99/493.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
1968.99/493.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1968.99/493.80	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1968.99/493.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1969.40/493.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
1969.40/493.84	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
1969.83/493.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.15 s
1970.57/494.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1973.37/494.82	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  0.68 s
1973.37/494.85	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
1973.37/494.89	c vivif2 --  cl tried    49575 cl shrink        0 lits rem          0 time: 0.04
1974.56/495.12	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.23
1974.56/495.13	c calculated reachability. Time: 0.00
1974.56/495.13	c  N dy  5453    806593     34003    145472         0     49575    442007   2155963    169.60   no data
2023.62/507.41	c  N dy  5595    826642     34003    145472         0     69622    442007   7457984    169.68    178.94
2075.87/520.57	c  N dy  5725    846830     34003    145472         0     45808    442007    969216    169.59    181.48
2123.73/532.57	c  N dy  5868    866835     34003    145472         0     65809    442007   6165637    169.64    184.53
2176.38/545.76	c  N dy  6011    886947     34003    145472         0     85919    442007  11506738    169.72    178.90
2226.23/558.25	c  N dy  6153    907047     34003    145472         0     61025    442007   4735774    169.78    179.65
2277.28/571.07	c  N dy  6293    927099     34003    145472         0     81076    442007  10036561    169.85    213.20
2328.34/583.89	c  N dy  6433    947106     34003    145472         0     55087    442007   2892257    169.88    184.55
2378.57/596.41	c  N dy  6575    967169     34003    145472         0     75149    442007   8180371    169.94    185.01
2431.63/609.70	c  N dy  6709    987215     34003    145472         0     48193    442007    824360    169.93    180.78
2480.30/621.93	c  N dy  6846   1007272     34003    145472         0     68250    442007   6026446    169.95    182.88
2532.55/635.07	c  N dy  6984   1027367     34003    145472         0     88343    442007  11243263    169.94    181.15
2583.61/647.85	c  N dy  7124   1047462     34003    145472         0     60443    442007   3793349    169.98    181.93
2634.65/660.63	c  N dy  7261   1067519     34003    145472         0     80498    442007   8998841    169.96    194.82
2646.22/663.52	c  F st  7295   1071878     34003    145472         0     84857    442007  10135071    169.98   no data
2687.70/673.95	c  N dy  7375   1087669     34003    145472         0     51648    442007   1206964    170.01    181.30
2736.36/686.17	c  N dy  7504   1107757     34003    145472         0     71735    442007   6365400    169.97    179.36
2788.62/699.29	c  N dy  7638   1127853     34003    145472         0     91829    442007  11587264    169.96    178.92
2840.86/712.32	c  N dy  7782   1148056     34003    145472         0     62036    442007   3685695    169.99    181.60
2891.52/725.06	c  N dy  7916   1168097     34003    145472         0     82076    442007   8937339    170.00    182.03
2946.16/738.76	c  N dy  8050   1188155     34003    145472         0     51131    442007    557246    170.01    185.20
2996.05/751.30	c  N dy  8189   1208396     34003    145472         0     71372    442007   5868993    170.04    180.60
3000.02/752.29	c  S st  8202   1209889     34003    145472         0     72865    442007   6284114    170.05   no data
3001.60/752.64	c  S st  8202   1210395     34003    145472         0     73371    442007   6390124    170.05   no data
3001.60/752.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3002.40/752.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
3002.40/752.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3002.40/752.86	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3002.40/752.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3002.40/752.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
3002.80/752.90	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
3003.20/753.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
3004.81/753.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3018.75/756.92	c lits-rem:         1  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.42 s
3018.75/756.94	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
3019.15/757.06	c vivif2 --  cl tried    73365 cl shrink        0 lits rem          0 time: 0.12
3020.35/757.34	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.28
3020.35/757.35	c calculated reachability. Time: 0.00
3020.35/757.35	c  N dy  8202   1210395     34003    145472         0     73365    442007   6386792    170.05   no data
3073.80/770.80	c  N dy  8341   1230470     34003    145472         0     93440    442007  11674894    170.07    189.03
3127.25/784.18	c  N dy  8489   1250584     34003    145472         0     61562    442007   3140891    170.12    190.70
3177.89/796.85	c  N dy  8622   1270599     34003    145472         0     81575    442007   8391520    170.11    195.05
3232.54/810.61	c  N dy  8760   1290622     34003    145472         0    101596    442007  13663377    170.18    225.55
3284.78/823.61	c  N dy  8891   1311007     34003    145472         0     68981    442007   4740429    170.17    185.62
3336.22/836.58	c  N dy  9017   1331051     34003    145472         0     89022    442007   9954071    170.16    188.72
3392.86/850.70	c  N dy  9153   1351178     34003    145472         0     55150    442007    846638    170.15    184.44
3442.72/863.25	c  N dy  9294   1371206     34003    145472         0     75177    442007   6154880    170.20    181.92
3495.36/876.46	c  N dy  9420   1391225     34003    145472         0     95194    442007  11376232    170.15    191.87
3550.40/890.23	c  N dy  9562   1411359     34003    145472         0     60331    442007   1925776    170.18    186.05
3600.66/902.83	c  N dy  9695   1431417     34003    145472         0     80388    442007   7096700    170.13    183.41
3654.54/916.32	c  N dy  9835   1451451     34003    145472         0    100421    442007  12345022    170.14    179.31
3708.73/929.94	c  N dy  9974   1471551     34003    145472         0     64527    442007   2756003    170.15    180.63
3760.19/942.81	c  N dy 10107   1491644     34003    145472         0     84619    442007   8049407    170.16    179.63
3815.23/956.63	c  N dy 10246   1511750     34003    145472         0    104725    442007  13317238    170.18    194.77
3869.10/970.12	c  N dy 10385   1531900     34003    145472         0     67872    442007   3423800    170.17    187.10
3921.33/983.21	c  N dy 10529   1551956     34003    145472         0     87925    442007   8749507    170.21    185.37
3977.17/997.22	c  N dy 10665   1571987     34003    145472         0    107953    442007  13961505    170.19    180.53
4030.21/1010.55	c  N dy 10793   1592033     34003    145472         0     70008    442007   3643450    170.18    198.24
4082.85/1023.71	c  N dy 10925   1612155     34003    145472         0     90126    442007   8846656    170.18    185.27
4138.69/1037.79	c  N dy 11065   1632159     34003    145472         0    110128    442007  14126401    170.20    179.32
4192.94/1051.35	c  N dy 11212   1652219     34003    145472         0     71194    442007   3853396    170.27    183.38
4245.98/1064.62	c  N dy 11354   1672436     34003    145472         0     91410    442007   9145607    170.29    187.96
4301.82/1078.63	c  N dy 11485   1692548     34003    145472         0    111521    442007  14421836    170.30    190.34
4350.88/1090.91	c  S st 11614   1710395     34003    145472         0     69365    442007   2981727    170.32   no data
4352.12/1091.24	c  S st 11614   1710895     34003    145472         0     69865    442007   3078909    170.32   no data
4352.12/1091.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4352.87/1091.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
4352.87/1091.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4352.87/1091.45	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4352.87/1091.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4352.87/1091.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  34003 time:  0.01 s
4352.87/1091.49	c Removed useless bin:       0  fixed:     0  props:   0.33M  time:  0.02 s
4353.66/1091.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
4354.46/1091.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4362.44/1093.81	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  1.94 s
4362.44/1093.83	c vivif2 --  cl tried   145472 cl shrink        0 lits rem          0 time: 0.02
4362.44/1093.90	c vivif2 --  cl tried    69860 cl shrink        0 lits rem          0 time: 0.06
4363.64/1094.16	c asymm  cl-useful: 0/145472/145472 lits-rem:0 time: 0.27
4363.64/1094.17	c calculated reachability. Time: 0.00
4363.64/1094.18	c  N dy 11614   1710895     34003    145472         0     69860    442007   3076889    170.32   no data
4416.66/1107.43	c  N dy 11757   1730905     34003    145472         0     89866    442007   8362886    170.36    182.38
4472.90/1121.53	c  N dy 11896   1750992     34003    145472         0    109951    442007  13615456    170.38    179.54
4528.73/1135.54	c  N dy 12032   1771048     34003    145472         0     69018    442007   2691160    170.40    182.84
4581.38/1148.70	c  N dy 12175   1791089     34003    145472         0     89059    442007   7972128    170.43    182.14
4636.43/1162.58	c  N dy 12316   1811100     34003    145472         0    109070    442007  13206182    170.44    179.68
4693.46/1176.81	c  N dy 12452   1831185     34003    145472         0     67159    442007   1916059    170.45    184.44
4746.51/1190.19	c  N dy 12590   1851321     34003    145472         0     87292    442007   7162336    170.45    179.55

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366201-1305398554/watcher-3366201-1305398554 -o /tmp/evaluation-result-3366201-1305398554/solver-3366201-1305398554 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366201-1305398554.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.55 7.89 6.69 7/358 17024
/proc/meminfo: memFree=24172752/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=185976 CPUtime=0.01 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 2595 0 0 0 1 0 0 0 18 0 4 0 632270892 190439424 2451 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 46494 2474 333 95 0 41476 0
[pid=17024/tid=17025] ppid=17022 vsize=196368 CPUtime=0 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 1202 0 0 0 0 0 0 0 18 0 4 0 632270892 201080832 5990 33554432000 4194304 4580107 140735503665376 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=196368 CPUtime=0 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 2220 0 0 0 0 0 0 0 18 0 4 0 632270892 201080832 6008 33554432000 4194304 4580107 140735503665376 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=196368 CPUtime=0 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 2175 0 0 0 0 0 0 0 25 0 4 0 632270892 201080832 6021 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.074419 s]
/proc/loadavg: 7.55 7.89 6.69 7/358 17024
/proc/meminfo: memFree=24172752/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=385084 CPUtime=0.24 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) S 17022 17024 16886 0 -1 4202496 19024 0 0 0 20 4 0 0 18 0 4 0 632270892 394326016 15415 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556078 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 96271 15443 337 95 0 91253 0
[pid=17024/tid=17025] ppid=17022 vsize=385084 CPUtime=0.05 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) S 17022 17024 16886 0 -1 4202560 4886 0 0 0 4 1 0 0 18 0 4 0 632270892 394326016 15481 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556078 0 0 4096 2 18446604453946692736 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=385084 CPUtime=0.06 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 4597 0 0 0 6 0 0 0 18 0 4 0 632270892 394326016 15533 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=386164 CPUtime=0.05 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) S 17022 17024 16886 0 -1 4202560 4500 0 0 0 4 1 0 0 18 0 4 0 632270892 395431936 15754 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556078 0 0 4096 2 18446604453946692736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 385084

[startup+0.107515 s]
/proc/loadavg: 7.55 7.89 6.69 7/358 17024
/proc/meminfo: memFree=24172752/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=387244 CPUtime=0.35 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 21316 0 0 0 28 7 0 0 17 0 4 0 632270892 396537856 17707 33554432000 4194304 4580107 140735503665376 18446744073709551615 4354920 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 96811 17745 337 95 0 91793 0
[pid=17024/tid=17025] ppid=17022 vsize=387244 CPUtime=0.07 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 5499 0 0 0 5 2 0 0 17 0 4 0 632270892 396537856 17776 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556127 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=387244 CPUtime=0.09 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 5243 0 0 0 8 1 0 0 18 0 4 0 632270892 396537856 17807 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095119601 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=387244 CPUtime=0.08 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) S 17022 17024 16886 0 -1 4202560 4826 0 0 0 6 2 0 0 18 0 4 0 632270892 396537856 17824 33554432000 4194304 4580107 140735503665376 18446744073709551615 228095556078 0 0 4096 2 18446604453946692736 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 387244

[startup+0.300274 s]
/proc/loadavg: 7.55 7.89 6.69 7/358 17024
/proc/meminfo: memFree=24172752/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=393980 CPUtime=1.07 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 26281 0 0 0 93 14 0 0 17 0 4 0 632270892 403435520 22672 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 98495 22672 359 95 0 93477 0
[pid=17024/tid=17025] ppid=17022 vsize=393980 CPUtime=0.25 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 6810 0 0 0 20 5 0 0 17 0 4 0 632270892 403435520 22672 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=393980 CPUtime=0.28 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 5975 0 0 0 26 2 0 0 18 0 4 0 632270892 403435520 22672 33554432000 4194304 4580107 140735503665376 18446744073709551615 4234384 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=393980 CPUtime=0.26 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 6179 0 0 0 23 3 0 0 18 0 4 0 632270892 403435520 22672 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 393980

[startup+0.700202 s]
/proc/loadavg: 7.55 7.89 6.69 7/358 17024
/proc/meminfo: memFree=24172752/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=420740 CPUtime=2.65 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 49420 0 0 0 247 18 0 0 18 0 4 0 632270892 430837760 37121 33554432000 4194304 4580107 140735503665376 18446744073709551615 4418118 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 105185 37121 373 95 0 100167 0
[pid=17024/tid=17025] ppid=17022 vsize=420740 CPUtime=0.65 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 14398 0 0 0 59 6 0 0 18 0 4 0 632270892 430837760 37121 33554432000 4194304 4580107 140735503665376 18446744073709551615 4418393 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=420740 CPUtime=0.67 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 14085 0 0 0 65 2 0 0 18 0 4 0 632270892 430837760 37121 33554432000 4194304 4580107 140735503665376 18446744073709551615 4395764 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=420740 CPUtime=0.66 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 6397 0 0 0 63 3 0 0 18 0 4 0 632270892 430837760 37121 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 420740

[startup+1.50105 s]
/proc/loadavg: 7.55 7.89 6.69 12/362 17028
/proc/meminfo: memFree=23961548/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=423296 CPUtime=5.84 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 53592 0 0 0 565 19 0 0 19 0 4 0 632270892 433455104 39575 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 105824 39575 377 95 0 100806 0
[pid=17024/tid=17025] ppid=17022 vsize=423296 CPUtime=1.45 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 15603 0 0 0 138 7 0 0 19 0 4 0 632270892 433455104 39577 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=423296 CPUtime=1.48 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 15092 0 0 0 145 3 0 0 19 0 4 0 632270892 433455104 39577 33554432000 4194304 4580107 140735503665376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=423296 CPUtime=1.44 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 6880 0 0 0 141 3 0 0 19 0 4 0 632270892 433455104 39577 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293710 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 423296

[startup+3.10076 s]
/proc/loadavg: 7.55 7.89 6.69 9/362 17028
/proc/meminfo: memFree=23938972/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=554560 CPUtime=12.23 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 57151 0 0 0 1203 20 0 0 23 0 4 0 632270892 567869440 43134 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 138640 43134 377 95 0 133622 0
[pid=17024/tid=17025] ppid=17022 vsize=554560 CPUtime=3.05 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 16508 0 0 0 298 7 0 0 22 0 4 0 632270892 567869440 43134 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=554560 CPUtime=3.07 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 15992 0 0 0 304 3 0 0 23 0 4 0 632270892 567869440 43134 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293100 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=554560 CPUtime=3.03 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 7687 0 0 0 300 3 0 0 22 0 4 0 632270892 567869440 43134 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 554560

[startup+6.30117 s]
/proc/loadavg: 7.59 7.89 6.69 9/362 17028
/proc/meminfo: memFree=23879828/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=554560 CPUtime=25 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 64017 0 0 0 2477 23 0 0 25 0 4 0 632270892 567869440 50000 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 138640 50000 377 95 0 133622 0
[pid=17024/tid=17025] ppid=17022 vsize=554560 CPUtime=6.25 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 18289 0 0 0 617 8 0 0 25 0 4 0 632270892 567869440 50000 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=554560 CPUtime=6.27 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 17658 0 0 0 624 3 0 0 25 0 4 0 632270892 567869440 50000 33554432000 4194304 4580107 140735503665376 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=554560 CPUtime=6.19 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 9371 0 0 0 615 4 0 0 25 0 4 0 632270892 567869440 50000 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 554560

[startup+12.701 s]
/proc/loadavg: 7.62 7.90 6.70 9/362 17028
/proc/meminfo: memFree=23907288/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=454488 CPUtime=50.51 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 83909 0 0 0 5023 28 0 0 25 0 4 0 632270892 465395712 45901 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 113622 45901 378 95 0 108604 0
[pid=17024/tid=17025] ppid=17022 vsize=454488 CPUtime=12.64 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 23378 0 0 0 1255 9 0 0 25 0 4 0 632270892 465395712 45901 33554432000 4194304 4580107 140735503665376 18446744073709551615 4296088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=454488 CPUtime=12.68 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 22741 0 0 0 1263 5 0 0 25 0 4 0 632270892 465395712 45901 33554432000 4194304 4580107 140735503665376 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=454488 CPUtime=12.52 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 14228 0 0 0 1247 5 0 0 25 0 4 0 632270892 465395712 45901 33554432000 4194304 4580107 140735503665376 18446744073709551615 4249629 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.51
Current children cumulated vsize (KiB) 454488

[startup+25.5006 s]
/proc/loadavg: 7.78 7.92 6.73 9/362 17028
/proc/meminfo: memFree=23482696/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=593056 CPUtime=101.55 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 170431 0 0 0 10107 48 0 0 25 0 4 0 632270892 607289344 96491 33554432000 4194304 4580107 140735503665376 18446744073709551615 4321152 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 148264 96491 379 95 0 143246 0
[pid=17024/tid=17025] ppid=17022 vsize=593056 CPUtime=25.44 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 58218 0 0 0 2528 16 0 0 25 0 4 0 632270892 607289344 96491 33554432000 4194304 4580107 140735503665376 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=593056 CPUtime=25.47 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 39902 0 0 0 2538 9 0 0 25 0 4 0 632270892 607289344 96491 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=593056 CPUtime=25.18 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 23111 0 0 0 2510 8 0 0 25 0 4 0 632270892 607289344 96491 33554432000 4194304 4580107 140735503665376 18446744073709551615 4321685 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 593056

[startup+51.1009 s]
/proc/loadavg: 7.91 7.94 6.76 9/362 17029
/proc/meminfo: memFree=23232648/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=682404 CPUtime=203.65 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 255265 0 0 0 20295 70 0 0 25 0 4 0 632270892 698781696 130821 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293110 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 170601 130821 379 95 0 165583 0
[pid=17024/tid=17025] ppid=17022 vsize=682404 CPUtime=51.03 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 72349 0 0 0 5084 19 0 0 25 0 4 0 632270892 698781696 130821 33554432000 4194304 4580107 140735503665376 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=682404 CPUtime=51.07 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 64487 0 0 0 5090 17 0 0 25 0 4 0 632270892 698781696 130821 33554432000 4194304 4580107 140735503665376 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=682404 CPUtime=50.48 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 49958 0 0 0 5035 13 0 0 25 0 4 0 632270892 698781696 130821 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.65
Current children cumulated vsize (KiB) 682404

[startup+102.314 s]
/proc/loadavg: 8.02 7.96 6.83 9/362 17030
/proc/meminfo: memFree=22710096/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1085368 CPUtime=407.9 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 379205 0 0 0 40687 103 0 0 25 0 4 0 632270892 1111416832 198616 33554432000 4194304 4580107 140735503665376 18446744073709551615 4321636 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 271342 198616 379 95 0 266324 0
[pid=17024/tid=17025] ppid=17022 vsize=1085368 CPUtime=102.23 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 92577 0 0 0 10199 24 0 0 25 0 4 0 632270892 1111416832 198616 33554432000 4194304 4580107 140735503665376 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1085368 CPUtime=102.29 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 89014 0 0 0 10202 27 0 0 25 0 4 0 632270892 1111416832 198616 33554432000 4194304 4580107 140735503665376 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1085368 CPUtime=101.11 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 82863 0 0 0 10090 21 0 0 25 0 4 0 632270892 1111416832 198616 33554432000 4194304 4580107 140735503665376 18446744073709551615 4322409 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 407.9
Current children cumulated vsize (KiB) 1085368

[startup+162.3 s]

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

[pid=17024] ppid=17022 vsize=1504800 CPUtime=2561.68 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1284231 0 0 0 255771 397 0 0 25 0 4 0 632270892 1540915200 308051 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293918 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 376200 308051 379 95 0 371182 0
[pid=17024/tid=17025] ppid=17022 vsize=1504800 CPUtime=642.11 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 303277 0 0 0 64117 94 0 0 25 0 4 0 632270892 1540915200 308057 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1504800 CPUtime=642.26 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 335487 0 0 0 64116 110 0 0 25 0 4 0 632270892 1540915200 308057 33554432000 4194304 4580107 140735503665376 18446744073709551615 4324363 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1504800 CPUtime=635.06 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 313859 0 0 0 63414 92 0 0 25 0 4 0 632270892 1540915200 308057 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2561.68
Current children cumulated vsize (KiB) 1504800

[startup+702.301 s]
/proc/loadavg: 8.12 8.09 7.42 9/362 17046
/proc/meminfo: memFree=21730268/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1598576 CPUtime=2800.98 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1381060 0 0 0 279669 429 0 0 25 0 4 0 632270892 1636941824 319105 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 399644 319105 379 95 0 394626 0
[pid=17024/tid=17025] ppid=17022 vsize=1598576 CPUtime=702.09 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 327577 0 0 0 70107 102 0 0 25 0 4 0 632270892 1636941824 319105 33554432000 4194304 4580107 140735503665376 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1598576 CPUtime=702.25 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 359710 0 0 0 70107 118 0 0 25 0 4 0 632270892 1636941824 319105 33554432000 4194304 4580107 140735503665376 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1598576 CPUtime=694.39 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 336233 0 0 0 69339 100 0 0 25 0 4 0 632270892 1636941824 319105 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2800.98
Current children cumulated vsize (KiB) 1598576

[startup+762.313 s]
/proc/loadavg: 8.12 8.09 7.46 9/362 17048
/proc/meminfo: memFree=21606496/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1711576 CPUtime=3040.34 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1477005 0 0 0 303575 459 0 0 25 0 4 0 632270892 1752653824 333142 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 427894 333142 379 95 0 422876 0
[pid=17024/tid=17025] ppid=17022 vsize=1711576 CPUtime=762.1 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 349849 0 0 0 76101 109 0 0 25 0 4 0 632270892 1752653824 333142 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1711576 CPUtime=762.25 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 386917 0 0 0 76097 128 0 0 25 0 4 0 632270892 1752653824 333142 33554432000 4194304 4580107 140735503665376 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1711576 CPUtime=753.72 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 361326 0 0 0 75265 107 0 0 25 0 4 0 632270892 1752653824 333142 33554432000 4194304 4580107 140735503665376 18446744073709551615 4416315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.34
Current children cumulated vsize (KiB) 1711576

[startup+822.301 s]
/proc/loadavg: 8.04 8.07 7.49 9/362 17050
/proc/meminfo: memFree=21613544/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1597680 CPUtime=3279.59 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1571579 0 0 0 327469 490 0 0 25 0 4 0 632270892 1636024320 331254 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 399420 331254 379 95 0 394402 0
[pid=17024/tid=17025] ppid=17022 vsize=1597680 CPUtime=822.07 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 373316 0 0 0 82090 117 0 0 25 0 4 0 632270892 1636024320 331254 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1597680 CPUtime=822.24 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 408253 0 0 0 82089 135 0 0 25 0 4 0 632270892 1636024320 331254 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1597680 CPUtime=813.04 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 384323 0 0 0 81190 114 0 0 22 0 4 0 632270892 1636024320 331254 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3279.59
Current children cumulated vsize (KiB) 1597680

[startup+882.301 s]
/proc/loadavg: 8.14 8.09 7.53 9/362 17051
/proc/meminfo: memFree=21546452/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1742372 CPUtime=3518.89 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1663981 0 0 0 351368 521 0 0 25 0 4 0 632270892 1784188928 344233 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 435593 344233 379 95 0 430575 0
[pid=17024/tid=17025] ppid=17022 vsize=1742372 CPUtime=882.05 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 396124 0 0 0 88081 124 0 0 25 0 4 0 632270892 1784188928 344233 33554432000 4194304 4580107 140735503665376 18446744073709551615 4316661 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1742372 CPUtime=882.23 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 433311 0 0 0 88078 145 0 0 25 0 4 0 632270892 1784188928 344233 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1742372 CPUtime=872.35 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 407770 0 0 0 87114 121 0 0 25 0 4 0 632270892 1784188928 344233 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3518.89
Current children cumulated vsize (KiB) 1742372

[startup+942.301 s]
/proc/loadavg: 8.11 8.08 7.56 9/362 17053
/proc/meminfo: memFree=21573960/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1646120 CPUtime=3758.21 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1749542 0 0 0 375270 551 0 0 25 0 4 0 632270892 1685626880 334294 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293151 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 411530 334294 379 95 0 406512 0
[pid=17024/tid=17025] ppid=17022 vsize=1646120 CPUtime=942.04 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 417071 0 0 0 94072 132 0 0 25 0 4 0 632270892 1685626880 334294 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1646120 CPUtime=942.24 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 453206 0 0 0 94071 153 0 0 25 0 4 0 632270892 1685626880 334294 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1646120 CPUtime=931.68 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 429734 0 0 0 93041 127 0 0 25 0 4 0 632270892 1685626880 334294 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.21
Current children cumulated vsize (KiB) 1646120

[startup+1002.3 s]
/proc/loadavg: 8.15 8.10 7.60 9/362 17054
/proc/meminfo: memFree=21536120/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1742540 CPUtime=3997.5 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1841552 0 0 0 399165 585 0 0 25 0 4 0 632270892 1784360960 353996 33554432000 4194304 4580107 140735503665376 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 435635 353996 379 95 0 430617 0
[pid=17024/tid=17025] ppid=17022 vsize=1742540 CPUtime=1002.02 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 439982 0 0 0 100061 141 0 0 25 0 4 0 632270892 1784360960 353996 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1742540 CPUtime=1002.22 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 477338 0 0 0 100061 161 0 0 25 0 4 0 632270892 1784360960 353996 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1742540 CPUtime=991.01 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 450266 0 0 0 98967 134 0 0 25 0 4 0 632270892 1784360960 353996 33554432000 4194304 4580107 140735503665376 18446744073709551615 4306071 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3997.5
Current children cumulated vsize (KiB) 1742540

[startup+1062.3 s]
/proc/loadavg: 8.15 8.11 7.63 9/362 17056
/proc/meminfo: memFree=21489724/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1711744 CPUtime=4236.81 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 1936356 0 0 0 423065 616 0 0 25 0 4 0 632270892 1752825856 352838 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 427936 352838 379 95 0 422918 0
[pid=17024/tid=17025] ppid=17022 vsize=1711744 CPUtime=1062.01 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 464462 0 0 0 106052 149 0 0 25 0 4 0 632270892 1752825856 352838 33554432000 4194304 4580107 140735503665376 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1711744 CPUtime=1062.22 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 499624 0 0 0 106051 171 0 0 25 0 4 0 632270892 1752825856 352838 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1711744 CPUtime=1050.33 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 471883 0 0 0 104894 139 0 0 25 0 4 0 632270892 1752825856 352838 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4236.81
Current children cumulated vsize (KiB) 1711744

[startup+1122.3 s]
/proc/loadavg: 8.15 8.11 7.66 9/362 17067
/proc/meminfo: memFree=21508416/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1728956 CPUtime=4476.09 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 2029044 0 0 0 446960 649 0 0 25 0 4 0 632270892 1770450944 345517 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 432239 345517 379 95 0 427221 0
[pid=17024/tid=17025] ppid=17022 vsize=1728956 CPUtime=1121.99 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 486287 0 0 0 112043 156 0 0 25 0 4 0 632270892 1770450944 345517 33554432000 4194304 4580107 140735503665376 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1728956 CPUtime=1122.21 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 524765 0 0 0 112040 181 0 0 25 0 4 0 632270892 1770450944 345517 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1728956 CPUtime=1109.66 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 494554 0 0 0 110819 147 0 0 25 0 4 0 632270892 1770450944 345517 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.09
Current children cumulated vsize (KiB) 1728956

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 7.69 9/362 17068
/proc/meminfo: memFree=21204732/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1877268 CPUtime=4715.38 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 2137553 0 0 0 470857 681 0 0 25 0 4 0 632270892 1922322432 384909 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 469317 384909 379 95 0 464299 0
[pid=17024/tid=17025] ppid=17022 vsize=1877268 CPUtime=1181.97 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 506874 0 0 0 118033 164 0 0 25 0 4 0 632270892 1922322432 384909 33554432000 4194304 4580107 140735503665376 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1877268 CPUtime=1182.2 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 563503 0 0 0 118030 190 0 0 25 0 4 0 632270892 1922322432 384909 33554432000 4194304 4580107 140735503665376 18446744073709551615 4416292 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1877268 CPUtime=1168.98 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 517890 0 0 0 116744 154 0 0 25 0 4 0 632270892 1922322432 384909 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4715.38
Current children cumulated vsize (KiB) 1877268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.09 8.11 7.70 5/357 17070
/proc/meminfo: memFree=22775600/32951124 swapFree=65980216/67111528
[pid=17024] ppid=17022 vsize=1750148 CPUtime=4800.35 cores=0,2,4,6
/proc/17024/stat : 17024 (strangenight2-m) R 17022 17024 16886 0 -1 4202496 2165932 0 0 0 479343 692 0 0 25 0 4 0 632270892 1792151552 369922 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/17024/statm: 437537 369922 379 95 0 432519 0
[pid=17024/tid=17025] ppid=17022 vsize=1750148 CPUtime=1203.29 cores=0,2,4,6
/proc/17024/task/17025/stat : 17025 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 513132 0 0 0 120162 167 0 0 25 0 4 0 632270892 1792151552 369927 33554432000 4194304 4580107 140735503665376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17024/tid=17026] ppid=17022 vsize=1750148 CPUtime=1203.52 cores=0,2,4,6
/proc/17024/task/17026/stat : 17026 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 571771 0 0 0 120158 194 0 0 25 0 4 0 632270892 1792151552 369927 33554432000 4194304 4580107 140735503665376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=17024/tid=17027] ppid=17022 vsize=1750148 CPUtime=1190.04 cores=0,2,4,6
/proc/17024/task/17027/stat : 17027 (strangenight2-m) R 17022 17024 16886 0 -1 4202560 523582 0 0 0 118848 156 0 0 25 0 4 0 632270892 1792151552 369927 33554432000 4194304 4580107 140735503665376 18446744073709551615 4324255 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1750148

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): 1203.69
CPU time (s): 4800.48
CPU user time (s): 4793.48
CPU system time (s): 6.99894
CPU usage (%): 398.812
Max. virtual memory (cumulated for all children) (KiB): 1877528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4793.48
system time used= 6.99894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2165939
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= 12617
involuntary context switches= 35415

runsolver used 3.82742 second user time and 9.71252 second system time

The end

Launcher Data 

Begin job on node142 at 2011-05-14 20:42:34
IDJOB=3366201
IDBENCH=82610
IDSOLVER=1844
FILE ID=node142/3366201-1305398554
RUNJOBID= node142-1305397348-16904
PBS_JOBID= 13324456
Free space on /tmp= 73432 MiB

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

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

MD5SUM BENCH= 1ba3e47e885ea3862e5726ce64a96a9c
RANDOM SEED=1759882238

node142.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.846
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.69
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.846
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	: 5131.95
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.846
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.82
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.846
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.67
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.846
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.81
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.846
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.846
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.82
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.846
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:      24172908 kB
Buffers:        311988 kB
Cached:        3832964 kB
SwapCached:      11520 kB
Active:        6126444 kB
Inactive:      2320980 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24172908 kB
SwapTotal:    67111528 kB
SwapFree:     65980216 kB
Dirty:           16740 kB
Writeback:           0 kB
AnonPages:     4298628 kB
Mapped:          20180 kB
Slab:           234552 kB
PageTables:      31868 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 77192036 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= 73436 MiB
End job on node142 at 2011-05-14 21:02:40