Trace number 3261317

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 TechDemo-Alpha-mt? (TO) 4800.28 1201.72

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-7-12-unsat.cnf
MD5SUM72a4d94c7603cb921acb8c9bb848aa10
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark11.2073
Satisfiable
(Un)Satisfiability was proved
Number of variables84
Number of clauses301
Sum of the clauses size1092
Maximum clause length12
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2252
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 549

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3261317-1304131286.cnf'
0.00/0.00	c -- header says num vars:             84
0.00/0.00	c -- header says num clauses:         301
0.00/0.00	c -- clauses added:            0 learnts,          301 normals,            0 xors
0.00/0.00	c -- vars added         84
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0        84        49       252         0      1092         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/49/49 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.00	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
0.00/0.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.00	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.00/0.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.00	c learnt bin added due to v-elim: 0
0.00/0.00	c Finding binary XORs  T:     0.00 s  found:       0
1.58/0.48	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
1.58/0.48	c calculated reachability. Time: 0.00
1.58/0.48	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:      84
1.58/0.48	c =========================================================================================
1.58/0.48	c types(t): F = full restart, N = normal restart
1.58/0.48	c types(t): S = simplification begin/end, E = solution found
1.58/0.48	c restart types(rt): st = static, dy = dynamic
1.58/0.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.58/0.48	c  B st     0         0        84        49       252         0      1092         0   no data   no data  --
1.58/0.48	c Decided on static restart strategy
1.58/0.48	c  N dy    20      4059        84        49       252      3870      1092    125503     32.71     13.54  --
1.58/0.48	c  N dy    50      8166        84        49       252      5427      1092    164268     31.39     13.55  --
1.98/0.80	c  N dy    79     12171        84        49       252      5193      1092    149411     31.17     13.52  --
3.58/0.90	c  N dy   108     16185        84        49       252      9031      1092    265351     30.57     13.53  --
4.78/1.20	c  N dy   138     20324        84        49       252      7610      1092    204445     29.24     13.50  --
5.97/1.50	c  N dy   167     24416        84        49       252     11469      1092    316834     29.57     13.46  --
7.17/1.82	c  N dy   195     28444        84        49       252      8782      1092    226400     30.11     13.44  --
7.57/1.96	c  S st   207     30000        84        49       252     10248      1092    266955     26.10     13.43  --
7.57/2.00	c  S st   207     30503        84        49       252     10739      1092    283213     26.10     13.43  --
7.57/2.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.57/2.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.97/2.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.2M T:  0.21
7.97/2.05	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
7.97/2.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.97/2.05	c Subs w/ non-existent bins:      0 time:  0.01 s
7.97/2.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.25 s
8.37/2.12	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
9.17/2.37	c lits-rem:       410  cl-subs:     1471  v-elim:      0  v-fix:    0  time:  1.01 s
9.17/2.37	c learnt bin added due to v-elim: 0
9.17/2.37	c vivif2 --  cl tried       49 cl shrink        0 lits rem          0 time: 0.00
9.17/2.37	c vivif2 --  cl tried     9268 cl shrink        0 lits rem          0 time: 0.01
9.17/2.38	c asymm  cl-useful: 0/49/49 lits-rem:0 time: 0.01
9.17/2.38	c calculated reachability. Time: 0.00
9.17/2.38	c  N dy   207     30503        84        49       252      9268      1092    256132     26.10     13.43  --
9.17/2.38	c  F st   207     30503        84        49       252      9268      1092    256132     26.10     13.43  --
9.59/2.48	c Decided on static restart strategy
10.36/2.61	c  N dy   227     34573        84        49       252     13198      1092    379652     31.94     13.40  --
11.16/2.86	c  N dy   256     38592        84        49       252      9563      1092    256522     30.62     13.38  --
12.36/3.15	c  N dy   285     42702        84        49       252     13496      1092    379334     30.46     13.42  --
13.56/3.48	c  S st   307     45754        84        49       252     16396      1092    467247     31.70     13.43  --
13.97/3.53	c  S st   307     46260        84        49       252     16885      1092    483136     31.70     13.43  --
13.97/3.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
13.97/3.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.38/3.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.4M T:  0.47
14.38/3.64	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
14.38/3.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.38/3.65	c Subs w/ non-existent bins:      0 time:  0.02 s
14.38/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.75/3.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.45 s
14.75/3.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
17.56/4.42	c lits-rem:       190  cl-subs:      979  v-elim:      0  v-fix:    0  time:  2.62 s
17.56/4.42	c learnt bin added due to v-elim: 0
17.56/4.42	c vivif2 --  cl tried       49 cl shrink        0 lits rem          0 time: 0.00
17.56/4.43	c vivif2 --  cl tried    15906 cl shrink        0 lits rem          0 time: 0.02
17.56/4.43	c asymm  cl-useful: 0/49/49 lits-rem:0 time: 0.03
17.56/4.44	c calculated reachability. Time: 0.00
17.56/4.44	c  N dy   307     46260        84        49       252     15906      1092    458096     31.70     13.43  --
18.37/4.67	c  N dy   336     50301        84        49       252     11253      1092    299449     32.20     13.47  --
19.55/4.96	c  N dy   365     54404        84        49       252     15144      1092    423337     31.33     13.50  --
21.55/5.41	c  N dy   394     58524        84        49       252      9546      1092    229702     28.91     13.54  --
22.35/5.64	c  N dy   423     62574        84        49       252     13433      1092    345093     30.39     13.55  --
23.55/5.98	c  N dy   451     66609        84        49       252     17256      1092    459385     29.82     13.58  --
24.75/6.29	c  S st   471     69391        84        49       252     19867      1092    539566     30.25     13.59  --
25.15/6.34	c  S st   471     69899        84        49       252     20366      1092    555173     30.25     13.59  --
25.15/6.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.15/6.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.95/6.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.3M T:  0.91
25.95/6.57	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
25.95/6.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
25.95/6.57	c Subs w/ non-existent bins:      0 time:  0.02 s
25.95/6.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.75/6.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.53 s
26.75/6.71	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
29.14/7.34	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
37.53/9.41	c Added 1 vars  tried: 31500 time: 8.29
37.53/9.49	c ORs :      1 avg-s:  0.0 cl-sh:  6457 l-rem:   6457 b-add:      2 v-rep:   0 cl-rem: 0 avg s: nan T:    8.58
37.53/9.49	c lits-rem:       240  cl-subs:     1604  v-elim:      0  v-fix:    0  time: 11.09 s
37.53/9.49	c learnt bin added due to v-elim: 0
37.53/9.49	c vivif2 --  cl tried       50 cl shrink        0 lits rem          0 time: 0.00
37.93/9.50	c vivif2 --  cl tried    18762 cl shrink        0 lits rem          0 time: 0.02
37.93/9.51	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.04
37.93/9.51	c calculated reachability. Time: 0.00
37.93/9.51	c  N dy   471     69899        85        50       254     18762      1092    512690     30.25     13.59  --
37.93/9.51	c  F st   471     69899        85        50       254     18762      1092    512690     30.25     13.59  --
38.33/9.65	c Decided on static restart strategy
39.13/9.81	c  N dy   495     74472        85        50       254     12760      1092    320037     30.79     13.60  --
40.34/10.15	c  N dy   530     79341        85        50       254     17480      1092    466798     31.78     13.57  --
42.32/10.67	c  N dy   566     84415        85        50       254     22335      1092    615037     30.35     13.58  --
43.92/11.07	c  N dy   605     89895        85        50       254     16093      1092    409493     31.13     13.55  --
45.91/11.57	c  N dy   646     95743        85        50       254     21644      1092    575107     28.09     13.59  --
48.31/12.16	c  N dy   689    101856        85        50       254     15051      1092    363293     27.02     13.56  --
49.13/12.39	c  S st   711    104848        85        50       254     17886      1092    444453     28.92     13.56  --
49.53/12.43	c  S st   711    105351        85        50       254     18372      1092    459756     28.92     13.56  --
49.53/12.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.53/12.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.31/12.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.9M T:  0.99
50.31/12.68	c Calc non-exist non-lernt bins v-fix:     0 done:     85 time:  0.00 s
50.31/12.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.31/12.68	c Subs w/ non-existent bins:      0 time:  0.01 s
50.31/12.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
50.71/12.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.40 s
50.71/12.79	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
54.71/13.74	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
54.71/13.75	c lits-rem:       629  cl-subs:     2704  v-elim:      1  v-fix:    0  time:  3.82 s
54.71/13.75	c learnt bin added due to v-elim: 0
54.71/13.75	c vivif2 --  cl tried       55 cl shrink        0 lits rem          0 time: 0.00
54.71/13.75	c vivif2 --  cl tried    15668 cl shrink        0 lits rem          0 time: 0.02
54.71/13.76	c asymm  cl-useful: 0/55/55 lits-rem:0 time: 0.04
54.71/13.76	c calculated reachability. Time: 0.00
54.71/13.76	c  N dy   711    105351        84        55       247     15668      1093    401210     28.92     13.56  --
56.71/14.27	c  N dy   760    112199        84        55       247     22235      1093    604185     29.94     13.57  --
59.50/14.98	c  N dy   811    119403        84        55       247     15846      1093    387569     30.16     13.54  --
62.31/15.65	c  N dy   865    127032        84        55       247     23125      1093    602055     27.33     13.52  --
65.89/16.56	c  N dy   923    135227        84        55       247     16592      1093    405412     26.17     13.46  --
69.08/17.38	c  N dy   985    143986        84        55       247     24880      1093    642653     26.31     13.45  --
73.48/18.46	c  N dy  1049    153187        84        55       247     18387      1093    431107     27.44     13.44  --
75.50/18.94	c  S st  1084    158026        84        55       247     22983      1093    560572     27.12     13.44  --
75.50/18.99	c  S st  1084    158528        84        55       247     23477      1093    576005     27.12     13.44  --
75.50/18.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.50/18.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.08/19.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 22.9M T:  1.41
77.08/19.34	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
77.08/19.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
77.08/19.35	c Subs w/ non-existent bins:      0 time:  0.02 s
77.08/19.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.48/19.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.52 s
77.48/19.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
80.67/20.20	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
80.67/20.21	c lits-rem:       521  cl-subs:     1856  v-elim:      0  v-fix:    0  time:  2.91 s
80.67/20.21	c learnt bin added due to v-elim: 0
80.67/20.21	c vivif2 --  cl tried       55 cl shrink        0 lits rem          0 time: 0.00
80.67/20.22	c vivif2 --  cl tried    21621 cl shrink        0 lits rem          0 time: 0.02
80.67/20.23	c asymm  cl-useful: 0/55/55 lits-rem:0 time: 0.06
80.67/20.23	c calculated reachability. Time: 0.00
80.67/20.23	c  N dy  1084    158528        84        55       247     21621      1093    543661     27.12     13.44  --
84.69/21.21	c  N dy  1156    168737        84        55       247     31409      1093    851789     30.79     13.45  --
88.26/22.17	c  N dy  1232    179573        84        55       247     25637      1093    654609     28.53     13.48  --
93.85/23.56	c  N dy  1313    191141        84        55       247     19502      1093    441859     29.86     13.48  --
99.04/24.86	c  N dy  1399    203447        84        55       247     31163      1093    780553     28.59     13.48  --
105.04/26.34	c  N dy  1491    216540        84        55       247     25563      1093    593093     28.67     13.47  --
112.22/28.17	c  N dy  1588    230442        84        55       247     19751      1093    398999     26.47     13.44  --
115.04/28.84	c  S st  1639    237792        84        55       247     26712      1093    594837     27.26     13.43  --
115.04/28.90	c  S st  1639    238301        84        55       247     27212      1093    609780     27.26     13.43  --
115.04/28.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
115.04/28.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.02/29.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.0M T:  1.75
117.02/29.34	c Calc non-exist non-lernt bins v-fix:     0 done:     84 time:  0.00 s
117.02/29.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
117.02/29.34	c Subs w/ non-existent bins:      0 time:  0.02 s
117.02/29.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
117.42/29.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.51 s
117.42/29.48	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
121.41/30.42	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
121.41/30.42	c lits-rem:       650  cl-subs:     2293  v-elim:      0  v-fix:    0  time:  3.77 s
121.41/30.42	c learnt bin added due to v-elim: 0
121.41/30.42	c vivif2 --  cl tried       55 cl shrink        0 lits rem          0 time: 0.00
121.41/30.43	c vivif2 --  cl tried    24919 cl shrink        0 lits rem          0 time: 0.02
121.41/30.44	c asymm  cl-useful: 0/55/55 lits-rem:0 time: 0.06
121.41/30.44	c calculated reachability. Time: 0.00
121.41/30.44	c  N dy  1639    238301        84        55       247     24919      1093    572842     27.26     13.43  --
129.00/32.36	c  N dy  1747    253653        88        55       258     39538      1111   1027753     31.05     13.45  --
136.20/34.12	c  N dy  1860    269849        88        55       258     34984      1111    853064     30.88     13.45  --
144.98/36.33	c  N dy  1980    287104        88        55       258     30355      1111    687296     27.48     13.44  --
155.36/38.93	c  N dy  2108    305461        88        55       258     25947      1111    540545     28.65     13.44  --
166.95/41.80	c  N dy  2244    325045        88        55       258     44211      1111   1056886     28.72     13.43  --
176.96/44.32	c  N dy  2384    345179        88        55       258     40628      1111    933577     26.39     13.43  --
183.73/46.06	c  S st  2470    357452        88        55       258     28688      1111    584690     27.23     13.42  --
184.13/46.11	c  S st  2470    357955        88        55       258     29183      1111    600287     27.23     13.42  --
184.13/46.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
184.13/46.11	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
186.12/46.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 31.8M T:  1.95
186.12/46.60	c Calc non-exist non-lernt bins v-fix:     0 done:     88 time:  0.00 s
186.12/46.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
186.12/46.61	c Subs w/ non-existent bins:      0 time:  0.02 s
186.52/46.70	c Replacing        1 vars Replaced    17090 lits Time:     0.36 s 
186.52/46.71	c bin-w-bin subsume rem            1 bins  time:  0.00 s
186.92/46.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.49 s
186.92/46.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
192.51/48.29	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
192.51/48.29	c lits-rem:      3176  cl-subs:     4271  v-elim:      0  v-fix:    0  time:  5.84 s
192.51/48.29	c learnt bin added due to v-elim: 0
192.51/48.29	c vivif2 --  cl tried       55 cl shrink        0 lits rem          0 time: 0.00
192.91/48.30	c vivif2 --  cl tried    24912 cl shrink        0 lits rem          0 time: 0.03
192.91/48.32	c asymm  cl-useful: 0/55/55 lits-rem:0 time: 0.07
192.91/48.32	c calculated reachability. Time: 0.00
192.91/48.32	c  N dy  2470    357955        87        55       253     24912      1105    543802     27.23     13.42  --
204.10/51.12	c  N dy  2610    378070        87        55       253     43786      1105   1110822     29.32     13.42  --
214.89/53.82	c  N dy  2749    398090        87        55       253     38287      1105    898653     27.47     13.43  --
227.27/56.92	c  N dy  2888    418144        87        55       253     31832      1105    676928     29.12     13.44  --
240.06/60.18	c  N dy  3027    438217        87        55       253     50629      1105   1205912     29.93     13.43  --
250.84/62.88	c  N dy  3166    458232        87        55       253     43087      1105    980089     29.86     13.43  --
264.03/66.14	c  N dy  3305    478339        87        55       253     34775      1105    736634     30.07     13.43  --
276.80/69.34	c  N dy  3443    498378        91        55       261     53386      1121   1268894     28.65     13.44  --
288.38/72.21	c  N dy  3581    518387        91        55       261     44060      1121   1002441     27.58     13.44  --
301.56/75.57	c  S st  3709    536932        91        55       261     32418      1121    668893     28.84     13.45  --
301.96/75.63	c  S st  3709    537434        91        55       261     32910      1121    683515     28.84     13.45  --
301.96/75.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
301.96/75.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
304.39/76.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 38.2M T:  2.43
304.39/76.24	c Calc non-exist non-lernt bins v-fix:     0 done:     91 time:  0.00 s
304.39/76.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
304.39/76.25	c Subs w/ non-existent bins:      0 time:  0.03 s
304.39/76.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.16/76.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.62 s
305.16/76.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
312.77/78.38	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
312.77/78.39	c lits-rem:      2604  cl-subs:     4372  v-elim:      0  v-fix:    0  time:  7.89 s
312.77/78.39	c learnt bin added due to v-elim: 0
312.77/78.39	c vivif2 --  cl tried       55 cl shrink        0 lits rem          0 time: 0.00
312.77/78.40	c vivif2 --  cl tried    28538 cl shrink        0 lits rem          0 time: 0.03
313.18/78.42	c asymm  cl-useful: 0/55/55 lits-rem:0 time: 0.10
313.18/78.42	c calculated reachability. Time: 0.00
313.18/78.42	c  N dy  3709    537434        91        55       261     28538      1121    630663     28.84     13.45  --
313.18/78.42	c  F st  3709    537434        91        55       261     28538      1121    630663     28.84     13.45  --
313.95/78.60	c Decided on static restart strategy
323.54/81.00	c  N dy  3842    557567        91        55       261     47715      1121   1193789     25.92     13.44  --
338.72/84.80	c  N dy  3982    577707        91        55       261     36677      1121    822664     28.39     13.44  --
351.10/87.92	c  N dy  4121    597785        95        55       274     55296      1141   1345759     28.59     13.43  --
363.48/91.01	c  N dy  4260    617799        95        55       274     43223      1141    979790     27.25     13.42  --
378.68/94.86	c  N dy  4399    637891        95        55       276     61952      1143   1514045     26.81     13.43  --
390.65/97.81	c  N dy  4538    658012        95        55       276     49065      1143   1135892     30.31     13.42  --
406.62/101.87	c  N dy  4676    678075        95        55       276     35005      1143    696678     30.60     13.43  --
417.82/104.68	c  N dy  4814    698099        95        55       276     53609      1143   1225760     29.06     13.44  --
433.79/108.67	c  N dy  4952    718143        95        55       276     38767      1143    761643     27.66     13.44  --
446.57/111.84	c  N dy  5091    738188        95        55       276     57494      1143   1288129     27.48     13.45  --
462.17/115.72	c  N dy  5229    758210        95        55       276     41632      1143    812272     29.81     13.45  --
475.75/119.15	c  N dy  5368    778334        95        55       276     60419      1143   1350017     27.63     13.45  --
491.31/123.05	c  N dy  5508    798454        95        55       276     43780      1143    834118     27.52     13.45  --
495.71/124.17	c  S st  5561    806152        95        55       276     50933      1143   1036431     28.22     13.46  --
496.11/124.27	c  S st  5561    806653        95        55       276     51426      1143   1052253     28.22     13.46  --
496.11/124.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
496.11/124.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
500.50/125.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.11
500.50/125.31	c Calc non-exist non-lernt bins v-fix:     0 done:     95 time:  0.00 s
500.50/125.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
500.50/125.32	c Subs w/ non-existent bins:      0 time:  0.05 s
500.50/125.32	c Replacing        2 vars Replaced       53 lits Time:     0.02 s 
500.50/125.34	c bin-w-bin subsume rem            4 bins  time:  0.00 s
501.30/125.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.00 s
501.30/125.59	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
517.27/129.54	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
562.02/140.72	c Added 1 vars  tried: 80000 time: 44.64
562.42/140.89	c ORs :      1 avg-s:  0.0 cl-sh:  8463 l-rem:   8463 b-add:      2 v-rep:   0 cl-rem: 5 avg s: 9.4 T:   45.32
562.82/140.90	c lits-rem:      5197  cl-subs:     7948  v-elim:      0  v-fix:    0  time: 61.17 s
562.82/140.90	c learnt bin added due to v-elim: 0
562.82/140.90	c vivif2 --  cl tried       56 cl shrink        0 lits rem          0 time: 0.00
562.82/140.92	c vivif2 --  cl tried    43473 cl shrink        0 lits rem          0 time: 0.05
562.82/140.96	c asymm  cl-useful: 0/56/56 lits-rem:0 time: 0.19
562.82/140.97	c calculated reachability. Time: 0.00
562.82/140.97	c  N dy  5561    806653        94        56       267     43473      1136    938094     28.22     13.46  --
576.41/144.36	c  N dy  5701    826691        94        56       272     62473      1136   1497402     31.02     13.45  --
592.37/148.38	c  N dy  5840    846758        94        56       272     44941      1136    932506     28.19     13.44  --
607.58/152.14	c  N dy  5979    866882        94        56       272     63717      1136   1459150     26.07     13.44  --
624.33/156.32	c  N dy  6118    886999        94        56       272     45206      1136    887434     27.39     13.44  --
639.51/160.10	c  N dy  6257    907131        94        56       272     63957      1136   1407957     27.47     13.44  --
657.08/164.58	c  N dy  6394    927138        98        56       292     44482      1164    852322     27.40     13.43  --
671.07/168.01	c  N dy  6533    947266        98        56       292     63301      1164   1377838     26.63     13.43  --
689.84/172.76	c  N dy  6670    967349        98        56       292     42762      1164    765715     27.34     13.43  --
703.02/176.06	c  N dy  6809    987480        98        56       292     61578      1164   1285736     27.79     13.44  --
724.19/181.38	c  N dy  6946   1007547        98        56       292     40120      1164    659691     27.08     13.44  --
735.37/184.15	c  N dy  7084   1027632       102        56       312     58934      1190   1176309     28.36     13.43  --
753.35/188.66	c  N dy  7220   1047683       102        56       314     77399      1192   1694308     26.45     13.44  --
885.58/221.78	c  N dy  7265   1209979       102        56       314     59671      1192   1231605     31.53     13.41  --
885.98/221.84	c  S st  7265   1209979       102        56       314     59671      1192   1231605     31.53     13.41  --
886.38/221.95	c  S st  7265   1210483       106        56       333     60224      1218   1247231     31.53     13.41  --
886.38/221.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
886.38/221.95	c Cache  BProp: 0 Set: 0 BXProp: 4 T: 0.00
890.77/223.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      4 BRemN:      4 CBin:       0 P: 60.0M T:  4.35
890.77/223.04	c Calc non-exist non-lernt bins v-fix:     0 done:    106 time:  0.00 s
890.77/223.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
890.77/223.06	c Subs w/ non-existent bins:      0 time:  0.06 s
890.77/223.07	c Replacing       10 vars Replaced      476 lits Time:     0.02 s 
890.77/223.09	c bin-w-bin subsume rem           14 bins  time:  0.00 s
892.36/223.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.32 s
892.36/223.41	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
904.75/226.59	c ORs :      3 avg-s:  2.0 cl-sh:     3 l-rem:      3 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
962.27/240.94	c Added 1 vars  tried: 80000 time: 57.32
963.49/241.27	c ORs :      1 avg-s:  0.0 cl-sh: 13353 l-rem:  13353 b-add:      2 v-rep:   0 cl-rem: 5 avg s: 7.8 T:   58.60
963.49/241.28	c lits-rem:       100  cl-subs:     9571  v-elim:      0  v-fix:    0  time: 71.36 s
963.49/241.28	c learnt bin added due to v-elim: 0
963.49/241.28	c vivif2 --  cl tried       57 cl shrink        0 lits rem          0 time: 0.00
963.87/241.30	c vivif2 --  cl tried    50648 cl shrink        0 lits rem          0 time: 0.06
963.87/241.34	c asymm  cl-useful: 0/57/57 lits-rem:0 time: 0.14
963.87/241.34	c calculated reachability. Time: 0.00
963.87/241.34	c  N dy  7265   1210483        97        57       278     50648      1151   1113603     31.53     13.41  --
980.25/245.48	c  N dy  7407   1230556        97        57       283     69768      1151   1640531     23.72     13.40  --
1007.80/252.36	c  N dy  7545   1250576        97        57       283     88403      1151   2145380     24.11     13.40  --
1022.58/256.07	c  N dy  7684   1270589        97        57       283     62208      1151   1291308     27.42     13.39  --
1043.35/261.25	c  N dy  7822   1290675        97        57       283     80868      1151   1792334     25.71     13.39  --
1064.93/266.68	c  N dy  7960   1310821       101        57       291     53887      1167   1044681     29.61     13.39  --
1080.51/270.55	c  N dy  8097   1330828       101        57       291     72522      1167   1554999     26.87     13.39  --
1106.07/276.97	c  N dy  8234   1350926       101        57       291     91109      1167   2055255     24.75     13.39  --
1121.27/280.79	c  N dy  8373   1371042       101        57       291     63437      1167   1253428     25.00     13.39  --
1141.23/285.77	c  N dy  8511   1391141       105        57       307     82039      1191   1757888     29.75     13.39  --
1163.59/291.36	c  N dy  8649   1411270       105        57       307     53236      1191    963712     30.57     13.40  --
1178.40/295.08	c  N dy  8787   1431311       106        57       309     72010      1195   1477803     27.94     13.40  --
1450.01/363.05	c  N dy  8920   1710484       106        57       310     80388      1195   1801723     23.73     13.42  --
1450.41/363.13	c  S st  8920   1710484       106        57       310     80388      1195   1801723     23.73     13.42  --
1450.41/363.13	c Finding binary XORs  T:     0.00 s  found:       2
1450.41/363.14	c Replacing        2 vars Replaced       54 lits Time:     0.03 s 
1451.22/363.31	c  S st  8920   1710987       104        57       302     80882      1187   1817480     23.73     13.42  --
1451.22/363.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1451.22/363.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1455.99/364.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.5M T:  4.97
1455.99/364.56	c Calc non-exist non-lernt bins v-fix:     0 done:    104 time:  0.01 s
1455.99/364.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1455.99/364.58	c Subs w/ non-existent bins:      0 time:  0.08 s
1456.39/364.61	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1461.58/365.97	c subs with bin:     6101  lits-rem:      1371  v-fix:    0  time:  5.41 s
1461.58/365.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1491.95/373.54	c ORs :      6 avg-s:  2.0 cl-sh:    19 l-rem:     19 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 18.5 T:    0.04
1583.04/396.31	c Added 2 vars  tried: 80000 time: 90.97
1589.01/397.87	c ORs :      2 avg-s:  0.0 cl-sh: 46056 l-rem:  46056 b-add:      5 v-rep:   0 cl-rem: 8 avg s: 6.4 T:   97.20
1589.41/397.90	c lits-rem:       533  cl-subs:    14648  v-elim:      0  v-fix:    0  time: 127.53 s
1589.41/397.90	c learnt bin added due to v-elim: 0
1589.41/397.90	c vivif2 --  cl tried       59 cl shrink        0 lits rem          0 time: 0.00
1589.41/397.92	c vivif2 --  cl tried    60122 cl shrink        0 lits rem          0 time: 0.08
1589.41/397.94	c asymm  cl-useful: 0/59/59 lits-rem:0 time: 0.11
1589.41/397.95	c calculated reachability. Time: 0.00
1589.41/397.95	c  N dy  8920   1710987       106        59       303     60122      1179   1456297     23.73     13.42  --
2217.37/555.13	c  N dy  8972   2210989       110        59       322     75954      1197   1787122     31.87     13.37  --
2217.76/555.22	c  S st  8972   2210989       110        59       322     75954      1197   1787122     31.87     13.37  --
2218.56/555.43	c  S st  8972   2211492       113        59       328     76469      1209   1801724     31.87     13.37  --
2218.56/555.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2218.56/555.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2223.36/556.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 60.3M T:  4.94
2223.36/556.68	c Calc non-exist non-lernt bins v-fix:     0 done:    112 time:  0.01 s
2223.36/556.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2223.76/556.70	c Subs w/ non-existent bins:      7 time:  0.09 s
2224.95/557.00	c Replacing        2 vars Replaced    10369 lits Time:     1.18 s 
2224.95/557.02	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2226.95/557.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.96 s
2226.95/557.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2254.93/564.55	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
2254.93/564.57	c lits-rem:       134  cl-subs:    11421  v-elim:      2  v-fix:    0  time: 28.17 s
2254.93/564.57	c learnt bin added due to v-elim: 0
2254.93/564.57	c vivif2 --  cl tried       68 cl shrink        0 lits rem          0 time: 0.00
2254.93/564.59	c vivif2 --  cl tried    56808 cl shrink        0 lits rem          0 time: 0.08
2255.33/564.66	c asymm  cl-useful: 0/68/68 lits-rem:0 time: 0.29
2255.33/564.67	c calculated reachability. Time: 0.00
2255.33/564.67	c  N dy  8972   2211492       108        68       293     56808      1182   1422774     31.87     13.37  --
2276.08/569.84	c  N dy  9111   2231497       108        68       293     75706      1182   1962985     29.60     13.37  --
3152.49/789.26	c  N dy  9154   2711493       116        68       313     80712      1218   1885205     29.45     13.51  --
3152.89/789.36	c  S st  9154   2711493       116        68       313     80712      1218   1885205     29.45     13.51  --
3153.69/789.59	c  S st  9154   2711999       116        68       313     81230      1218   1898940     29.45     13.51  --
3154.09/789.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3154.09/789.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3158.88/790.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  4.81
3158.88/790.81	c Calc non-exist non-lernt bins v-fix:     0 done:    116 time:  0.01 s
3158.88/790.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3158.88/790.83	c Subs w/ non-existent bins:      0 time:  0.10 s
3158.88/790.85	c Replacing        1 vars Replaced      117 lits Time:     0.05 s 
3158.88/790.88	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3161.27/791.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.09 s
3161.27/791.40	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3190.44/798.75	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 14.0 T:    0.05
3267.14/817.93	c Added 2 vars  tried: 80000 time: 76.57
3273.93/819.68	c ORs :      2 avg-s:  0.0 cl-sh: 47932 l-rem:  47932 b-add:      6 v-rep:   0 cl-rem: 24 avg s: 9.2 T:   83.60
3274.34/819.71	c lits-rem:      4198  cl-subs:    10924  v-elim:      0  v-fix:    0  time: 113.09 s
3274.34/819.71	c learnt bin added due to v-elim: 0
3274.34/819.71	c vivif2 --  cl tried       70 cl shrink        0 lits rem          0 time: 0.00
3274.34/819.74	c vivif2 --  cl tried    70278 cl shrink        1 lits rem          2 time: 0.10
3274.75/819.80	c asymm  cl-useful: 0/70/70 lits-rem:0 time: 0.26
3274.75/819.81	c calculated reachability. Time: 0.00
3274.75/819.81	c  N dy  9154   2711999       117        70       313     70278      1210   1658554     29.45     13.51  --
3274.75/819.81	c  F st  9154   2711999       117        70       313     70278      1210   1658554     29.45     13.51  --
3276.73/820.34	c Decided on static restart strategy
4207.06/1053.22	c  N dy  9193   3212000       125        70       344    121325      1250   2900577     26.96     13.40  --
4207.46/1053.36	c  S st  9193   3212000       125        70       344    121325      1250   2900577     26.96     13.40  --
4208.26/1053.50	c Finding binary XORs  T:     0.00 s  found:       4
4208.26/1053.51	c Replacing        4 vars Replaced       65 lits Time:     0.04 s 
4209.86/1053.93	c  S st  9193   3212506       124        64       343    109619      1238   2754281     26.96     13.40  --
4209.86/1053.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4209.86/1053.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4215.85/1055.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.4M T:  5.93
4215.85/1055.43	c Calc non-exist non-lernt bins v-fix:     0 done:    124 time:  0.01 s
4215.85/1055.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4215.85/1055.47	c Subs w/ non-existent bins:    480 time:  0.18 s
4216.25/1055.52	c bin-w-bin subsume rem           14 bins  time:  0.00 s
4221.84/1056.97	c subs with bin:     2527  lits-rem:     19038  v-fix:    0  time:  5.79 s
4221.84/1056.97	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4311.74/1079.46	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.07
4312.12/1079.50	c lits-rem:      7294  cl-subs:    24242  v-elim:      2  v-fix:    0  time: 89.99 s
4312.12/1079.50	c learnt bin added due to v-elim: 0
4312.12/1079.50	c vivif2 --  cl tried       71 cl shrink        0 lits rem          0 time: 0.00
4312.12/1079.53	c vivif2 --  cl tried    82369 cl shrink        1 lits rem          1 time: 0.12
4312.52/1079.65	c asymm  cl-useful: 0/71/71 lits-rem:0 time: 0.48
4312.52/1079.65	c calculated reachability. Time: 0.00
4312.52/1079.65	c  N dy  9193   3212506       122        71       318     82369      1221   2140049     26.96     13.40  --

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3261317-1304131286/watcher-3261317-1304131286 -o /tmp/evaluation-result-3261317-1304131286/solver-3261317-1304131286 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261317-1304131286.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.52 8.03 8.05 5/184 11381
/proc/meminfo: memFree=29666236/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=80604 CPUtime=0 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 544 0 0 0 0 0 0 0 25 0 4 0 524726465 82538496 479 33554432000 4194304 4797429 140736582597904 18446744073709551615 47690689472438 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11381/statm: 20151 479 361 148 0 15080 0
[pid=11381/tid=11382] ppid=11379 vsize=80604 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524726466 82538496 479 33554432000 4194304 4797429 140736582597904 18446744073709551615 47690689472424 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=80604 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524726466 82538496 479 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377357809 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=80604 CPUtime=0 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524726466 82538496 479 33554432000 4194304 4797429 140736582597904 18446744073709551615 47690689472434 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0282899 s]
/proc/loadavg: 7.52 8.03 8.05 5/184 11381
/proc/meminfo: memFree=29666236/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=671416 CPUtime=0.09 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 916 0 0 0 9 0 0 0 25 0 4 0 524726465 687529984 806 33554432000 4194304 4797429 140736582597904 18446744073709551615 4341278 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 167854 806 408 148 0 162783 0
[pid=11381/tid=11382] ppid=11379 vsize=671416 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 119 0 0 0 2 0 0 0 18 0 4 0 524726466 687529984 806 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=671416 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 82 0 0 0 2 0 0 0 25 0 4 0 524726466 687529984 806 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=671416 CPUtime=0.02 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 97 0 0 0 2 0 0 0 18 0 4 0 524726466 687529984 806 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 671416

[startup+0.102323 s]
/proc/loadavg: 7.52 8.03 8.05 5/184 11381
/proc/meminfo: memFree=29666236/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=672216 CPUtime=0.38 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 1489 0 0 0 38 0 0 0 25 0 4 0 524726465 688349184 1373 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377406495 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 168054 1373 410 148 0 162983 0
[pid=11381/tid=11382] ppid=11379 vsize=672216 CPUtime=0.09 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 264 0 0 0 9 0 0 0 18 0 4 0 524726466 688349184 1373 33554432000 4194304 4797429 140736582597904 18446744073709551615 4425630 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=672216 CPUtime=0.09 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 215 0 0 0 9 0 0 0 25 0 4 0 524726466 688349184 1373 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377406446 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=672216 CPUtime=0.09 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 254 0 0 0 9 0 0 0 18 0 4 0 524726466 688349184 1373 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377406495 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 672216

[startup+0.301119 s]
/proc/loadavg: 7.52 8.03 8.05 5/184 11381
/proc/meminfo: memFree=29666236/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=674836 CPUtime=1.18 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 2711 0 0 0 118 0 0 0 25 0 4 0 524726465 691032064 1919 33554432000 4194304 4797429 140736582597904 18446744073709551615 4355056 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 168709 1919 411 148 0 163638 0
[pid=11381/tid=11382] ppid=11379 vsize=674836 CPUtime=0.29 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 577 0 0 0 29 0 0 0 18 0 4 0 524726466 691032064 1919 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=674836 CPUtime=0.29 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 498 0 0 0 29 0 0 0 25 0 4 0 524726466 691032064 1919 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424949 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=674836 CPUtime=0.29 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 577 0 0 0 29 0 0 0 18 0 4 0 524726466 691032064 1919 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 674836

[startup+0.904009 s]
/proc/loadavg: 7.52 8.03 8.05 5/184 11381
/proc/meminfo: memFree=29666236/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=680192 CPUtime=3.58 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 5975 0 0 0 358 0 0 0 25 0 4 0 524726465 696516608 4053 33554432000 4194304 4797429 140736582597904 18446744073709551615 4414368 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 170048 4053 416 148 0 164977 0
[pid=11381/tid=11382] ppid=11379 vsize=680192 CPUtime=0.89 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 1485 0 0 0 89 0 0 0 19 0 4 0 524726466 696516608 4053 33554432000 4194304 4797429 140736582597904 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=680192 CPUtime=0.89 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 1334 0 0 0 89 0 0 0 25 0 4 0 524726466 696516608 4053 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=680192 CPUtime=0.89 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 1523 0 0 0 89 0 0 0 19 0 4 0 524726466 696516608 4053 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 680192

[startup+1.5009 s]
/proc/loadavg: 7.52 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29624564/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=681640 CPUtime=5.97 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 7039 0 0 0 596 1 0 0 25 0 4 0 524726465 697999360 4760 33554432000 4194304 4797429 140736582597904 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 170410 4760 418 148 0 165339 0
[pid=11381/tid=11382] ppid=11379 vsize=681640 CPUtime=1.49 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 1702 0 0 0 149 0 0 0 20 0 4 0 524726466 697999360 4760 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424732 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=681640 CPUtime=1.48 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 1491 0 0 0 148 0 0 0 25 0 4 0 524726466 697999360 4760 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=681640 CPUtime=1.49 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 1739 0 0 0 149 0 0 0 20 0 4 0 524726466 697999360 4760 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 681640

[startup+3.1006 s]
/proc/loadavg: 7.52 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29615264/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=684940 CPUtime=12.36 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 10167 0 0 0 1235 1 0 0 25 0 4 0 524726465 701378560 6278 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424603 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 171235 6278 418 148 0 166164 0
[pid=11381/tid=11382] ppid=11379 vsize=684940 CPUtime=3.09 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 2255 0 0 0 309 0 0 0 25 0 4 0 524726466 701378560 6278 33554432000 4194304 4797429 140736582597904 18446744073709551615 255377325975 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=684940 CPUtime=3.07 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 1796 0 0 0 307 0 0 0 25 0 4 0 524726466 701378560 6278 33554432000 4194304 4797429 140736582597904 18446744073709551615 4549856 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=684940 CPUtime=3.08 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 2278 0 0 0 308 0 0 0 25 0 4 0 524726466 701378560 6278 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 684940

[startup+6.30101 s]
/proc/loadavg: 7.56 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29603684/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=688352 CPUtime=25.15 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 13916 0 0 0 2513 2 0 0 25 0 4 0 524726465 704872448 8073 33554432000 4194304 4797429 140736582597904 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 172088 8073 418 148 0 167017 0
[pid=11381/tid=11382] ppid=11379 vsize=688352 CPUtime=6.29 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 2601 0 0 0 629 0 0 0 25 0 4 0 524726466 704872448 8073 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=688352 CPUtime=6.26 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 2407 0 0 0 626 0 0 0 25 0 4 0 524726466 704872448 8073 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=688352 CPUtime=6.28 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 2884 0 0 0 628 0 0 0 25 0 4 0 524726466 704872448 8073 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 688352

[startup+12.7008 s]
/proc/loadavg: 7.59 8.03 8.05 9/188 11385
/proc/meminfo: memFree=29579592/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=692956 CPUtime=50.71 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 18760 0 0 0 5067 4 0 0 25 0 4 0 524726465 709586944 9964 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 173239 9964 420 148 0 168168 0
[pid=11381/tid=11382] ppid=11379 vsize=692956 CPUtime=12.69 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 3357 0 0 0 1269 0 0 0 25 0 4 0 524726466 709586944 9964 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=692956 CPUtime=12.62 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 3090 0 0 0 1262 0 0 0 25 0 4 0 524726466 709586944 9964 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=692956 CPUtime=12.68 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 3444 0 0 0 1268 0 0 0 25 0 4 0 524726466 709586944 9964 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 692956

[startup+25.5005 s]
/proc/loadavg: 7.82 8.06 8.06 9/188 11385
/proc/meminfo: memFree=29561900/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=698632 CPUtime=101.86 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 27597 0 0 0 10181 5 0 0 25 0 4 0 524726465 715399168 11844 33554432000 4194304 4797429 140736582597904 18446744073709551615 4425064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 174658 11844 420 148 0 169587 0
[pid=11381/tid=11382] ppid=11379 vsize=698632 CPUtime=25.49 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 4362 0 0 0 2549 0 0 0 25 0 4 0 524726466 715399168 11844 33554432000 4194304 4797429 140736582597904 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=698632 CPUtime=25.35 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 3905 0 0 0 2535 0 0 0 25 0 4 0 524726466 715399168 11844 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=698632 CPUtime=25.5 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 4730 0 0 0 2549 1 0 0 25 0 4 0 524726466 715399168 11844 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.86
Current children cumulated vsize (KiB) 698632

[startup+51.1007 s]
/proc/loadavg: 8.02 8.09 8.07 9/188 11386
/proc/meminfo: memFree=29542404/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=704948 CPUtime=204.1 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 41705 0 0 0 20400 10 0 0 25 0 4 0 524726465 721866752 14971 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 176237 14971 422 148 0 171166 0
[pid=11381/tid=11382] ppid=11379 vsize=704948 CPUtime=51.08 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 6374 0 0 0 5107 1 0 0 25 0 4 0 524726466 721866752 14971 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=704948 CPUtime=50.8 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 5179 0 0 0 5080 0 0 0 25 0 4 0 524726466 721866752 14971 33554432000 4194304 4797429 140736582597904 18446744073709551615 4495518 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=704948 CPUtime=51.09 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 6017 0 0 0 5108 1 0 0 25 0 4 0 524726466 721866752 14971 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 704948

[startup+102.3 s]
/proc/loadavg: 8.09 8.10 8.07 9/188 11387
/proc/meminfo: memFree=29508124/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=714944 CPUtime=408.62 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 66373 0 0 0 40844 18 0 0 25 0 4 0 524726465 732102656 17204 33554432000 4194304 4797429 140736582597904 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 178736 17204 423 148 0 173665 0
[pid=11381/tid=11382] ppid=11379 vsize=714944 CPUtime=102.28 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 9172 0 0 0 10226 2 0 0 25 0 4 0 524726466 732102656 17204 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=714944 CPUtime=101.74 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 7450 0 0 0 10173 1 0 0 25 0 4 0 524726466 732102656 17204 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424850 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=714944 CPUtime=102.29 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 8556 0 0 0 10227 2 0 0 25 0 4 0 524726466 732102656 17204 33554432000 4194304 4797429 140736582597904 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 714944

[startup+162.301 s]

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

[pid=11381] ppid=11379 vsize=766440 CPUtime=2565.7 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 221325 0 0 0 256497 73 0 0 25 0 4 0 524726465 784834560 39327 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 191610 39327 422 148 0 186539 0
[pid=11381/tid=11382] ppid=11379 vsize=766440 CPUtime=642.25 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 28251 0 0 0 64216 9 0 0 25 0 4 0 524726466 784834560 39327 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428814 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=766440 CPUtime=638.8 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 27259 0 0 0 63873 7 0 0 25 0 4 0 524726466 784834560 39327 33554432000 4194304 4797429 140736582597904 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=766440 CPUtime=642.3 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 29108 0 0 0 64220 10 0 0 25 0 4 0 524726466 784834560 39327 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.7
Current children cumulated vsize (KiB) 766440

[startup+702.301 s]
/proc/loadavg: 8.11 8.15 8.10 10/188 11403
/proc/meminfo: memFree=29312828/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=769124 CPUtime=2805.36 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 234346 0 0 0 280458 78 0 0 25 0 4 0 524726465 787582976 40421 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 192281 40421 422 148 0 187210 0
[pid=11381/tid=11382] ppid=11379 vsize=769124 CPUtime=702.24 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 29897 0 0 0 70215 9 0 0 25 0 4 0 524726466 787582976 40421 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=769124 CPUtime=698.47 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 29044 0 0 0 69839 8 0 0 25 0 4 0 524726466 787582976 40421 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=769124 CPUtime=702.3 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 30938 0 0 0 70219 11 0 0 25 0 4 0 524726466 787582976 40421 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.36
Current children cumulated vsize (KiB) 769124

[startup+762.301 s]
/proc/loadavg: 8.15 8.16 8.11 9/188 11405
/proc/meminfo: memFree=29301496/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=769668 CPUtime=3045.04 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 246654 0 0 0 304421 83 0 0 25 0 4 0 524726465 788140032 40836 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 192417 40836 422 148 0 187346 0
[pid=11381/tid=11382] ppid=11379 vsize=769668 CPUtime=762.23 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 31445 0 0 0 76213 10 0 0 25 0 4 0 524726466 788140032 40836 33554432000 4194304 4797429 140736582597904 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=769668 CPUtime=758.15 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 30632 0 0 0 75806 9 0 0 25 0 4 0 524726466 788140032 40836 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=769668 CPUtime=762.31 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 32561 0 0 0 76219 12 0 0 25 0 4 0 524726466 788140032 40836 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 769668

[startup+822.301 s]
/proc/loadavg: 8.14 8.16 8.11 9/188 11407
/proc/meminfo: memFree=29286684/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=770716 CPUtime=3284.71 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 255292 0 0 0 328385 86 0 0 25 0 4 0 524726465 789213184 41466 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 192679 41466 422 148 0 187608 0
[pid=11381/tid=11382] ppid=11379 vsize=770716 CPUtime=822.24 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 32977 0 0 0 82213 11 0 0 25 0 4 0 524726466 789213184 41466 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=770716 CPUtime=817.83 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 32163 0 0 0 81773 10 0 0 25 0 4 0 524726466 789213184 41466 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429759 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=770716 CPUtime=822.3 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 34226 0 0 0 82218 12 0 0 25 0 4 0 524726466 789213184 41466 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 770716

[startup+882.301 s]
/proc/loadavg: 8.10 8.14 8.10 9/188 11408
/proc/meminfo: memFree=29280172/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=772896 CPUtime=3524.38 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 269007 0 0 0 352348 90 0 0 25 0 4 0 524726465 791445504 41461 33554432000 4194304 4797429 140736582597904 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 193224 41461 422 148 0 188153 0
[pid=11381/tid=11382] ppid=11379 vsize=772896 CPUtime=882.22 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 34603 0 0 0 88211 11 0 0 25 0 4 0 524726466 791445504 41461 33554432000 4194304 4797429 140736582597904 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=772896 CPUtime=877.5 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 33948 0 0 0 87740 10 0 0 25 0 4 0 524726466 791445504 41461 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=772896 CPUtime=882.3 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 36268 0 0 0 88217 13 0 0 25 0 4 0 524726466 791445504 41461 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428396 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.38
Current children cumulated vsize (KiB) 772896

[startup+942.301 s]
/proc/loadavg: 8.08 8.13 8.09 9/188 11410
/proc/meminfo: memFree=29273056/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=775024 CPUtime=3764.06 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 279145 0 0 0 376311 95 0 0 25 0 4 0 524726465 793624576 44805 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 193756 44805 422 148 0 188685 0
[pid=11381/tid=11382] ppid=11379 vsize=775024 CPUtime=942.23 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 36491 0 0 0 94211 12 0 0 25 0 4 0 524726466 793624576 44805 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=775024 CPUtime=937.18 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 35606 0 0 0 93707 11 0 0 25 0 4 0 524726466 793624576 44805 33554432000 4194304 4797429 140736582597904 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=775024 CPUtime=942.31 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 37084 0 0 0 94217 14 0 0 25 0 4 0 524726466 793624576 44805 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.06
Current children cumulated vsize (KiB) 775024

[startup+1002.3 s]
/proc/loadavg: 8.13 8.15 8.10 9/188 11412
/proc/meminfo: memFree=29261984/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=775504 CPUtime=4003.75 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 290922 0 0 0 400276 99 0 0 25 0 4 0 524726465 794116096 43757 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 193876 43757 422 148 0 188805 0
[pid=11381/tid=11382] ppid=11379 vsize=775504 CPUtime=1002.22 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 37934 0 0 0 100210 12 0 0 25 0 4 0 524726466 794116096 43757 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=775504 CPUtime=996.86 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 36998 0 0 0 99674 12 0 0 25 0 4 0 524726466 794116096 43757 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=775504 CPUtime=1002.32 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 38605 0 0 0 100217 15 0 0 25 0 4 0 524726466 794116096 43757 33554432000 4194304 4797429 140736582597904 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 775504

[startup+1062.3 s]
/proc/loadavg: 8.08 8.13 8.09 9/188 11413
/proc/meminfo: memFree=29246548/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=779800 CPUtime=4243.41 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 302955 0 0 0 424237 104 0 0 25 0 4 0 524726465 798515200 46856 33554432000 4194304 4797429 140736582597904 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 194950 46856 422 148 0 189879 0
[pid=11381/tid=11382] ppid=11379 vsize=779800 CPUtime=1062.21 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 39522 0 0 0 106208 13 0 0 25 0 4 0 524726466 798515200 46856 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=779800 CPUtime=1056.53 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 38589 0 0 0 105641 12 0 0 25 0 4 0 524726466 798515200 46856 33554432000 4194304 4797429 140736582597904 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=779800 CPUtime=1062.31 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 40409 0 0 0 106215 16 0 0 25 0 4 0 524726466 798515200 46856 33554432000 4194304 4797429 140736582597904 18446744073709551615 4414407 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.41
Current children cumulated vsize (KiB) 779800

[startup+1122.31 s]
/proc/loadavg: 8.21 8.16 8.10 9/188 11415
/proc/meminfo: memFree=29218348/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=781924 CPUtime=4483.11 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 311273 0 0 0 448202 109 0 0 25 0 4 0 524726465 800690176 47127 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 195481 47127 422 148 0 190410 0
[pid=11381/tid=11382] ppid=11379 vsize=781924 CPUtime=1122.22 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 41251 0 0 0 112208 14 0 0 25 0 4 0 524726466 800690176 47127 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=781924 CPUtime=1116.21 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 39327 0 0 0 111607 14 0 0 25 0 4 0 524726466 800690176 47127 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=781924 CPUtime=1122.32 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 42041 0 0 0 112215 17 0 0 25 0 4 0 524726466 800690176 47127 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 781924

[startup+1182.3 s]
/proc/loadavg: 8.19 8.16 8.10 9/188 11425
/proc/meminfo: memFree=29222632/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=782116 CPUtime=4722.73 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 320798 0 0 0 472161 112 0 0 25 0 4 0 524726465 800886784 47851 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 195529 47851 422 148 0 190458 0
[pid=11381/tid=11382] ppid=11379 vsize=782116 CPUtime=1182.21 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 42721 0 0 0 118206 15 0 0 25 0 4 0 524726466 800886784 47851 33554432000 4194304 4797429 140736582597904 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=782116 CPUtime=1175.88 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 40745 0 0 0 117574 14 0 0 25 0 4 0 524726466 800886784 47851 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520249 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=782116 CPUtime=1182.31 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 43557 0 0 0 118214 17 0 0 25 0 4 0 524726466 800886784 47851 33554432000 4194304 4797429 140736582597904 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.73
Current children cumulated vsize (KiB) 782116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.33 8.20 8.11 5/183 11427
/proc/meminfo: memFree=29482088/32951124 swapFree=67111352/67111528
[pid=11381] ppid=11379 vsize=783864 CPUtime=4800.24 cores=0,2,4,6
/proc/11381/stat : 11381 (techdemo) R 11379 11381 10653 0 -1 4202496 324595 0 0 0 479910 114 0 0 25 0 4 0 524726465 802676736 47328 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/11381/statm: 195966 47328 422 148 0 190895 0
[pid=11381/tid=11382] ppid=11379 vsize=783864 CPUtime=1201.61 cores=0,2,4,6
/proc/11381/task/11382/stat : 11382 (techdemo) R 11379 11381 10653 0 -1 4202560 43003 0 0 0 120146 15 0 0 25 0 4 0 524726466 802676736 47328 33554432000 4194304 4797429 140736582597904 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=11381/tid=11383] ppid=11379 vsize=783864 CPUtime=1195.17 cores=0,2,4,6
/proc/11381/task/11383/stat : 11383 (techdemo) R 11379 11381 10653 0 -1 4202560 40941 0 0 0 119503 14 0 0 25 0 4 0 524726466 802676736 47328 33554432000 4194304 4797429 140736582597904 18446744073709551615 4502060 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=11381/tid=11384] ppid=11379 vsize=783864 CPUtime=1201.72 cores=0,2,4,6
/proc/11381/task/11384/stat : 11384 (techdemo) R 11379 11381 10653 0 -1 4202560 43821 0 0 0 120155 17 0 0 25 0 4 0 524726466 802676736 47328 33554432000 4194304 4797429 140736582597904 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 783864

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.28
CPU user time (s): 4799.13
CPU system time (s): 1.15082
CPU usage (%): 399.451
Max. virtual memory (cumulated for all children) (KiB): 897756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.13
system time used= 1.15082
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 324596
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= 214
involuntary context switches= 70237

runsolver used 1.92671 second user time and 4.64829 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-30 04:41:26
IDJOB=3261317
IDBENCH=83222
IDSOLVER=1584
FILE ID=node135/3261317-1304131286
RUNJOBID= node135-1304128877-10671
PBS_JOBID= 13170784
Free space on /tmp= 72092 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-7-12-unsat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261317-1304131286/watcher-3261317-1304131286 -o /tmp/evaluation-result-3261317-1304131286/solver-3261317-1304131286 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261317-1304131286.cnf

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

MD5SUM BENCH= 72a4d94c7603cb921acb8c9bb848aa10
RANDOM SEED=1064956968

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29666888 kB
Buffers:        934356 kB
Cached:        1759968 kB
SwapCached:        172 kB
Active:         170848 kB
Inactive:      2597524 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29666888 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:           15564 kB
Writeback:           0 kB
AnonPages:       73496 kB
Mapped:          15492 kB
Slab:           454052 kB
PageTables:       4408 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   669608 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72092 MiB
End job on node135 at 2011-04-30 05:01:30