Trace number 3261977

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.14 1201.52

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_464.cnf
MD5SUMa722a199fd84ba0b319251daa47aa19c
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 variables232
Number of clauses28991
Sum of the clauses size130855
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326594
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52320

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-3261977-1304132652.cnf'
0.00/0.00	c -- header says num vars:            232
0.00/0.00	c -- header says num clauses:       28991
0.00/0.05	c -- clauses added:            0 learnts,        28991 normals,            0 xors
0.00/0.05	c -- vars added        232
0.00/0.05	c Parsing time:  0.04 s
0.00/0.05	c  N st     0         0       232     28914        77         0    130855         0   no data   no data  --
0.00/0.26	c asymm  cl-useful: 0/10873/28914 lits-rem:0 time: 0.84
0.88/0.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.02
0.88/0.27	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
0.88/0.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.88/0.27	c Subs w/ non-existent bins:      0 time:  0.00 s
0.88/0.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.88/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.88/0.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4.16/1.16	c lits-rem:         0  cl-subs:        0  v-elim:    154  v-fix:    0  time:  0.40 s
4.16/1.16	c learnt bin added due to v-elim: 0
4.16/1.16	c Finding binary XORs  T:     0.00 s  found:       0
4.16/1.16	c Finding non-binary XORs:     0.16 s (found:       0, avg size: nan)
4.16/1.16	c calculated reachability. Time: 0.00
4.16/1.16	c Calc default polars -  time:   0.00 s pos:     232 undec:       0 neg:       0
4.16/1.16	c =========================================================================================
4.16/1.16	c types(t): F = full restart, N = normal restart
4.16/1.16	c types(t): S = simplification begin/end, E = solution found
4.16/1.16	c restart types(rt): st = static, dy = dynamic
4.16/1.16	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.16/1.16	c  B st     0         0       232     28914        77         0    130855         0   no data   no data  --
4.16/1.16	c Decided on static restart strategy
4.16/1.16	c  N dy    20      4107       232     28914        77      3812    130855     82203     21.53     11.93  --
4.96/1.36	c  N dy    48      8109       232     28914        77      5267    130855    105564     21.85     11.68  --
6.62/1.71	c  N dy    77     12243       232     28914        77      5185    130855     95021     21.52     12.06  --
8.21/2.12	c  N dy   106     16377       232     28914        77      9115    130855    182538     21.96     12.13  --
9.81/2.56	c  N dy   135     20518       232     28914        77      7708    130855    139262     21.83     12.12  --
11.82/3.00	c  N dy   164     24633       232     28914        77     11652    130855    227445     21.14     12.21  --
13.41/3.45	c  N dy   193     28762       232     28914        77      9109    130855    160427     21.93     12.23  --
14.21/3.60	c  S st   202     30000       232     28914        77     10281    130855    185659     21.21     12.22  --
14.21/3.65	c  S st   202     30500       232     28914        77     10777    130855    196895     21.21     12.22  --
14.21/3.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.21/3.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.21/3.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  0.13
14.21/3.69	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
14.21/3.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
14.21/3.69	c Subs w/ non-existent bins:      0 time:  0.02 s
14.61/3.70	c bin-w-bin subsume rem            0 bins  time:  0.01 s
14.61/3.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
14.61/3.71	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.40/4.96	c lits-rem:       101  cl-subs:     1548  v-elim:    232  v-fix:    0  time:  5.00 s
19.40/4.96	c learnt bin added due to v-elim: 0
19.40/4.96	c vivif2 --  cl tried    28914 cl shrink        0 lits rem          0 time: 0.01
19.40/4.96	c vivif2 --  cl tried     9229 cl shrink        0 lits rem          0 time: 0.01
20.62/5.21	c asymm  cl-useful: 0/13139/28914 lits-rem:0 time: 0.98
20.62/5.21	c calculated reachability. Time: 0.00
20.62/5.21	c  N dy   202     30500       232     28914        77      9229    130855    175914     21.21     12.22  --
20.62/5.21	c  F st   202     30500       232     28914        77      9229    130855    175914     21.21     12.22  --
21.40/5.44	c Decided on static restart strategy
22.20/5.66	c  N dy   222     34570       232     28914        77     13073    130855    261221     20.73     12.30  --
23.80/6.09	c  N dy   250     38589       232     28914        77      9410    130855    162448     20.73     12.28  --
25.79/6.50	c  N dy   278     42611       232     28914        77     13214    130855    245475     21.02     12.23  --
26.99/6.86	c  S st   300     45750       232     28914        77     16155    130855    310185     20.58     12.21  --
27.39/6.92	c  S st   300     46253       232     28914        77     16652    130855    322694     20.58     12.21  --
27.39/6.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
27.39/6.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.39/6.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.5M T:  0.28
27.39/6.99	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
27.39/6.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.79/7.00	c Subs w/ non-existent bins:      0 time:  0.02 s
27.79/7.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
27.79/7.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
27.79/7.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
34.98/8.82	c lits-rem:       243  cl-subs:     1686  v-elim:    232  v-fix:    0  time:  7.19 s
34.98/8.82	c learnt bin added due to v-elim: 0
34.98/8.82	c vivif2 --  cl tried    28914 cl shrink        0 lits rem          0 time: 0.01
34.98/8.82	c vivif2 --  cl tried    14966 cl shrink        0 lits rem          0 time: 0.01
35.38/8.99	c asymm  cl-useful: 0/4902/28914 lits-rem:0 time: 0.67
35.38/8.99	c calculated reachability. Time: 0.00
35.38/8.99	c  N dy   300     46253       232     28914        77     14966    130855    295116     20.58     12.21  --
37.37/9.45	c  N dy   329     50351       232     28914        77     10400    130855    185565     20.83     12.21  --
38.97/9.89	c  N dy   358     54486       232     28914        77     14294    130855    266812     21.25     12.15  --
40.97/10.34	c  N dy   386     58509       232     28914        77     18109    130855    348513     23.01     12.13  --
42.59/10.80	c  N dy   414     62542       232     28914        77     12541    130855    211592     19.75     12.16  --
44.56/11.23	c  N dy   442     66585       232     28914        77     16393    130855    296254     21.74     12.19  --
45.76/11.56	c  S st   462     69381       232     28914        77     19058    130855    356929     22.40     12.21  --
46.16/11.63	c  S st   462     69883       232     28914        77     19557    130855    369022     22.40     12.21  --
46.16/11.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
46.16/11.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.56/11.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.2M T:  0.37
46.56/11.72	c Calc non-exist non-lernt bins v-fix:     0 done:    232 time:  0.00 s
46.56/11.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.56/11.73	c Subs w/ non-existent bins:      0 time:  0.02 s
46.56/11.74	c bin-w-bin subsume rem            0 bins  time:  0.01 s
46.56/11.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
46.56/11.75	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
53.35/13.43	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
62.54/15.72	c Added 3 vars  tried: 74112 time: 9.12
62.54/15.74	c ORs :      3 avg-s:  0.0 cl-sh:  3505 l-rem:   3505 b-add:      6 v-rep:   0 cl-rem: 22 avg s: 3.0 T:    9.20
62.54/15.75	c lits-rem:       212  cl-subs:     1982  v-elim:    232  v-fix:    0  time: 15.97 s
62.54/15.75	c learnt bin added due to v-elim: 0
62.54/15.75	c vivif2 --  cl tried    28895 cl shrink        0 lits rem          0 time: 0.01
62.54/15.75	c vivif2 --  cl tried    17575 cl shrink        0 lits rem          0 time: 0.02
63.34/15.94	c asymm  cl-useful: 0/4151/28895 lits-rem:0 time: 0.75
63.34/15.94	c calculated reachability. Time: 0.00
63.34/15.94	c  N dy   462     69883       235     28895        83     17575    130442    334262     22.40     12.21  --
63.34/15.94	c  F st   462     69883       235     28895        83     17575    130442    334262     22.40     12.21  --
64.14/16.19	c Decided on static restart strategy
65.34/16.49	c  N dy   485     74382       235     28895        83     11487    130442    177859     20.44     12.20  --
67.74/17.00	c  N dy   519     79192       235     28895        83     16051    130442    273595     20.18     12.17  --
69.74/17.59	c  N dy   555     84363       235     28895        83     21005    130442    386964     22.10     12.21  --
72.53/18.22	c  N dy   593     89770       235     28895        83     14763    130442    238279     21.09     12.16  --
74.93/18.88	c  N dy   634     95598       235     28895        83     20329    130442    362664     23.40     12.20  --
78.14/19.64	c  N dy   677    101722       235     28895        83     13751    130442    207172     20.46     12.19  --
79.32/19.98	c  S st   699    104825       235     28895        83     16711    130442    273547     21.80     12.19  --
79.72/20.04	c  S st   699    105329       235     28895        83     17212    130442    285007     21.80     12.19  --
79.72/20.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
79.72/20.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.12/20.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.7M T:  0.38
80.12/20.14	c Calc non-exist non-lernt bins v-fix:     0 done:    235 time:  0.00 s
80.12/20.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
80.12/20.14	c Subs w/ non-existent bins:      0 time:  0.02 s
80.12/20.15	c bin-w-bin subsume rem            0 bins  time:  0.01 s
80.12/20.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
80.12/20.16	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
85.72/21.55	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
85.72/21.55	c lits-rem:       129  cl-subs:     1406  v-elim:    232  v-fix:    0  time:  5.57 s
85.72/21.55	c learnt bin added due to v-elim: 0
85.72/21.56	c vivif2 --  cl tried    28895 cl shrink        0 lits rem          0 time: 0.01
85.72/21.56	c vivif2 --  cl tried    15806 cl shrink        0 lits rem          0 time: 0.01
86.53/21.76	c asymm  cl-useful: 0/3925/28895 lits-rem:0 time: 0.79
86.53/21.76	c calculated reachability. Time: 0.00
86.53/21.76	c  N dy   699    105329       235     28895        83     15806    130442    265237     21.80     12.19  --
89.72/22.57	c  N dy   746    112080       235     28895        83     22227    130442    398740     20.51     12.16  --
93.31/23.45	c  N dy   796    119270       235     28895        83     15750    130442    240693     18.84     12.13  --
96.90/24.34	c  N dy   849    126886       235     28895        83     22981    130442    396226     19.47     12.13  --
100.89/25.37	c  N dy   906    135019       235     28895        83     16493    130442    258991     21.26     12.11  --
104.89/26.38	c  N dy   967    143737       235     28895        83     24778    130442    436192     21.29     12.11  --
109.68/27.56	c  N dy  1033    153041       235     28895        83     18427    130442    298107     21.45     12.09  --
112.08/28.17	c  S st  1068    157994       235     28895        83     23128    130442    398386     19.81     12.09  --
112.48/28.23	c  S st  1068    158500       235     28895        83     23628    130442    410067     19.81     12.09  --
112.48/28.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
112.48/28.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.90/28.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  9.5M T:  0.63
112.90/28.40	c Calc non-exist non-lernt bins v-fix:     0 done:    235 time:  0.00 s
112.90/28.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
112.90/28.40	c Subs w/ non-existent bins:      0 time:  0.02 s
113.30/28.41	c bin-w-bin subsume rem            0 bins  time:  0.01 s
113.30/28.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
113.30/28.42	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
120.47/30.23	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
120.47/30.23	c lits-rem:       369  cl-subs:     1953  v-elim:    232  v-fix:    0  time:  7.23 s
120.47/30.23	c learnt bin added due to v-elim: 0
120.47/30.24	c vivif2 --  cl tried    28895 cl shrink        0 lits rem          0 time: 0.01
120.47/30.24	c vivif2 --  cl tried    21675 cl shrink        0 lits rem          0 time: 0.02
120.87/30.35	c asymm  cl-useful: 0/1634/28895 lits-rem:0 time: 0.43
120.87/30.35	c calculated reachability. Time: 0.00
120.87/30.35	c  N dy  1068    158500       235     28895        83     21675    130442    381959     19.81     12.09  --
126.09/31.66	c  N dy  1140    168725       235     28895        83     31339    130442    588742     20.69     12.10  --
131.26/32.98	c  N dy  1216    179560       235     28895        83     25546    130442    438417     19.58     12.08  --
137.65/34.50	c  N dy  1297    191075       247     28895       108     19492    130490    287218     21.15     12.06  --
143.66/36.01	c  N dy  1383    203381       247     28895       108     31197    130490    538397     21.05     12.05  --
150.43/37.70	c  N dy  1475    216500       247     28895       108     25595    130490    407367     21.59     12.05  --
157.63/39.57	c  N dy  1572    230355       247     28895       108     19719    130490    262926     21.74     12.03  --
161.24/40.47	c  S st  1625    237752       247     28895       108     26775    130490    411364     20.15     12.03  --
161.64/40.54	c  S st  1625    238255       247     28895       108     27275    130490    422779     20.15     12.03  --
161.64/40.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
161.64/40.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.42/40.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.3M T:  0.78
162.42/40.74	c Calc non-exist non-lernt bins v-fix:     0 done:    247 time:  0.01 s
162.42/40.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
162.42/40.75	c Subs w/ non-existent bins:      0 time:  0.02 s
162.42/40.76	c bin-w-bin subsume rem            0 bins  time:  0.01 s
162.42/40.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
162.42/40.77	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
169.62/42.56	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
169.62/42.57	c lits-rem:       419  cl-subs:     2241  v-elim:    232  v-fix:    0  time:  7.19 s
169.62/42.57	c learnt bin added due to v-elim: 0
169.62/42.57	c vivif2 --  cl tried    28895 cl shrink        0 lits rem          0 time: 0.01
169.62/42.58	c vivif2 --  cl tried    25034 cl shrink        0 lits rem          0 time: 0.02
170.03/42.69	c asymm  cl-useful: 0/1564/28895 lits-rem:0 time: 0.42
170.03/42.69	c calculated reachability. Time: 0.00
170.03/42.69	c  N dy  1625    238255       247     28895       108     25034    130490    392080     20.15     12.03  --
178.41/44.72	c  N dy  1732    253565       247     28895       108     39566    130490    704760     21.20     12.05  --
186.80/46.81	c  N dy  1846    269790       259     28895       132     35211    130538    586305     20.39     12.05  --
195.99/49.15	c  N dy  1968    287143       259     28895       132     30788    130538    476513     20.56     12.05  --
206.37/51.71	c  N dy  2098    305578       259     28895       132     26429    130538    374477     21.85     12.08  --
217.17/54.46	c  N dy  2236    325202       259     28895       132     45017    130538    773302     22.03     12.09  --
228.34/57.20	c  N dy  2377    345265       259     28895       132     41300    130538    678221     20.64     12.09  --
235.14/58.95	c  S st  2463    357383       259     28895       132     29061    130538    405541     21.86     12.10  --
235.54/59.02	c  S st  2463    357887       259     28895       132     29554    130538    418030     21.86     12.10  --
235.54/59.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
235.54/59.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
236.36/59.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.7M T:  0.87
236.36/59.24	c Calc non-exist non-lernt bins v-fix:     0 done:    259 time:  0.01 s
236.36/59.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
236.36/59.25	c Subs w/ non-existent bins:      0 time:  0.02 s
236.36/59.26	c bin-w-bin subsume rem            0 bins  time:  0.01 s
236.36/59.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
236.36/59.27	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
244.33/61.21	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
244.33/61.22	c lits-rem:       415  cl-subs:     1878  v-elim:    232  v-fix:    0  time:  7.76 s
244.33/61.22	c learnt bin added due to v-elim: 0
244.33/61.22	c vivif2 --  cl tried    28895 cl shrink        0 lits rem          0 time: 0.01
244.33/61.22	c vivif2 --  cl tried    27676 cl shrink        0 lits rem          0 time: 0.03
244.75/61.33	c asymm  cl-useful: 0/2128/28895 lits-rem:0 time: 0.41
244.75/61.33	c calculated reachability. Time: 0.00
244.75/61.33	c  N dy  2463    357887       259     28895       132     27676    130538    394705     21.86     12.10  --
255.91/64.12	c  N dy  2604    377975       271     28895       157     46828    130586    799266     21.13     12.09  --
267.13/66.94	c  N dy  2745    398055       271     28895       157     41204    130586    653784     20.72     12.09  --
278.68/69.87	c  N dy  2886    418187       271     28895       157     34643    130586    512474     20.94     12.10  --
291.08/72.90	c  N dy  3026    438195       271     28895       159     27091    130588    338393     21.17     12.11  --
355.40/89.09	c  N dy  3085    536830       271     28895       159     35902    130588    522712     24.54     12.27  --
355.80/89.12	c  S st  3085    536830       271     28895       159     35902    130588    522712     24.54     12.27  --
355.80/89.20	c  S st  3085    537332       271     28895       159     36393    130588    533280     24.54     12.27  --
356.20/89.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
356.20/89.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
357.00/89.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.7M T:  1.15
357.00/89.49	c Calc non-exist non-lernt bins v-fix:     0 done:    271 time:  0.00 s
357.00/89.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
357.00/89.50	c Subs w/ non-existent bins:      0 time:  0.04 s
357.40/89.50	c Replacing        1 vars Replaced       28 lits Time:     0.01 s 
357.40/89.51	c bin-w-bin subsume rem            2 bins  time:  0.01 s
357.40/89.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
357.40/89.53	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
364.19/91.27	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
370.59/92.83	c Added 3 vars  tried: 80000 time: 6.20
370.59/92.86	c ORs :      3 avg-s:  0.0 cl-sh:  3284 l-rem:   3284 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    6.32
370.59/92.87	c lits-rem:       359  cl-subs:     1854  v-elim:    232  v-fix:    0  time: 13.35 s
370.59/92.87	c learnt bin added due to v-elim: 0
370.59/92.87	c vivif2 --  cl tried    28898 cl shrink        0 lits rem          0 time: 0.01
370.59/92.88	c vivif2 --  cl tried    34539 cl shrink        0 lits rem          0 time: 0.03
370.99/92.98	c asymm  cl-useful: 0/1702/28898 lits-rem:0 time: 0.42
370.99/92.99	c calculated reachability. Time: 0.00
370.99/92.99	c  N dy  3085    537332       273     28898       160     34539    130603    503480     24.54     12.27  --
370.99/92.99	c  F st  3085    537332       273     28898       160     34539    130603    503480     24.54     12.27  --
372.20/93.28	c Decided on static restart strategy
560.37/140.37	c  N dy  3183    805998       273     28898       160     56935    130603    967992     21.29     12.04  --
560.77/140.41	c  S st  3183    805998       273     28898       160     56935    130603    967992     21.29     12.04  --
560.77/140.42	c Finding binary XORs  T:     0.00 s  found:       2
561.18/140.52	c  S st  3183    806501       285     28898       192     57489    130659    980454     21.29     12.04  --
561.18/140.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
561.18/140.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
562.76/140.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.9M T:  1.83
562.76/140.98	c Calc non-exist non-lernt bins v-fix:     0 done:    285 time:  0.01 s
562.76/140.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
562.76/140.99	c Subs w/ non-existent bins:      0 time:  0.06 s
563.16/141.00	c Replacing        2 vars Replaced       37 lits Time:     0.02 s 
563.16/141.02	c bin-w-bin subsume rem            4 bins  time:  0.01 s
563.16/141.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.11 s
563.16/141.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
572.75/143.49	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 6.0 T:    0.05
573.15/143.50	c lits-rem:       313  cl-subs:     6675  v-elim:    232  v-fix:    0  time:  9.81 s
573.15/143.50	c learnt bin added due to v-elim: 0
573.15/143.51	c vivif2 --  cl tried    28898 cl shrink        0 lits rem          0 time: 0.01
573.15/143.52	c vivif2 --  cl tried    50813 cl shrink        0 lits rem          0 time: 0.05
573.55/143.64	c asymm  cl-useful: 0/1842/28898 lits-rem:0 time: 0.48
573.55/143.65	c calculated reachability. Time: 0.00
573.55/143.65	c  N dy  3183    806501       283     28898       180     50813    130643    880125     21.29     12.04  --
891.57/223.22	c  N dy  3312   1209752       286     28898       186     67128    130655   1119055     19.32     12.21  --
891.57/223.27	c  S st  3312   1209752       286     28898       186     67128    130655   1119055     19.32     12.21  --
891.97/223.37	c  S st  3312   1210253       295     28898       208     67670    130695   1131330     19.32     12.21  --
891.97/223.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
891.97/223.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
894.38/223.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 35.2M T:  2.46
894.38/223.99	c Calc non-exist non-lernt bins v-fix:     0 done:    295 time:  0.01 s
894.38/223.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
894.78/224.01	c Subs w/ non-existent bins:      0 time:  0.06 s
894.78/224.01	c Replacing        1 vars Replaced       21 lits Time:     0.02 s 
894.78/224.04	c bin-w-bin subsume rem            2 bins  time:  0.01 s
894.78/224.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.12 s
894.78/224.07	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
907.56/227.24	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.07
916.36/229.48	c Added 3 vars  tried: 80000 time: 8.94
916.76/229.53	c ORs :      3 avg-s:  0.0 cl-sh:  4634 l-rem:   4634 b-add:      8 v-rep:   0 cl-rem: 15 avg s: 3.0 T:    9.16
916.76/229.55	c lits-rem:       892  cl-subs:     6301  v-elim:    232  v-fix:    0  time: 21.91 s
916.76/229.55	c learnt bin added due to v-elim: 0
916.76/229.56	c vivif2 --  cl tried    28885 cl shrink        0 lits rem          0 time: 0.01
916.76/229.57	c vivif2 --  cl tried    61367 cl shrink        0 lits rem          0 time: 0.07
917.17/229.69	c asymm  cl-useful: 0/1488/28885 lits-rem:0 time: 0.48
917.17/229.70	c calculated reachability. Time: 0.00
917.17/229.70	c  N dy  3312   1210253       297     28885       210     61367    130507   1025740     19.32     12.21  --
1378.21/345.00	c  N dy  3314   1710253       297     28885       210     91916    130507   1397847     18.22     12.03  --
1378.21/345.06	c  S st  3314   1710253       297     28885       210     91916    130507   1397847     18.22     12.03  --
1378.62/345.18	c  S st  3314   1710758       297     28885       210     92416    130507   1409875     18.22     12.03  --
1378.62/345.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1378.62/345.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1382.60/346.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 52.2M T:  3.68
1382.60/346.11	c Calc non-exist non-lernt bins v-fix:     0 done:    297 time:  0.01 s
1382.60/346.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1382.60/346.13	c Subs w/ non-existent bins:      0 time:  0.08 s
1382.60/346.16	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1382.60/346.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.13 s
1382.60/346.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1405.39/351.81	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 6.0 T:    0.18
1405.39/351.84	c lits-rem:       105  cl-subs:    15610  v-elim:    232  v-fix:    0  time: 22.54 s
1405.39/351.84	c learnt bin added due to v-elim: 0
1405.39/351.84	c vivif2 --  cl tried    28885 cl shrink        0 lits rem          0 time: 0.01
1405.39/351.87	c vivif2 --  cl tried    76804 cl shrink        1 lits rem          1 time: 0.08
1405.77/351.99	c asymm  cl-useful: 0/1409/28885 lits-rem:0 time: 0.49
1405.77/351.99	c calculated reachability. Time: 0.00
1405.77/351.99	c  N dy  3314   1710758       297     28885       210     76804    130507   1199322     18.22     12.03  --
1913.17/478.90	c  N dy  3316   2210758       297     28885       210     93560    130506   1480930     19.74     12.26  --
1913.17/478.97	c  S st  3316   2210758       297     28885       210     93560    130506   1480930     19.74     12.26  --
1913.97/479.10	c  S st  3316   2211259       301     28885       219     94078    130522   1492884     19.74     12.26  --
1913.97/479.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1913.97/479.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1917.97/480.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 57.0M T:  4.16
1917.97/480.15	c Calc non-exist non-lernt bins v-fix:     0 done:    301 time:  0.01 s
1917.97/480.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1917.97/480.17	c Subs w/ non-existent bins:      0 time:  0.09 s
1918.37/480.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
1918.37/480.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
1918.37/480.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1936.76/484.84	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 11.0 T:    0.13
1936.76/484.87	c lits-rem:        83  cl-subs:     6324  v-elim:    232  v-fix:    0  time: 18.47 s
1936.76/484.87	c learnt bin added due to v-elim: 0
1936.76/484.87	c vivif2 --  cl tried    28885 cl shrink        0 lits rem          0 time: 0.01
1936.76/484.90	c vivif2 --  cl tried    87753 cl shrink        0 lits rem          0 time: 0.10
1937.54/485.03	c asymm  cl-useful: 0/914/28885 lits-rem:0 time: 0.52
1937.54/485.03	c calculated reachability. Time: 0.00
1937.54/485.03	c  N dy  3316   2211259       301     28885       219     87753    130522   1383934     19.74     12.26  --
2467.31/617.68	c  N dy  3318   2711260       301     28885       219    108335    130522   1746051     23.14     12.30  --
2467.71/617.75	c  S st  3318   2711260       301     28885       219    108335    130522   1746051     23.14     12.30  --
2467.71/617.75	c Finding binary XORs  T:     0.00 s  found:       0
2468.11/617.90	c  S st  3318   2711761       305     28885       228    108842    130538   1758042     23.14     12.30  --
2468.52/617.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2468.52/617.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2472.50/618.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.34
2472.50/619.00	c Calc non-exist non-lernt bins v-fix:     0 done:    305 time:  0.01 s
2472.50/619.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2472.92/619.02	c Subs w/ non-existent bins:      0 time:  0.09 s
2472.92/619.06	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2473.32/619.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.18 s
2473.32/619.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2505.27/627.10	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.16
2505.27/627.14	c lits-rem:       644  cl-subs:    11997  v-elim:    232  v-fix:    0  time: 32.07 s
2505.27/627.14	c learnt bin added due to v-elim: 0
2505.27/627.14	c vivif2 --  cl tried    28885 cl shrink        0 lits rem          0 time: 0.01
2505.27/627.17	c vivif2 --  cl tried    96845 cl shrink        0 lits rem          0 time: 0.11
2506.07/627.30	c asymm  cl-useful: 0/897/28885 lits-rem:0 time: 0.52
2506.07/627.30	c calculated reachability. Time: 0.00
2506.07/627.30	c  N dy  3318   2711761       305     28885       228     96845    130538   1550196     23.14     12.30  --
2506.07/627.30	c  F st  3318   2711761       305     28885       228     96845    130538   1550196     23.14     12.30  --
2508.48/627.92	c Decided on static restart strategy
3101.38/776.36	c  N dy  3325   3211761       305     28885       228     74127    130538    918271     20.84     12.35  --
3101.77/776.40	c  S st  3325   3211761       305     28885       228     74127    130538    918271     20.84     12.35  --
3102.15/776.50	c  S st  3325   3212265       309     28885       238     74632    130554    930819     20.84     12.35  --
3102.15/776.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3102.15/776.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3105.35/777.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 53.5M T:  3.26
3105.35/777.33	c Calc non-exist non-lernt bins v-fix:     0 done:    309 time:  0.01 s
3105.35/777.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3105.35/777.34	c Subs w/ non-existent bins:      0 time:  0.08 s
3105.35/777.37	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3105.35/777.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
3105.35/777.39	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3115.33/779.81	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.12
3119.73/780.95	c Added 4 vars  tried: 80000 time: 4.57
3119.73/780.97	c ORs :      4 avg-s:  0.0 cl-sh:  2826 l-rem:   2826 b-add:      9 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    4.66
3119.73/781.00	c lits-rem:       118  cl-subs:     2710  v-elim:    232  v-fix:    0  time: 14.40 s
3119.73/781.00	c learnt bin added due to v-elim: 0
3120.13/781.00	c vivif2 --  cl tried    28884 cl shrink        0 lits rem          0 time: 0.01
3120.13/781.02	c vivif2 --  cl tried    71921 cl shrink        0 lits rem          0 time: 0.07
3120.53/781.12	c asymm  cl-useful: 0/1449/28884 lits-rem:0 time: 0.43
3120.53/781.13	c calculated reachability. Time: 0.00
3120.53/781.13	c  N dy  3325   3212265       313     28884       247     71921    130445    905672     20.84     12.35  --
3756.58/940.37	c  N dy  3333   3712265       313     28884       248     82744    130445   1065794     21.96     12.63  --
3756.95/940.42	c  S st  3333   3712265       313     28884       248     82744    130445   1065794     21.96     12.63  --
3757.35/940.53	c  S st  3333   3712767       313     28884       248     83245    130445   1077008     21.96     12.63  --
3757.35/940.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3757.35/940.54	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
3761.35/941.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 59.5M T:  3.91
3761.35/941.52	c Calc non-exist non-lernt bins v-fix:     0 done:    313 time:  0.01 s
3761.35/941.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3761.35/941.54	c Subs w/ non-existent bins:      0 time:  0.08 s
3761.35/941.59	c Replacing        1 vars Replaced     3333 lits Time:     0.18 s 
3761.75/941.61	c bin-w-bin subsume rem            2 bins  time:  0.01 s
3761.75/941.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.10 s
3761.75/941.64	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3773.34/944.53	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.16
3773.34/944.56	c lits-rem:        41  cl-subs:     1611  v-elim:    232  v-fix:    0  time: 11.66 s
3773.34/944.56	c learnt bin added due to v-elim: 0
3773.34/944.56	c vivif2 --  cl tried    28884 cl shrink        0 lits rem          0 time: 0.01
3773.34/944.58	c vivif2 --  cl tried    81634 cl shrink        1 lits rem          1 time: 0.09
3773.75/944.69	c asymm  cl-useful: 0/625/28884 lits-rem:0 time: 0.45
3773.75/944.70	c calculated reachability. Time: 0.00
3773.75/944.70	c  N dy  3333   3712767       312     28884       244     81634    130441   1053895     21.96     12.63  --
4472.50/1119.53	c  N dy  3344   4212769       312     28884       244    144418    130441   2583959     26.27     12.82  --
4472.90/1119.64	c  S st  3344   4212769       312     28884       244    144418    130441   2583959     26.27     12.82  --
4473.68/1119.85	c  S st  3344   4213272       322     28884       267    144932    130485   2595547     26.27     12.82  --
4473.68/1119.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4473.68/1119.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4478.87/1121.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 60.0M T:  5.19
4478.87/1121.16	c Calc non-exist non-lernt bins v-fix:     0 done:    322 time:  0.02 s
4478.87/1121.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4479.27/1121.20	c Subs w/ non-existent bins:      0 time:  0.16 s
4479.27/1121.21	c Replacing        1 vars Replaced       14 lits Time:     0.06 s 
4479.27/1121.27	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4479.67/1121.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.34 s
4479.67/1121.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4539.60/1136.39	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.40
4540.00/1136.45	c lits-rem:      2167  cl-subs:     8645  v-elim:    232  v-fix:    0  time: 60.28 s
4540.00/1136.45	c learnt bin added due to v-elim: 0
4540.00/1136.45	c vivif2 --  cl tried    28884 cl shrink        0 lits rem          0 time: 0.01
4540.00/1136.50	c vivif2 --  cl tried   136287 cl shrink        0 lits rem          0 time: 0.18
4540.80/1136.63	c asymm  cl-useful: 0/280/28884 lits-rem:0 time: 0.55
4540.80/1136.64	c calculated reachability. Time: 0.00
4540.80/1136.64	c  N dy  3344   4213272       321     28884       263    136287    130477   2393038     26.27     12.82  --

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-3261977-1304132652/watcher-3261977-1304132652 -o /tmp/evaluation-result-3261977-1304132652/solver-3261977-1304132652 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261977-1304132652.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: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=49884 CPUtime=0 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 673 0 0 0 0 0 0 0 25 0 1 0 524865641 51081216 608 33554432000 4194304 4797429 140733430707744 18446744073709551615 230808826565 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/12149/statm: 12471 613 347 148 0 7400 0

[startup+0.266143 s]
/proc/loadavg: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=472484 CPUtime=0.88 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 3509 0 0 0 88 0 0 0 18 0 4 0 524865641 483823616 3216 33554432000 4194304 4797429 140733430707744 18446744073709551615 230809270815 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12149/statm: 118324 3417 378 148 0 113253 0
Current children cumulated CPU time (s) 0.88
Current children cumulated vsize (KiB) 472484

[startup+0.801141 s]
/proc/loadavg: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=622596 CPUtime=4.16 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 8170 0 0 0 415 1 0 0 18 0 4 0 524865641 637538304 6566 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12149/statm: 155649 6566 410 148 0 150578 0
Current children cumulated CPU time (s) 4.16
Current children cumulated vsize (KiB) 622596

[startup+1.1849 s]
/proc/loadavg: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=622732 CPUtime=4.56 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 8307 0 0 0 455 1 0 0 19 0 4 0 524865641 637677568 6698 33554432000 4194304 4797429 140733430707744 18446744073709551615 4351787 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12149/statm: 155683 6698 411 148 0 150612 0
Current children cumulated CPU time (s) 4.56
Current children cumulated vsize (KiB) 622732

[startup+1.28488 s]
/proc/loadavg: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=622864 CPUtime=4.96 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 8450 0 0 0 495 1 0 0 19 0 4 0 524865641 637812736 6835 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12149/statm: 155716 6835 411 148 0 150645 0
Current children cumulated CPU time (s) 4.96
Current children cumulated vsize (KiB) 622864

[startup+1.50084 s]
/proc/loadavg: 8.29 8.14 7.99 2/174 12149
/proc/meminfo: memFree=30983560/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=623316 CPUtime=5.82 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 8771 0 0 0 581 1 0 0 19 0 4 0 524865641 638275584 7151 33554432000 4194304 4797429 140733430707744 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/12149/statm: 155829 7153 411 148 0 150758 0
Current children cumulated CPU time (s) 5.82
Current children cumulated vsize (KiB) 623316

[startup+3.10654 s]
/proc/loadavg: 8.58 8.20 8.01 9/184 12163
/proc/meminfo: memFree=30905504/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=627904 CPUtime=12.23 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 11004 0 0 0 1221 2 0 0 23 0 4 0 524865641 642973696 8520 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 156976 8520 415 148 0 151905 0
[pid=12149/tid=12152] ppid=12147 vsize=627904 CPUtime=3.03 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 1665 0 0 0 303 0 0 0 24 0 4 0 524865646 642973696 8520 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=627904 CPUtime=3.04 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 1941 0 0 0 304 0 0 0 25 0 4 0 524865646 642973696 8520 33554432000 4194304 4797429 140733430707744 18446744073709551615 4428600 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=627904 CPUtime=3.04 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 1714 0 0 0 304 0 0 0 23 0 4 0 524865646 642973696 8520 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (KiB) 627904

[startup+6.30096 s]
/proc/loadavg: 8.54 8.20 8.01 9/184 12163
/proc/meminfo: memFree=30899684/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=630192 CPUtime=25.01 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 13886 0 0 0 2499 2 0 0 25 0 4 0 524865641 645316608 8834 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 157548 8834 418 148 0 152477 0
[pid=12149/tid=12152] ppid=12147 vsize=630192 CPUtime=6.22 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 2135 0 0 0 622 0 0 0 25 0 4 0 524865646 645316608 8834 33554432000 4194304 4797429 140733430707744 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=630192 CPUtime=6.24 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 2419 0 0 0 624 0 0 0 25 0 4 0 524865646 645316608 8834 33554432000 4194304 4797429 140733430707744 18446744073709551615 4629040 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=630192 CPUtime=6.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 2333 0 0 0 624 0 0 0 25 0 4 0 524865646 645316608 8834 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 630192

[startup+12.7008 s]
/proc/loadavg: 8.49 8.20 8.01 9/184 12163
/proc/meminfo: memFree=30892392/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=633344 CPUtime=50.55 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 17156 0 0 0 5053 2 0 0 25 0 4 0 524865641 648544256 10338 33554432000 4194304 4797429 140733430707744 18446744073709551615 4523765 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 158336 10338 418 148 0 153265 0
[pid=12149/tid=12152] ppid=12147 vsize=633344 CPUtime=12.59 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 2301 0 0 0 1259 0 0 0 25 0 4 0 524865646 648544256 10338 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=633344 CPUtime=12.63 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 3105 0 0 0 1263 0 0 0 25 0 4 0 524865646 648544256 10338 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=633344 CPUtime=12.63 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 2553 0 0 0 1263 0 0 0 25 0 4 0 524865646 648544256 10338 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424399 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 633344

[startup+25.5004 s]
/proc/loadavg: 8.42 8.19 8.01 9/184 12163
/proc/meminfo: memFree=30878672/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=640452 CPUtime=101.69 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 24532 0 0 0 10165 4 0 0 25 0 4 0 524865641 655822848 12041 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 160113 12041 420 148 0 155042 0
[pid=12149/tid=12152] ppid=12147 vsize=640452 CPUtime=25.32 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 3166 0 0 0 2532 0 0 0 25 0 4 0 524865646 655822848 12041 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=640452 CPUtime=25.44 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 3944 0 0 0 2543 1 0 0 25 0 4 0 524865646 655822848 12041 33554432000 4194304 4797429 140733430707744 18446744073709551615 4493227 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=640452 CPUtime=25.43 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 3886 0 0 0 2543 0 0 0 25 0 4 0 524865646 655822848 12041 33554432000 4194304 4797429 140733430707744 18446744073709551615 4346549 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 640452

[startup+51.1007 s]
/proc/loadavg: 8.27 8.17 8.01 9/184 12164
/proc/meminfo: memFree=30862344/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=645572 CPUtime=203.97 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 36462 0 0 0 20391 6 0 0 25 0 4 0 524865641 661065728 14446 33554432000 4194304 4797429 140733430707744 18446744073709551615 4345045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 161393 14446 420 148 0 156322 0
[pid=12149/tid=12152] ppid=12147 vsize=645572 CPUtime=50.81 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 4382 0 0 0 5081 0 0 0 25 0 4 0 524865646 661065728 14446 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=645572 CPUtime=51.03 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 4937 0 0 0 5102 1 0 0 25 0 4 0 524865646 661065728 14446 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=645572 CPUtime=51.03 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 5513 0 0 0 5103 0 0 0 25 0 4 0 524865646 661065728 14446 33554432000 4194304 4797429 140733430707744 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 645572

[startup+102.3 s]
/proc/loadavg: 8.15 8.16 8.01 9/184 12165
/proc/meminfo: memFree=30838720/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=652168 CPUtime=408.53 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 56972 0 0 0 40840 13 0 0 25 0 4 0 524865641 667820032 16895 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 163042 16895 422 148 0 157971 0
[pid=12149/tid=12152] ppid=12147 vsize=652168 CPUtime=101.77 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 6752 0 0 0 10176 1 0 0 25 0 4 0 524865646 667820032 16895 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=652168 CPUtime=102.24 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 7466 0 0 0 10222 2 0 0 25 0 4 0 524865646 667820032 16895 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=652168 CPUtime=102.22 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 7172 0 0 0 10222 0 0 0 25 0 4 0 524865646 667820032 16895 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.53
Current children cumulated vsize (KiB) 652168

[startup+162.3 s]
/proc/loadavg: 8.09 8.14 8.01 9/184 12167
/proc/meminfo: memFree=30812776/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=660800 CPUtime=648.27 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 78706 0 0 0 64807 20 0 0 25 0 4 0 524865641 676659200 19902 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 165200 19902 423 148 0 160129 0
[pid=12149/tid=12152] ppid=12147 vsize=660800 CPUtime=161.5 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 8512 0 0 0 16148 2 0 0 25 0 4 0 524865646 676659200 19902 33554432000 4194304 4797429 140733430707744 18446744073709551615 4358603 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=660800 CPUtime=162.24 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 9980 0 0 0 16221 3 0 0 25 0 4 0 524865646 676659200 19902 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=660800 CPUtime=162.23 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 9095 0 0 0 16222 1 0 0 25 0 4 0 524865646 676659200 19902 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.27
Current children cumulated vsize (KiB) 660800

[startup+222.3 s]
/proc/loadavg: 8.06 8.12 8.01 9/184 12168
/proc/meminfo: memFree=30801948/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=665656 CPUtime=887.98 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 99415 0 0 0 88774 24 0 0 25 0 4 0 524865641 681631744 21130 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 166414 21130 423 148 0 161343 0
[pid=12149/tid=12152] ppid=12147 vsize=665656 CPUtime=221.22 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 10358 0 0 0 22120 2 0 0 25 0 4 0 524865646 681631744 21130 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=665656 CPUtime=222.24 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 11863 0 0 0 22220 4 0 0 25 0 4 0 524865646 681631744 21130 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=665656 CPUtime=222.22 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 11083 0 0 0 22221 1 0 0 25 0 4 0 524865646 681631744 21130 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.98
Current children cumulated vsize (KiB) 665656

[startup+282.3 s]
/proc/loadavg: 8.02 8.10 8.00 9/184 12170
/proc/meminfo: memFree=30776604/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=671232 CPUtime=1127.7 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 116577 0 0 0 112740 30 0 0 25 0 4 0 524865641 687341568 24928 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 167808 24928 423 148 0 162737 0
[pid=12149/tid=12152] ppid=12147 vsize=671232 CPUtime=280.94 cores=0,2,4,6

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

[pid=12149] ppid=12147 vsize=694572 CPUtime=2565.98 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 203164 0 0 0 256534 64 0 0 25 0 4 0 524865641 711241728 31772 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424622 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 173643 31772 423 148 0 168572 0
[pid=12149/tid=12152] ppid=12147 vsize=694572 CPUtime=639.22 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 21120 0 0 0 63915 7 0 0 25 0 4 0 524865646 711241728 31772 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=694572 CPUtime=642.25 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 22661 0 0 0 64217 8 0 0 25 0 4 0 524865646 711241728 31772 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=694572 CPUtime=642.23 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 23272 0 0 0 64216 7 0 0 25 0 4 0 524865646 711241728 31772 33554432000 4194304 4797429 140733430707744 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.98
Current children cumulated vsize (KiB) 694572

[startup+702.3 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 12181
/proc/meminfo: memFree=30698944/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=698284 CPUtime=2805.7 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 215473 0 0 0 280500 70 0 0 25 0 4 0 524865641 715042816 34337 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 174571 34337 423 148 0 169500 0
[pid=12149/tid=12152] ppid=12147 vsize=698284 CPUtime=698.94 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 22634 0 0 0 69886 8 0 0 25 0 4 0 524865646 715042816 34337 33554432000 4194304 4797429 140733430707744 18446744073709551615 4523791 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=698284 CPUtime=702.25 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 24143 0 0 0 70216 9 0 0 25 0 4 0 524865646 715042816 34337 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=698284 CPUtime=702.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 24578 0 0 0 70216 8 0 0 25 0 4 0 524865646 715042816 34337 33554432000 4194304 4797429 140733430707744 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.7
Current children cumulated vsize (KiB) 698284

[startup+762.3 s]
/proc/loadavg: 8.07 8.08 8.01 9/184 12183
/proc/meminfo: memFree=30690852/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=702792 CPUtime=3045.42 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 228990 0 0 0 304467 75 0 0 25 0 4 0 524865641 719659008 35099 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 175698 35099 423 148 0 170627 0
[pid=12149/tid=12152] ppid=12147 vsize=702792 CPUtime=758.65 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 23971 0 0 0 75857 8 0 0 25 0 4 0 524865646 719659008 35099 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=702792 CPUtime=762.26 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 25505 0 0 0 76216 10 0 0 25 0 4 0 524865646 719659008 35099 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=702792 CPUtime=762.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 25893 0 0 0 76215 9 0 0 25 0 4 0 524865646 719659008 35099 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429135 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.42
Current children cumulated vsize (KiB) 702792

[startup+822.3 s]
/proc/loadavg: 8.10 8.08 8.01 9/184 12184
/proc/meminfo: memFree=30684860/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=703932 CPUtime=3285.12 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 241062 0 0 0 328431 81 0 0 25 0 4 0 524865641 720826368 36039 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 175983 36039 423 148 0 170912 0
[pid=12149/tid=12152] ppid=12147 vsize=703932 CPUtime=818.36 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 25263 0 0 0 81827 9 0 0 25 0 4 0 524865646 720826368 36039 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=703932 CPUtime=822.25 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 26885 0 0 0 82215 10 0 0 25 0 4 0 524865646 720826368 36039 33554432000 4194304 4797429 140733430707744 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=703932 CPUtime=822.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 27300 0 0 0 82215 9 0 0 25 0 4 0 524865646 720826368 36039 33554432000 4194304 4797429 140733430707744 18446744073709551615 4656674 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.12
Current children cumulated vsize (KiB) 703932

[startup+882.3 s]
/proc/loadavg: 8.12 8.09 8.01 9/184 12186
/proc/meminfo: memFree=30674908/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=705664 CPUtime=3524.82 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 252902 0 0 0 352395 87 0 0 25 0 4 0 524865641 722599936 38048 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 176416 38048 423 148 0 171345 0
[pid=12149/tid=12152] ppid=12147 vsize=705664 CPUtime=878.07 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 26585 0 0 0 87797 10 0 0 25 0 4 0 524865646 722599936 38048 33554432000 4194304 4797429 140733430707744 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=705664 CPUtime=882.26 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 28412 0 0 0 88214 12 0 0 25 0 4 0 524865646 722599936 38048 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=705664 CPUtime=882.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 28060 0 0 0 88214 10 0 0 25 0 4 0 524865646 722599936 38048 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.82
Current children cumulated vsize (KiB) 705664

[startup+942.3 s]
/proc/loadavg: 8.12 8.10 8.02 9/184 12188
/proc/meminfo: memFree=30671900/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=710180 CPUtime=3764.55 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 267178 0 0 0 376363 92 0 0 25 0 4 0 524865641 727224320 36911 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568011 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 177545 36911 423 148 0 172474 0
[pid=12149/tid=12152] ppid=12147 vsize=710180 CPUtime=937.79 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 28105 0 0 0 93768 11 0 0 25 0 4 0 524865646 727224320 36911 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=710180 CPUtime=942.26 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 29753 0 0 0 94214 12 0 0 25 0 4 0 524865646 727224320 36911 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=710180 CPUtime=942.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 29389 0 0 0 94214 10 0 0 25 0 4 0 524865646 727224320 36911 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.55
Current children cumulated vsize (KiB) 710180

[startup+1002.3 s]
/proc/loadavg: 8.24 8.13 8.03 9/184 12189
/proc/meminfo: memFree=30660072/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=710464 CPUtime=4004.24 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 277194 0 0 0 400327 97 0 0 25 0 4 0 524865641 727515136 38749 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 177616 38749 423 148 0 172545 0
[pid=12149/tid=12152] ppid=12147 vsize=710464 CPUtime=997.49 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 29294 0 0 0 99738 11 0 0 25 0 4 0 524865646 727515136 38749 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=710464 CPUtime=1002.26 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 31425 0 0 0 100213 13 0 0 25 0 4 0 524865646 727515136 38749 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=710464 CPUtime=1002.24 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 30716 0 0 0 100213 11 0 0 25 0 4 0 524865646 727515136 38749 33554432000 4194304 4797429 140733430707744 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.24
Current children cumulated vsize (KiB) 710464

[startup+1062.3 s]
/proc/loadavg: 8.19 8.13 8.03 9/184 12191
/proc/meminfo: memFree=30654204/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=712956 CPUtime=4243.97 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 287478 0 0 0 424296 101 0 0 25 0 4 0 524865641 730066944 40365 33554432000 4194304 4797429 140733430707744 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 178239 40365 423 148 0 173168 0
[pid=12149/tid=12152] ppid=12147 vsize=712956 CPUtime=1057.21 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 29748 0 0 0 105709 12 0 0 25 0 4 0 524865646 730066944 40365 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=712956 CPUtime=1062.27 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 32148 0 0 0 106214 13 0 0 25 0 4 0 524865646 730066944 40365 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=712956 CPUtime=1062.25 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 32147 0 0 0 106213 12 0 0 25 0 4 0 524865646 730066944 40365 33554432000 4194304 4797429 140733430707744 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.97
Current children cumulated vsize (KiB) 712956

[startup+1122.3 s]
/proc/loadavg: 8.23 8.15 8.04 9/184 12192
/proc/meminfo: memFree=30641892/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=717000 CPUtime=4483.66 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 299777 0 0 0 448261 105 0 0 25 0 4 0 524865641 734208000 40309 33554432000 4194304 4797429 140733430707744 18446744073709551615 4506576 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 179250 40309 423 148 0 174179 0
[pid=12149/tid=12152] ppid=12147 vsize=717000 CPUtime=1116.91 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 31071 0 0 0 111679 12 0 0 25 0 4 0 524865646 734208000 40309 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=717000 CPUtime=1122.26 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 33478 0 0 0 112213 13 0 0 25 0 4 0 524865646 734208000 40309 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=717000 CPUtime=1122.25 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 33474 0 0 0 112213 12 0 0 25 0 4 0 524865646 734208000 40309 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.66
Current children cumulated vsize (KiB) 717000

[startup+1182.31 s]
/proc/loadavg: 8.23 8.15 8.05 9/184 12194
/proc/meminfo: memFree=30620148/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=717756 CPUtime=4723.39 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 309611 0 0 0 472230 109 0 0 25 0 4 0 524865641 734982144 42946 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 179439 42946 423 148 0 174368 0
[pid=12149/tid=12152] ppid=12147 vsize=717756 CPUtime=1176.62 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 32477 0 0 0 117649 13 0 0 25 0 4 0 524865646 734982144 42946 33554432000 4194304 4797429 140733430707744 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=717756 CPUtime=1182.27 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 34906 0 0 0 118213 14 0 0 25 0 4 0 524865646 734982144 42946 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=717756 CPUtime=1182.26 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 34151 0 0 0 118213 13 0 0 25 0 4 0 524865646 734982144 42946 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.39
Current children cumulated vsize (KiB) 717756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.16 8.14 8.04 9/184 12194
/proc/meminfo: memFree=30621616/32951124 swapFree=67111448/67111528
[pid=12149] ppid=12147 vsize=718400 CPUtime=4800.1 cores=0,2,4,6
/proc/12149/stat : 12149 (techdemo) R 12147 12149 12011 0 -1 4202496 314500 0 0 0 479898 112 0 0 25 0 4 0 524865641 735641600 42137 33554432000 4194304 4797429 140733430707744 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12149/statm: 179600 42137 423 148 0 174529 0
[pid=12149/tid=12152] ppid=12147 vsize=718400 CPUtime=1195.72 cores=0,2,4,6
/proc/12149/task/12152/stat : 12152 (techdemo) R 12147 12149 12011 0 -1 4202560 32701 0 0 0 119559 13 0 0 25 0 4 0 524865646 735641600 42137 33554432000 4194304 4797429 140733430707744 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12149/tid=12153] ppid=12147 vsize=718400 CPUtime=1201.47 cores=0,2,4,6
/proc/12149/task/12153/stat : 12153 (techdemo) R 12147 12149 12011 0 -1 4202560 35099 0 0 0 120133 14 0 0 25 0 4 0 524865646 735641600 42137 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12149/tid=12154] ppid=12147 vsize=718400 CPUtime=1201.46 cores=0,2,4,6
/proc/12149/task/12154/stat : 12154 (techdemo) R 12147 12149 12011 0 -1 4202560 35157 0 0 0 120133 13 0 0 25 0 4 0 524865646 735641600 42137 33554432000 4194304 4797429 140733430707744 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.1
Current children cumulated vsize (KiB) 718400

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.14
CPU user time (s): 4799.01
CPU system time (s): 1.12883
CPU usage (%): 399.505
Max. virtual memory (cumulated for all children) (KiB): 830116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.01
system time used= 1.12883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 314500
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= 456
involuntary context switches= 22941

runsolver used 1.78273 second user time and 3.99939 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 05:04:12
IDJOB=3261977
IDBENCH=83268
IDSOLVER=1584
FILE ID=node104/3261977-1304132652
RUNJOBID= node104-1304131448-12029
PBS_JOBID= 13170795
Free space on /tmp= 72544 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_464.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261977-1304132652/watcher-3261977-1304132652 -o /tmp/evaluation-result-3261977-1304132652/solver-3261977-1304132652 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261977-1304132652.cnf

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

MD5SUM BENCH= a722a199fd84ba0b319251daa47aa19c
RANDOM SEED=1645077895

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.855
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30983900 kB
Buffers:        397360 kB
Cached:        1096292 kB
SwapCached:         80 kB
Active:         153172 kB
Inactive:      1404760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30983900 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:           10336 kB
Writeback:           0 kB
AnonPages:       64200 kB
Mapped:          14684 kB
Slab:           344828 kB
PageTables:       3856 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188740 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= 72528 MiB
End job on node104 at 2011-04-30 05:24:15