Trace number 3250051

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.41 1201.72

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-15-15-unsat.cnf
MD5SUM647576009a3d34cc33c6dfd3ecb1a2ef
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables225
Number of clauses1800
Sum of the clauses size6525
Maximum clause length15
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21575
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5225

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-3250051-1304131567.cnf'
0.00/0.00	c -- header says num vars:            225
0.00/0.00	c -- header says num clauses:        1800
0.00/0.00	c -- clauses added:            0 learnts,         1800 normals,            0 xors
0.00/0.00	c -- vars added        225
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       225       225      1575         0      6525         0   no data   no data  --
0.00/0.01	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.00
0.00/0.01	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.01	c Calc non-exist non-lernt bins v-fix:     0 done:    225 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    150  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     225
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       225       225      1575         0      6525         0   no data   no data  --
0.30/0.10	c Decided on static restart strategy
0.39/0.19	c  N dy    21      4128       225       225      1575      4081      6525    239044     58.45     17.53  --
1.57/0.46	c  N dy    50      8156       225       225      1575      5581      6525    301929     59.47     17.45  --
3.30/0.84	c  N dy    79     12233       225       225      1575      5399      6525    261184     56.72     17.56  --
4.76/1.24	c  N dy   108     16264       225       225      1575      9378      6525    486052     57.70     17.42  --
6.36/1.68	c  N dy   137     20268       225       225      1575      7789      6525    370156     53.42     17.22  --
8.37/2.20	c  N dy   166     24305       225       225      1575     11777      6525    591394     56.43     17.12  --
10.75/2.71	c  N dy   195     28327       225       225      1575      9013      6525    428442     56.50     17.06  --
11.55/2.96	c  S st   208     30000       225       225      1575     10659      6525    522023     56.59     17.07  --
11.95/3.01	c  S st   208     30503       225       225      1575     11157      6525    551115     56.59     17.07  --
11.95/3.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.95/3.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.6M T:  0.75
12.36/3.20	c Calc non-exist non-lernt bins v-fix:     0 done:    225 time:  0.00 s
12.36/3.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.77/3.20	c Subs w/ non-existent bins:      0 time:  0.01 s
12.77/3.21	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:  2.23 s
14.75/3.77	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
24.73/6.25	c lits-rem:        25  cl-subs:      770  v-elim:    225  v-fix:    0  time:  9.92 s
24.73/6.25	c learnt bin added due to v-elim: 0
24.73/6.25	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
24.73/6.26	c vivif2 --  cl tried    10387 cl shrink        0 lits rem          0 time: 0.02
25.53/6.40	c asymm  cl-useful: 0/215/225 lits-rem:0 time: 0.56
25.53/6.40	c calculated reachability. Time: 0.00
25.53/6.40	c  N dy   208     30503       225       225      1575     10387      6525    518772     56.59     17.07  --
25.53/6.40	c  F st   208     30503       225       225      1575     10387      6525    518772     56.59     17.07  --
25.95/6.53	c Decided on static restart strategy
26.35/6.68	c  N dy   228     34518       225       225      1575     14356      6525    755172     59.61     17.04  --
27.92/7.00	c  N dy   257     38550       225       225      1575     10528      6525    523581     62.04     17.01  --
29.52/7.43	c  N dy   287     42678       225       225      1575     14596      6525    767149     60.66     16.98  --
31.53/7.98	c  S st   310     45757       225       225      1575     17619      6525    945437     61.37     17.04  --
31.93/8.04	c  S st   310     46259       225       225      1575      9301      6525    409820     61.37     17.04  --
31.93/8.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
31.93/8.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 10.4M T:  0.83
32.72/8.25	c Calc non-exist non-lernt bins v-fix:     0 done:    225 time:  0.00 s
32.72/8.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.25	c Subs w/ non-existent bins:      0 time:  0.01 s
32.72/8.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.32/8.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.51 s
34.32/8.63	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
36.71/9.27	c lits-rem:         3  cl-subs:      184  v-elim:    225  v-fix:    0  time:  2.54 s
36.71/9.27	c learnt bin added due to v-elim: 0
36.71/9.27	c vivif2 --  cl tried      225 cl shrink        0 lits rem          0 time: 0.00
36.71/9.27	c vivif2 --  cl tried     9117 cl shrink        0 lits rem          0 time: 0.01
37.11/9.37	c asymm  cl-useful: 0/225/225 lits-rem:0 time: 0.38
37.11/9.37	c calculated reachability. Time: 0.00
37.11/9.37	c  N dy   310     46259       225       225      1575      9117      6525    402898     61.37     17.04  --
38.31/9.69	c  N dy   339     50267       225       225      1575     13073      6525    632130     58.72     17.02  --
40.31/10.19	c  N dy   368     54312       225       225      1575     17053      6525    875931     62.58     17.03  --
42.70/10.74	c  N dy   397     58340       225       225      1575     11191      6525    493956     61.29     17.04  --
44.30/11.15	c  N dy   426     62364       225       225      1575     15162      6525    733096     60.20     17.04  --
46.70/11.76	c  N dy   455     66420       225       225      1575     19164      6525    970801     61.15     17.05  --
49.10/12.30	c  S st   477     69388       225       225      1575     11261      6525    465489     57.38     17.10  --
49.10/12.35	c  S st   477     69891       225       225      1575     11764      6525    494500     57.38     17.10  --
49.10/12.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
49.10/12.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.70/12.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 19.2M T:  1.50
50.70/12.72	c Calc non-exist non-lernt bins v-fix:     0 done:    225 time:  0.00 s
50.70/12.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.70/12.73	c Subs w/ non-existent bins:      0 time:  0.02 s
50.70/12.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.32/13.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.81 s
52.32/13.19	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
60.69/15.30	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
73.07/18.30	c Added 3 vars  tried: 80000 time: 12.00
73.07/18.32	c ORs :      3 avg-s:  0.0 cl-sh:  3126 l-rem:   3126 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:   12.06
73.07/18.32	c lits-rem:         7  cl-subs:      273  v-elim:    225  v-fix:    0  time: 20.52 s
73.07/18.32	c learnt bin added due to v-elim: 0
73.07/18.32	c vivif2 --  cl tried      228 cl shrink        0 lits rem          0 time: 0.00
73.07/18.33	c vivif2 --  cl tried    11491 cl shrink        0 lits rem          0 time: 0.02
73.07/18.39	c asymm  cl-useful: 0/228/228 lits-rem:0 time: 0.26
73.07/18.39	c calculated reachability. Time: 0.00
73.07/18.39	c  N dy   477     69891       228       228      1581     11491      6536    481446     57.38     17.10  --
73.07/18.39	c  F st   477     69891       228       228      1581     11491      6536    481446     57.38     17.10  --
73.87/18.56	c Decided on static restart strategy
75.06/18.86	c  N dy   501     74454       228       228      1581     15990      6536    749039     57.13     17.12  --
77.86/19.59	c  N dy   536     79317       228       228      1581     20794      6536   1035323     58.70     17.12  --
81.45/20.45	c  N dy   573     84456       228       228      1581     14029      6536    605777     57.56     17.11  --
84.65/21.25	c  N dy   612     89876       228       228      1581     19383      6536    926459     59.78     17.10  --
89.45/22.44	c  N dy   654     95687       228       228      1581     25097      6536   1265677     59.38     17.09  --
93.04/23.36	c  N dy   699    101857       228       228      1581     18375      6536    841566     59.88     17.09  --
95.44/23.99	c  S st   721    104836       228       228      1581     21317      6536   1010099     59.16     17.11  --
95.84/24.08	c  S st   721    105339       228       228      1581     21818      6536   1040170     59.16     17.11  --
95.84/24.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
95.84/24.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.23/25.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 43.0M T:  4.08
100.23/25.11	c Calc non-exist non-lernt bins v-fix:     0 done:    228 time:  0.00 s
100.23/25.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
100.23/25.11	c Subs w/ non-existent bins:      0 time:  0.03 s
100.23/25.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
105.04/26.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.84 s
105.04/26.34	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
118.22/29.62	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
118.22/29.63	c lits-rem:        12  cl-subs:     1051  v-elim:    225  v-fix:    0  time: 13.16 s
118.22/29.63	c learnt bin added due to v-elim: 0
118.22/29.63	c vivif2 --  cl tried      228 cl shrink        0 lits rem          0 time: 0.00
118.22/29.64	c vivif2 --  cl tried    20767 cl shrink        0 lits rem          0 time: 0.04
119.00/29.81	c asymm  cl-useful: 0/134/228 lits-rem:0 time: 0.65
119.00/29.81	c calculated reachability. Time: 0.00
119.00/29.81	c  N dy   721    105339       228       228      1581     20767      6536    991587     59.16     17.11  --
123.01/30.83	c  N dy   770    112117       228       228      1581     27450      6536   1399081     63.16     17.08  --
127.01/31.81	c  N dy   822    119387       228       228      1581     20797      6536    983028     66.36     17.11  --
133.39/33.47	c  N dy   877    127013       228       228      1581     28318      6536   1436334     62.44     17.11  --
138.98/34.89	c  N dy   935    135142       228       228      1581     21530      6536   1004733     56.08     17.10  --
146.96/36.81	c  N dy   998    143806       228       228      1581     30061      6536   1505107     58.37     17.10  --
153.37/38.48	c  N dy  1065    153119       228       228      1581     23470      6536   1107482     57.56     17.10  --
158.55/39.71	c  S st  1101    158008       228       228      1581     28267      6536   1385471     59.14     17.09  --
158.95/39.81	c  S st  1101    158511       228       228      1581     28768      6536   1416215     59.14     17.09  --
158.95/39.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
158.95/39.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.34/41.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  6.49
165.34/41.43	c Calc non-exist non-lernt bins v-fix:     0 done:    228 time:  0.00 s
165.34/41.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.34/41.44	c Subs w/ non-existent bins:      0 time:  0.04 s
165.34/41.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
171.73/43.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.46 s
171.73/43.08	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
204.88/51.37	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
204.88/51.39	c lits-rem:        52  cl-subs:     1499  v-elim:    225  v-fix:    0  time: 33.17 s
204.88/51.39	c learnt bin added due to v-elim: 0
204.88/51.39	c vivif2 --  cl tried      228 cl shrink        0 lits rem          0 time: 0.00
205.28/51.40	c vivif2 --  cl tried    27269 cl shrink        0 lits rem          0 time: 0.06
205.68/51.57	c asymm  cl-useful: 0/97/228 lits-rem:0 time: 0.67
205.68/51.57	c calculated reachability. Time: 0.00
205.68/51.57	c  N dy  1101    158511       228       228      1581     27269      6536   1348539     59.14     17.09  --
211.68/53.05	c  N dy  1174    168716       228       228      1581     20608      6536    984409     68.96     17.11  --
220.47/55.27	c  N dy  1252    179583       240       228      1605     31275      6584   1661201     63.48     17.12  --
229.65/57.50	c  N dy  1335    191125       240       228      1605     24889      6584   1237860     59.85     17.13  --
241.26/60.43	c  N dy  1423    203434       240       228      1605     36953      6584   1960803     64.49     17.15  --
251.22/62.94	c  N dy  1516    216464       240       228      1605     31040      6584   1578406     60.58     17.15  --
264.81/66.37	c  N dy  1616    230370       240       228      1605     25077      6584   1140628     55.83     17.15  --
272.01/68.13	c  S st  1669    237766       240       228      1605     32350      6584   1553569     59.15     17.15  --
272.41/68.24	c  S st  1669    238267       240       228      1605     32848      6584   1584419     59.15     17.15  --
272.41/68.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
272.41/68.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.39/69.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  6.21
278.39/69.79	c Calc non-exist non-lernt bins v-fix:     0 done:    240 time:  0.00 s
278.39/69.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
278.79/69.81	c Subs w/ non-existent bins:      0 time:  0.05 s
278.79/69.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
285.20/71.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.32 s
285.20/71.41	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
321.93/80.66	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
321.93/80.68	c lits-rem:        94  cl-subs:     1740  v-elim:    225  v-fix:    0  time: 37.01 s
321.93/80.68	c learnt bin added due to v-elim: 0
321.93/80.68	c vivif2 --  cl tried      228 cl shrink        0 lits rem          0 time: 0.00
321.93/80.69	c vivif2 --  cl tried    31108 cl shrink        0 lits rem          0 time: 0.06
322.73/80.87	c asymm  cl-useful: 0/102/228 lits-rem:0 time: 0.72
322.73/80.87	c calculated reachability. Time: 0.00
322.73/80.87	c  N dy  1669    238267       240       228      1605     31108      6584   1509094     59.15     17.15  --
334.31/83.73	c  N dy  1778    253488       240       228      1605     25516      6584   1153916     63.15     17.15  --
349.89/87.62	c  N dy  1894    269733       240       228      1605     41441      6584   2128972     55.85     17.16  --
365.07/91.48	c  N dy  2018    287030       240       228      1605     36862      6584   1787607     60.07     17.14  --
384.65/96.38	c  N dy  2150    305422       240       228      1605     32306      6584   1467172     56.15     17.15  --
407.82/102.10	c  N dy  2290    325017       240       228      1605     27971      6584   1163334     55.67     17.15  --
432.59/108.38	c  N dy  2434    345150       252       228      1633     47653      6636   2287522     54.55     17.13  --
445.36/111.52	c  S st  2522    357400       252       228      1633     35174      6636   1534441     57.83     17.12  --
445.76/111.65	c  S st  2522    357903       252       228      1635     35671      6636   1563867     57.83     17.12  --
445.76/111.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
445.76/111.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.77/113.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     11 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  5.98
451.77/113.15	c Calc non-exist non-lernt bins v-fix:     0 done:    252 time:  0.00 s
451.77/113.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.77/113.17	c Subs w/ non-existent bins:      0 time:  0.05 s
451.77/113.18	c Replacing        1 vars Replaced      452 lits Time:     0.04 s 
451.77/113.20	c bin-w-bin subsume rem            2 bins  time:  0.00 s
458.15/114.71	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  6.05 s
458.15/114.71	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
505.31/126.52	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
505.31/126.54	c lits-rem:       171  cl-subs:     1973  v-elim:    225  v-fix:    0  time: 47.23 s
505.31/126.54	c learnt bin added due to v-elim: 0
505.31/126.54	c vivif2 --  cl tried      228 cl shrink        0 lits rem          0 time: 0.00
505.31/126.55	c vivif2 --  cl tried    33698 cl shrink        0 lits rem          0 time: 0.06
506.08/126.72	c asymm  cl-useful: 0/115/228 lits-rem:0 time: 0.67
506.08/126.72	c calculated reachability. Time: 0.00
506.08/126.72	c  N dy  2522    357903       251       228      1640     33698      6628   1485457     57.83     17.12  --
526.88/131.91	c  N dy  2666    377948       251       228      1640     27891      6628   1112868     59.56     17.13  --
546.83/136.94	c  N dy  2810    398051       251       228      1640     47590      6628   2296616     64.82     17.14  --
568.00/142.27	c  N dy  2954    418118       251       228      1640     40798      6628   1828286     58.14     17.13  --
592.79/148.46	c  N dy  3097    438165       251       228      1640     33000      6628   1349900     58.84     17.14  --
617.94/154.73	c  N dy  3240    458180       251       228      1640     52594      6628   2471494     56.29     17.15  --
641.13/160.52	c  N dy  3383    478254       263       228      1686     43872      6684   1938549     54.27     17.15  --
667.08/167.02	c  N dy  3527    498345       263       228      1686     34112      6684   1347631     57.99     17.13  --
690.64/172.91	c  N dy  3671    518410       263       228      1686     53728      6684   2443544     57.67     17.12  --
714.61/178.92	c  S st  3804    536855       263       228      1688     41457      6686   1733262     58.11     17.10  --
715.01/179.05	c  S st  3804    537356       263       228      1688     41952      6686   1761604     58.11     17.10  --
715.01/179.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
715.01/179.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
721.40/180.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.5M T:  6.44
721.40/180.67	c Calc non-exist non-lernt bins v-fix:     0 done:    263 time:  0.00 s
721.40/180.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
721.40/180.68	c Subs w/ non-existent bins:      0 time:  0.07 s
721.40/180.69	c Replacing        3 vars Replaced       49 lits Time:     0.03 s 
721.80/180.72	c bin-w-bin subsume rem            6 bins  time:  0.00 s
728.19/182.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.57 s
728.19/182.36	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
770.94/193.02	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 32.0 T:    0.04
839.64/210.24	c Added 3 vars  tried: 80000 time: 68.79
840.44/210.49	c ORs :      3 avg-s:  0.0 cl-sh: 17379 l-rem:  17379 b-add:      6 v-rep:   0 cl-rem: 5 avg s: 39.2 T:   69.78
840.84/210.51	c lits-rem:       307  cl-subs:     2356  v-elim:    225  v-fix:    0  time: 112.44 s
840.84/210.51	c learnt bin added due to v-elim: 0
840.84/210.51	c vivif2 --  cl tried      231 cl shrink        0 lits rem          0 time: 0.00
840.84/210.53	c vivif2 --  cl tried    39590 cl shrink        0 lits rem          0 time: 0.08
841.64/210.70	c asymm  cl-useful: 0/104/231 lits-rem:0 time: 0.67
841.64/210.70	c calculated reachability. Time: 0.00
841.64/210.70	c  N dy  3804    537356       263       231      1677     39590      6685   1662769     58.11     17.10  --
841.64/210.70	c  F st  3804    537356       263       231      1677     39590      6685   1662769     58.11     17.10  --
843.26/211.12	c Decided on static restart strategy
865.23/216.69	c  N dy  3938    557371       263       231      1691     59286      6685   2819228     58.68     17.10  --
887.98/222.31	c  N dy  4082    577445       263       231      1698     47690      6685   2107745     59.40     17.10  --
919.94/230.36	c  N dy  4226    597522       263       231      1705     34979      6685   1353142     57.41     17.10  --
944.72/236.54	c  N dy  4370    617631       263       231      1707     54703      6685   2463492     57.37     17.10  --
974.27/243.95	c  N dy  4515    637758       263       231      1717     41080      6685   1672267     55.90     17.10  --
1004.62/251.59	c  N dy  4658    657768       263       231      1717     60647      6685   2748554     58.69     17.10  --
1033.39/258.72	c  N dy  4801    677849       263       231      1717     46026      6685   1933614     56.05     17.09  --
1066.94/267.17	c  N dy  4944    697907       263       231      1717     65660      6685   3018832     54.78     17.09  --
1093.31/273.76	c  N dy  5088    718038       263       231      1717     50110      6685   2134268     53.37     17.09  --
1127.26/282.21	c  N dy  5231    738086       275       231      1786     69653      6741   3184501     54.92     17.08  --
1152.83/288.68	c  N dy  5375    758151       275       231      1786     53104      6741   2287070     52.75     17.08  --
1191.18/298.24	c  N dy  5518    778211       275       231      1799     72685      6741   3349694     54.53     17.08  --
1216.76/304.70	c  N dy  5661    798323       275       231      1799     55157      6741   2362993     51.47     17.07  --
1230.35/308.09	c  S st  5716    806035       275       231      1799     62658      6741   2754123     51.64     17.07  --
1231.12/308.29	c  S st  5716    806539       275       231      1799     63159      6741   2785208     51.64     17.07  --
1231.52/308.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1231.52/308.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1239.13/310.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:     16 BRemN:      2 CBin:       0 P: 60.0M T:  7.62
1239.13/310.21	c Calc non-exist non-lernt bins v-fix:     0 done:    275 time:  0.00 s
1239.13/310.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1239.13/310.24	c Subs w/ non-existent bins:      0 time:  0.12 s
1239.13/310.25	c Replacing        2 vars Replaced       38 lits Time:     0.04 s 
1239.51/310.30	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1247.10/312.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.78 s
1247.10/312.25	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1315.81/329.42	c ORs :     12 avg-s:  2.0 cl-sh:    32 l-rem:     32 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 10.0 T:    0.12
1315.81/329.46	c lits-rem:        29  cl-subs:     4492  v-elim:    225  v-fix:    0  time: 68.75 s
1315.81/329.46	c learnt bin added due to v-elim: 0
1315.81/329.46	c vivif2 --  cl tried      231 cl shrink        0 lits rem          0 time: 0.00
1315.81/329.49	c vivif2 --  cl tried    58666 cl shrink        2 lits rem          2 time: 0.13
1317.01/329.70	c asymm  cl-useful: 0/88/231 lits-rem:0 time: 0.84
1317.01/329.70	c calculated reachability. Time: 0.00
1317.01/329.70	c  N dy  5716    806539       273       231      1773     58666      6725   2627953     51.64     17.07  --
1344.97/336.78	c  N dy  5859    826583       285       231      1810     40283      6785   1602286     58.20     17.07  --
1367.34/342.35	c  N dy  6004    846663       285       231      1810     59993      6785   2726813     59.13     17.07  --
1404.09/351.55	c  N dy  6147    866703       285       231      1810     40444      6785   1603121     54.77     17.07  --
1426.86/357.27	c  N dy  6290    886721       285       231      1824     60108      6787   2717952     56.59     17.07  --
1466.41/367.14	c  N dy  6433    906792       285       231      1824     79691      6787   3822808     60.21     17.07  --
1490.78/373.22	c  N dy  6577    926797       285       231      1824     59123      6787   2632222     55.68     17.07  --
1533.14/383.83	c  N dy  6720    946825       297       231      1887     78702      6835   3728301     59.38     17.07  --
1560.28/390.68	c  N dy  6864    966928       297       231      1887     57290      6835   2534554     55.05     17.07  --
1597.04/399.80	c  N dy  7007    987010       297       231      1887     76885      6835   3614246     58.33     17.07  --
1629.00/407.83	c  N dy  7150   1007028       297       231      1923     54394      6835   2370655     53.57     17.07  --
1661.75/416.07	c  N dy  7292   1027034       297       231      1923     73859      6835   3443830     55.20     17.07  --
1700.12/425.64	c  N dy  7436   1047111       297       231      1923     50507      6835   2138833     53.23     17.07  --
1732.06/433.66	c  N dy  7579   1067154       297       231      1923     70009      6835   3209754     53.41     17.07  --
1778.39/445.26	c  N dy  7722   1087272       297       231      1923     45711      6835   1773902     54.52     17.08  --
1806.36/452.24	c  N dy  7865   1107384       297       231      1923     65313      6835   2847905     54.07     17.07  --
1851.50/463.55	c  N dy  8008   1127477       297       231      1923     84866      6835   3913352     58.54     17.07  --
1883.06/471.40	c  N dy  8151   1147564       297       231      1923     59554      6835   2434399     54.64     17.07  --
1920.61/480.83	c  N dy  8294   1167644       297       231      1923     79005      6835   3476813     50.43     17.07  --
1958.96/490.48	c  N dy  8436   1187726       297       231      1923     52779      6835   1974360     55.50     17.07  --
1991.31/498.54	c  N dy  8579   1207866       297       231      1923     72318      6835   3034264     51.48     17.07  --
1995.70/499.69	c  S st  8593   1209810       297       231      1923     74198      6835   3134519     51.46     17.07  --
1996.50/499.87	c  S st  8593   1210311       297       231      1923     74698      6835   3165267     51.46     17.07  --
1996.50/499.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1996.50/499.88	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2004.10/501.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      7 BRemN:      0 CBin:       0 P: 60.4M T:  7.54
2004.10/501.77	c Calc non-exist non-lernt bins v-fix:     0 done:    297 time:  0.01 s
2004.10/501.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2004.50/501.80	c Subs w/ non-existent bins:      0 time:  0.14 s
2004.50/501.89	c Replacing        4 vars Replaced     4836 lits Time:     0.36 s 
2004.90/501.94	c bin-w-bin subsume rem            8 bins  time:  0.00 s
2012.88/503.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.98 s
2012.88/503.94	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2421.54/606.22	c ORs :     12 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 14.5 T:    0.12
2554.56/639.54	c Added 3 vars  tried: 80000 time: 133.08
2558.15/640.43	c ORs :      3 avg-s:  0.0 cl-sh: 35595 l-rem:  35595 b-add:      6 v-rep:   0 cl-rem: 10 avg s: 33.8 T:  136.64
2558.15/640.47	c lits-rem:         9  cl-subs:     5704  v-elim:    225  v-fix:    0  time: 545.35 s
2558.15/640.47	c learnt bin added due to v-elim: 0
2558.15/640.47	c vivif2 --  cl tried      234 cl shrink        0 lits rem          0 time: 0.00
2558.55/640.51	c vivif2 --  cl tried    68980 cl shrink        2 lits rem          2 time: 0.16
2559.35/640.70	c asymm  cl-useful: 0/83/234 lits-rem:0 time: 0.77
2559.35/640.71	c calculated reachability. Time: 0.00
2559.35/640.71	c  N dy  8593   1210311       296       234      1899     68980      6826   2927646     51.46     17.07  --
2589.32/648.28	c  N dy  8737   1230423       296       234      1913     88715      6826   4112959     58.56     17.07  --
2616.09/654.92	c  N dy  8880   1250481       296       234      1917     61730      6826   2522014     59.99     17.07  --
2650.03/663.43	c  N dy  9024   1270613       296       234      1922     81423      6826   3664965     60.73     17.07  --
2689.99/673.43	c  N dy  9168   1290683       296       234      1939     53261      6826   1973701     54.87     17.08  --
2716.74/680.13	c  N dy  9312   1310801       296       234      1939     72942      6826   3080965     56.78     17.07  --
2758.70/690.64	c  N dy  9456   1330940       311       234      1993     92643      6886   4172611     57.91     17.07  --
2788.25/698.05	c Finding binary XORs  T:     0.00 s  found:       0
2789.05/698.27	c  N dy  9598   1350999       311       234      1993     63399      6886   2473630     54.35     17.07  --
2822.61/706.68	c  N dy  9742   1371132       311       234      1993     83063      6886   3555755     51.78     17.07  --
2867.74/717.95	c  N dy  9885   1391169       311       234      1993     52803      6886   1834048     53.66     17.07  --
3418.23/855.77	c  N dy 10009   1710311       327       234      2029     98767      6954   5021721     77.42     17.90  --
3419.41/856.03	c  S st 10009   1710311       327       234      2029     98767      6954   5021721     77.42     17.90  --
3420.61/856.32	c  S st 10009   1710814       339       234      2064     99289      7002   5052273     77.42     17.90  --
3420.61/856.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3420.61/856.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3429.00/858.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     22 BRemN:      0 CBin:       0 P: 60.0M T:  8.58
3429.00/858.48	c Calc non-exist non-lernt bins v-fix:     0 done:    339 time:  0.01 s
3429.00/858.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3429.40/858.53	c Subs w/ non-existent bins:      0 time:  0.19 s
3429.40/858.55	c Replacing        1 vars Replaced       44 lits Time:     0.06 s 
3429.80/858.63	c bin-w-bin subsume rem            2 bins  time:  0.00 s
3437.79/860.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.23 s
3437.79/860.69	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4689.30/1173.96	c ORs :     21 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 29.0 T:    0.26

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-3250051-1304131567/watcher-3250051-1304131567 -o /tmp/evaluation-result-3250051-1304131567/solver-3250051-1304131567 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250051-1304131567.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.08 7.93 7.84 5/180 23931
/proc/meminfo: memFree=30432652/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=81000 CPUtime=0 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 646 0 0 0 0 0 0 0 25 0 4 0 524759106 82944000 581 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436073457 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 20250 581 361 148 0 15179 0
[pid=23931/tid=23932] ppid=23929 vsize=81000 CPUtime=0 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524759107 82944000 581 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=81000 CPUtime=0 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524759107 82944000 581 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=81000 CPUtime=0 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524759107 82944000 581 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0849521 s]
/proc/loadavg: 8.08 7.93 7.84 5/180 23931
/proc/meminfo: memFree=30432652/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=672264 CPUtime=0.3 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 1570 0 0 0 30 0 0 0 25 0 4 0 524759106 688398336 1460 33554432000 4194304 4797429 140733899285136 18446744073709551615 212435713692 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 168066 1460 409 148 0 162995 0
[pid=23931/tid=23932] ppid=23929 vsize=672264 CPUtime=0.07 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 259 0 0 0 7 0 0 0 25 0 4 0 524759107 688398336 1460 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=672264 CPUtime=0.07 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 223 0 0 0 7 0 0 0 25 0 4 0 524759107 688398336 1460 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=672264 CPUtime=0.07 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 219 0 0 0 7 0 0 0 25 0 4 0 524759107 688398336 1460 33554432000 4194304 4797429 140733899285136 18446744073709551615 212435713726 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 672264

[startup+0.107072 s]
/proc/loadavg: 8.08 7.93 7.84 5/180 23931
/proc/meminfo: memFree=30432652/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=672528 CPUtime=0.39 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 1753 0 0 0 39 0 0 0 25 0 4 0 524759106 688668672 1642 33554432000 4194304 4797429 140733899285136 18446744073709551615 212435713684 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 168132 1642 409 148 0 163061 0
[pid=23931/tid=23932] ppid=23929 vsize=672528 CPUtime=0.09 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 305 0 0 0 9 0 0 0 25 0 4 0 524759107 688668672 1642 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436122143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=672528 CPUtime=0.09 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 265 0 0 0 9 0 0 0 25 0 4 0 524759107 688668672 1642 33554432000 4194304 4797429 140733899285136 18446744073709551615 212436122094 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=672528 CPUtime=0.09 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 270 0 0 0 9 0 0 0 25 0 4 0 524759107 688668672 1642 33554432000 4194304 4797429 140733899285136 18446744073709551615 212435677893 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 672528

[startup+0.300179 s]
/proc/loadavg: 8.08 7.93 7.84 5/180 23931
/proc/meminfo: memFree=30432652/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=676072 CPUtime=1.17 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 3363 0 0 0 116 1 0 0 25 0 4 0 524759106 692297728 2067 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 169018 2067 409 148 0 163947 0
[pid=23931/tid=23932] ppid=23929 vsize=676072 CPUtime=0.28 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 722 0 0 0 28 0 0 0 25 0 4 0 524759107 692297728 2067 33554432000 4194304 4797429 140733899285136 18446744073709551615 4377476 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=676072 CPUtime=0.29 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 679 0 0 0 29 0 0 0 25 0 4 0 524759107 692297728 2068 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=676072 CPUtime=0.29 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 644 0 0 0 29 0 0 0 25 0 4 0 524759107 692297728 2068 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 676072

[startup+0.701106 s]
/proc/loadavg: 8.08 7.93 7.84 5/180 23931
/proc/meminfo: memFree=30432652/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=679076 CPUtime=2.77 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 5264 0 0 0 276 1 0 0 25 0 4 0 524759106 695373824 3947 33554432000 4194304 4797429 140733899285136 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 169769 3947 413 148 0 164698 0
[pid=23931/tid=23932] ppid=23929 vsize=679076 CPUtime=0.68 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 1204 0 0 0 68 0 0 0 25 0 4 0 524759107 695373824 3947 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=679076 CPUtime=0.69 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 1170 0 0 0 69 0 0 0 25 0 4 0 524759107 695373824 3947 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428962 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=679076 CPUtime=0.69 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 1145 0 0 0 69 0 0 0 25 0 4 0 524759107 695373824 3947 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 679076

[startup+1.50095 s]
/proc/loadavg: 8.08 7.93 7.84 9/184 23935
/proc/meminfo: memFree=30410700/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=680744 CPUtime=5.96 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 8531 0 0 0 594 2 0 0 25 0 4 0 524759106 697081856 6129 33554432000 4194304 4797429 140733899285136 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 170186 6129 414 148 0 165115 0
[pid=23931/tid=23932] ppid=23929 vsize=680744 CPUtime=1.48 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 1923 0 0 0 148 0 0 0 18 0 4 0 524759107 697081856 6129 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=680744 CPUtime=1.47 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 1858 0 0 0 147 0 0 0 18 0 4 0 524759107 697081856 6129 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=680744 CPUtime=1.48 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 1890 0 0 0 148 0 0 0 18 0 4 0 524759107 697081856 6129 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 680744

[startup+3.10065 s]
/proc/loadavg: 8.08 7.93 7.84 9/184 23935
/proc/meminfo: memFree=30408096/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=683872 CPUtime=12.36 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 11048 0 0 0 1233 3 0 0 25 0 4 0 524759106 700284928 6416 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428900 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 170968 6416 415 148 0 165897 0
[pid=23931/tid=23932] ppid=23929 vsize=683872 CPUtime=3.08 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 2371 0 0 0 308 0 0 0 22 0 4 0 524759107 700284928 6416 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=683872 CPUtime=3.07 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 2217 0 0 0 307 0 0 0 21 0 4 0 524759107 700284928 6416 33554432000 4194304 4797429 140733899285136 18446744073709551615 4425630 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=683872 CPUtime=3.08 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 2312 0 0 0 308 0 0 0 22 0 4 0 524759107 700284928 6416 33554432000 4194304 4797429 140733899285136 18446744073709551615 4425927 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 683872

[startup+6.30104 s]
/proc/loadavg: 8.08 7.93 7.84 9/184 23935
/proc/meminfo: memFree=30401224/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=688956 CPUtime=25.13 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 12843 0 0 0 2510 3 0 0 25 0 4 0 524759106 705490944 8198 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 172239 8198 417 148 0 167168 0
[pid=23931/tid=23932] ppid=23929 vsize=688956 CPUtime=6.28 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 2685 0 0 0 628 0 0 0 25 0 4 0 524759107 705490944 8198 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=688956 CPUtime=6.25 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 2483 0 0 0 625 0 0 0 25 0 4 0 524759107 705490944 8198 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=688956 CPUtime=6.28 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 2605 0 0 0 628 0 0 0 25 0 4 0 524759107 705490944 8198 33554432000 4194304 4797429 140733899285136 18446744073709551615 4351624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 688956

[startup+12.7008 s]
/proc/loadavg: 8.07 7.93 7.84 9/184 23935
/proc/meminfo: memFree=30388816/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=693784 CPUtime=50.7 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 18879 0 0 0 5065 5 0 0 25 0 4 0 524759106 710434816 10146 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 173446 10146 417 148 0 168375 0
[pid=23931/tid=23932] ppid=23929 vsize=693784 CPUtime=12.68 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 3161 0 0 0 1268 0 0 0 25 0 4 0 524759107 710434816 10146 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=693784 CPUtime=12.61 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 2978 0 0 0 1261 0 0 0 25 0 4 0 524759107 710434816 10146 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=693784 CPUtime=12.68 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 3148 0 0 0 1268 0 0 0 25 0 4 0 524759107 710434816 10146 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 693784

[startup+25.5004 s]
/proc/loadavg: 8.05 7.94 7.84 9/184 23935
/proc/meminfo: memFree=30377800/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=702676 CPUtime=101.82 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 26300 0 0 0 10176 6 0 0 25 0 4 0 524759106 719540224 13081 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 175669 13081 419 148 0 170598 0
[pid=23931/tid=23932] ppid=23929 vsize=702676 CPUtime=25.48 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 4160 0 0 0 2547 1 0 0 25 0 4 0 524759107 719540224 13081 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=702676 CPUtime=25.34 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 3850 0 0 0 2534 0 0 0 25 0 4 0 524759107 719540224 13081 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=702676 CPUtime=25.48 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 3876 0 0 0 2548 0 0 0 25 0 4 0 524759107 719540224 13081 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 702676

[startup+51.1005 s]
/proc/loadavg: 8.17 7.97 7.85 9/184 23936
/proc/meminfo: memFree=30365120/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=712440 CPUtime=204.08 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 36623 0 0 0 20400 8 0 0 25 0 4 0 524759106 729538560 16020 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 178110 16020 419 148 0 173039 0
[pid=23931/tid=23932] ppid=23929 vsize=712440 CPUtime=51.08 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 5390 0 0 0 5107 1 0 0 25 0 4 0 524759107 729538560 16020 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=712440 CPUtime=50.81 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 4854 0 0 0 5080 1 0 0 25 0 4 0 524759107 729538560 16020 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=712440 CPUtime=51.07 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 5025 0 0 0 5107 0 0 0 25 0 4 0 524759107 729538560 16020 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 712440

[startup+102.307 s]
/proc/loadavg: 8.22 8.01 7.87 9/184 23937
/proc/meminfo: memFree=30342028/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=724860 CPUtime=408.64 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 61300 0 0 0 40848 16 0 0 25 0 4 0 524759106 742256640 20006 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 181215 20006 421 148 0 176144 0
[pid=23931/tid=23932] ppid=23929 vsize=724860 CPUtime=102.29 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 7166 0 0 0 10227 2 0 0 25 0 4 0 524759107 742256640 20006 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=724860 CPUtime=101.73 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 6880 0 0 0 10172 1 0 0 25 0 4 0 524759107 742256640 20006 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=724860 CPUtime=102.29 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 6815 0 0 0 10228 1 0 0 25 0 4 0 524759107 742256640 20006 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 724860

[startup+162.3 s]

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

[pid=23931] ppid=23929 vsize=787312 CPUtime=2805.43 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 218295 0 0 0 280462 81 0 0 25 0 4 0 524759106 806207488 40399 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424891 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 196828 40399 422 148 0 191757 0
[pid=23931/tid=23932] ppid=23929 vsize=787312 CPUtime=702.3 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 24558 0 0 0 70221 9 0 0 25 0 4 0 524759107 806207488 40399 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=787312 CPUtime=698.49 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 23501 0 0 0 69842 7 0 0 25 0 4 0 524759107 806207488 40399 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=787312 CPUtime=702.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 23737 0 0 0 70223 7 0 0 25 0 4 0 524759107 806207488 40399 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.43
Current children cumulated vsize (KiB) 787312

[startup+762.306 s]
/proc/loadavg: 8.02 7.99 7.91 9/184 23986
/proc/meminfo: memFree=30340752/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=789012 CPUtime=3045.13 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 235060 0 0 0 304424 89 0 0 25 0 4 0 524759106 807948288 45319 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424617 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 197253 45319 422 148 0 192182 0
[pid=23931/tid=23932] ppid=23929 vsize=789012 CPUtime=762.31 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 26615 0 0 0 76221 10 0 0 25 0 4 0 524759107 807948288 45319 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=789012 CPUtime=758.16 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 24601 0 0 0 75809 7 0 0 25 0 4 0 524759107 807948288 45319 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=789012 CPUtime=762.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 24768 0 0 0 76223 7 0 0 25 0 4 0 524759107 807948288 45319 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.13
Current children cumulated vsize (KiB) 789012

[startup+822.301 s]
/proc/loadavg: 8.00 7.99 7.91 9/184 23987
/proc/meminfo: memFree=30333412/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=792056 CPUtime=3284.8 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 255931 0 0 0 328381 99 0 0 25 0 4 0 524759106 811065344 45392 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424859 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 198014 45392 422 148 0 192943 0
[pid=23931/tid=23932] ppid=23929 vsize=792056 CPUtime=822.31 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 27447 0 0 0 82221 10 0 0 25 0 4 0 524759107 811065344 45392 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=792056 CPUtime=817.83 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 26253 0 0 0 81775 8 0 0 25 0 4 0 524759107 811065344 45392 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428935 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=792056 CPUtime=822.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 26454 0 0 0 82222 8 0 0 25 0 4 0 524759107 811065344 45392 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 792056

[startup+882.3 s]
/proc/loadavg: 8.04 8.00 7.92 9/184 23989
/proc/meminfo: memFree=30300508/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=813868 CPUtime=3524.47 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 272412 0 0 0 352342 105 0 0 25 0 4 0 524759106 833400832 51635 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 203467 51635 436 148 0 198396 0
[pid=23931/tid=23932] ppid=23929 vsize=813868 CPUtime=882.31 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 29440 0 0 0 88220 11 0 0 25 0 4 0 524759107 833400832 51635 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=813868 CPUtime=877.5 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 27985 0 0 0 87741 9 0 0 25 0 4 0 524759107 833400832 51635 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=813868 CPUtime=882.29 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 27378 0 0 0 88221 8 0 0 25 0 4 0 524759107 833400832 51635 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424709 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.47
Current children cumulated vsize (KiB) 813868

[startup+942.301 s]
/proc/loadavg: 8.09 8.03 7.93 9/184 24000
/proc/meminfo: memFree=30318224/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=814252 CPUtime=3764.13 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 276741 0 0 0 376305 108 0 0 25 0 4 0 524759106 833794048 51962 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 203563 51962 436 148 0 198492 0
[pid=23931/tid=23932] ppid=23929 vsize=814252 CPUtime=942.31 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 31190 0 0 0 94219 12 0 0 25 0 4 0 524759107 833794048 51962 33554432000 4194304 4797429 140733899285136 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=814252 CPUtime=937.18 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 28822 0 0 0 93708 10 0 0 25 0 4 0 524759107 833794048 51962 33554432000 4194304 4797429 140733899285136 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=814252 CPUtime=942.29 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 29120 0 0 0 94220 9 0 0 25 0 4 0 524759107 833794048 51962 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 814252

[startup+1002.3 s]
/proc/loadavg: 8.18 8.06 7.94 9/184 24001
/proc/meminfo: memFree=30306304/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=814812 CPUtime=4003.81 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 281811 0 0 0 400271 110 0 0 25 0 4 0 524759106 834367488 52864 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 203703 52864 435 148 0 198632 0
[pid=23931/tid=23932] ppid=23929 vsize=814812 CPUtime=1002.32 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 32107 0 0 0 100219 13 0 0 25 0 4 0 524759107 834367488 52864 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=814812 CPUtime=996.86 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 30862 0 0 0 99675 11 0 0 25 0 4 0 524759107 834367488 52864 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524442 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=814812 CPUtime=1002.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 31233 0 0 0 100220 10 0 0 25 0 4 0 524759107 834367488 52864 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 814812

[startup+1062.3 s]
/proc/loadavg: 8.22 8.08 7.95 11/185 24006
/proc/meminfo: memFree=30276844/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=815100 CPUtime=4243.5 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 285486 0 0 0 424238 112 0 0 25 0 4 0 524759106 834662400 54328 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 203775 54328 435 148 0 198704 0
[pid=23931/tid=23932] ppid=23929 vsize=815100 CPUtime=1062.32 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 34083 0 0 0 106218 14 0 0 25 0 4 0 524759107 834662400 54328 33554432000 4194304 4797429 140733899285136 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=815100 CPUtime=1056.53 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 31697 0 0 0 105642 11 0 0 25 0 4 0 524759107 834662400 54328 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=815100 CPUtime=1062.29 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 32097 0 0 0 106219 10 0 0 25 0 4 0 524759107 834662400 54328 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 815100

[startup+1122.3 s]
/proc/loadavg: 8.25 8.12 7.98 9/184 24007
/proc/meminfo: memFree=30285872/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=816712 CPUtime=4483.17 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 290084 0 0 0 448204 113 0 0 25 0 4 0 524759106 836313088 54564 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 204178 54564 435 148 0 199107 0
[pid=23931/tid=23932] ppid=23929 vsize=816712 CPUtime=1122.32 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 34800 0 0 0 112218 14 0 0 25 0 4 0 524759107 836313088 54564 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=816712 CPUtime=1116.21 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 33563 0 0 0 111609 12 0 0 25 0 4 0 524759107 836313088 54564 33554432000 4194304 4797429 140733899285136 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=816712 CPUtime=1122.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 34112 0 0 0 112219 11 0 0 25 0 4 0 524759107 836313088 54564 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 816712

[startup+1182.3 s]
/proc/loadavg: 8.26 8.14 7.99 9/184 24009
/proc/meminfo: memFree=30276912/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=819384 CPUtime=4722.85 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 293755 0 0 0 472170 115 0 0 25 0 4 0 524759106 839049216 55959 33554432000 4194304 4797429 140733899285136 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 204846 55959 435 148 0 199775 0
[pid=23931/tid=23932] ppid=23929 vsize=819384 CPUtime=1182.32 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 36704 0 0 0 118217 15 0 0 25 0 4 0 524759107 839049216 55959 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=819384 CPUtime=1175.89 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 34289 0 0 0 117576 13 0 0 25 0 4 0 524759107 839049216 55959 33554432000 4194304 4797429 140733899285136 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=819384 CPUtime=1182.3 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 34839 0 0 0 118219 11 0 0 25 0 4 0 524759107 839049216 55959 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 819384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.26 8.15 8.00 9/184 24010
/proc/meminfo: memFree=30275532/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=820744 CPUtime=4800.37 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 295732 0 0 0 479921 116 0 0 25 0 4 0 524759106 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 205186 55664 435 148 0 200115 0
[pid=23931/tid=23932] ppid=23929 vsize=820744 CPUtime=1201.73 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 36967 0 0 0 120158 15 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=820744 CPUtime=1195.18 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 35602 0 0 0 119505 13 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=820744 CPUtime=1201.71 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 35178 0 0 0 120159 12 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 820744

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

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

[startup+1201.7 s]
/proc/loadavg: 8.26 8.15 8.00 9/184 24010
/proc/meminfo: memFree=30275532/32951124 swapFree=67111416/67111528
[pid=23931] ppid=23929 vsize=820744 CPUtime=4800.37 cores=1,3,5,7
/proc/23931/stat : 23931 (techdemo) R 23929 23931 23020 0 -1 4202496 295732 0 0 0 479921 116 0 0 25 0 4 0 524759106 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4495554 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/23931/statm: 205186 55664 435 148 0 200115 0
[pid=23931/tid=23932] ppid=23929 vsize=820744 CPUtime=1201.73 cores=1,3,5,7
/proc/23931/task/23932/stat : 23932 (techdemo) R 23929 23931 23020 0 -1 4202560 36967 0 0 0 120158 15 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=23931/tid=23933] ppid=23929 vsize=820744 CPUtime=1195.18 cores=1,3,5,7
/proc/23931/task/23933/stat : 23933 (techdemo) R 23929 23931 23020 0 -1 4202560 35602 0 0 0 119505 13 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=23931/tid=23934] ppid=23929 vsize=820744 CPUtime=1201.71 cores=1,3,5,7
/proc/23931/task/23934/stat : 23934 (techdemo) R 23929 23931 23020 0 -1 4202560 35178 0 0 0 120159 12 0 0 25 0 4 0 524759107 840441856 55664 33554432000 4194304 4797429 140733899285136 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 820744

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.41
CPU user time (s): 4799.23
CPU system time (s): 1.17682
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 927136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.23
system time used= 1.17682
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295732
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= 882
involuntary context switches= 35471

runsolver used 1.9907 second user time and 4.5873 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 04:46:08
IDJOB=3250051
IDBENCH=83230
IDSOLVER=1584
FILE ID=node102/3250051-1304131567
RUNJOBID= node102-1304130997-23833
PBS_JOBID= 13170771
Free space on /tmp= 72464 MiB

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

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

MD5SUM BENCH= 647576009a3d34cc33c6dfd3ecb1a2ef
RANDOM SEED=317264070

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30432932 kB
Buffers:        613372 kB
Cached:        1257672 kB
SwapCached:          0 kB
Active:         341200 kB
Inactive:      1762140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30432932 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            7792 kB
Writeback:           0 kB
AnonPages:      232568 kB
Mapped:          15732 kB
Slab:           351596 kB
PageTables:       5192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   825080 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= 72456 MiB
End job on node102 at 2011-04-30 05:06:11