Trace number 3368673

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-1-mt (fixed)? (TO) 4800.45 1202.98

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
MD5SUM17341e8eb76284acaef626682c91dea1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.4195
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3368673-1305400395.cnf'
0.00/0.01	c -- header says num vars:          15000
0.00/0.01	c -- header says num clauses:       63000
0.00/0.11	c -- clauses added:            0 learnts,        63000 normals,            0 xors
0.00/0.11	c -- vars added      15000
0.00/0.11	c Parsing time:  0.17 s
0.00/0.11	c  N st     0         0     15000     63000         0         0    189000         0   no data   no data  --
0.00/0.14	c asymm  cl-useful: 0/63000/63000 lits-rem:0 time: 0.16
0.00/0.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.09
0.93/0.26	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.93/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.93/0.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  15000 time:  0.02 s
0.93/0.26	c Removed useless bin:       0  fixed:     0  props:   0.15M  time:  0.02 s
0.93/1.01	c lits-rem:         0  cl-subs:        0  v-elim:    537  v-fix:    0  time:  0.56 s
0.93/1.01	c Finding binary XORs  T:     0.01 s  found:       0
0.93/1.01	c Finding non-binary XORs:     0.10 s (found:       0, avg size: nan)
0.93/1.01	c calculated reachability. Time: 0.00
0.93/1.01	c Calc default polars -  time:   0.02 s pos:    6584 undec:    1865 neg:    6551
0.93/1.01	c =========================================================================================
0.93/1.01	c types(t): F = full restart, N = normal restart
0.93/1.01	c types(t): S = simplification begin/end, E = solution found
0.93/1.01	c restart types(rt): st = static, dy = dynamic
0.93/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.93/1.01	c  B st     0         0     14463     62297         0         0    189813         0   no data   no data  --
4.40/1.21	c  N dy    24      4079     14463     62297         0      4079    189813    771875    108.12    113.88  --
7.52/1.98	c  N dy    53      8091     14463     62297         0      8090    189813   1511291    114.33    139.81  --
11.08/2.82	c  N dy    78     12109     14463     62297         0     12107    189813   2238694    113.78    146.62  --
14.26/3.69	c  N dy   102     16166     14463     62297         0     16164    189813   2969924    113.31    121.50  --
18.26/4.61	c  N dy   126     20247     14463     62297         0     10247    189813    553503    112.81    120.35  --
21.45/5.49	c  N dy   152     24496     14463     62297         0     14496    189813   1298933    112.59    119.47  --
21.85/5.59	c  F st   155     25000     14463     62297         0     15000    189813   1386272    112.58   no data  --
26.63/6.75	c  N dy   161     30000     14463     62297         0     19999    189813   2498940    112.58   no data  --
26.63/6.75	c  S st   161     30000     14463     62297         0     19999    189813   2498940    112.58   no data  --
27.03/6.86	c  S st   161     30507     14463     62297         0     20506    189813   2559706    112.58   no data  --
27.03/6.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
27.03/6.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.44/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.26
28.24/7.17	c bin-w-bin subsume rem            0 bins  time:  0.02 s
28.24/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
28.24/7.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
28.24/7.18	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
44.19/11.13	c lits-rem:        15  cl-subs:        2  v-elim:      0  v-fix:    0  time: 15.69 s
44.59/11.22	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.35
44.59/11.23	c calculated reachability. Time: 0.00
44.59/11.23	c  N dy   161     30507     14463     62297         0     20504    189813   2559416    112.58   no data  --
48.99/12.32	c  N dy   191     34627     14463     62297         0     24623    189813   3286607    112.83    119.27  --
53.37/13.41	c  N dy   220     38653     14463     62297         0     28649    189813   3998046    113.07    122.69  --
57.76/14.50	c  N dy   246     42692     14463     62297         0     17193    189813    914068    113.17    119.58  --
60.55/15.29	c  S st   267     45760     14463     62297         0     20261    189813   1431072    112.89   no data  --
61.35/15.42	c  S st   267     46263     14463     62297         0     20764    189813   1492936    112.89   no data  --
61.35/15.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
61.35/15.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
61.75/15.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.28
62.15/15.61	c bin-w-bin subsume rem            0 bins  time:  0.02 s
62.15/15.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
62.15/15.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
62.15/15.63	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
73.36/18.43	c lits-rem:         2  cl-subs:        2  v-elim:      0  v-fix:    0  time: 11.15 s
73.36/18.43	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
73.36/18.45	c vivif2 --  cl tried    20762 cl shrink        0 lits rem          0 time: 0.08
73.72/18.53	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.32
73.72/18.53	c calculated reachability. Time: 0.00
73.72/18.53	c  N dy   267     46263     14463     62297         0     20762    189813   1492746    112.89   no data  --
77.75/19.51	c  N dy   292     50344     14463     62297         0     24843    189813   2254255    113.13    120.32  --
81.31/20.50	c  N dy   320     54396     14463     62297         0     28895    189813   2962720    113.13    120.23  --
85.69/21.51	c  N dy   346     58401     14463     62297         0     32900    189813   3667330    113.09    152.10  --
89.69/22.59	c  N dy   377     62490     14463     62297         0     36989    189813   4406964    113.28    121.74  --
93.68/23.59	c  N dy   406     66508     14463     62297         0     22259    189813   1228437    113.41    121.86  --
96.47/24.26	c  S st   424     69395     14463     62297         0     25146    189813   1761318    113.38   no data  --
96.87/24.38	c  S st   424     69901     14463     62297         0     25652    189813   1831789    113.38   no data  --
96.87/24.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
96.87/24.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.27/24.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.27
97.67/24.57	c bin-w-bin subsume rem            0 bins  time:  0.02 s
97.67/24.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
97.67/24.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
97.67/24.59	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
111.23/27.95	c lits-rem:         4  cl-subs:        2  v-elim:      0  v-fix:    0  time: 13.37 s
111.23/27.95	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
111.23/27.98	c vivif2 --  cl tried    25650 cl shrink        0 lits rem          0 time: 0.10
111.63/28.07	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.38
111.63/28.08	c calculated reachability. Time: 0.00
111.63/28.08	c  N dy   424     69901     14463     62297         0     25650    189813   1830828    113.38   no data  --
116.42/29.21	c  N dy   451     74476     14463     62297         0     30225    189813   2640096    113.18    119.58  --
121.22/30.45	c  N dy   483     79344     14463     62297         0     35093    189813   3510402    113.19    120.56  --
126.79/31.84	c  N dy   519     84489     14463     62297         0     40238    189813   4483358    113.50    135.45  --
130.00/32.65	c  F st   542     87502     14463     62297         0     22375    189813    838685    113.46   no data  --
133.19/33.47	c  N st   547     90803     14463     62297         0     25675    189813   1556542    113.46   no data  --
139.20/34.96	c  N dy   571     96631     14463     62297         0     31503    189813   2733630    113.34    124.04  --
145.95/36.64	c  N dy   608    102881     14463     62297         0     37753    189813   3851593    113.27    119.58  --
147.98/37.19	c  S st   621    104851     14463     62297         0     39723    189813   4202712    113.21   no data  --
148.74/37.33	c  S st   621    105353     14463     62297         0     40225    189813   4261367    113.21   no data  --
148.74/37.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
148.74/37.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
149.14/37.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.32
149.94/37.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
149.94/37.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
149.94/37.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
149.94/37.69	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
250.90/62.98	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 100.78 s
250.90/62.98	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
251.30/63.04	c vivif2 --  cl tried    40220 cl shrink        0 lits rem          0 time: 0.22
251.70/63.16	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.48
251.70/63.16	c calculated reachability. Time: 0.00
251.70/63.16	c  N dy   621    105353     14463     62297         0     40220    189813   4258562    113.21   no data  --
259.29/65.01	c  N dy   662    112156     14463     62297         0     24589    189813    925781    113.00    119.46  --
266.51/66.83	c  N dy   712    119339     14463     62297         0     31772    189813   2240751    113.19    122.14  --
274.45/68.86	c  N dy   765    126976     14463     62297         0     39409    189813   3664465    113.45    122.66  --
283.65/71.19	c  N dy   822    135150     14463     62297         0     23863    189813    529845    113.53    124.90  --
292.42/73.35	c  N dy   881    143788     14463     62297         0     32501    189813   2092450    113.62    121.81  --
302.39/75.81	c  N dy   942    153013     14463     62297         0     41725    189813   3761956    113.56    120.92  --
307.97/77.20	c  S st   974    158030     14463     62297         0     46742    189813   4646884    113.43   no data  --
308.37/77.35	c  S st   974    158531     14463     62297         0     47243    189813   4713835    113.43   no data  --
308.37/77.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
308.37/77.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
308.77/77.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
309.98/77.71	c bin-w-bin subsume rem            0 bins  time:  0.02 s
309.98/77.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
309.98/77.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
309.98/77.73	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
498.74/125.07	c lits-rem:         0  cl-subs:        4  v-elim:      0  v-fix:    0  time: 188.64 s
498.74/125.07	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
499.16/125.14	c vivif2 --  cl tried    47239 cl shrink        0 lits rem          0 time: 0.26
499.52/125.28	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.55
499.52/125.28	c calculated reachability. Time: 0.00
499.52/125.28	c  N dy   974    158531     14463     62297         0     47239    189813   4713029    113.43   no data  --
510.70/128.08	c  N dy  1047    168656     14463     62297         0     32504    189813   1879451    113.58    137.59  --
522.66/131.06	c  N dy  1119    179480     14463     62297         0     43327    189813   3863416    113.69    120.32  --
535.83/134.32	c  N dy  1196    190943     14463     62297         0     28862    189813   1002499    113.80    122.23  --
549.41/137.70	c  N dy  1276    203136     14463     62297         0     41054    189813   3211349    113.77    126.03  --
565.01/141.62	c  N dy  1354    216106     14463     62297         0     27058    189813    462135    113.66    121.98  --
579.73/145.39	c  N dy  1438    229944     14463     62297         0     40894    189813   2980095    113.62    122.19  --
589.31/147.75	c  S st  1488    237796     14463     62297         0     48746    189813   4422220    113.66   no data  --
590.11/147.92	c  S st  1488    238298     14463     62297         0     49248    189813   4485361    113.66   no data  --
590.11/147.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
590.11/147.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
590.51/148.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
591.35/148.27	c bin-w-bin subsume rem            0 bins  time:  0.02 s
591.35/148.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
591.35/148.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
591.35/148.29	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
765.31/191.80	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 173.33 s
765.31/191.81	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
765.31/191.87	c vivif2 --  cl tried    49242 cl shrink        0 lits rem          0 time: 0.24
766.11/192.01	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.58
766.11/192.02	c calculated reachability. Time: 0.00
766.11/192.02	c  N dy  1488    238298     14463     62297         0     49242    189813   4481343    113.66   no data  --
783.67/196.48	c  N dy  1588    253554     14463     62297         0     36521    189813   2017005    113.70    119.70  --
803.22/201.31	c  N dy  1695    269806     14463     62297         0     52772    189813   4967922    113.71    121.76  --
823.17/206.38	c  N dy  1812    287181     14463     62297         0     41155    189813   2615648    113.74    124.08  --
846.32/212.13	c  N dy  1940    305618     14463     62297         0     59590    189813   5980159    113.88    121.91  --
847.11/212.36	c  F st  1944    306250     14463     62297         0     30229    189813    462014    113.86   no data  --
869.46/217.90	c  N dy  2041    325235     14463     62297         0     49212    189813   4177271    113.90    122.28  --
892.61/223.77	c  N dy  2182    345328     14463     62297         0     38315    189813   1830520    114.14    152.42  --
906.58/227.23	c  S st  2260    357448     14463     62297         0     50435    189813   4020875    114.10   no data  --
906.99/227.39	c  S st  2260    357952     14463     62297         0     50939    189813   4087499    114.10   no data  --
906.99/227.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
906.99/227.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
907.41/227.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.36
908.57/227.72	c bin-w-bin subsume rem            0 bins  time:  0.02 s
908.57/227.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
908.57/227.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
908.57/227.73	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1047.47/262.55	c lits-rem:         0  cl-subs:        6  v-elim:      0  v-fix:    0  time: 138.80 s
1047.47/262.56	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1047.89/262.62	c vivif2 --  cl tried    50933 cl shrink        0 lits rem          0 time: 0.22
1048.25/262.76	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.59
1048.25/262.77	c calculated reachability. Time: 0.00
1048.25/262.77	c  N dy  2260    357952     14463     62297         0     50933    189813   4085758    114.10   no data  --
1073.40/269.03	c  N dy  2398    377975     14463     62297         0     38952    189813   1697894    114.17    135.57  --
1098.13/275.23	c  N dy  2533    398125     14463     62297         0     59100    189813   5420155    114.32    120.67  --
1122.87/281.44	c  N dy  2668    418303     14463     62297         0     46279    189813   2863211    114.40    128.68  --
1150.41/288.32	c  N dy  2803    438618     14463     62297         0     66589    189813   6552073    114.40    121.03  --
1175.55/294.63	c  N dy  2939    458645     14463     62297         0     52619    189813   3849935    114.44    126.16  --
1202.30/301.38	c  N dy  3055    478660     14463     62297         0     37637    189813    890324    114.39    121.48  --
1227.87/307.72	c  N dy  3182    498742     14463     62297         0     57716    189813   4568880    114.41    126.39  --
1254.97/314.55	c  N dy  3320    518771     14463     62297         0     41748    189813   1479323    114.48    123.16  --
1278.92/320.50	c  S st  3446    536928     14463     62297         0     59905    189813   4807312    114.48     82.21  --
1279.72/320.70	c  S st  3446    537439     14463     62297         0     60416    189813   4886518    114.48   no data  --
1279.72/320.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1279.72/320.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1280.13/320.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.39
1281.31/321.10	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1281.31/321.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1281.31/321.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
1281.31/321.12	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
1531.94/383.98	c lits-rem:         0  cl-subs:       10  v-elim:      0  v-fix:    0  time: 250.56 s
1531.94/383.99	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1532.34/384.05	c vivif2 --  cl tried    60406 cl shrink        0 lits rem          0 time: 0.26
1533.14/384.21	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.64
1533.14/384.22	c calculated reachability. Time: 0.00
1533.14/384.22	c  N dy  3446    537439     14463     62297         0     60406    189813   4882909    114.48   no data  --
1558.28/390.54	c  N dy  3579    557742     14463     62297         0     43707    189813   1643788    114.52    123.63  --
1582.22/396.50	c  N dy  3703    577803     14463     62297         0     63768    189813   5277392    114.47    128.83  --
1606.96/402.77	c  N dy  3836    597805     14463     62297         0     45771    189813   1837395    114.52    121.71  --
1631.31/408.89	c  N dy  3959    617869     14463     62297         0     65834    189813   5524983    114.52    121.52  --
1656.84/415.26	c  N dy  4096    637948     14463     62297         0     46916    189813   1878571    114.56    123.01  --
1681.58/421.42	c  N dy  4221    658050     14463     62297         0     67018    189813   5505507    114.54    123.33  --
1707.12/427.89	c  N dy  4361    678097     14463     62297         0     47061    189813   1699583    114.57    124.05  --
1731.88/434.02	c  N dy  4486    698203     14463     62297         0     67165    189813   5353115    114.57    125.76  --
1758.21/440.64	c  N dy  4614    718483     14463     62297         0     46451    189813   1425853    114.55    120.85  --
1782.95/446.85	c  N dy  4752    738598     14463     62297         0     66564    189813   5122203    114.62    121.69  --
1810.09/453.69	c  N dy  4886    758768     14463     62297         0     44736    189813    917557    114.63    122.88  --
1834.02/459.64	c  N dy  5006    778839     14463     62297         0     64807    189813   4536719    114.60    120.64  --
1861.96/466.61	c  N dy  5152    798976     14463     62297         0     84942    189813   8266699    114.66    123.49  --
1870.35/468.74	c  S st  5198    806158     14463     62297         0     49125    189813   1518806    114.64   no data  --
1871.14/468.90	c  S st  5198    806660     14463     62297         0     49627    189813   1599368    114.64   no data  --
1871.14/468.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1871.14/468.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1871.14/468.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.34
1871.54/469.09	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1871.54/469.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1871.94/469.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
1871.94/469.11	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.02 s
1886.34/472.79	c lits-rem:         0  cl-subs:        3  v-elim:      0  v-fix:    0  time: 14.68 s
1886.70/472.80	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
1886.70/472.82	c vivif2 --  cl tried    49624 cl shrink        0 lits rem          0 time: 0.09
1887.10/472.95	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.52
1887.10/472.96	c calculated reachability. Time: 0.00
1887.10/472.96	c  N dy  5198    806660     14463     62297         0     49624    189813   1598159    114.64   no data  --
1912.26/479.22	c  N dy  5338    826738     14463     62297         0     69701    189813   5260467    114.67    123.93  --
1939.38/486.08	c  N dy  5455    846800     14463     62297         0     45764    189813    768474    114.63    124.73  --
1964.12/492.22	c  N dy  5590    867015     14463     62297         0     65978    189813   4463678    114.63    121.95  --
1991.70/499.18	c  N dy  5725    887222     14463     62297         0     86182    189813   8194855    114.67    122.23  --
2018.40/505.88	c  N dy  5860    907368     14463     62297         0     61334    189813   3502090    114.72    124.46  --
2048.35/513.33	c  N dy  5993    927421     14463     62297         0     81385    189813   7231910    114.77    126.98  --
2077.86/520.75	c  N dy  6129    947518     14463     62297         0     55483    189813   2184513    114.81    125.98  --
2106.19/527.87	c  N dy  6258    967619     14463     62297         0     75583    189813   5812161    114.81    121.01  --
2138.12/535.89	c  N dy  6396    987685     14463     62297         0     48649    189813    759150    114.86    123.92  --
2166.06/542.82	c  N dy  6535   1007785     14463     62297         0     68747    189813   4421564    114.88    127.94  --
2197.18/550.67	c  N dy  6667   1027835     14463     62297         0     88797    189813   8115239    114.89    122.95  --
2226.71/558.04	c  N dy  6799   1048036     14463     62297         0     61004    189813   2822106    114.87    122.38  --
2256.65/565.57	c  N dy  6932   1068329     14463     62297         0     81296    189813   6563713    114.89    120.99  --
2262.24/566.98	c  F st  6954   1071876     14463     62297         0     84843    189813   7223094    114.90    117.50  --
2288.97/573.62	c  N dy  7042   1088525     14463     62297         0     52489    189813   1125742    114.95    124.81  --
2316.90/580.63	c  N dy  7178   1108565     14463     62297         0     72527    189813   4808666    114.97    121.36  --
2348.83/588.60	c  N dy  7320   1128666     14463     62297         0     92628    189813   8520456    115.00    127.27  --
2377.17/595.73	c  N dy  7453   1148756     14463     62297         0     62719    189813   2816891    115.02    121.95  --
2405.50/602.88	c  N dy  7582   1168958     14463     62297         0     82919    189813   6510676    115.02    121.46  --
2437.83/610.96	c  N dy  7717   1189090     14463     62297         0     52053    189813    657038    115.04    124.37  --
2464.57/617.63	c  N dy  7850   1209168     14463     62297         0     72129    189813   4355428    115.06    139.26  --
2465.80/617.92	c  S st  7855   1209990     14463     62297         0     72951    189813   4506353    115.06    110.96  --
2466.56/618.13	c  S st  7855   1210494     14463     62297         0     73455    189813   4569412    115.06   no data  --
2466.56/618.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2466.56/618.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2466.96/618.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.43
2468.15/618.50	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2468.15/618.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2468.15/618.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
2468.15/618.52	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
2679.27/671.49	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time: 211.08 s
2679.67/671.50	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.02
2679.67/671.56	c vivif2 --  cl tried    73450 cl shrink        0 lits rem          0 time: 0.25
2680.48/671.74	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.72
2680.48/671.75	c calculated reachability. Time: 0.00
2680.48/671.75	c  N dy  7855   1210494     14463     62297         0     73450    189813   4566955    115.06   no data  --
2709.20/678.92	c  N dy  7991   1230578     14463     62297         0     93533    189813   8315464    115.10    125.10  --
2737.55/686.06	c  N dy  8140   1250814     14463     62297         0     61774    189813   2263217    115.13    121.82  --
2764.66/692.87	c  N dy  8279   1271030     14463     62297         0     81988    189813   6011029    115.17    124.36  --
2795.40/700.56	c  N dy  8416   1291150     14463     62297         0    102106    189813   9684252    115.16    122.85  --
2822.13/707.27	c  N dy  8554   1311168     14463     62297         0     69129    189813   3461600    115.20    121.34  --
2850.86/714.48	c  N dy  8691   1331551     14463     62297         0     89511    189813   7201821    115.20    122.59  --
2881.99/722.28	c  N dy  8825   1351617     14463     62297         0     55577    189813    762205    115.21    122.26  --
2908.74/728.94	c  N dy  8966   1371917     14463     62297         0     75876    189813   4533278    115.27    122.09  --
2937.86/736.25	c  N dy  9097   1391976     14463     62297         0     95933    189813   8221129    115.29    123.59  --
2967.79/743.79	c  N dy  9230   1412033     14463     62297         0     60998    189813   1581737    115.29    125.25  --
2994.52/750.43	c  N dy  9361   1432100     14463     62297         0     81063    189813   5296370    115.30    124.47  --
3024.45/757.94	c  N dy  9489   1452101     14463     62297         0    101063    189813   8998067    115.31    125.94  --
3054.01/765.32	c  N dy  9619   1472165     14463     62297         0     65126    189813   2175654    115.33    166.13  --
3081.51/772.25	c  N dy  9757   1492258     14463     62297         0     85218    189813   5916949    115.35    125.60  --
3113.85/780.34	c  N dy  9900   1512483     14463     62297         0    105442    189813   9687703    115.39    121.52  --
3144.97/788.17	c  N dy 10037   1532624     14463     62297         0     68589    189813   2686329    115.42    123.74  --
3175.29/795.73	c  N dy 10169   1552728     14463     62297         0     88692    189813   6413171    115.43    123.03  --
3208.81/804.18	c  N dy 10299   1572780     14463     62297         0    108741    189813  10095179    115.42    127.81  --
3239.54/811.88	c  N dy 10434   1592806     14463     62297         0     70765    189813   2847542    115.42    124.03  --
3271.07/819.71	c  N dy 10571   1612905     14463     62297         0     90863    189813   6620448    115.44    124.20  --
3306.99/828.76	c  N dy 10700   1633003     14463     62297         0    110959    189813  10330694    115.45    122.26  --
3339.71/836.97	c  N dy 10835   1653106     14463     62297         0     72062    189813   2916234    115.46    123.93  --
3372.04/845.06	c  N dy 10963   1673248     14463     62297         0     92201    189813   6614308    115.46    125.58  --
3408.36/854.17	c  N dy 11097   1693268     14463     62297         0    112219    189813  10274465    115.45    122.88  --
3437.09/861.35	c  S st 11209   1710494     14463     62297         0     69450    189813   2315463    115.47    114.31  --
3437.88/861.57	c  S st 11209   1710997     14463     62297         0     69953    189813   2394027    115.47   no data  --
3437.88/861.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3437.88/861.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3438.29/861.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.44
3439.09/861.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
3439.09/861.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3439.09/861.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
3439.09/861.85	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s
3470.22/869.61	c lits-rem:        11  cl-subs:        0  v-elim:      0  v-fix:    0  time: 30.94 s
3470.22/869.62	c vivif2 --  cl tried    62297 cl shrink        0 lits rem          0 time: 0.03
3470.22/869.65	c vivif2 --  cl tried    69953 cl shrink        0 lits rem          0 time: 0.15
3471.05/869.84	c asymm  cl-useful: 0/62297/62297 lits-rem:0 time: 0.73
3471.05/869.85	c calculated reachability. Time: 0.00
3471.05/869.85	c  N dy 11209   1710997     14463     62297         0     69953    189813   2394016    115.47   no data  --
3502.94/877.87	c  N dy 11349   1731045     14463     62297         0     89998    189813   6166355    115.51    125.33  --
3536.07/886.18	c  N dy 11468   1751069     14463     62297         0    110020    189813   9836207    115.50    123.15  --
3569.58/894.57	c  N dy 11610   1771122     14463     62297         0     69083    189813   2049504    115.53    138.75  --
3599.51/902.08	c  N dy 11741   1791242     14463     62297         0     89201    189813   5777092    115.54    122.26  --
3633.48/910.57	c  N dy 11873   1811244     14463     62297         0    109203    189813   9530715    115.56    121.68  --
3668.60/919.34	c  N dy 12011   1831256     14463     62297         0     67218    189813   1482253    115.60    126.33  --
3698.49/926.84	c  N dy 12149   1851384     14463     62297         0     87344    189813   5250197    115.63    122.42  --
3732.01/935.26	c  N dy 12287   1871455     14463     62297         0    107415    189813   8959670    115.65    123.06  --
3771.51/945.15	c  N dy 12426   1891714     14463     62297         0     64677    189813    835199    115.66    126.50  --
3803.05/953.07	c  N dy 12565   1911979     14463     62297         0     84939    189813   4619679    115.68    124.21  --
3838.57/961.94	c  N dy 12709   1931984     14463     62297         0    104943    189813   8390888    115.73    154.39  --
3878.47/971.97	c  N dy 12851   1952070     14463     62297         0    125028    189813  12129336    115.74    124.21  --
3911.99/980.30	c  N dy 12977   1972441     14463     62297         0     81401    189813   3766276    115.74    129.38  --
3946.70/989.01	c  N dy 13112   1992591     14463     62297         0    101550    189813   7516385    115.76    128.71  --
3985.01/998.69	c  N dy 13248   2012628     14463     62297         0    121585    189813  11230448    115.77    122.25  --
4020.53/1007.59	c  N dy 13382   2032634     14463     62297         0     76592    189813   2664404    115.78    122.71  --
4054.06/1015.96	c  N dy 13509   2052654     14463     62297         0     96609    189813   6362652    115.78    126.96  --
4090.77/1025.11	c  N dy 13635   2072726     14463     62297         0    116680    189813  10064727    115.78    122.10  --
4127.09/1034.27	c  N dy 13765   2093014     14463     62297         0     70976    189813   1464544    115.78    121.96  --
4157.81/1041.91	c  N dy 13905   2113151     14463     62297         0     91112    189813   5201972    115.79    123.21  --
4191.74/1050.48	c  N dy 14034   2133244     14463     62297         0    111203    189813   8861531    115.79    141.06  --
4230.08/1060.06	c  N dy 14167   2153294     14463     62297         0    131252    189813  12555530    115.81    124.75  --
4260.79/1067.81	c  N dy 14296   2173328     14463     62297         0     84290    189813   3739596    115.81    124.20  --
4293.90/1076.03	c  N dy 14438   2193335     14463     62297         0    104297    189813   7473903    115.85    124.63  --
4325.83/1084.06	c  S st 14550   2210997     14463     62297         0    121959    189813  10738000    115.84    115.82  --
4327.06/1084.36	c  S st 14550   2211500     14463     62297         0    122462    189813  10802612    115.84   no data  --
4327.06/1084.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4327.06/1084.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4327.82/1084.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.61
4330.61/1085.21	c bin-w-bin subsume rem            0 bins  time:  0.02 s
4330.61/1085.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4330.61/1085.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  14463 time:  0.02 s
4330.61/1085.23	c Removed useless bin:       0  fixed:     0  props:   0.14M  time:  0.03 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368673-1305400395/watcher-3368673-1305400395 -o /tmp/evaluation-result-3368673-1305400395/solver-3368673-1305400395 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368673-1305400395.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.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 107648963 52465664 353 33554432000 4194304 4650419 140734658179200 18446744073709551615 47901223073718 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 12809 353 303 112 0 7774 0
[pid=3113/tid=3114] ppid=3111 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 107648964 52465664 353 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880621553 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 107648964 52465664 353 33554432000 4194304 4650419 140734658179200 18446744073709551615 47901223073714 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 107648964 52465664 353 33554432000 4194304 4650419 140734658179200 18446744073709551615 47901223073714 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.112305 s]
/proc/loadavg: 7.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=304400 CPUtime=0.53 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 13671 0 0 0 47 6 0 0 18 0 4 0 107648963 311705600 11522 33554432000 4194304 4650419 140734658179200 18446744073709551615 4454740 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 76100 11641 377 112 0 71065 0
[pid=3113/tid=3114] ppid=3111 vsize=304400 CPUtime=0.12 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 3683 0 0 0 10 2 0 0 18 0 4 0 107648964 311705600 11679 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=304400 CPUtime=0.13 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) S 3111 3113 2853 0 -1 4202560 3637 0 0 0 12 1 0 0 18 0 4 0 107648964 311705600 11827 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=304400 CPUtime=0.14 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 2955 0 0 0 13 1 0 0 18 0 4 0 107648964 311705600 11847 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 304400

[startup+0.248773 s]
/proc/loadavg: 7.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=309872 CPUtime=0.93 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 19191 0 0 0 80 13 0 0 17 0 4 0 107648963 317308928 17036 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 77468 17058 385 112 0 72433 0
[pid=3113/tid=3114] ppid=3111 vsize=309872 CPUtime=0.23 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) S 3111 3113 2853 0 -1 4202560 5550 0 0 0 19 4 0 0 18 0 4 0 107648964 317308928 17067 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880670190 0 0 4096 2 18446604443813293120 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=309872 CPUtime=0.23 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 5498 0 0 0 20 3 0 0 17 0 4 0 107648964 317308928 17079 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880262531 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=309872 CPUtime=0.24 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 3057 0 0 0 23 1 0 0 18 0 4 0 107648964 317308928 17091 33554432000 4194304 4650419 140734658179200 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 309872

[startup+0.797748 s]
/proc/loadavg: 7.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=314088 CPUtime=4 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 24396 0 0 0 386 14 0 0 18 0 4 0 107648963 321626112 21251 33554432000 4194304 4650419 140734658179200 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 78522 21251 391 112 0 73487 0
[pid=3113/tid=3114] ppid=3111 vsize=314088 CPUtime=0.99 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 6730 0 0 0 95 4 0 0 19 0 4 0 107648964 321626112 21251 33554432000 4194304 4650419 140734658179200 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=314088 CPUtime=0.99 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 6977 0 0 0 96 3 0 0 18 0 4 0 107648964 321626112 21251 33554432000 4194304 4650419 140734658179200 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=314088 CPUtime=1.01 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 3739 0 0 0 100 1 0 0 19 0 4 0 107648964 321626112 21251 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328541 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 314088

[startup+1.12904 s]
/proc/loadavg: 7.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=314088 CPUtime=4.4 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 24761 0 0 0 426 14 0 0 18 0 4 0 107648963 321626112 21616 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 78522 21616 391 112 0 73487 0
[pid=3113/tid=3114] ppid=3111 vsize=314088 CPUtime=1.09 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 6818 0 0 0 105 4 0 0 19 0 4 0 107648964 321626112 21616 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=314088 CPUtime=1.09 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 7068 0 0 0 106 3 0 0 18 0 4 0 107648964 321626112 21616 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=314088 CPUtime=1.11 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 3830 0 0 0 110 1 0 0 19 0 4 0 107648964 321626112 21616 33554432000 4194304 4650419 140734658179200 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 314088

[startup+1.50098 s]
/proc/loadavg: 7.67 8.03 7.67 6/298 3113
/proc/meminfo: memFree=15842244/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=314088 CPUtime=5.89 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 26090 0 0 0 574 15 0 0 19 0 4 0 107648963 321626112 22945 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 78522 22945 391 112 0 73487 0
[pid=3113/tid=3114] ppid=3111 vsize=314088 CPUtime=1.46 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 7149 0 0 0 142 4 0 0 19 0 4 0 107648964 321626112 22945 33554432000 4194304 4650419 140734658179200 18446744073709551615 4349694 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=314088 CPUtime=1.46 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 7401 0 0 0 143 3 0 0 19 0 4 0 107648964 321626112 22945 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=314088 CPUtime=1.47 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 4152 0 0 0 146 1 0 0 19 0 4 0 107648964 321626112 22945 33554432000 4194304 4650419 140734658179200 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 314088

[startup+3.1007 s]
/proc/loadavg: 7.67 8.03 7.67 9/302 3117
/proc/meminfo: memFree=15711212/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=466632 CPUtime=12.27 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 31751 0 0 0 1210 17 0 0 23 0 4 0 107648963 477831168 28606 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363455 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 116658 28606 391 112 0 111623 0
[pid=3113/tid=3114] ppid=3111 vsize=466632 CPUtime=3.04 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 8583 0 0 0 300 4 0 0 24 0 4 0 107648964 477831168 28606 33554432000 4194304 4650419 140734658179200 18446744073709551615 4364590 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=466632 CPUtime=3.06 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 8857 0 0 0 302 4 0 0 23 0 4 0 107648964 477831168 28606 33554432000 4194304 4650419 140734658179200 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=466632 CPUtime=3.08 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 5519 0 0 0 306 2 0 0 24 0 4 0 107648964 477831168 28606 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 466632

[startup+6.31114 s]
/proc/loadavg: 7.70 8.03 7.67 9/302 3118
/proc/meminfo: memFree=15666176/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=325776 CPUtime=25.08 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 47369 0 0 0 2487 21 0 0 25 0 4 0 107648963 333594624 27940 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 81444 27940 394 112 0 76409 0
[pid=3113/tid=3114] ppid=3111 vsize=325776 CPUtime=6.23 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 12567 0 0 0 617 6 0 0 25 0 4 0 107648964 333594624 27940 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=325776 CPUtime=6.27 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 12542 0 0 0 623 4 0 0 25 0 4 0 107648964 333594624 27940 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=325776 CPUtime=6.28 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 9647 0 0 0 626 2 0 0 25 0 4 0 107648964 333594624 27940 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.08
Current children cumulated vsize (KiB) 325776

[startup+12.701 s]
/proc/loadavg: 7.72 8.03 7.67 9/302 3118
/proc/meminfo: memFree=15425668/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=590680 CPUtime=50.59 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 112567 0 0 0 5021 38 0 0 25 0 4 0 107648963 604856320 82489 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 147670 82490 395 112 0 142635 0
[pid=3113/tid=3114] ppid=3111 vsize=590680 CPUtime=12.56 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 35768 0 0 0 1245 11 0 0 25 0 4 0 107648964 604856320 82490 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=590680 CPUtime=12.66 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 21381 0 0 0 1260 6 0 0 25 0 4 0 107648964 604856320 82490 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=590680 CPUtime=12.67 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 27425 0 0 0 1259 8 0 0 25 0 4 0 107648964 604856320 82490 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 590680

[startup+25.5008 s]
/proc/loadavg: 7.86 8.04 7.68 9/302 3118
/proc/meminfo: memFree=15283572/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=522284 CPUtime=101.65 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 154451 0 0 0 10116 49 0 0 25 0 4 0 107648963 534818816 84472 33554432000 4194304 4650419 140734658179200 18446744073709551615 4439641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 130571 84474 395 112 0 125536 0
[pid=3113/tid=3114] ppid=3111 vsize=522284 CPUtime=25.24 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 44735 0 0 0 2511 13 0 0 25 0 4 0 107648964 534818816 84474 33554432000 4194304 4650419 140734658179200 18446744073709551615 4439636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=522284 CPUtime=25.45 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 33478 0 0 0 2536 9 0 0 25 0 4 0 107648964 534818816 84474 33554432000 4194304 4650419 140734658179200 18446744073709551615 218880226337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=522284 CPUtime=25.47 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 37177 0 0 0 2536 11 0 0 25 0 4 0 107648964 534818816 84474 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363582 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 522284

[startup+51.1003 s]
/proc/loadavg: 7.91 8.04 7.69 9/302 3118
/proc/meminfo: memFree=15079276/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=780708 CPUtime=203.81 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 222619 0 0 0 20315 66 0 0 25 0 4 0 107648963 799444992 123201 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 195177 123201 395 112 0 190142 0
[pid=3113/tid=3114] ppid=3111 vsize=780708 CPUtime=50.61 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 59934 0 0 0 5045 16 0 0 25 0 4 0 107648964 799444992 123201 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=780708 CPUtime=51.04 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 54292 0 0 0 5089 15 0 0 25 0 4 0 107648964 799444992 123201 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363883 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=780708 CPUtime=51.07 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 55175 0 0 0 5090 17 0 0 25 0 4 0 107648964 799444992 123201 33554432000 4194304 4650419 140734658179200 18446744073709551615 4367284 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 780708

[startup+102.3 s]
/proc/loadavg: 8.12 8.07 7.72 9/302 3122
/proc/meminfo: memFree=14955132/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=757504 CPUtime=408.14 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 319320 0 0 0 40717 97 0 0 25 0 4 0 107648963 775684096 140140 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 189376 140140 395 112 0 184341 0
[pid=3113/tid=3114] ppid=3111 vsize=757504 CPUtime=101.34 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 92094 0 0 0 10108 26 0 0 25 0 4 0 107648964 775684096 140140 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=757504 CPUtime=102.24 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 80934 0 0 0 10201 23 0 0 25 0 4 0 107648964 775684096 140140 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=757504 CPUtime=102.27 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 86473 0 0 0 10200 27 0 0 25 0 4 0 107648964 775684096 140140 33554432000 4194304 4650419 140734658179200 18446744073709551615 4364468 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 757504

[startup+162.301 s]

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

[pid=3113] ppid=3111 vsize=1076672 CPUtime=2802.58 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 1756162 0 0 0 279769 489 0 0 25 0 4 0 107648963 1102512128 219208 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363617 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 269168 219208 395 112 0 264133 0
[pid=3113/tid=3114] ppid=3111 vsize=1076672 CPUtime=695.89 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 624587 0 0 0 69446 143 0 0 25 0 4 0 107648964 1102512128 219208 33554432000 4194304 4650419 140734658179200 18446744073709551615 4520254 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1076672 CPUtime=702.14 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 305488 0 0 0 70110 104 0 0 25 0 4 0 107648964 1102512128 219208 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1076672 CPUtime=702.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 489521 0 0 0 70081 145 0 0 25 0 4 0 107648964 1102512128 219208 33554432000 4194304 4650419 140734658179200 18446744073709551615 4349680 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.58
Current children cumulated vsize (KiB) 1076672

[startup+762.3 s]
/proc/loadavg: 8.18 8.13 7.92 9/302 3145
/proc/meminfo: memFree=14301280/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1064660 CPUtime=3041.99 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 1862949 0 0 0 303674 525 0 0 25 0 4 0 107648963 1090211840 223369 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 266165 223369 395 112 0 261130 0
[pid=3113/tid=3114] ppid=3111 vsize=1064660 CPUtime=755.34 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 650617 0 0 0 75381 153 0 0 25 0 4 0 107648964 1090211840 223369 33554432000 4194304 4650419 140734658179200 18446744073709551615 4334669 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1064660 CPUtime=762.12 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 330810 0 0 0 76098 114 0 0 25 0 4 0 107648964 1090211840 223369 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1064660 CPUtime=762.25 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 515584 0 0 0 76073 152 0 0 25 0 4 0 107648964 1090211840 223369 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.99
Current children cumulated vsize (KiB) 1064660

[startup+822.301 s]
/proc/loadavg: 8.11 8.12 7.92 9/302 3146
/proc/meminfo: memFree=14115512/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1213612 CPUtime=3281.45 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 1958112 0 0 0 327583 562 0 0 25 0 4 0 107648963 1242738688 249544 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 303403 249544 395 112 0 298368 0
[pid=3113/tid=3114] ppid=3111 vsize=1213612 CPUtime=814.79 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 678861 0 0 0 81316 163 0 0 25 0 4 0 107648964 1242738688 249544 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1213612 CPUtime=822.11 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 342517 0 0 0 82094 117 0 0 25 0 4 0 107648964 1242738688 249544 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1213612 CPUtime=822.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 545078 0 0 0 82061 165 0 0 25 0 4 0 107648964 1242738688 249544 33554432000 4194304 4650419 140734658179200 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3281.45
Current children cumulated vsize (KiB) 1213612

[startup+882.301 s]
/proc/loadavg: 8.08 8.11 7.93 9/302 3148
/proc/meminfo: memFree=14081016/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1214320 CPUtime=3520.9 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 2086205 0 0 0 351493 597 0 0 25 0 4 0 107648963 1243463680 248794 33554432000 4194304 4650419 140734658179200 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 303580 248794 395 112 0 298545 0
[pid=3113/tid=3114] ppid=3111 vsize=1214320 CPUtime=874.25 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 716037 0 0 0 87255 170 0 0 25 0 4 0 107648964 1243463680 248794 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1214320 CPUtime=882.1 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 383932 0 0 0 88088 122 0 0 25 0 4 0 107648964 1243463680 248794 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1214320 CPUtime=882.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 572119 0 0 0 88048 178 0 0 25 0 4 0 107648964 1243463680 248794 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363394 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.9
Current children cumulated vsize (KiB) 1214320

[startup+942.301 s]
/proc/loadavg: 8.06 8.10 7.93 10/302 3149
/proc/meminfo: memFree=13960344/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1359596 CPUtime=3760.36 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 2202806 0 0 0 375400 636 0 0 25 0 4 0 107648963 1392226304 279421 33554432000 4194304 4650419 140734658179200 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 339899 279421 395 112 0 334864 0
[pid=3113/tid=3114] ppid=3111 vsize=1359596 CPUtime=933.71 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 738977 0 0 0 93191 180 0 0 25 0 4 0 107648964 1392226304 279423 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1359596 CPUtime=942.11 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 391459 0 0 0 94087 124 0 0 25 0 4 0 107648964 1392226304 279423 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1359596 CPUtime=942.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 632873 0 0 0 94031 195 0 0 25 0 4 0 107648964 1392226304 279423 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3760.36
Current children cumulated vsize (KiB) 1359596

[startup+1002.3 s]
/proc/loadavg: 8.17 8.13 7.95 9/302 3151
/proc/meminfo: memFree=13890756/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1386932 CPUtime=3999.78 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 2546426 0 0 0 399279 699 0 0 25 0 4 0 107648963 1420218368 288059 33554432000 4194304 4650419 140734658179200 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 346733 288059 395 112 0 341698 0
[pid=3113/tid=3114] ppid=3111 vsize=1386932 CPUtime=993.15 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 766286 0 0 0 99122 193 0 0 25 0 4 0 107648964 1420218368 288059 33554432000 4194304 4650419 140734658179200 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1386932 CPUtime=1002.09 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 476510 0 0 0 100073 136 0 0 25 0 4 0 107648964 1420218368 288059 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1386932 CPUtime=1002.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 840639 0 0 0 100004 222 0 0 25 0 4 0 107648964 1420218368 288059 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.78
Current children cumulated vsize (KiB) 1386932

[startup+1062.31 s]
/proc/loadavg: 8.13 8.12 7.96 9/302 3153
/proc/meminfo: memFree=13904744/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1386524 CPUtime=4239.26 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 2842125 0 0 0 423168 758 0 0 25 0 4 0 107648963 1419800576 272748 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 346631 272748 395 112 0 341596 0
[pid=3113/tid=3114] ppid=3111 vsize=1386524 CPUtime=1052.61 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 794145 0 0 0 105055 206 0 0 25 0 4 0 107648964 1419800576 272748 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1386524 CPUtime=1062.09 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 499366 0 0 0 106066 143 0 0 25 0 4 0 107648964 1419800576 272748 33554432000 4194304 4650419 140734658179200 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1386524 CPUtime=1062.26 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1056998 0 0 0 105977 249 0 0 25 0 4 0 107648964 1419800576 272748 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4239.26
Current children cumulated vsize (KiB) 1386524

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 7.97 9/302 3154
/proc/meminfo: memFree=13696780/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1585648 CPUtime=4478.66 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 3269103 0 0 0 447033 833 0 0 25 0 4 0 107648963 1623703552 319667 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 396412 319667 395 112 0 391377 0
[pid=3113/tid=3114] ppid=3111 vsize=1585648 CPUtime=1112.06 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 904583 0 0 0 110982 224 0 0 25 0 4 0 107648964 1623703552 319667 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1585648 CPUtime=1122.06 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 525845 0 0 0 112051 155 0 0 25 0 4 0 107648964 1623703552 319667 33554432000 4194304 4650419 140734658179200 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1585648 CPUtime=1122.25 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1249206 0 0 0 111948 277 0 0 25 0 4 0 107648964 1623703552 319667 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.66
Current children cumulated vsize (KiB) 1585648

[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 7.98 9/302 3156
/proc/meminfo: memFree=13740288/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1531780 CPUtime=4718.11 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 3890259 0 0 0 470883 928 0 0 25 0 4 0 107648963 1568542720 316534 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 382945 316534 395 112 0 377910 0
[pid=3113/tid=3114] ppid=3111 vsize=1531780 CPUtime=1171.51 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1106374 0 0 0 116899 252 0 0 25 0 4 0 107648964 1568542720 316534 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1531780 CPUtime=1182.06 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 546654 0 0 0 118038 168 0 0 25 0 4 0 107648964 1568542720 316534 33554432000 4194304 4650419 140734658179200 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1531780 CPUtime=1182.25 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1442023 0 0 0 117922 303 0 0 25 0 4 0 107648964 1568542720 316534 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4718.11
Current children cumulated vsize (KiB) 1531780



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.9 s]
/proc/loadavg: 8.20 8.14 7.98 5/297 3157
/proc/meminfo: memFree=14581540/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1586124 CPUtime=4800.35 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 4103525 0 0 0 479071 964 0 0 25 0 4 0 107648963 1624190976 324676 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 396531 324676 395 112 0 391496 0
[pid=3113/tid=3114] ppid=3111 vsize=1586124 CPUtime=1191.93 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1177145 0 0 0 118930 263 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1586124 CPUtime=1202.67 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 554800 0 0 0 120094 173 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4314861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1586124 CPUtime=1202.87 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1504289 0 0 0 119973 314 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1586124

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

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

[startup+1202.9 s]
/proc/loadavg: 8.20 8.14 7.98 5/297 3157
/proc/meminfo: memFree=14581540/32950928 swapFree=67111364/67111528
[pid=3113] ppid=3111 vsize=1586124 CPUtime=4800.35 cores=0,2,4,6
/proc/3113/stat : 3113 (strangenight1-m) R 3111 3113 2853 0 -1 4202496 4103525 0 0 0 479071 964 0 0 25 0 4 0 107648963 1624190976 324676 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/3113/statm: 396531 324676 395 112 0 391496 0
[pid=3113/tid=3114] ppid=3111 vsize=1586124 CPUtime=1191.93 cores=0,2,4,6
/proc/3113/task/3114/stat : 3114 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1177145 0 0 0 118930 263 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=3113/tid=3115] ppid=3111 vsize=1586124 CPUtime=1202.67 cores=0,2,4,6
/proc/3113/task/3115/stat : 3115 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 554800 0 0 0 120094 173 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4314861 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=3113/tid=3116] ppid=3111 vsize=1586124 CPUtime=1202.87 cores=0,2,4,6
/proc/3113/task/3116/stat : 3116 (strangenight1-m) R 3111 3113 2853 0 -1 4202560 1504289 0 0 0 119973 314 0 0 25 0 4 0 107648964 1624190976 324678 33554432000 4194304 4650419 140734658179200 18446744073709551615 4441467 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 1586124

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.98
CPU time (s): 4800.45
CPU user time (s): 4790.75
CPU system time (s): 9.70452
CPU usage (%): 399.048
Max. virtual memory (cumulated for all children) (KiB): 1586124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4790.75
system time used= 9.70452
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4103853
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= 12513
involuntary context switches= 21855

runsolver used 3.14052 second user time and 7.82281 second system time

The end

Launcher Data 

Begin job on node112 at 2011-05-14 21:13:16
IDJOB=3368673
IDBENCH=82682
IDSOLVER=1846
FILE ID=node112/3368673-1305400395
RUNJOBID= node112-1305397985-2879
PBS_JOBID= 13324474
Free space on /tmp= 73556 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368673-1305400395/watcher-3368673-1305400395 -o /tmp/evaluation-result-3368673-1305400395/solver-3368673-1305400395 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3368673-1305400395.cnf

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

MD5SUM BENCH= 17341e8eb76284acaef626682c91dea1
RANDOM SEED=946828459

node112.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.847
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.847
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	: 5180.45
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.847
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.76
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.847
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.847
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.61
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.847
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.83
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.847
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.74
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.847
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:     32950928 kB
MemFree:      15842772 kB
Buffers:        288736 kB
Cached:        2781800 kB
SwapCached:          0 kB
Active:       15109120 kB
Inactive:      1760920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15842772 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           15764 kB
Writeback:           0 kB
AnonPages:    13799048 kB
Mapped:          21452 kB
Slab:           132628 kB
PageTables:      42136 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 35116408 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= 73556 MiB
End job on node112 at 2011-05-14 21:33:20