Trace number 3366270

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.27 1203.18

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf
MD5SUMeb4eadfedd2c4dc9b0ed7231ad324f1f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark273.432
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366270-1305400422.cnf'
0.00/0.01	c -- header says num vars:          40000
0.00/0.01	c -- header says num clauses:      168000
1.54/0.45	c -- clauses added:            0 learnts,       168000 normals,            0 xors
1.54/0.45	c -- vars added      40000
1.54/0.45	c Parsing time:  0.12 s
1.54/0.45	c  N st     0         0     40000    168000         0         0    504000         0   no data   no data
1.54/0.45	c asymm  cl-useful: 0/168000/168000 lits-rem:0 time: 0.16
1.54/0.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
2.03/0.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.03/0.58	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2.03/0.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2.28/0.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  40000 time:  0.01 s
2.28/0.62	c Removed useless bin:       0  fixed:     0  props:   0.39M  time:  0.02 s
3.47/0.93	c lits-rem:         0  cl-subs:        0  v-elim:   1040  v-fix:    0  time:  0.30 s
3.47/0.94	c Finding binary XORs  T:     0.01 s  found:       0
3.87/1.00	c Finding non-binary XORs:     0.05 s (found:       0, avg size: nan)
3.87/1.00	c calculated reachability. Time: 0.00
3.87/1.02	c Calc default polars -  time:   0.02 s pos:   17967 undec:    4373 neg:   17660
3.87/1.02	c =========================================================================================
3.87/1.02	c types(t): F = full restart, N = normal restart
3.87/1.02	c types(t): S = simplification begin/end, E = solution found
3.87/1.02	c restart types(rt): st = static, dy = dynamic
3.87/1.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.87/1.02	c  B st     0         0     38960    166818         0         0    506887         0   no data   no data
12.25/3.15	c  N dy    20      4030     38960    166818         0      4030    506887   1168512    174.53    183.91
21.03/5.33	c  N dy    51      8076     38960    166818         0      8076    506887   2278939    180.26    194.91
29.81/7.55	c  N dy    78     12100     38960    166818         0     12100    506887   3384395    181.74    212.88
38.98/9.82	c  N dy   105     16153     38960    166818         0     16153    506887   4479870    180.83    203.63
48.17/12.17	c  N dy   130     20156     38960    166818         0     10159    506887    737475    180.26    191.99
56.95/14.38	c  N dy   155     24177     38960    166818         0     14180    506887   1805846    179.51    190.90
58.92/14.84	c  F st   162     25001     38960    166818         0     15004    506887   2030390    179.73   no data
66.50/16.75	c  N st   167     28296     38960    166818         0     18299    506887   3093035    179.73   no data
70.89/17.87	c  S st   168     30001     38960    166818         0     20004    506887   3920741    179.73   no data
72.08/18.15	c  S st   168     30503     38960    166818         0     20506    506887   4024466    179.73   no data
72.08/18.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
72.49/18.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
72.89/18.35	c blocked clauses removed:      884 vars:    143 tried:       38960 T: 0.02 s
72.89/18.36	c bin-w-bin subsume rem            0 bins  time:  0.01 s
72.89/18.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
72.89/18.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38817 time:  0.01 s
73.29/18.41	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
74.09/18.61	c lits-rem:         0  cl-subs:        0  v-elim:     27  v-fix:    0  time:  0.21 s
75.68/19.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
79.32/19.92	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.86 s
80.07/20.13	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.21
80.07/20.14	c calculated reachability. Time: 0.00
80.07/20.14	c  N dy   168     30503     38790    165909         0     20030    504356   3648605    179.73   no data
89.65/22.50	c  N dy   195     34544     38790    165909         0     24071    504356   4698925    179.24    201.30
99.22/24.94	c  N dy   220     38614     38790    165909         0     28141    504356   5777592    178.56    258.43
108.39/27.26	c  N dy   244     42624     38790    165909         0     16891    504356   1241989    178.07    188.69
115.57/29.05	c  S st   265     45754     38790    165909         0     20021    504356   2110081    178.17   no data
116.77/29.34	c  S st   265     46258     38790    165909         0     20525    504356   2203085    178.17   no data
116.77/29.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
117.17/29.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.10
117.58/29.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
117.58/29.53	c bin-w-bin subsume rem            0 bins  time:  0.01 s
117.58/29.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
117.58/29.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
117.58/29.57	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
118.39/29.73	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
118.80/29.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
120.36/30.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.31 s
120.36/30.27	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
120.76/30.32	c vivif2 --  cl tried    20525 cl shrink        0 lits rem          0 time: 0.04
121.56/30.53	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.22
121.56/30.54	c calculated reachability. Time: 0.00
121.56/30.55	c  N dy   265     46258     38790    165909         0     20525    504356   2203085    178.17   no data
131.14/32.95	c  N dy   294     50375     38790    165909         0     24642    504356   3304638    178.30    189.23
140.34/35.29	c  N dy   320     54384     38790    165909         0     28651    504356   4348880    177.90    188.89
150.28/37.73	c  N dy   349     58410     38790    165909         0     32677    504356   5466935    178.31    188.13
159.86/40.16	c  N dy   374     62484     38790    165909         0     36750    504356   6555742    178.20    221.33
169.83/42.61	c  N dy   405     66683     38790    165909         0     22315    504356   1812768    178.44    202.25
176.22/44.22	c  S st   423     69387     38790    165909         0     25019    504356   2540650    178.44   no data
177.42/44.50	c  S st   423     69892     38790    165909         0     25524    504356   2638566    178.44   no data
177.42/44.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
177.82/44.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.11
177.82/44.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
177.82/44.69	c bin-w-bin subsume rem            0 bins  time:  0.01 s
178.22/44.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
178.22/44.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
178.22/44.73	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
178.62/44.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.16 s
179.42/45.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
181.41/45.54	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.42 s
181.41/45.56	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
181.81/45.61	c vivif2 --  cl tried    25522 cl shrink        0 lits rem          0 time: 0.05
182.61/45.83	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.22
182.61/45.84	c calculated reachability. Time: 0.00
182.61/45.84	c  N dy   423     69892     38790    165909         0     25522    504356   2638067    178.44   no data
193.41/48.55	c  N dy   459     74467     38790    165909         0     30096    504356   3936083    179.21    208.52
204.96/51.46	c  N dy   492     79315     38790    165909         0     34944    504356   5258616    179.25    273.20
217.72/54.61	c  N dy   527     84480     38790    165909         0     40109    504356   6637751    179.36    195.48
224.89/56.40	c  F st   547     87501     38790    165909         0     22314    504356   1134114    179.16   no data
232.92/58.45	c  N st   552     90801     38790    165909         0     25614    504356   2265389    179.16   no data
247.24/62.00	c  N dy   582     96658     38790    165909         0     31471    504356   4143833    179.49    210.56
262.40/65.81	c  N dy   628    102874     38790    165909         0     37687    504356   5880235    179.89    191.36
267.19/67.03	c  S st   641    104839     38790    165909         0     39651    504356   6430488    179.88    151.83
268.39/67.34	c  S st   641    105342     38790    165909         0     40154    504356   6529029    179.88   no data
268.39/67.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
269.18/67.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.12
269.18/67.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
269.18/67.56	c bin-w-bin subsume rem            0 bins  time:  0.01 s
269.18/67.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
269.18/67.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
269.58/67.60	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
269.99/67.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
272.01/68.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
279.16/70.08	c lits-rem:         6  cl-subs:        3  v-elim:      0  v-fix:    0  time:  1.74 s
279.56/70.10	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
279.96/70.23	c vivif2 --  cl tried    40151 cl shrink        0 lits rem          0 time: 0.12
280.78/70.47	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.25
280.78/70.48	c calculated reachability. Time: 0.00
280.78/70.48	c  N dy   641    105342     38790    165909         0     40151    504356   6526506    179.88   no data
297.52/74.65	c  N dy   688    112071     38790    165909         0     24474    504356   1237831    179.56    191.94
315.07/79.07	c  N dy   738    119349     38790    165909         0     31751    504356   3201392    179.58    189.24
334.22/83.85	c  N dy   788    127140     38790    165909         0     39542    504356   5329584    179.64    205.91
355.39/89.12	c  N dy   847    135307     38790    165909         0     24004    504356    756490    180.00    259.32
377.34/94.61	c  N dy   902    144641     38790    165909         0     33338    504356   3283422    179.93    194.25
400.06/100.35	c  N dy   966    153907     38790    165909         0     42602    504356   5797706    179.94    197.72
410.43/102.92	c  S st   993    158015     38790    165909         0     46710    504356   6898154    179.84    185.23
411.63/103.25	c  S st   993    158516     38790    165909         0     47211    504356   6999270    179.84   no data
411.63/103.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
412.03/103.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
412.45/103.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
412.45/103.47	c bin-w-bin subsume rem            0 bins  time:  0.01 s
412.45/103.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
412.45/103.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
412.86/103.51	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
413.62/103.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
415.62/104.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
424.40/106.46	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  2.21 s
424.40/106.49	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
425.20/106.62	c vivif2 --  cl tried    47207 cl shrink        0 lits rem          0 time: 0.13
426.04/106.88	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
426.04/106.89	c calculated reachability. Time: 0.00
426.04/106.89	c  N dy   993    158516     38790    165909         0     47207    504356   6997992    179.84   no data
450.73/113.08	c  N dy  1062    168703     38790    165909         0     32545    504356   2715055    179.88    269.90
477.86/119.85	c  N dy  1133    179641     38790    165909         0     43483    504356   5716781    179.95    192.31
506.99/127.14	c  N dy  1208    191174     38790    165909         0     29097    504356   1468305    180.00    241.71
536.51/134.58	c  N dy  1293    203409     38790    165909         0     41332    504356   4788686    180.01    197.01
569.64/142.86	c  N dy  1379    216394     38790    165909         0     27349    504356    674131    179.97    198.65
603.15/151.20	c  N dy  1468    230214     38790    165909         0     41168    504356   4397614    179.79    190.82
621.90/155.96	c  S st  1517    237774     38790    165909         0     48727    504356   6441924    179.72   no data
623.54/156.31	c  S st  1517    238281     38790    165909         0     49234    504356   6539521    179.72   no data
623.54/156.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
623.89/156.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
624.29/156.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
624.29/156.54	c bin-w-bin subsume rem            0 bins  time:  0.01 s
624.29/156.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
624.29/156.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
624.29/156.58	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
625.09/156.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.20 s
627.10/157.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
636.29/159.53	c lits-rem:         2  cl-subs:        1  v-elim:      0  v-fix:    0  time:  2.27 s
636.29/159.55	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
636.71/159.68	c vivif2 --  cl tried    49233 cl shrink        0 lits rem          0 time: 0.13
637.87/159.94	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
637.87/159.95	c calculated reachability. Time: 0.00
637.87/159.95	c  N dy  1517    238281     38790    165909         0     49233    504356   6539297    179.72   no data
676.21/169.58	c  N dy  1622    253624     38790    165909         0     36596    504356   2922133    179.69    192.03
717.66/179.93	c  N dy  1737    269918     38790    165909         0     52888    504356   7407180    179.86    190.45
761.16/190.81	c  N dy  1852    287205     38790    165909         0     41185    504356   3916761    179.86    190.35
808.23/202.66	c  N dy  1979    305561     38790    165909         0     59541    504356   8918754    179.93    214.86
810.23/203.16	c  F st  1985    306250     38790    165909         0     30245    504356    592165    179.93   no data
857.31/214.97	c  N dy  2083    325087     38790    165909         0     49081    504356   6218090    179.90    189.95
908.41/227.73	c  N dy  2222    345121     38790    165909         0     38116    504356   2473499    180.00    190.22
939.12/235.50	c  S st  2306    357421     38790    165909         0     50416    504356   5840537    180.00   no data
940.70/235.82	c  S st  2306    357923     38790    165909         0     50918    504356   5933312    180.00   no data
940.70/235.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
941.10/235.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
941.50/236.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
941.50/236.05	c bin-w-bin subsume rem            0 bins  time:  0.01 s
941.50/236.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
941.50/236.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
941.50/236.10	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
942.30/236.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
943.93/236.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
952.71/238.89	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  2.18 s
953.07/238.92	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
953.47/239.03	c vivif2 --  cl tried    50916 cl shrink        0 lits rem          0 time: 0.11
954.27/239.29	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.27
954.67/239.31	c calculated reachability. Time: 0.00
954.67/239.31	c  N dy  2306    357923     38790    165909         0     50916    504356   5932568    180.00   no data
1006.13/252.23	c  N dy  2441    377960     38790    165909         0     38954    504356   2508036    180.07    202.36
1058.80/265.49	c  N dy  2579    398320     38790    165909         0     59312    504356   8066716    180.10    195.34
1110.72/278.44	c  N dy  2708    418469     38790    165909         0     46460    504356   4241823    180.06    192.60
1163.74/291.76	c  N dy  2854    438575     38790    165909         0     66560    504356   9747097    180.12    206.38
1215.22/304.61	c  N dy  2996    458591     38790    165909         0     52578    504356   5667259    180.30    192.32
1267.88/317.85	c  N dy  3128    478613     38790    165909         0     37603    504356   1243581    180.34    207.98
1318.96/330.65	c  N dy  3263    498712     38790    165909         0     57702    504356   6726389    180.34    192.77
1372.42/344.01	c  N dy  3397    518899     38790    165909         0     41890    504356   2125045    180.37    197.37
1418.30/355.52	c  S st  3517    536885     38790    165909         0     59876    504356   6984699    180.34    182.70
1419.50/355.89	c  S st  3517    537393     38790    165909         0     60384    504356   7092581    180.34   no data
1419.90/355.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1420.30/356.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.14
1420.70/356.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1420.70/356.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1420.70/356.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1420.70/356.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
1420.70/356.17	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
1421.50/356.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
1423.49/356.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1435.85/359.95	c lits-rem:         3  cl-subs:        6  v-elim:      0  v-fix:    0  time:  3.07 s
1435.85/359.97	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
1436.65/360.11	c vivif2 --  cl tried    60378 cl shrink        0 lits rem          0 time: 0.14
1437.45/360.39	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.28
1437.85/360.41	c calculated reachability. Time: 0.00
1437.85/360.41	c  N dy  3517    537393     38790    165909         0     60378    504356   7090304    180.34   no data
1490.92/373.70	c  N dy  3647    557396     38790    165909         0     43380    504356   2186559    180.28    205.77
1543.19/386.80	c  N dy  3787    577546     38790    165909         0     63528    504356   7714927    180.37    193.77
1597.05/400.30	c  N dy  3923    597763     38790    165909         0     45751    504356   2609410    180.40    192.88
1649.73/413.57	c  N dy  4060    617989     38790    165909         0     65974    504356   8110014    180.39    197.11
1703.22/426.97	c  N dy  4190    638033     38790    165909         0     47017    504356   2787344    180.43    197.31
1756.24/440.29	c  N dy  4334    658140     38790    165909         0     67124    504356   8348747    180.54    194.97
1810.90/453.92	c  N dy  4478    678289     38790    165909         0     47275    504356   2541023    180.58    191.41
1863.98/467.28	c  N dy  4613    698413     38790    165909         0     67398    504356   8032454    180.54    191.27
1919.04/481.07	c  N dy  4743    718461     38790    165909         0     46445    504356   2002153    180.48    193.25
1972.10/494.30	c  N dy  4887    738482     38790    165909         0     66464    504356   7528108    180.55    198.93
2028.00/508.38	c  N dy  5027    758660     38790    165909         0     44642    504356   1256026    180.58    192.20
2080.66/521.51	c  N dy  5167    778714     38790    165909         0     64695    504356   6725804    180.62    191.98
2136.89/535.67	c  N dy  5305    798802     38790    165909         0     84783    504356  12220641    180.62    191.78
2156.03/540.47	c  S st  5354    806090     38790    165909         0     49070    504356   2190560    180.64   no data
2157.64/540.80	c  S st  5354    806591     38790    165909         0     49571    504356   2276294    180.64   no data
2157.64/540.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2158.04/540.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.13
2158.44/541.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2158.44/541.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2158.44/541.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2158.44/541.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
2158.44/541.06	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
2159.25/541.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.17 s
2159.67/541.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
2162.82/542.13	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.72 s
2162.82/542.16	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
2163.22/542.21	c vivif2 --  cl tried    49571 cl shrink        0 lits rem          0 time: 0.05
2164.05/542.47	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.26
2164.05/542.48	c calculated reachability. Time: 0.00
2164.05/542.48	c  N dy  5354    806591     38790    165909         0     49571    504356   2276292    180.64   no data
2217.87/555.93	c  N dy  5492    826730     38790    165909         0     69709    504356   7765445    180.66    194.97
2274.53/570.12	c  N dy  5626    846816     38790    165909         0     45800    504356    999854    180.68    190.89
2327.20/583.38	c  N dy  5753    866908     38790    165909         0     65892    504356   6481558    180.68    191.94
2383.85/597.58	c  N dy  5895    886960     38790    165909         0     85944    504356  12042519    180.71    192.31
2437.72/611.06	c  N dy  6030    907087     38790    165909         0     61076    504356   4966932    180.74    198.26
2493.22/624.92	c  N dy  6155    927187     38790    165909         0     81174    504356  10485473    180.66    197.18
2548.24/638.79	c  N dy  6286    947271     38790    165909         0     55256    504356   3047167    180.67    196.14
2602.95/652.41	c  N dy  6428    967364     38790    165909         0     75347    504356   8532776    180.67    193.86
2660.37/666.84	c  N dy  6564    987416     38790    165909         0     48412    504356    945550    180.70    192.48
2713.03/680.06	c  N dy  6697   1007513     38790    165909         0     68508    504356   6518790    180.69    193.66
2770.49/694.44	c  N dy  6834   1027695     38790    165909         0     88687    504356  12046507    180.72    191.15
2825.16/708.14	c  N dy  6971   1047767     38790    165909         0     60765    504356   4059975    180.71    190.93
2881.01/722.14	c  N dy  7116   1067784     38790    165909         0     80782    504356   9600025    180.77    232.37
2892.98/725.14	c  F st  7149   1071875     38790    165909         0     84872    504356  10724350    180.78   no data
2938.87/736.65	c  N dy  7230   1087870     38790    165909         0     51867    504356   1316255    180.78    190.72
2993.93/750.41	c  N dy  7377   1108109     38790    165909         0     72105    504356   6961104    180.85    192.42
3051.78/764.95	c  N dy  7511   1128234     38790    165909         0     92229    504356  12529825    180.88    192.05
3108.03/779.02	c  N dy  7651   1148292     38790    165909         0     62284    504356   3953020    180.93    237.57
3163.50/792.92	c  N dy  7779   1168420     38790    165909         0     82411    504356   9420876    180.87    193.61
3222.94/807.85	c  N dy  7913   1188658     38790    165909         0     51650    504356    711244    180.85    200.17
3276.81/821.36	c  N dy  8047   1208783     38790    165909         0     71774    504356   6212550    180.86    190.63
3279.99/822.19	c  S st  8055   1209886     38790    165909         0     72877    504356   6501898    180.85    174.65
3281.60/822.59	c  S st  8055   1210395     38790    165909         0     73386    504356   6602189    180.85   no data
3282.00/822.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3282.40/822.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
3282.82/822.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3282.82/822.83	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3282.82/822.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3282.82/822.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
3282.82/822.88	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
3283.59/823.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.21 s
3285.58/823.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
3298.36/826.76	c lits-rem:         1  cl-subs:        4  v-elim:      0  v-fix:    0  time:  3.22 s
3298.36/826.79	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
3299.16/826.92	c vivif2 --  cl tried    73382 cl shrink        0 lits rem          0 time: 0.13
3300.37/827.23	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.31
3300.37/827.24	c calculated reachability. Time: 0.00
3300.37/827.24	c  N dy  8055   1210395     38790    165909         0     73382    504356   6600512    180.85   no data
3358.20/841.70	c  N dy  8190   1230405     38790    165909         0     93389    504356  12014107    180.83    194.23
3416.45/856.37	c  N dy  8331   1250656     38790    165909         0     61637    504356   3188840    180.85    191.29
3473.11/870.53	c  N dy  8467   1270743     38790    165909         0     81722    504356   8794376    180.88    232.66
3532.99/885.59	c  N dy  8601   1290951     38790    165909         0    101929    504356  14235661    180.87    192.27
3589.63/899.70	c  N dy  8737   1310957     38790    165909         0     68937    504356   4861686    180.84    196.89
3646.68/914.04	c  N dy  8866   1331006     38790    165909         0     88984    504356  10382744    180.85    195.39
3707.33/929.29	c  N dy  9001   1351076     38790    165909         0     55060    504356    843930    180.86    191.33
3763.18/943.24	c  N dy  9137   1371220     38790    165909         0     75203    504356   6466553    180.89    196.76
3821.84/957.90	c  N dy  9264   1391296     38790    165909         0     95278    504356  11961148    180.85    211.24
3881.29/972.84	c  N dy  9394   1411497     38790    165909         0     60483    504356   2083513    180.85    193.84
3937.54/986.99	c  N dy  9534   1431675     38790    165909         0     80659    504356   7669899    180.88    194.74
3997.80/1002.06	c  N dy  9674   1451775     38790    165909         0    100758    504356  13177120    180.90    194.70
4057.24/1016.90	c  N dy  9818   1471847     38790    165909         0     64829    504356   2955863    180.93    192.40
4114.69/1031.30	c  N dy  9958   1492027     38790    165909         0     85009    504356   8439153    180.93    192.26
4175.73/1046.68	c  N dy 10105   1512307     38790    165909         0    105287    504356  14048596    180.96    191.10
4233.99/1061.23	c  N dy 10237   1532419     38790    165909         0     68403    504356   3666512    180.94    192.25
4291.45/1075.65	c  N dy 10373   1552473     38790    165909         0     88456    504356   9177398    180.95    208.05
4352.09/1090.88	c  N dy 10509   1572506     38790    165909         0    108489    504356  14655849    180.94    193.79
4410.77/1105.55	c  N dy 10645   1592647     38790    165909         0     70629    504356   4047372    180.95    193.21
4468.59/1120.05	c  N dy 10778   1612729     38790    165909         0     90710    504356   9580337    180.95    196.87
4530.84/1135.61	c  N dy 10917   1632851     38790    165909         0    110832    504356  15108811    180.95    195.38
4589.88/1150.45	c  N dy 11060   1653084     38790    165909         0     72061    504356   4167003    180.98    194.36
4648.93/1165.28	c  N dy 11196   1673356     38790    165909         0     92331    504356   9784204    180.99    192.36
4711.57/1180.90	c  N dy 11330   1693467     38790    165909         0    112440    504356  15453732    181.02    201.71
4761.86/1193.51	c  S st 11449   1710397     38790    165909         0     69373    504356   3158094    181.04   no data
4763.04/1193.88	c  S st 11449   1710903     38790    165909         0     69879    504356   3269312    181.04   no data
4763.44/1193.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4763.84/1194.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.15
4764.24/1194.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4764.24/1194.12	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4764.24/1194.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4764.24/1194.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  38790 time:  0.01 s
4764.24/1194.17	c Removed useless bin:       0  fixed:     0  props:   0.38M  time:  0.02 s
4765.04/1194.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.19 s
4765.84/1194.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
4773.81/1196.52	c lits-rem:         2  cl-subs:        0  v-elim:      0  v-fix:    0  time:  1.89 s
4773.81/1196.55	c vivif2 --  cl tried   165909 cl shrink        0 lits rem          0 time: 0.03
4774.21/1196.62	c vivif2 --  cl tried    69879 cl shrink        0 lits rem          0 time: 0.07
4775.45/1196.93	c asymm  cl-useful: 0/165909/165909 lits-rem:0 time: 0.30
4775.45/1196.94	c calculated reachability. Time: 0.00
4775.45/1196.94	c  N dy 11449   1710903     38790    165909         0     69879    504356   3269310    181.04   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: 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-3366270-1305400422/watcher-3366270-1305400422 -o /tmp/evaluation-result-3366270-1305400422/solver-3366270-1305400422 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366270-1305400422.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.46 7.95 7.97 2/311 7888
/proc/meminfo: memFree=27345560/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 407 0 0 0 1 0 0 0 21 0 4 0 384233473 52396032 347 33554432000 4194304 4580107 140736193471824 18446744073709551615 47444442838962 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 12792 347 299 95 0 7774 0
[pid=7888/tid=7889] ppid=7886 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 384233473 52396032 347 33554432000 4194304 4580107 140736193471824 18446744073709551615 47444442838962 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 384233473 52396032 347 33554432000 4194304 4580107 140736193471824 18446744073709551615 47444442838962 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 384233473 52396032 347 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660718577 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.019098 s]
/proc/loadavg: 7.46 7.95 7.97 2/311 7888
/proc/meminfo: memFree=27345560/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=258660 CPUtime=0.04 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 5872 0 0 0 4 0 0 0 18 0 4 0 384233473 264867840 4861 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660359271 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 64719 4865 334 95 0 59701 0
[pid=7888/tid=7889] ppid=7886 vsize=259092 CPUtime=0.01 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 1563 0 0 0 1 0 0 0 23 0 4 0 384233473 265310208 4869 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660720042 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=259092 CPUtime=0.01 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 1386 0 0 0 1 0 0 0 18 0 4 0 384233473 265310208 4880 33554432000 4194304 4580107 140736193471824 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=259092 CPUtime=0 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 1446 0 0 0 0 0 0 0 24 0 4 0 384233473 265310208 4884 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660358923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 258660

[startup+0.101211 s]
/proc/loadavg: 7.46 7.95 7.97 2/311 7888
/proc/meminfo: memFree=27345560/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=382864 CPUtime=0.34 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) D 7886 7888 7660 0 -1 4202496 21782 0 0 0 23 11 0 0 18 0 4 0 384233473 392052736 17655 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489474 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 95716 17666 337 95 0 90698 0
[pid=7888/tid=7889] ppid=7886 vsize=382864 CPUtime=0.08 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 5543 0 0 0 6 2 0 0 18 0 4 0 384233473 392052736 17671 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=382864 CPUtime=0.08 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) S 7886 7888 7660 0 -1 4202560 4990 0 0 0 5 3 0 0 18 0 4 0 384233473 392052736 17690 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660767214 0 0 4096 2 18446604460467528896 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=382864 CPUtime=0.07 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7660 0 -1 4202560 5344 0 0 0 5 2 0 0 18 0 4 0 384233473 392052736 17712 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660767214 0 0 4096 2 18446604460467528896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 382864

[startup+0.417992 s]
/proc/loadavg: 7.46 7.95 7.97 2/311 7888
/proc/meminfo: memFree=27345560/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=390332 CPUtime=1.54 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 29461 0 0 0 127 27 0 0 18 0 4 0 384233473 399699968 25328 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 97583 25354 363 95 0 92565 0
[pid=7888/tid=7889] ppid=7886 vsize=390332 CPUtime=0.42 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 8873 0 0 0 36 6 0 0 18 0 4 0 384233473 399699968 26739 33554432000 4194304 4580107 140736193471824 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=390332 CPUtime=0.41 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 6777 0 0 0 34 7 0 0 18 0 4 0 384233473 399699968 26739 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=390332 CPUtime=0.39 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) S 7886 7888 7660 0 -1 4202560 7269 0 0 0 32 7 0 0 18 0 4 0 384233473 399699968 26739 33554432000 4194304 4580107 140736193471824 18446744073709551615 268660767214 0 0 4096 2 18446604460467528896 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.54
Current children cumulated vsize (KiB) 390332

[startup+0.700985 s]
/proc/loadavg: 7.46 7.95 7.97 2/311 7888
/proc/meminfo: memFree=27345560/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=435696 CPUtime=2.67 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 52333 0 0 0 234 33 0 0 18 0 4 0 384233473 446152704 45136 33554432000 4194304 4580107 140736193471824 18446744073709551615 4415372 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 108924 45136 372 95 0 103906 0
[pid=7888/tid=7889] ppid=7886 vsize=435696 CPUtime=0.68 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 14703 0 0 0 61 7 0 0 18 0 4 0 384233473 446152704 45136 33554432000 4194304 4580107 140736193471824 18446744073709551615 4451531 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=435696 CPUtime=0.66 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 14544 0 0 0 57 9 0 0 18 0 4 0 384233473 446152704 45136 33554432000 4194304 4580107 140736193471824 18446744073709551615 4415763 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=435696 CPUtime=0.65 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 7410 0 0 0 58 7 0 0 18 0 4 0 384233473 446152704 45136 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 435696

[startup+1.50084 s]
/proc/loadavg: 7.46 7.95 7.97 10/323 7905
/proc/meminfo: memFree=27091228/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=425836 CPUtime=5.85 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 55235 0 0 0 552 33 0 0 19 0 4 0 384233473 436056064 44248 33554432000 4194304 4580107 140736193471824 18446744073709551615 4321330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 106459 44248 377 95 0 101441 0
[pid=7888/tid=7889] ppid=7886 vsize=425836 CPUtime=1.47 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 15250 0 0 0 140 7 0 0 19 0 4 0 384233473 436056064 44248 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=425836 CPUtime=1.46 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 15804 0 0 0 137 9 0 0 19 0 4 0 384233473 436056064 44248 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=425836 CPUtime=1.43 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 7896 0 0 0 136 7 0 0 19 0 4 0 384233473 436056064 44248 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 425836

[startup+3.10056 s]
/proc/loadavg: 7.46 7.95 7.97 9/323 7905
/proc/meminfo: memFree=27064196/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=557100 CPUtime=12.25 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 58777 0 0 0 1190 35 0 0 22 0 4 0 384233473 570470400 47790 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 139275 47790 377 95 0 134257 0
[pid=7888/tid=7889] ppid=7886 vsize=557100 CPUtime=3.08 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 16169 0 0 0 300 8 0 0 22 0 4 0 384233473 570470400 47790 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=557100 CPUtime=3.05 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 16702 0 0 0 296 9 0 0 22 0 4 0 384233473 570470400 47790 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=557100 CPUtime=3.02 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 8704 0 0 0 295 7 0 0 23 0 4 0 384233473 570470400 47790 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.25
Current children cumulated vsize (KiB) 557100

[startup+6.301 s]
/proc/loadavg: 7.58 7.97 7.98 9/323 7905
/proc/meminfo: memFree=27045516/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=557100 CPUtime=25.01 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 65057 0 0 0 2465 36 0 0 25 0 4 0 384233473 570470400 54070 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 139275 54070 377 95 0 134257 0
[pid=7888/tid=7889] ppid=7886 vsize=557100 CPUtime=6.28 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 17751 0 0 0 620 8 0 0 25 0 4 0 384233473 570470400 54070 33554432000 4194304 4580107 140736193471824 18446744073709551615 4324249 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=557100 CPUtime=6.26 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 18236 0 0 0 616 10 0 0 25 0 4 0 384233473 570470400 54071 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=557100 CPUtime=6.19 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 10259 0 0 0 612 7 0 0 25 0 4 0 384233473 570470400 54071 33554432000 4194304 4580107 140736193471824 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 557100

[startup+12.7009 s]
/proc/loadavg: 7.61 7.97 7.98 9/323 7906
/proc/meminfo: memFree=26906016/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=458152 CPUtime=50.54 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 84367 0 0 0 5013 41 0 0 25 0 4 0 384233473 469147648 47634 33554432000 4194304 4580107 140736193471824 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 114538 47634 377 95 0 109520 0
[pid=7888/tid=7889] ppid=7886 vsize=458152 CPUtime=12.67 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 22562 0 0 0 1258 9 0 0 25 0 4 0 384233473 469147648 47634 33554432000 4194304 4580107 140736193471824 18446744073709551615 4322594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=458152 CPUtime=12.65 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 22951 0 0 0 1254 11 0 0 25 0 4 0 384233473 469147648 47634 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=458152 CPUtime=12.52 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 15108 0 0 0 1244 8 0 0 25 0 4 0 384233473 469147648 47634 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 458152

[startup+25.5006 s]
/proc/loadavg: 7.70 7.97 7.98 9/323 7906
/proc/meminfo: memFree=26589056/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=787328 CPUtime=101.6 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 161438 0 0 0 10098 62 0 0 25 0 4 0 384233473 806223872 104311 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 196832 104311 379 95 0 191814 0
[pid=7888/tid=7889] ppid=7886 vsize=787328 CPUtime=25.47 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 58747 0 0 0 2528 19 0 0 25 0 4 0 384233473 806223872 104311 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=787328 CPUtime=25.45 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 31156 0 0 0 2532 13 0 0 25 0 4 0 384233473 806223872 104311 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=787328 CPUtime=25.19 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 23738 0 0 0 2508 11 0 0 25 0 4 0 384233473 806223872 104311 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.6
Current children cumulated vsize (KiB) 787328

[startup+51.1011 s]
/proc/loadavg: 7.80 7.97 7.98 9/323 7907
/proc/meminfo: memFree=26286756/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=965724 CPUtime=203.75 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 248252 0 0 0 20290 85 0 0 25 0 4 0 384233473 988901376 136905 33554432000 4194304 4580107 140736193471824 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 241431 136905 379 95 0 236413 0
[pid=7888/tid=7889] ppid=7886 vsize=965724 CPUtime=51.08 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 74932 0 0 0 5084 24 0 0 25 0 4 0 384233473 988901376 136905 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=965724 CPUtime=51.05 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 53735 0 0 0 5086 19 0 0 25 0 4 0 384233473 988901376 136905 33554432000 4194304 4580107 140736193471824 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=965724 CPUtime=50.54 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 49406 0 0 0 5037 17 0 0 25 0 4 0 384233473 988901376 136905 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 965724

[startup+102.301 s]
/proc/loadavg: 8.01 8.00 7.99 9/323 7908
/proc/meminfo: memFree=25988604/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1079804 CPUtime=408.06 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 422151 0 0 0 40679 127 0 0 25 0 4 0 384233473 1105719296 189610 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 269951 189610 379 95 0 264933 0
[pid=7888/tid=7889] ppid=7886 vsize=1079804 CPUtime=102.29 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 109766 0 0 0 10196 33 0 0 25 0 4 0 384233473 1105719296 189617 33554432000 4194304 4580107 140736193471824 18446744073709551615 4320939 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1079804 CPUtime=102.26 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 89825 0 0 0 10199 27 0 0 25 0 4 0 384233473 1105719296 189617 33554432000 4194304 4580107 140736193471824 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1079804 CPUtime=101.23 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 109546 0 0 0 10093 30 0 0 25 0 4 0 384233473 1105719296 189617 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 1079804

[startup+162.301 s]

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

[pid=7888] ppid=7886 vsize=1693132 CPUtime=2562.61 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1369930 0 0 0 255811 450 0 0 25 0 4 0 384233473 1733767168 331676 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 423283 331676 379 95 0 418265 0
[pid=7888/tid=7889] ppid=7886 vsize=1693132 CPUtime=642.27 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 341972 0 0 0 64115 112 0 0 25 0 4 0 384233473 1733767168 331676 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1693132 CPUtime=642.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 316421 0 0 0 64120 104 0 0 25 0 4 0 384233473 1733767168 331676 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1693132 CPUtime=635.84 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 373497 0 0 0 63469 115 0 0 25 0 4 0 384233473 1733767168 331676 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.61
Current children cumulated vsize (KiB) 1693132

[startup+702.301 s]
/proc/loadavg: 8.07 8.08 8.02 9/323 7924
/proc/meminfo: memFree=25081684/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1693940 CPUtime=2802.02 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1460746 0 0 0 279718 484 0 0 25 0 4 0 384233473 1734594560 334197 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 423485 334197 379 95 0 418467 0
[pid=7888/tid=7889] ppid=7886 vsize=1693940 CPUtime=702.27 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 364877 0 0 0 70107 120 0 0 25 0 4 0 384233473 1734594560 334197 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1693940 CPUtime=702.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 339278 0 0 0 70112 112 0 0 25 0 4 0 384233473 1734594560 334197 33554432000 4194304 4580107 140736193471824 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1693940 CPUtime=695.23 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 398213 0 0 0 69399 124 0 0 25 0 4 0 384233473 1734594560 334197 33554432000 4194304 4580107 140736193471824 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.02
Current children cumulated vsize (KiB) 1693940

[startup+762.3 s]
/proc/loadavg: 8.09 8.08 8.02 9/323 7926
/proc/meminfo: memFree=24947204/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1708756 CPUtime=3041.43 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1552129 0 0 0 303624 519 0 0 25 0 4 0 384233473 1749766144 347638 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293108 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 427189 347638 379 95 0 422171 0
[pid=7888/tid=7889] ppid=7886 vsize=1708756 CPUtime=762.28 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 391926 0 0 0 76099 129 0 0 25 0 4 0 384233473 1749766144 347644 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1708756 CPUtime=762.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 360686 0 0 0 76105 119 0 0 25 0 4 0 384233473 1749766144 347645 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1708756 CPUtime=754.64 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 417067 0 0 0 75332 132 0 0 25 0 4 0 384233473 1749766144 347645 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.43
Current children cumulated vsize (KiB) 1708756

[startup+822.301 s]
/proc/loadavg: 8.15 8.10 8.02 9/323 7927
/proc/meminfo: memFree=25007812/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1774192 CPUtime=3280.8 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1641085 0 0 0 327529 551 0 0 25 0 4 0 384233473 1816772608 342558 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/7888/statm: 443548 342558 379 95 0 438530 0
[pid=7888/tid=7889] ppid=7886 vsize=1774192 CPUtime=822.26 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 422066 0 0 0 82088 138 0 0 25 0 4 0 384233473 1816772608 342558 33554432000 4194304 4580107 140736193471824 18446744073709551615 4407233 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1774192 CPUtime=822.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 379121 0 0 0 82096 128 0 0 25 0 4 0 384233473 1816772608 342558 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293685 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1774192 CPUtime=814.03 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 439091 0 0 0 81265 138 0 0 25 0 4 0 384233473 1816772608 342558 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.8
Current children cumulated vsize (KiB) 1774192

[startup+882.312 s]
/proc/loadavg: 8.11 8.09 8.02 9/323 7929
/proc/meminfo: memFree=24670728/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1677688 CPUtime=3520.23 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1732042 0 0 0 351440 583 0 0 25 0 4 0 384233473 1717952512 359264 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 419422 359265 379 95 0 414404 0
[pid=7888/tid=7889] ppid=7886 vsize=1677688 CPUtime=882.28 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 443578 0 0 0 88081 147 0 0 25 0 4 0 384233473 1717952512 359265 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1677688 CPUtime=882.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 401153 0 0 0 88089 135 0 0 25 0 4 0 384233473 1717952512 359265 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1677688 CPUtime=873.87 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 461261 0 0 0 87241 146 0 0 25 0 4 0 384233473 1717952512 359265 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3520.23
Current children cumulated vsize (KiB) 1677688

[startup+942.301 s]
/proc/loadavg: 8.15 8.10 8.03 9/323 7930
/proc/meminfo: memFree=24690408/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1759396 CPUtime=3759.6 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1818416 0 0 0 375345 615 0 0 25 0 4 0 384233473 1801621504 362419 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294612 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 439849 362419 379 95 0 434831 0
[pid=7888/tid=7889] ppid=7886 vsize=1759396 CPUtime=942.26 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 463779 0 0 0 94073 153 0 0 25 0 4 0 384233473 1801621504 362419 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1759396 CPUtime=942.23 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 423764 0 0 0 94079 144 0 0 25 0 4 0 384233473 1801621504 362419 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1759396 CPUtime=933.85 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 482975 0 0 0 93231 154 0 0 25 0 4 0 384233473 1801621504 362419 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3759.6
Current children cumulated vsize (KiB) 1759396

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.02 9/323 7932
/proc/meminfo: memFree=24540960/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1760288 CPUtime=3998.99 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1901338 0 0 0 399250 649 0 0 25 0 4 0 384233473 1802534912 380451 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293979 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 440072 380451 379 95 0 435054 0
[pid=7888/tid=7889] ppid=7886 vsize=1760288 CPUtime=1002.27 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 482223 0 0 0 100067 160 0 0 25 0 4 0 384233473 1802534912 380451 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1760288 CPUtime=1002.24 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 443746 0 0 0 100071 153 0 0 25 0 4 0 384233473 1802534912 380451 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1760288 CPUtime=993.86 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 507434 0 0 0 99220 166 0 0 25 0 4 0 384233473 1802534912 380451 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3998.99
Current children cumulated vsize (KiB) 1760288

[startup+1062.3 s]
/proc/loadavg: 8.12 8.11 8.03 9/323 7934
/proc/meminfo: memFree=24597444/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1843380 CPUtime=4238.38 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 1980407 0 0 0 423155 683 0 0 25 0 4 0 384233473 1887621120 367531 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 460845 367531 379 95 0 455827 0
[pid=7888/tid=7889] ppid=7886 vsize=1843380 CPUtime=1062.26 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 502148 0 0 0 106059 167 0 0 25 0 4 0 384233473 1887621120 367531 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1843380 CPUtime=1062.23 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 461737 0 0 0 106062 161 0 0 25 0 4 0 384233473 1887621120 367531 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1843380 CPUtime=1053.86 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 527144 0 0 0 105211 175 0 0 25 0 4 0 384233473 1887621120 367531 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4238.38
Current children cumulated vsize (KiB) 1843380

[startup+1122.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/323 7935
/proc/meminfo: memFree=24434472/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1844056 CPUtime=4477.77 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 2066130 0 0 0 447059 718 0 0 25 0 4 0 384233473 1888313344 385271 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293778 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 461014 385271 379 95 0 455996 0
[pid=7888/tid=7889] ppid=7886 vsize=1844056 CPUtime=1122.26 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 522039 0 0 0 112049 177 0 0 25 0 4 0 384233473 1888313344 385271 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1844056 CPUtime=1122.23 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 485780 0 0 0 112053 170 0 0 25 0 4 0 384233473 1888313344 385271 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1844056 CPUtime=1113.86 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 549096 0 0 0 111203 183 0 0 25 0 4 0 384233473 1888313344 385271 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4477.77
Current children cumulated vsize (KiB) 1844056

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 8.04 9/323 7937
/proc/meminfo: memFree=24449820/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1795656 CPUtime=4717.16 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 2157581 0 0 0 470959 757 0 0 25 0 4 0 384233473 1838751744 371999 33554432000 4194304 4580107 140736193471824 18446744073709551615 4320729 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 448914 371999 379 95 0 443896 0
[pid=7888/tid=7889] ppid=7886 vsize=1795656 CPUtime=1182.25 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 543790 0 0 0 118039 186 0 0 25 0 4 0 384233473 1838751744 371999 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1795656 CPUtime=1182.23 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 508196 0 0 0 118044 179 0 0 25 0 4 0 384233473 1838751744 371999 33554432000 4194304 4580107 140736193471824 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1795656 CPUtime=1173.85 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 572907 0 0 0 117193 192 0 0 25 0 4 0 384233473 1838751744 371999 33554432000 4194304 4580107 140736193471824 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4717.16
Current children cumulated vsize (KiB) 1795656



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.1 s]
/proc/loadavg: 8.12 8.11 8.04 9/323 7937
/proc/meminfo: memFree=24477332/32951124 swapFree=46575252/67111528
[pid=7888] ppid=7886 vsize=1730408 CPUtime=4800.17 cores=1,3,5,7
/proc/7888/stat : 7888 (strangenight2-m) R 7886 7888 7660 0 -1 4202496 2184332 0 0 0 479249 768 0 0 25 0 4 0 384233473 1771937792 361178 33554432000 4194304 4580107 140736193471824 18446744073709551615 4318731 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/7888/statm: 432602 361178 379 95 0 427584 0
[pid=7888/tid=7889] ppid=7886 vsize=1730408 CPUtime=1203.07 cores=1,3,5,7
/proc/7888/task/7889/stat : 7889 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 549499 0 0 0 120118 189 0 0 25 0 4 0 384233473 1771937792 361182 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293828 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=7888/tid=7890] ppid=7886 vsize=1730408 CPUtime=1203.04 cores=1,3,5,7
/proc/7888/task/7890/stat : 7890 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 515117 0 0 0 120122 182 0 0 25 0 4 0 384233473 1771937792 361182 33554432000 4194304 4580107 140736193471824 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=7888/tid=7891] ppid=7886 vsize=1730408 CPUtime=1194.66 cores=1,3,5,7
/proc/7888/task/7891/stat : 7891 (strangenight2-m) R 7886 7888 7660 0 -1 4202560 582096 0 0 0 119270 196 0 0 25 0 4 0 384233473 1771937792 361182 33554432000 4194304 4580107 140736193471824 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 1730408

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.18
CPU time (s): 4800.27
CPU user time (s): 4792.53
CPU system time (s): 7.74182
CPU usage (%): 398.966
Max. virtual memory (cumulated for all children) (KiB): 1909816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.53
system time used= 7.74182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2184346
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= 18641
involuntary context switches= 31165

runsolver used 3.36749 second user time and 8.69168 second system time

The end

Launcher Data 

Begin job on node107 at 2011-05-14 21:13:42
IDJOB=3366270
IDBENCH=82679
IDSOLVER=1844
FILE ID=node107/3366270-1305400422
RUNJOBID= node107-1305398011-7679
PBS_JOBID= 13324475
Free space on /tmp= 73432 MiB

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

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

MD5SUM BENCH= eb4eadfedd2c4dc9b0ed7231ad324f1f
RANDOM SEED=669621293

node107.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.829
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.65
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.829
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27345972 kB
Buffers:        121908 kB
Cached:         920340 kB
SwapCached:       9832 kB
Active:        5259372 kB
Inactive:        65360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27345972 kB
SwapTotal:    67111528 kB
SwapFree:     46575252 kB
Dirty:            8940 kB
Writeback:           0 kB
AnonPages:     4280268 kB
Mapped:          18964 kB
Slab:           146728 kB
PageTables:      68388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 64912972 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= 73420 MiB
End job on node107 at 2011-05-14 21:33:47