Trace number 3249963

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

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-14-14-unsat.cnf
MD5SUM78a2cc7b74fc3d9947709f16156cc565
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 variables196
Number of clauses1470
Sum of the clauses size5292
Maximum clause length14
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21274
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5196

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-3249963-1304130997.cnf'
0.00/0.00	c -- header says num vars:            196
0.00/0.00	c -- header says num clauses:        1470
0.00/0.00	c -- clauses added:            0 learnts,         1470 normals,            0 xors
0.00/0.00	c -- vars added        196
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       196       196      1274         0      5292         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/196/196 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:    196 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:    130  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
3.19/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.19/0.83	c calculated reachability. Time: 0.00
3.19/0.83	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     196
3.19/0.83	c =========================================================================================
3.19/0.83	c types(t): F = full restart, N = normal restart
3.19/0.83	c types(t): S = simplification begin/end, E = solution found
3.19/0.83	c restart types(rt): st = static, dy = dynamic
3.19/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.19/0.83	c  B st     0         0       196       196      1274         0      5292         0   no data   no data  --
3.19/0.83	c Decided on static restart strategy
3.19/0.83	c  N dy    20      4003       196       196      1274      3923      5292    206102     51.42     17.17  --
3.19/0.83	c  N dy    49      8044       196       196      1274      5435      5292    264430     53.39     16.70  --
3.59/0.93	c  N dy    78     12141       196       196      1274      5265      5292    235632     53.39     16.91  --
4.77/1.27	c  N dy   107     16209       196       196      1274      9214      5292    442180     55.47     17.01  --
6.37/1.66	c  N dy   136     20280       196       196      1274      7684      5292    337286     54.40     16.86  --
8.36/2.11	c  N dy   164     24295       196       196      1274     11493      5292    530490     53.14     16.77  --
9.96/2.59	c  N dy   193     28378       196       196      1274      8896      5292    374420     50.27     16.79  --
11.16/2.80	c  S st   205     30004       196       196      1274     10473      5292    449845     48.99     16.77  --
11.16/2.84	c  S st   205     30507       196       196      1274     10975      5292    476711     48.99     16.77  --
11.16/2.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.58/2.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  0.51
11.58/2.97	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
11.58/2.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.58/2.97	c Subs w/ non-existent bins:      0 time:  0.01 s
11.58/2.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
13.16/3.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.48 s
13.16/3.35	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
21.94/5.52	c lits-rem:       115  cl-subs:      972  v-elim:    196  v-fix:    0  time:  8.67 s
21.94/5.52	c learnt bin added due to v-elim: 0
21.94/5.52	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
21.94/5.53	c vivif2 --  cl tried    10003 cl shrink        0 lits rem          0 time: 0.02
21.94/5.54	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.05
21.94/5.54	c calculated reachability. Time: 0.00
21.94/5.54	c  N dy   205     30507       196       196      1274     10003      5292    443520     48.99     16.77  --
21.94/5.54	c  F st   205     30507       196       196      1274     10003      5292    443520     48.99     16.77  --
22.34/5.66	c Decided on static restart strategy
23.14/5.83	c  N dy   225     34561       196       196      1274     13992      5292    660507     55.20     16.78  --
24.34/6.14	c  N dy   254     38657       196       196      1274     10317      5292    448231     58.95     16.73  --
25.93/6.52	c  N dy   283     42711       196       196      1274     14309      5292    665893     54.79     16.70  --
27.53/6.95	c  S st   305     45760       196       196      1274     17310      5292    822026     51.13     16.67  --
27.94/7.01	c  S st   305     46266       196       196      1274      9051      5292    363385     51.13     16.67  --
27.94/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.34/7.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.2M T:  0.61
28.34/7.17	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
28.34/7.17	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
28.34/7.17	c Subs w/ non-existent bins:      0 time:  0.01 s
28.34/7.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
29.56/7.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.16 s
29.56/7.46	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
31.93/8.09	c lits-rem:        12  cl-subs:      242  v-elim:    196  v-fix:    0  time:  2.51 s
31.93/8.09	c learnt bin added due to v-elim: 0
31.93/8.09	c vivif2 --  cl tried      196 cl shrink        0 lits rem          0 time: 0.00
32.33/8.10	c vivif2 --  cl tried     8809 cl shrink        0 lits rem          0 time: 0.01
32.33/8.11	c asymm  cl-useful: 0/196/196 lits-rem:0 time: 0.04
32.33/8.11	c calculated reachability. Time: 0.00
32.33/8.11	c  N dy   305     46266       196       196      1274      8809      5292    354905     51.13     16.67  --
33.13/8.38	c  N dy   334     50307       196       196      1274     12800      5292    571508     53.72     16.56  --
34.73/8.79	c  N dy   363     54345       196       196      1274     16785      5292    788251     53.52     16.45  --
36.73/9.27	c  N dy   392     58365       196       196      1274     10937      5292    462475     49.92     16.40  --
38.35/9.63	c  N dy   421     62402       196       196      1274     14910      5292    679268     56.31     16.39  --
39.92/10.06	c  N dy   450     66441       196       196      1274     18815      5292    896999     54.44     16.36  --
41.52/10.48	c  S st   471     69400       196       196      1274     10876      5292    423819     56.81     16.38  --
41.92/10.52	c  S st   471     69902       196       196      1274     11376      5292    450370     56.81     16.38  --
41.92/10.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
41.92/10.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.74/10.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.0M T:  1.04
42.74/10.79	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
42.74/10.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
42.74/10.79	c Subs w/ non-existent bins:      0 time:  0.01 s
42.74/10.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.31/11.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.44 s
44.31/11.15	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
52.70/13.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
64.31/16.13	c Added 2 vars  tried: 80000 time: 11.70
64.31/16.15	c ORs :      2 avg-s:  0.0 cl-sh:  4236 l-rem:   4236 b-add:      4 v-rep:   0 cl-rem: 0 avg s: nan T:   11.78
64.31/16.15	c lits-rem:        34  cl-subs:      413  v-elim:    196  v-fix:    0  time: 19.97 s
64.31/16.15	c learnt bin added due to v-elim: 0
64.31/16.15	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
64.31/16.16	c vivif2 --  cl tried    10963 cl shrink        0 lits rem          0 time: 0.02
64.31/16.17	c asymm  cl-useful: 0/198/198 lits-rem:0 time: 0.04
64.31/16.17	c calculated reachability. Time: 0.00
64.31/16.17	c  N dy   471     69902       198       198      1278     10963      5306    433503     56.81     16.38  --
64.31/16.17	c  F st   471     69902       198       198      1278     10963      5306    433503     56.81     16.38  --
65.09/16.32	c Decided on static restart strategy
65.89/16.54	c  N dy   495     74467       198       198      1279     15459      5306    665687     53.26     16.37  --
68.29/17.14	c  N dy   529     79226       198       198      1281     20144      5306    917675     54.88     16.33  --
71.08/17.85	c  N dy   565     84324       198       198      1285     13407      5306    539061     53.13     16.31  --
73.50/18.43	c  N dy   604     89738       198       198      1289     18715      5306    820839     55.79     16.27  --
77.08/19.32	c  N dy   645     95485       198       198      1291     24337      5306   1112883     47.94     16.23  --
79.87/20.08	c  N dy   689    101650       198       198      1293     17649      5306    745236     50.75     16.20  --
81.89/20.51	c  S st   712    104854       198       198      1294     20793      5306    903783     51.53     16.17  --
81.89/20.59	c  S st   712    105356       198       198      1295     21293      5306    931450     51.53     16.17  --
81.89/20.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
81.89/20.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.07/21.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      6 BRemL:      2 BRemN:      0 CBin:       0 P: 34.1M T:  2.89
85.07/21.31	c Calc non-exist non-lernt bins v-fix:     0 done:    198 time:  0.00 s
85.07/21.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
85.07/21.32	c Subs w/ non-existent bins:      0 time:  0.02 s
85.07/21.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.66/22.23	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  3.57 s
88.66/22.23	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
99.05/24.84	c ORs :      6 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
99.05/24.84	c lits-rem:        32  cl-subs:     1062  v-elim:    196  v-fix:    0  time: 10.46 s
99.05/24.84	c learnt bin added due to v-elim: 0
99.05/24.84	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
99.05/24.85	c vivif2 --  cl tried    20231 cl shrink        1 lits rem          1 time: 0.03
99.05/24.87	c asymm  cl-useful: 0/198/198 lits-rem:0 time: 0.06
99.05/24.87	c calculated reachability. Time: 0.00
99.05/24.87	c  N dy   712    105356       198       198      1299     20231      5306    888800     51.53     16.17  --
102.64/25.76	c  N dy   761    112203       198       198      1299     26950      5306   1265454     51.35     16.15  --
105.83/26.59	c  N dy   813    119428       198       198      1299     20345      5306    882594     51.60     16.12  --
111.83/28.07	c  N dy   868    127049       198       198      1299     27825      5306   1264898     51.92     16.11  --
116.63/29.29	c  N dy   926    135162       198       198      1299     21093      5306    912028     50.57     16.09  --
123.82/31.02	c  N dy   988    143853       198       198      1299     29608      5306   1351650     50.95     16.07  --
129.81/32.51	c  N dy  1055    153123       198       198      1299     23012      5306    997146     52.37     16.04  --
133.40/33.42	c  S st  1091    158035       198       198      1299     27815      5306   1234585     49.92     16.02  --
133.80/33.50	c  S st  1091    158537       198       198      1299     28312      5306   1261152     49.92     16.02  --
133.80/33.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
133.80/33.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
138.59/34.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 55.1M T:  4.96
138.59/34.75	c Calc non-exist non-lernt bins v-fix:     0 done:    198 time:  0.00 s
138.59/34.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
138.59/34.75	c Subs w/ non-existent bins:      0 time:  0.04 s
138.59/34.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
143.80/36.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.96 s
143.80/36.02	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
158.17/39.62	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 18.0 T:    0.02
158.17/39.63	c lits-rem:        22  cl-subs:     1501  v-elim:    196  v-fix:    0  time: 14.45 s
158.17/39.63	c learnt bin added due to v-elim: 0
158.17/39.63	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
158.17/39.65	c vivif2 --  cl tried    26810 cl shrink        0 lits rem          0 time: 0.05
158.17/39.67	c asymm  cl-useful: 0/198/198 lits-rem:0 time: 0.10
158.17/39.67	c calculated reachability. Time: 0.00
158.17/39.67	c  N dy  1091    158537       198       198      1299     26810      5306   1204176     49.92     16.02  --
162.96/40.86	c  N dy  1164    168721       198       198      1301     20159      5306    875021     51.50     16.04  --
168.55/42.28	c  N dy  1242    179541       198       198      1301     30751      5306   1446655     50.53     16.04  --
175.35/43.98	c  N dy  1324    191027       198       198      1301     24297      5306   1038748     51.77     16.04  --
184.93/46.36	c  N dy  1411    203278       210       198      1385     36191      5358   1682065     55.16     16.03  --
193.72/48.50	c  N dy  1505    216322       210       198      1385     30387      5358   1280169     48.14     16.00  --
204.51/51.29	c  N dy  1603    230134       210       198      1385     24284      5358    918718     51.87     15.96  --
210.10/52.69	c  S st  1659    237805       210       198      1385     31735      5358   1284249     48.27     15.95  --
210.90/52.80	c  S st  1659    238310       210       198      1392     32231      5358   1311139     48.27     15.95  --
210.90/52.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
210.90/52.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.09/54.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     17 BRemL:     21 BRemN:      0 CBin:       0 P: 60.1M T:  5.48
216.09/54.18	c Calc non-exist non-lernt bins v-fix:     0 done:    210 time:  0.00 s
216.09/54.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
216.09/54.19	c Subs w/ non-existent bins:      0 time:  0.05 s
216.49/54.24	c Replacing        1 vars Replaced     6800 lits Time:     0.19 s 
216.49/54.25	c bin-w-bin subsume rem            2 bins  time:  0.00 s
221.69/55.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.16 s
221.69/55.55	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
235.27/58.92	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.02
235.27/58.93	c lits-rem:       137  cl-subs:     2075  v-elim:    196  v-fix:    0  time: 13.52 s
235.27/58.93	c learnt bin added due to v-elim: 0
235.27/58.93	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
235.27/58.94	c vivif2 --  cl tried    30156 cl shrink        1 lits rem          2 time: 0.05
235.27/58.97	c asymm  cl-useful: 0/198/198 lits-rem:0 time: 0.11
235.27/58.97	c calculated reachability. Time: 0.00
235.27/58.97	c  N dy  1659    238310       209       198      1382     30156      5350   1237186     48.27     15.95  --
244.48/61.24	c  N dy  1767    253554       209       198      1382     24602      5350    940911     54.41     15.96  --
257.65/64.55	c  N dy  1883    269816       209       198      1382     40512      5350   1764444     53.67     15.94  --
270.43/67.72	c  N dy  2006    287141       209       198      1382     35926      5350   1488713     49.68     15.93  --
286.00/71.63	c  N dy  2137    305514       209       198      1382     31361      5350   1211738     52.69     15.93  --
304.78/76.32	c  N dy  2277    325095       209       198      1382     27046      5350    975945     50.00     15.93  --
323.16/80.96	c  N dy  2420    345159       209       198      1382     46439      5350   1928574     52.03     15.91  --
333.54/83.50	c  S st  2508    357466       209       198      1382     34182      5350   1282507     49.08     15.90  --
333.94/83.60	c  S st  2508    357968       209       198      1382     34679      5350   1308324     49.08     15.90  --
333.94/83.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
333.94/83.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
339.54/85.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  5.58
339.54/85.00	c Calc non-exist non-lernt bins v-fix:     0 done:    209 time:  0.00 s
339.54/85.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
339.54/85.01	c Subs w/ non-existent bins:      0 time:  0.05 s
339.54/85.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
344.73/86.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.18 s
344.73/86.33	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
363.90/91.14	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 17.5 T:    0.02
363.90/91.16	c lits-rem:       653  cl-subs:     2292  v-elim:    196  v-fix:    0  time: 19.28 s
363.90/91.16	c learnt bin added due to v-elim: 0
363.90/91.16	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
363.90/91.17	c vivif2 --  cl tried    32385 cl shrink        0 lits rem          0 time: 0.06
364.30/91.20	c asymm  cl-useful: 0/198/198 lits-rem:0 time: 0.09
364.30/91.20	c calculated reachability. Time: 0.00
364.30/91.20	c  N dy  2508    357968       209       198      1382     32385      5350   1240230     49.08     15.90  --
379.89/95.16	c  N dy  2646    378068       218       198      1435     26519      5386    929616     48.68     15.95  --
396.66/99.32	c  N dy  2790    398127       218       198      1435     46135      5386   1959796     52.37     15.95  --
415.04/103.98	c  N dy  2932    418224       218       198      1435     39433      5386   1573501     48.74     15.95  --
438.23/109.79	c  N dy  3074    438319       218       198      1460     31730      5388   1159391     49.59     15.94  --
459.81/115.13	c  N dy  3218    458442       218       198      1461     51367      5388   2120641     47.94     15.93  --
480.96/120.41	c  N dy  3362    478557       218       198      1461     42757      5388   1661742     47.02     15.91  --
505.73/126.65	c  N dy  3504    498640       218       198      1461     33053      5388   1198930     46.01     15.89  --
526.49/131.81	c  N dy  3645    518702       218       198      1461     52445      5388   2121549     45.04     15.87  --
546.47/136.85	c  S st  3775    536953       230       198      1531     40113      5452   1519309     50.64     15.85  --
546.87/136.96	c  S st  3775    537456       230       198      1531     40612      5452   1545555     50.64     15.85  --
546.87/136.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
546.87/136.97	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
552.86/138.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      1 BRemL:     23 BRemN:      2 CBin:       0 P: 60.1M T:  5.88
552.86/138.44	c Calc non-exist non-lernt bins v-fix:     0 done:    230 time:  0.00 s
552.86/138.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
552.86/138.46	c Subs w/ non-existent bins:      0 time:  0.07 s
553.26/138.50	c Replacing        6 vars Replaced     5377 lits Time:     0.19 s 
553.26/138.52	c bin-w-bin subsume rem           10 bins  time:  0.00 s
559.26/140.05	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  6.08 s
559.26/140.05	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
582.84/145.99	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.02
583.24/146.01	c lits-rem:       116  cl-subs:     2734  v-elim:    196  v-fix:    0  time: 23.80 s
583.24/146.01	c learnt bin added due to v-elim: 0
583.24/146.01	c vivif2 --  cl tried      198 cl shrink        0 lits rem          0 time: 0.00
583.24/146.02	c vivif2 --  cl tried    37878 cl shrink        1 lits rem          2 time: 0.07
583.62/146.18	c asymm  cl-useful: 0/182/198 lits-rem:0 time: 0.62
583.62/146.18	c calculated reachability. Time: 0.00
583.62/146.18	c  N dy  3775    537456       224       198      1478     37878      5410   1475984     50.64     15.85  --
583.62/146.18	c  F st  3775    537456       224       198      1478     37878      5410   1475984     50.64     15.85  --
584.82/146.48	c Decided on static restart strategy
600.42/150.34	c  N dy  3910    557475       224       198      1478     57424      5410   2527747     53.91     15.85  --
617.99/154.77	c  N dy  4054    577606       224       198      1478     46040      5410   1881500     51.88     15.85  --
644.77/161.49	c  N dy  4198    597666       224       198      1478     33482      5410   1229222     49.44     15.85  --
661.52/165.61	c  N dy  4342    617752       224       198      1478     53089      5410   2193825     51.39     15.85  --
685.09/171.54	c  N dy  4485    637835       224       198      1478     39418      5410   1526694     53.26     15.84  --
707.06/177.01	c  N dy  4627    657905       224       198      1478     58607      5410   2513086     55.96     15.84  --
730.23/182.81	c  N dy  4768    678010       224       198      1478     44142      5410   1766645     47.39     15.85  --
753.79/188.73	c  N dy  4910    698011       224       198      1478     63479      5410   2736319     52.96     15.85  --
774.97/194.05	c  N dy  5051    718108       224       198      1478     48071      5410   1874549     44.74     15.85  --
801.74/200.70	c  N dy  5192    738203       224       198      1478     67277      5410   2812656     49.93     15.84  --
822.51/205.97	c  N dy  5335    758297       224       198      1478     51134      5410   1939604     50.76     15.83  --
823.30/206.14	c Finding binary XORs  T:     0.00 s  found:       0
850.89/213.06	c  N dy  5476    778344       224       198      1478     70451      5410   2897550     48.76     15.83  --
870.85/218.05	c  N dy  5617    798359       224       198      1478     53063      5410   1976527     46.54     15.83  --
880.84/220.57	c  S st  5672    806188       224       198      1478     60527      5410   2342564     48.31     15.84  --
881.65/220.72	c  S st  5672    806688       224       198      1478     61021      5410   2369142     48.31     15.84  --
881.65/220.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
881.65/220.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
888.42/222.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  6.75
888.42/222.42	c Calc non-exist non-lernt bins v-fix:     0 done:    224 time:  0.01 s
888.42/222.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
888.42/222.44	c Subs w/ non-existent bins:      0 time:  0.10 s
888.42/222.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
895.61/224.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.21 s
895.61/224.28	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
939.95/235.39	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
1031.04/258.14	c Added 3 vars  tried: 80000 time: 90.86
1034.22/258.92	c ORs :      3 avg-s:  0.0 cl-sh: 37272 l-rem:  37272 b-add:      6 v-rep:   0 cl-rem: 15 avg s: 31.8 T:   94.00
1034.22/258.95	c lits-rem:      2424  cl-subs:     5563  v-elim:    196  v-fix:    0  time: 138.49 s
1034.22/258.95	c learnt bin added due to v-elim: 0
1034.22/258.95	c vivif2 --  cl tried      201 cl shrink        0 lits rem          0 time: 0.00
1034.22/258.98	c vivif2 --  cl tried    55443 cl shrink        0 lits rem          0 time: 0.11
1035.02/259.17	c asymm  cl-useful: 0/76/201 lits-rem:0 time: 0.75
1035.02/259.17	c calculated reachability. Time: 0.00
1035.02/259.17	c  N dy  5672    806688       227       201      1484     55443      5431   2168387     48.31     15.84  --
1053.80/263.80	c  N dy  5813    826766       227       201      1513     74773      5431   3172979     50.74     15.85  --
1069.78/267.89	c  N dy  5957    846890       227       201      1515     56851      5431   2203092     47.04     15.85  --
1099.74/275.30	c  N dy  6099    866916       227       201      1516     76202      5431   3140419     48.96     15.85  --
1118.12/279.94	c  N dy  6242    887047       227       201      1519     57161      5431   2197174     43.51     15.84  --
1148.87/287.66	c  N dy  6382    907086       227       201      1519     76290      5431   3144729     48.57     15.85  --
1169.25/292.73	c  N dy  6524    927165       227       201      1519     56228      5431   2034707     48.41     15.84  --
1198.80/300.14	c  N dy  6666    947202       227       201      1519     75589      5431   2963916     52.65     15.84  --
1222.77/306.12	c  N dy  6808    967218       239       201      1605     54472      5495   1874080     47.89     15.84  --
1249.14/312.76	c  N dy  6951    987352       239       201      1605     73912      5495   2785521     44.68     15.83  --
1273.50/318.81	c  N dy  7092   1007361       239       201      1605     51746      5495   1690509     47.71     15.82  --
1297.07/324.72	c  N dy  7234   1027374       239       201      1627     71097      5495   2589030     47.42     15.81  --
1327.43/332.38	c  N dy  7376   1047499       239       201      1627     47927      5495   1459244     43.96     15.81  --
1348.20/337.56	c  N dy  7519   1067624       239       201      1629     67338      5495   2368181     47.20     15.80  --
1379.37/345.37	c  N dy  7659   1087633       251       201      1663     86481      5543   3246525     41.68     15.79  --
1397.74/349.90	c  N dy  7801   1107716       251       201      1663     62456      5543   2044492     47.91     15.78  --
1421.71/356.00	c  N dy  7940   1127759       251       201      1663     81396      5543   2883198     45.18     15.78  --
1444.09/361.59	c  N dy  8082   1147883       251       201      1663     56655      5543   1731846     42.45     15.78  --
1468.44/367.64	c  N dy  8222   1167898       251       201      1674     75835      5543   2592225     43.33     15.78  --
1496.00/374.59	c  N dy  8361   1187951       251       201      1674     49922      5543   1392583     43.26     15.78  --
1516.38/379.68	c  N dy  8503   1207992       260       201      1738     69306      5591   2258778     41.43     15.77  --
1519.57/380.49	c  S st  8518   1210032       260       201      1738     71271      5591   2352327     49.16     15.77  --
1520.37/380.65	c  S st  8518   1210534       260       201      1738     71768      5591   2379190     49.16     15.77  --
1520.37/380.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1520.37/380.66	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1526.77/382.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    5 Bin:     16 BRemL:     63 BRemN:      0 CBin:       0 P: 60.0M T:  6.51
1526.77/382.29	c Calc non-exist non-lernt bins v-fix:     0 done:    260 time:  0.01 s
1526.77/382.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1527.17/382.32	c Subs w/ non-existent bins:      0 time:  0.13 s
1527.17/382.33	c Replacing        7 vars Replaced      176 lits Time:     0.04 s 
1527.17/382.37	c bin-w-bin subsume rem           14 bins  time:  0.00 s
1535.55/384.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.37 s
1535.55/384.46	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1573.90/394.02	c ORs :     15 avg-s:  2.0 cl-sh:    14 l-rem:     14 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 17.2 T:    0.13
1648.99/412.86	c Added 3 vars  tried: 80000 time: 75.21
1651.78/413.55	c ORs :      3 avg-s:  0.0 cl-sh: 35198 l-rem:  35198 b-add:      7 v-rep:   0 cl-rem: 14 avg s: 26.6 T:   78.00
1651.78/413.59	c lits-rem:        28  cl-subs:     7563  v-elim:    196  v-fix:    0  time: 116.33 s
1651.78/413.59	c learnt bin added due to v-elim: 0
1651.78/413.59	c vivif2 --  cl tried      204 cl shrink        0 lits rem          0 time: 0.00
1652.18/413.62	c vivif2 --  cl tried    64186 cl shrink        4 lits rem          5 time: 0.13
1652.58/413.79	c asymm  cl-useful: 0/119/204 lits-rem:0 time: 0.68
1652.58/413.79	c calculated reachability. Time: 0.00
1652.58/413.79	c  N dy  8518   1210534       256       204      1656     64186      5556   2164803     49.16     15.77  --
1677.38/419.91	c  N dy  8663   1230581       256       204      1687     83798      5556   3157919     44.93     15.78  --
1699.35/425.47	c  N dy  8803   1250643       256       204      1689     56837      5556   1765069     46.94     15.78  --
1722.49/431.30	c  N dy  8940   1270679       256       204      1691     75733      5556   2669097     48.78     15.79  --
1754.86/439.37	c  N dy  9074   1290740       256       204      1696     47772      5558   1309581     44.41     15.80  --
1772.43/443.71	c  N dy  9215   1310833       256       204      1696     67104      5558   2218248     44.50     15.80  --
1800.79/450.83	c  N dy  9353   1330942       256       204      1696     86094      5558   3099852     41.93     15.80  --
1826.38/457.25	c  N dy  9490   1351037       268       204      1782     57374      5606   1704195     44.03     15.81  --
1848.75/462.88	c  N dy  9629   1371075       268       204      1782     76421      5606   2567245     45.67     15.81  --
1879.50/470.57	c  N dy  9764   1391222       268       204      1782     95050      5606   3419441     45.88     15.83  --
1898.26/475.21	c  N dy  9904   1411286       271       204      1811     66242      5618   2049939     41.57     15.83  --
1922.63/481.32	c  N dy 10041   1431368       271       204      1811     85198      5618   2896024     47.54     15.84  --
1952.19/488.79	c  N dy 10178   1451398       271       204      1811     54889      5618   1502684     42.86     15.84  --
1964.58/491.90	c Finding binary XORs  T:     0.00 s  found:       1
1970.57/493.38	c  N dy 10317   1471531       271       204      1835     73957      5618   2343441     39.99     15.84  --
1996.93/499.92	c  N dy 10450   1491590       271       204      1835     92416      5618   3170740     43.29     15.85  --
2018.10/505.20	c  N dy 10586   1511671       271       204      1835     61374      5618   1739372     43.03     15.86  --
2038.48/510.38	c  N dy 10725   1531777       271       204      1835     80435      5618   2581812     42.67     15.86  --
2234.61/559.45	c  N dy 10836   1710534       283       204      1890     93872      5674   3994603     69.48     16.41  --
2235.43/559.65	c  S st 10836   1710534       283       204      1890     93872      5674   3994603     69.48     16.41  --
2236.21/559.89	c  S st 10836   1711034       283       204      1890     94379      5674   4019202     69.48     16.41  --
2236.61/559.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2236.61/559.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2244.22/561.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:     84 BRemN:      0 CBin:       0 P: 60.1M T:  7.70
2244.22/561.83	c Calc non-exist non-lernt bins v-fix:     0 done:    283 time:  0.01 s
2244.22/561.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2244.22/561.88	c Subs w/ non-existent bins:      0 time:  0.18 s
2245.00/562.01	c Replacing        3 vars Replaced     5633 lits Time:     0.52 s 
2245.00/562.07	c bin-w-bin subsume rem            6 bins  time:  0.00 s
2255.39/564.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time: 10.14 s
2255.39/564.61	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2828.63/708.15	c ORs :     24 avg-s:  2.0 cl-sh:     3 l-rem:      3 b-add:      0 v-rep:   0 cl-rem: 14 avg s: 30.0 T:    0.32
2958.84/740.77	c Added 3 vars  tried: 80000 time: 130.30
2970.82/743.72	c ORs :      3 avg-s:  0.0 cl-sh: 65006 l-rem:  65006 b-add:      8 v-rep:   0 cl-rem: 3 avg s: 7.7 T:  142.09
2970.82/743.77	c lits-rem:        52  cl-subs:     8748  v-elim:    196  v-fix:    0  time: 715.63 s
2970.82/743.77	c learnt bin added due to v-elim: 0
2970.82/743.77	c vivif2 --  cl tried      207 cl shrink        0 lits rem          0 time: 0.00
2971.22/743.82	c vivif2 --  cl tried    85612 cl shrink        9 lits rem         10 time: 0.18
2971.62/743.96	c asymm  cl-useful: 0/207/207 lits-rem:0 time: 0.55
2971.62/743.96	c calculated reachability. Time: 0.00
2971.62/743.96	c  N dy 10836   1711034       283       207      1797     85612      5659   3642070     69.48     16.41  --
3005.97/752.50	c  N dy 10980   1731178       283       207      1797    105294      5659   4580474     43.80     16.40  --
3643.51/912.12	c  N dy 11002   2211039       283       207      1797    101006      5659   4048638     61.10     17.12  --
3644.32/912.30	c  S st 11002   2211039       283       207      1797    101006      5659   4048638     61.10     17.12  --
3645.12/912.58	c  S st 11002   2211542       289       207      1825    101642      5687   4074833     61.10     17.12  --
3645.12/912.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3645.12/912.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3653.11/914.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      9 BRemN:      0 CBin:       0 P: 60.5M T:  7.66
3653.11/914.51	c Calc non-exist non-lernt bins v-fix:     0 done:    289 time:  0.01 s
3653.11/914.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3653.11/914.56	c Subs w/ non-existent bins:      0 time:  0.20 s
3653.11/914.57	c Replacing        2 vars Replaced       32 lits Time:     0.06 s 
3653.51/914.63	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3663.11/917.05	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  9.66 s
3663.11/917.05	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4007.42/1003.29	c ORs :     29 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 24 avg s: 29.2 T:    0.46
4007.82/1003.35	c lits-rem:        57  cl-subs:     6773  v-elim:    192  v-fix:    0  time: 344.68 s
4007.82/1003.35	c learnt bin added due to v-elim: 0
4007.82/1003.35	c vivif2 --  cl tried      207 cl shrink        0 lits rem          0 time: 0.00
4008.22/1003.40	c vivif2 --  cl tried    94845 cl shrink       13 lits rem         18 time: 0.20
4009.02/1003.60	c asymm  cl-useful: 0/83/207 lits-rem:0 time: 0.81
4009.02/1003.61	c calculated reachability. Time: 0.00
4009.02/1003.61	c  N dy 11002   2211542       287       207      1806     94845      5675   3789729     61.10     17.12  --
4777.59/1196.08	c  N dy 11018   2711542       287       207      1806    119272      5675   5082318     52.42     18.45  --
4778.79/1196.33	c  S st 11018   2711542       287       207      1806    119272      5675   5082318     52.42     18.45  --
4779.98/1196.69	c  S st 11018   2712042       299       207      1841    119799      5723   5107935     52.42     18.45  --
4780.38/1196.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4780.38/1196.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4789.17/1198.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     11 BRemN:      0 CBin:       0 P: 60.0M T:  8.80
4789.17/1198.91	c Calc non-exist non-lernt bins v-fix:     0 done:    299 time:  0.01 s
4789.17/1198.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4789.17/1198.97	c Subs w/ non-existent bins:      0 time:  0.23 s
4789.57/1199.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4799.57/1201.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  9.94 s
4799.57/1201.54	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3249963-1304130997/watcher-3249963-1304130997 -o /tmp/evaluation-result-3249963-1304130997/solver-3249963-1304130997 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3249963-1304130997.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: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=80876 CPUtime=0 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 642 0 0 0 0 0 0 0 18 0 4 0 524702033 82817024 566 33554432000 4194304 4797429 140734283818624 18446744073709551615 47688087586742 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 20219 566 361 148 0 15148 0
[pid=23855/tid=23856] ppid=23853 vsize=80876 CPUtime=0 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 524702034 82817024 566 33554432000 4194304 4797429 140734283818624 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=80876 CPUtime=0 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 524702034 82817024 566 33554432000 4194304 4797429 140734283818624 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=80876 CPUtime=0 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 524702034 82817024 566 33554432000 4194304 4797429 140734283818624 18446744073709551615 212436073457 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.076333 s]
/proc/loadavg: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=682104 CPUtime=3.19 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 6522 0 0 0 318 1 0 0 19 0 4 0 524702033 698474496 4873 33554432000 4194304 4797429 140734283818624 18446744073709551615 4422962 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 170526 4873 413 148 0 165455 0
[pid=23855/tid=23856] ppid=23853 vsize=682104 CPUtime=0.79 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 1741 0 0 0 79 0 0 0 19 0 4 0 524702034 698474496 4873 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=682104 CPUtime=0.79 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 1038 0 0 0 79 0 0 0 23 0 4 0 524702034 698474496 4873 33554432000 4194304 4797429 140734283818624 18446744073709551615 4427396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=682104 CPUtime=0.79 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 1648 0 0 0 79 0 0 0 19 0 4 0 524702034 698474496 4873 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 682104

[startup+0.906583 s]
/proc/loadavg: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=682104 CPUtime=3.59 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 7153 0 0 0 358 1 0 0 19 0 4 0 524702033 698474496 5504 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 170526 5504 413 148 0 165455 0
[pid=23855/tid=23856] ppid=23853 vsize=682104 CPUtime=0.89 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 1741 0 0 0 89 0 0 0 19 0 4 0 524702034 698474496 5504 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=682104 CPUtime=0.89 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 1611 0 0 0 89 0 0 0 23 0 4 0 524702034 698474496 5504 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=682104 CPUtime=0.89 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 1648 0 0 0 89 0 0 0 19 0 4 0 524702034 698474496 5504 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 682104

[startup+1.00656 s]
/proc/loadavg: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=682104 CPUtime=3.99 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 7217 0 0 0 398 1 0 0 19 0 4 0 524702033 698474496 5567 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 170526 5567 413 148 0 165455 0
[pid=23855/tid=23856] ppid=23853 vsize=682104 CPUtime=0.99 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 1741 0 0 0 99 0 0 0 19 0 4 0 524702034 698474496 5567 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=682104 CPUtime=0.99 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 1611 0 0 0 99 0 0 0 23 0 4 0 524702034 698474496 5567 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=682104 CPUtime=0.99 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 1648 0 0 0 99 0 0 0 19 0 4 0 524702034 698474496 5567 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520220 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 682104

[startup+1.10655 s]
/proc/loadavg: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=682376 CPUtime=4.39 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 7338 0 0 0 438 1 0 0 19 0 4 0 524702033 698753024 5686 33554432000 4194304 4797429 140734283818624 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 170594 5686 414 148 0 165523 0
[pid=23855/tid=23856] ppid=23853 vsize=682376 CPUtime=1.09 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 1741 0 0 0 109 0 0 0 19 0 4 0 524702034 698753024 5686 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=682376 CPUtime=1.09 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 1611 0 0 0 109 0 0 0 24 0 4 0 524702034 698753024 5686 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=682376 CPUtime=1.09 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 1695 0 0 0 109 0 0 0 19 0 4 0 524702034 698753024 5686 33554432000 4194304 4797429 140734283818624 18446744073709551615 4506622 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 682376

[startup+1.50047 s]
/proc/loadavg: 4.47 6.97 7.64 5/180 23855
/proc/meminfo: memFree=30600088/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=683012 CPUtime=5.97 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 7949 0 0 0 596 1 0 0 20 0 4 0 524702033 699404288 5751 33554432000 4194304 4797429 140734283818624 18446744073709551615 4413824 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 170753 5751 414 148 0 165682 0
[pid=23855/tid=23856] ppid=23853 vsize=683012 CPUtime=1.48 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 1790 0 0 0 148 0 0 0 20 0 4 0 524702034 699404288 5751 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=683012 CPUtime=1.48 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 1655 0 0 0 148 0 0 0 25 0 4 0 524702034 699404288 5751 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=683012 CPUtime=1.48 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 1695 0 0 0 148 0 0 0 20 0 4 0 524702034 699404288 5751 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524528 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) 683012

[startup+3.10117 s]
/proc/loadavg: 4.47 6.97 7.64 9/184 23859
/proc/meminfo: memFree=30555292/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=686252 CPUtime=12.36 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 11157 0 0 0 1234 2 0 0 25 0 4 0 524702033 702722048 6924 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 171563 6924 415 148 0 166492 0
[pid=23855/tid=23856] ppid=23853 vsize=686252 CPUtime=3.07 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 2190 0 0 0 307 0 0 0 25 0 4 0 524702034 702722048 6924 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=686252 CPUtime=3.08 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 2098 0 0 0 308 0 0 0 25 0 4 0 524702034 702722048 6924 33554432000 4194304 4797429 140734283818624 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=686252 CPUtime=3.08 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 2165 0 0 0 308 0 0 0 25 0 4 0 524702034 702722048 6924 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524456 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) 686252

[startup+6.30656 s]
/proc/loadavg: 4.76 6.99 7.65 9/184 23860
/proc/meminfo: memFree=30543212/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=688940 CPUtime=25.16 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 13337 0 0 0 2514 2 0 0 25 0 4 0 524702033 705474560 8294 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 172235 8294 417 148 0 167164 0
[pid=23855/tid=23856] ppid=23853 vsize=688940 CPUtime=6.26 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 2520 0 0 0 626 0 0 0 25 0 4 0 524702034 705474560 8294 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=688940 CPUtime=6.29 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 2490 0 0 0 629 0 0 0 25 0 4 0 524702034 705474560 8294 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=688940 CPUtime=6.28 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 2612 0 0 0 628 0 0 0 25 0 4 0 524702034 705474560 8294 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 688940

[startup+12.7003 s]
/proc/loadavg: 5.10 7.02 7.65 9/184 23860
/proc/meminfo: memFree=30533004/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=693708 CPUtime=50.7 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 18675 0 0 0 5067 3 0 0 25 0 4 0 524702033 710356992 8980 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 173427 8980 417 148 0 168356 0
[pid=23855/tid=23856] ppid=23853 vsize=693708 CPUtime=12.63 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 3195 0 0 0 1263 0 0 0 25 0 4 0 524702034 710356992 8980 33554432000 4194304 4797429 140734283818624 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=693708 CPUtime=12.68 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 3231 0 0 0 1268 0 0 0 25 0 4 0 524702034 710356992 8980 33554432000 4194304 4797429 140734283818624 18446744073709551615 4501801 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=693708 CPUtime=12.67 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 3262 0 0 0 1267 0 0 0 25 0 4 0 524702034 710356992 8980 33554432000 4194304 4797429 140734283818624 18446744073709551615 4528967 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 693708

[startup+25.5009 s]
/proc/loadavg: 5.74 7.07 7.66 9/184 23860
/proc/meminfo: memFree=30511920/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=698820 CPUtime=101.84 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 25044 0 0 0 10180 4 0 0 25 0 4 0 524702033 715591680 12810 33554432000 4194304 4797429 140734283818624 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 174705 12810 419 148 0 169634 0
[pid=23855/tid=23856] ppid=23853 vsize=698820 CPUtime=25.36 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 3847 0 0 0 2536 0 0 0 25 0 4 0 524702034 715591680 12810 33554432000 4194304 4797429 140734283818624 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=698820 CPUtime=25.48 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 3826 0 0 0 2548 0 0 0 25 0 4 0 524702034 715591680 12810 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=698820 CPUtime=25.47 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 3862 0 0 0 2547 0 0 0 25 0 4 0 524702034 715591680 12810 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 698820

[startup+51.101 s]
/proc/loadavg: 6.51 7.14 7.66 9/184 23891
/proc/meminfo: memFree=30514984/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=706932 CPUtime=204.11 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 41210 0 0 0 20403 8 0 0 25 0 4 0 524702033 723898368 15164 33554432000 4194304 4797429 140734283818624 18446744073709551615 4387388 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 176733 15164 421 148 0 171662 0
[pid=23855/tid=23856] ppid=23853 vsize=706932 CPUtime=50.84 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 5195 0 0 0 5083 1 0 0 25 0 4 0 524702034 723898368 15164 33554432000 4194304 4797429 140734283818624 18446744073709551615 4506608 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=706932 CPUtime=51.09 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 4865 0 0 0 5108 1 0 0 25 0 4 0 524702034 723898368 15164 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=706932 CPUtime=51.07 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 4795 0 0 0 5106 1 0 0 25 0 4 0 524702034 723898368 15164 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 706932

[startup+102.3 s]
/proc/loadavg: 7.43 7.29 7.68 9/184 23892
/proc/meminfo: memFree=30460008/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=718224 CPUtime=408.64 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 64841 0 0 0 40849 15 0 0 25 0 4 0 524702033 735461376 18427 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 179556 18427 421 148 0 174485 0
[pid=23855/tid=23856] ppid=23853 vsize=718224 CPUtime=101.77 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 7375 0 0 0 10176 1 0 0 25 0 4 0 524702034 735461376 18427 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=718224 CPUtime=102.28 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 7095 0 0 0 10227 1 0 0 25 0 4 0 524702034 735461376 18427 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=718224 CPUtime=102.25 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 6812 0 0 0 10224 1 0 0 25 0 4 0 524702034 735461376 18427 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 718224

[startup+162.301 s]

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

[pid=23855] ppid=23853 vsize=771608 CPUtime=2805.44 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 233201 0 0 0 280474 70 0 0 25 0 4 0 524702033 790126592 44765 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 192902 44765 423 148 0 187831 0
[pid=23855/tid=23856] ppid=23853 vsize=771608 CPUtime=698.58 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 25580 0 0 0 69851 7 0 0 25 0 4 0 524702034 790126592 44765 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=771608 CPUtime=702.31 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 25433 0 0 0 70223 8 0 0 25 0 4 0 524702034 790126592 44765 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=771608 CPUtime=702.21 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 23517 0 0 0 70214 7 0 0 25 0 4 0 524702034 790126592 44765 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.44
Current children cumulated vsize (KiB) 771608

[startup+762.301 s]
/proc/loadavg: 8.08 8.01 7.88 9/184 23940
/proc/meminfo: memFree=30317904/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=776940 CPUtime=3045.12 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 242943 0 0 0 304437 75 0 0 25 0 4 0 524702033 795586560 47263 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 194235 47263 423 148 0 189164 0
[pid=23855/tid=23856] ppid=23853 vsize=776940 CPUtime=758.25 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 26780 0 0 0 75817 8 0 0 25 0 4 0 524702034 795586560 47263 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=776940 CPUtime=762.31 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 26412 0 0 0 76222 9 0 0 25 0 4 0 524702034 795586560 47263 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=776940 CPUtime=762.2 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 25357 0 0 0 76213 7 0 0 25 0 4 0 524702034 795586560 47263 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 776940

[startup+822.3 s]
/proc/loadavg: 8.06 8.02 7.90 9/184 23941
/proc/meminfo: memFree=30295036/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=785812 CPUtime=3284.8 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 267068 0 0 0 328395 85 0 0 25 0 4 0 524702033 804671488 50191 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 196453 50191 423 148 0 191382 0
[pid=23855/tid=23856] ppid=23853 vsize=785812 CPUtime=817.94 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 28584 0 0 0 81785 9 0 0 25 0 4 0 524702034 804671488 50191 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=785812 CPUtime=822.32 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 28408 0 0 0 82222 10 0 0 25 0 4 0 524702034 804671488 50191 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=785812 CPUtime=822.19 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 27197 0 0 0 82211 8 0 0 25 0 4 0 524702034 804671488 50191 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.8
Current children cumulated vsize (KiB) 785812

[startup+882.301 s]
/proc/loadavg: 8.05 8.03 7.91 9/184 23943
/proc/meminfo: memFree=30280236/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=788240 CPUtime=3524.48 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 288229 0 0 0 352354 94 0 0 25 0 4 0 524702033 807157760 50180 33554432000 4194304 4797429 140734283818624 18446744073709551615 4340899 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 197060 50180 423 148 0 191989 0
[pid=23855/tid=23856] ppid=23853 vsize=788240 CPUtime=877.62 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 30305 0 0 0 87751 11 0 0 25 0 4 0 524702034 807157760 50180 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=788240 CPUtime=882.31 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 30248 0 0 0 88221 10 0 0 25 0 4 0 524702034 807157760 50180 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=788240 CPUtime=882.19 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 28151 0 0 0 88210 9 0 0 25 0 4 0 524702034 807157760 50180 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.48
Current children cumulated vsize (KiB) 788240

[startup+942.3 s]
/proc/loadavg: 8.02 8.02 7.91 9/184 23944
/proc/meminfo: memFree=30261216/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=794952 CPUtime=3764.18 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 301243 0 0 0 376319 99 0 0 25 0 4 0 524702033 814030848 53369 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 198738 53369 423 148 0 193667 0
[pid=23855/tid=23856] ppid=23853 vsize=794952 CPUtime=937.3 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 32201 0 0 0 93719 11 0 0 25 0 4 0 524702034 814030848 53369 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=794952 CPUtime=942.33 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 31042 0 0 0 94222 11 0 0 25 0 4 0 524702034 814030848 53369 33554432000 4194304 4797429 140734283818624 18446744073709551615 4648006 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=794952 CPUtime=942.19 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 29904 0 0 0 94210 9 0 0 25 0 4 0 524702034 814030848 53369 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.18
Current children cumulated vsize (KiB) 794952

[startup+1002.3 s]
/proc/loadavg: 8.00 8.02 7.91 9/184 23946
/proc/meminfo: memFree=30248156/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=796784 CPUtime=4003.83 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 305881 0 0 0 400282 101 0 0 25 0 4 0 524702033 815906816 53972 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 199196 53972 423 148 0 194125 0
[pid=23855/tid=23856] ppid=23853 vsize=796784 CPUtime=996.98 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 32972 0 0 0 99686 12 0 0 25 0 4 0 524702034 815906816 53972 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=796784 CPUtime=1002.32 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 33066 0 0 0 100221 11 0 0 25 0 4 0 524702034 815906816 53972 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429159 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=796784 CPUtime=1002.18 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 31747 0 0 0 100207 11 0 0 25 0 4 0 524702034 815906816 53972 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.83
Current children cumulated vsize (KiB) 796784

[startup+1062.31 s]
/proc/loadavg: 8.00 8.01 7.91 9/184 23948
/proc/meminfo: memFree=30245764/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=803932 CPUtime=4243.53 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 328233 0 0 0 424243 110 0 0 25 0 4 0 524702033 823226368 53850 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 200983 53850 423 148 0 195912 0
[pid=23855/tid=23856] ppid=23853 vsize=803932 CPUtime=1056.65 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 34929 0 0 0 105653 12 0 0 25 0 4 0 524702034 823226368 53850 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=803932 CPUtime=1062.33 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 34857 0 0 0 106221 12 0 0 25 0 4 0 524702034 823226368 53850 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=803932 CPUtime=1062.18 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 32602 0 0 0 106207 11 0 0 25 0 4 0 524702034 823226368 53850 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.53
Current children cumulated vsize (KiB) 803932

[startup+1122.3 s]
/proc/loadavg: 8.00 8.01 7.91 9/184 23949
/proc/meminfo: memFree=30224132/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=807372 CPUtime=4483.18 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 347363 0 0 0 448201 117 0 0 25 0 4 0 524702033 826748928 56481 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 201843 56481 423 148 0 196772 0
[pid=23855/tid=23856] ppid=23853 vsize=807372 CPUtime=1116.33 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 36856 0 0 0 111620 13 0 0 25 0 4 0 524702034 826748928 56481 33554432000 4194304 4797429 140734283818624 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=807372 CPUtime=1122.33 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 35730 0 0 0 112221 12 0 0 25 0 4 0 524702034 826748928 56481 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=807372 CPUtime=1122.17 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 34483 0 0 0 112206 11 0 0 25 0 4 0 524702034 826748928 56481 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.18
Current children cumulated vsize (KiB) 807372

[startup+1182.3 s]
/proc/loadavg: 8.07 8.02 7.91 9/184 23951
/proc/meminfo: memFree=30217160/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=808256 CPUtime=4722.86 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 364880 0 0 0 472162 124 0 0 25 0 4 0 524702033 827654144 56995 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 202064 56995 423 148 0 196993 0
[pid=23855/tid=23856] ppid=23853 vsize=808256 CPUtime=1176.01 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 37756 0 0 0 117587 14 0 0 25 0 4 0 524702034 827654144 56995 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=808256 CPUtime=1182.32 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 37721 0 0 0 118219 13 0 0 25 0 4 0 524702034 827654144 56995 33554432000 4194304 4797429 140734283818624 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=808256 CPUtime=1182.17 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 36244 0 0 0 118205 12 0 0 25 0 4 0 524702034 827654144 56995 33554432000 4194304 4797429 140734283818624 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.86
Current children cumulated vsize (KiB) 808256



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.05 8.01 7.91 9/184 23951
/proc/meminfo: memFree=30199160/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=809436 CPUtime=4800.38 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 369538 0 0 0 479912 126 0 0 25 0 4 0 524702033 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 202359 61486 423 148 0 197288 0
[pid=23855/tid=23856] ppid=23853 vsize=809436 CPUtime=1195.31 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 38040 0 0 0 119517 14 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=809436 CPUtime=1201.73 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 38002 0 0 0 120160 13 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=809436 CPUtime=1201.57 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 36551 0 0 0 120145 12 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 809436

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.05 8.01 7.91 9/184 23951
/proc/meminfo: memFree=30199160/32951124 swapFree=67111416/67111528
[pid=23855] ppid=23853 vsize=809436 CPUtime=4800.38 cores=0,2,4,6
/proc/23855/stat : 23855 (techdemo) R 23853 23855 23020 0 -1 4202496 369538 0 0 0 479912 126 0 0 25 0 4 0 524702033 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/23855/statm: 202359 61486 423 148 0 197288 0
[pid=23855/tid=23856] ppid=23853 vsize=809436 CPUtime=1195.31 cores=0,2,4,6
/proc/23855/task/23856/stat : 23856 (techdemo) R 23853 23855 23020 0 -1 4202560 38040 0 0 0 119517 14 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=23855/tid=23857] ppid=23853 vsize=809436 CPUtime=1201.73 cores=0,2,4,6
/proc/23855/task/23857/stat : 23857 (techdemo) R 23853 23855 23020 0 -1 4202560 38002 0 0 0 120160 13 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=23855/tid=23858] ppid=23853 vsize=809436 CPUtime=1201.57 cores=0,2,4,6
/proc/23855/task/23858/stat : 23858 (techdemo) R 23853 23855 23020 0 -1 4202560 36551 0 0 0 120145 12 0 0 25 0 4 0 524702034 828862464 61486 33554432000 4194304 4797429 140734283818624 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 809436

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.42
CPU user time (s): 4799.15
CPU system time (s): 1.27181
CPU usage (%): 399.461
Max. virtual memory (cumulated for all children) (KiB): 922364

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.15
system time used= 1.27181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 369538
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= 306
involuntary context switches= 21468

runsolver used 1.9647 second user time and 4.49132 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 04:36:37
IDJOB=3249963
IDBENCH=83211
IDSOLVER=1584
FILE ID=node102/3249963-1304130997
RUNJOBID= node102-1304130997-23832
PBS_JOBID= 13170771
Free space on /tmp= 72464 MiB

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

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

MD5SUM BENCH= 78a2cc7b74fc3d9947709f16156cc565
RANDOM SEED=56306800

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:      30600492 kB
Buffers:        612708 kB
Cached:        1257248 kB
SwapCached:          0 kB
Active:         174576 kB
Inactive:      1761660 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30600492 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:           15660 kB
Writeback:           0 kB
AnonPages:       65384 kB
Mapped:          15264 kB
Slab:           351428 kB
PageTables:       5116 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   665640 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 04:56:41