Trace number 3250667

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.72

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
MD5SUMfaed4f95ee485d18812f5d39a28df3e5
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 variables349
Number of clauses33487
Sum of the clauses size151837
Maximum clause length19
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 330276
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 53211

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-3250667-1304133778.cnf'
0.00/0.00	c -- header says num vars:            349
0.00/0.00	c -- header says num clauses:       33487
0.00/0.05	c -- clauses added:            0 learnts,        33487 normals,            0 xors
0.00/0.05	c -- vars added        349
0.00/0.05	c Parsing time:  0.05 s
0.00/0.06	c  N st     0         0       349     33487         0         0    151837         0   no data   no data  --
0.00/0.26	c asymm  cl-useful: 0/15002/33487 lits-rem:0 time: 0.82
0.87/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.87/0.27	c Calc non-exist non-lernt bins v-fix:     0 done:    349 time:  0.00 s
0.87/0.27	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.87/0.27	c Subs w/ non-existent bins:      0 time:  0.00 s
0.87/0.28	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.87/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.87/0.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3.80/1.05	c lits-rem:         0  cl-subs:        0  v-elim:    232  v-fix:    0  time:  0.41 s
3.80/1.05	c learnt bin added due to v-elim: 0
3.80/1.05	c Finding binary XORs  T:     0.00 s  found:       0
3.80/1.05	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
3.80/1.05	c calculated reachability. Time: 0.00
3.80/1.05	c Calc default polars -  time:   0.00 s pos:     349 undec:       0 neg:       0
3.80/1.05	c =========================================================================================
3.80/1.05	c types(t): F = full restart, N = normal restart
3.80/1.05	c types(t): S = simplification begin/end, E = solution found
3.80/1.05	c restart types(rt): st = static, dy = dynamic
3.80/1.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.80/1.05	c  B st     0         0       349     33487         0         0    151837         0   no data   no data  --
3.80/1.05	c Decided on static restart strategy
3.80/1.05	c  N dy    20      4129       349     33487         0      4032    151837    160209     38.80     26.18  --
5.02/1.38	c  N dy    48      8240       349     33487         0      5316    151837    185406     37.25     25.01  --
7.00/1.86	c  N dy    76     12303       349     33487         0      4717    151837    145791     38.07     24.95  --
9.00/2.36	c  N dy   104     16390       349     33487         0      8727    151837    301005     38.36     25.18  --
11.00/2.85	c  N dy   132     20453       349     33487         0      6712    151837    198450     37.71     25.33  --
13.00/3.33	c  N dy   160     24596       349     33487         0     10750    151837    348197     37.62     25.09  --
14.99/3.85	c  N dy   188     28717       349     33487         0      7578    151837    210721     38.78     25.11  --
15.79/4.03	c  S st   197     30000       349     33487         0      8837    151837    257871     35.79     25.08  --
15.79/4.09	c  S st   197     30504       349     33487         0      9339    151837    277258     35.79     25.08  --
15.79/4.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
15.79/4.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.19/4.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.10
16.19/4.12	c Calc non-exist non-lernt bins v-fix:     0 done:    349 time:  0.00 s
16.19/4.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.19/4.12	c Subs w/ non-existent bins:      0 time:  0.01 s
16.19/4.13	c bin-w-bin subsume rem            0 bins  time:  0.01 s
16.19/4.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.19/4.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
22.60/5.76	c lits-rem:        17  cl-subs:      804  v-elim:    349  v-fix:    0  time:  6.49 s
22.60/5.76	c learnt bin added due to v-elim: 0
22.60/5.76	c vivif2 --  cl tried    33487 cl shrink        0 lits rem          0 time: 0.00
22.60/5.77	c vivif2 --  cl tried     8535 cl shrink        0 lits rem          0 time: 0.01
23.78/6.04	c asymm  cl-useful: 0/9900/33487 lits-rem:0 time: 1.08
23.78/6.04	c calculated reachability. Time: 0.00
23.78/6.04	c  N dy   197     30504       349     33487         0      8535    151837    256524     35.79     25.08  --
23.78/6.04	c  F st   197     30504       349     33487         0      8535    151837    256524     35.79     25.08  --
24.98/6.30	c Decided on static restart strategy
25.78/6.56	c  N dy   217     34638       349     33487         0     12566    151837    410054     37.71     25.09  --
27.77/7.09	c  N dy   245     38737       349     33487         0      8301    151837    224373     38.14     25.21  --
30.17/7.60	c  N dy   273     42859       349     33487         0     12310    151837    379430     37.42     25.22  --
31.38/8.00	c  S st   293     45758       349     33487         0     15146    151837    488083     36.85     25.25  --
31.79/8.06	c  S st   293     46260       349     33487         0     15643    151837    505466     36.85     25.25  --
31.79/8.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.79/8.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.16/8.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  0.20
32.16/8.12	c Calc non-exist non-lernt bins v-fix:     0 done:    349 time:  0.00 s
32.16/8.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.16/8.12	c Subs w/ non-existent bins:      0 time:  0.02 s
32.16/8.14	c bin-w-bin subsume rem            0 bins  time:  0.01 s
32.16/8.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.16/8.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
38.16/9.69	c lits-rem:        36  cl-subs:      841  v-elim:    349  v-fix:    0  time:  6.21 s
38.16/9.69	c learnt bin added due to v-elim: 0
38.56/9.70	c vivif2 --  cl tried    33487 cl shrink        0 lits rem          0 time: 0.01
38.56/9.70	c vivif2 --  cl tried    14802 cl shrink        0 lits rem          0 time: 0.02
38.96/9.83	c asymm  cl-useful: 0/2982/33487 lits-rem:0 time: 0.54
38.96/9.84	c calculated reachability. Time: 0.00
38.96/9.84	c  N dy   293     46260       349     33487         0     14802    151837    477265     36.85     25.25  --
41.35/10.41	c  N dy   321     50383       349     33487         0      9536    151837    257167     37.35     25.21  --
43.35/10.90	c  N dy   349     54483       349     33487         0     13550    151837    407716     35.84     25.17  --
45.34/11.43	c  N dy   377     58593       349     33487         0     17556    151837    558056     36.50     25.08  --
47.35/11.96	c  N dy   405     62653       349     33487         0     11223    151837    296327     40.78     25.09  --
49.37/12.48	c  N dy   433     66748       349     33487         0     15220    151837    450136     38.85     25.07  --
50.94/12.85	c  S st   452     69391       349     33487         0     17792    151837    545975     34.94     25.03  --
51.34/12.92	c  S st   452     69892       349     33487         0     18289    151837    565417     34.94     25.03  --
51.34/12.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
51.34/12.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.34/13.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.8M T:  0.29
51.74/13.00	c Calc non-exist non-lernt bins v-fix:     0 done:    349 time:  0.00 s
51.74/13.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.74/13.00	c Subs w/ non-existent bins:      0 time:  0.02 s
51.74/13.02	c bin-w-bin subsume rem            0 bins  time:  0.01 s
51.74/13.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.74/13.02	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
57.33/14.50	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
63.32/15.98	c Added 4 vars  tried: 80000 time: 5.91
63.32/16.00	c ORs :      4 avg-s:  0.0 cl-sh:  2917 l-rem:   2917 b-add:      8 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    5.99
63.72/16.01	c lits-rem:        51  cl-subs:     1072  v-elim:    349  v-fix:    0  time: 11.93 s
63.72/16.01	c learnt bin added due to v-elim: 0
63.72/16.01	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
63.72/16.01	c vivif2 --  cl tried    17217 cl shrink        0 lits rem          0 time: 0.02
64.12/16.15	c asymm  cl-useful: 0/1956/33485 lits-rem:0 time: 0.53
64.12/16.15	c calculated reachability. Time: 0.00
64.12/16.15	c  N dy   452     69892       353     33485         8     17217    151634    527763     34.94     25.03  --
64.12/16.15	c  F st   452     69892       353     33485         8     17217    151634    527763     34.94     25.03  --
65.32/16.47	c Decided on static restart strategy
66.94/16.81	c  N dy   475     74432       353     33485         8     21625    151634    700258     38.80     25.10  --
69.32/17.45	c  N dy   508     79208       353     33485         8     15035    151634    421640     37.66     25.04  --
72.11/18.13	c  N dy   543     84334       353     33485         8     20064    151634    609126     36.57     25.01  --
75.32/18.91	c  N dy   580     89727       353     33485         8     13060    151634    323412     39.16     25.01  --
78.10/19.68	c  N dy   619     95467       353     33485         8     18671    151634    540986     38.62     25.07  --
81.70/20.55	c  N dy   661    101569       353     33485         8     24632    151634    766371     37.24     25.08  --
83.70/21.06	c  S st   684    104839       353     33485         8     14567    151634    365161     38.53     25.09  --
84.11/21.13	c  S st   684    105339       353     33485         8     15067    151634    384308     38.53     25.09  --
84.11/21.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
84.11/21.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.11/21.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.0M T:  0.26
84.11/21.20	c Calc non-exist non-lernt bins v-fix:     0 done:    353 time:  0.00 s
84.11/21.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
84.11/21.20	c Subs w/ non-existent bins:      0 time:  0.02 s
84.52/21.21	c bin-w-bin subsume rem            0 bins  time:  0.01 s
84.52/21.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.52/21.22	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
88.92/22.35	c ORs :      4 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
88.92/22.35	c lits-rem:        11  cl-subs:      490  v-elim:    349  v-fix:    0  time:  4.55 s
88.92/22.35	c learnt bin added due to v-elim: 0
88.92/22.36	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
88.92/22.36	c vivif2 --  cl tried    14577 cl shrink        0 lits rem          0 time: 0.01
89.29/22.44	c asymm  cl-useful: 0/3645/33485 lits-rem:0 time: 0.33
89.29/22.44	c calculated reachability. Time: 0.00
89.29/22.44	c  N dy   684    105339       353     33485         8     14577    151634    371726     38.53     25.09  --
92.91/23.39	c  N dy   730    112067       353     33485         8     21169    151634    621433     35.96     25.09  --
97.30/24.44	c  N dy   780    119351       353     33485         8     28285    151634    890799     37.11     25.07  --
101.69/25.52	c  N dy   833    127062       353     33485         8     21545    151634    605955     35.83     25.07  --
106.49/26.76	c  N dy   889    135304       353     33485         8     29610    151634    907234     35.79     25.07  --
111.66/28.01	c  N dy   948    143989       353     33485         8     22851    151634    622229     35.20     25.00  --
116.85/29.35	c  N dy  1011    153229       353     33485         8     31878    151634    967402     36.16     25.04  --
119.67/30.08	c  S st  1044    158008       353     33485         8     20366    151634    522155     37.89     25.02  --
120.05/30.15	c  S st  1044    158513       353     33485         8     20871    151634    541049     37.89     25.02  --
120.05/30.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.05/30.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.45/30.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.8M T:  0.42
120.45/30.26	c Calc non-exist non-lernt bins v-fix:     0 done:    353 time:  0.01 s
120.45/30.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
120.45/30.26	c Subs w/ non-existent bins:      0 time:  0.02 s
120.45/30.28	c bin-w-bin subsume rem            0 bins  time:  0.01 s
120.45/30.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
120.45/30.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
126.44/31.73	c ORs :      4 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
126.44/31.74	c lits-rem:        19  cl-subs:      917  v-elim:    349  v-fix:    0  time:  5.83 s
126.44/31.74	c learnt bin added due to v-elim: 0
126.44/31.74	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
126.44/31.74	c vivif2 --  cl tried    19954 cl shrink        0 lits rem          0 time: 0.02
126.84/31.85	c asymm  cl-useful: 0/1153/33485 lits-rem:0 time: 0.42
126.84/31.85	c calculated reachability. Time: 0.00
126.84/31.85	c  N dy  1044    158513       353     33485         8     19954    151634    516134     37.89     25.02  --
132.85/33.35	c  N dy  1114    168697       353     33485         8     29931    151634    899512     37.96     25.05  --
139.22/34.99	c  N dy  1188    179528       353     33485         8     23310    151634    616782     38.13     25.02  --
146.41/36.74	c  N dy  1267    191088       353     33485         8     34622    151634   1049630     41.51     25.05  --
153.61/38.59	c  N dy  1350    203286       353     33485         8     28400    151634    783473     35.32     25.02  --
161.99/40.68	c  N dy  1439    216316       369     33485        40     22001    151698    518501     36.27     25.00  --
170.78/42.80	c  N dy  1534    230195       369     33485        40     35565    151698   1024974     35.33     25.00  --
175.58/44.07	c  S st  1586    237769       369     33485        40     22835    151698    533147     39.21     24.96  --
175.98/44.15	c  S st  1586    238272       369     33485        40     23336    151698    551640     39.21     24.96  --
175.98/44.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
175.98/44.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.39/44.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.2M T:  0.50
176.39/44.28	c Calc non-exist non-lernt bins v-fix:     0 done:    369 time:  0.00 s
176.39/44.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.39/44.29	c Subs w/ non-existent bins:      0 time:  0.02 s
176.79/44.30	c bin-w-bin subsume rem            0 bins  time:  0.01 s
176.79/44.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.79/44.30	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
181.96/45.69	c ORs :      4 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
182.36/45.70	c lits-rem:        18  cl-subs:      882  v-elim:    349  v-fix:    0  time:  5.57 s
182.36/45.70	c learnt bin added due to v-elim: 0
182.36/45.70	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.00
182.36/45.71	c vivif2 --  cl tried    22454 cl shrink        0 lits rem          0 time: 0.02
182.76/45.81	c asymm  cl-useful: 0/892/33485 lits-rem:0 time: 0.41
182.76/45.81	c calculated reachability. Time: 0.00
182.76/45.81	c  N dy  1586    238272       369     33485        40     22454    151698    529283     39.21     24.96  --
191.95/48.18	c  N dy  1691    253486       369     33485        40     37333    151698   1082471     35.41     24.91  --
202.34/50.73	c  N dy  1802    269723       369     33485        40     32121    151698    870419     39.92     24.91  --
213.52/53.50	c  N dy  1921    287033       369     33485        40     26956    151698    654380     37.82     24.92  --
225.12/56.48	c  N dy  2047    305402       369     33485        40     44884    151698   1323910     35.86     24.87  --
238.30/59.73	c  N dy  2182    325024       369     33485        40     41032    151698   1174655     36.35     24.87  --
261.45/65.53	c  N dy  2288    357409       385     33485        78     48633    151770   1419951     35.31     24.82  --
261.85/65.60	c  S st  2288    357409       385     33485        78     48633    151770   1419951     35.31     24.82  --
262.25/65.71	c  S st  2288    357913       385     33485        78     49137    151770   1437232     35.31     24.82  --
262.25/65.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
262.25/65.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.85/66.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 14.5M T:  1.56
263.85/66.10	c Calc non-exist non-lernt bins v-fix:     0 done:    385 time:  0.01 s
263.85/66.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
263.85/66.11	c Subs w/ non-existent bins:      0 time:  0.04 s
263.85/66.12	c Replacing        2 vars Replaced      105 lits Time:     0.03 s 
263.85/66.15	c bin-w-bin subsume rem            2 bins  time:  0.01 s
263.85/66.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
263.85/66.15	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
274.23/68.77	c ORs :      4 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
274.63/68.80	c lits-rem:       132  cl-subs:     3141  v-elim:    349  v-fix:    0  time: 10.56 s
274.63/68.80	c learnt bin added due to v-elim: 0
274.63/68.80	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
274.63/68.81	c vivif2 --  cl tried    45996 cl shrink        0 lits rem          0 time: 0.05
275.03/68.93	c asymm  cl-useful: 0/1325/33485 lits-rem:0 time: 0.46
275.03/68.93	c calculated reachability. Time: 0.00
275.03/68.93	c  N dy  2288    357913       383     33485        68     45996    151754   1336402     35.31     24.82  --
452.79/113.43	c  N dy  2289    536869       383     33485        68     56464    151754   1576544     34.50     23.84  --
453.20/113.50	c  S st  2289    536869       383     33485        68     56464    151754   1576544     34.50     23.84  --
453.20/113.50	c Finding binary XORs  T:     0.00 s  found:       1
453.61/113.63	c  S st  2289    537369       399     33485       104     57016    151822   1594503     34.50     23.84  --
453.61/113.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
453.61/113.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.58/114.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.8M T:  1.89
455.58/114.11	c Calc non-exist non-lernt bins v-fix:     0 done:    399 time:  0.01 s
455.58/114.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
455.58/114.13	c Subs w/ non-existent bins:      0 time:  0.06 s
455.58/114.13	c Replacing        1 vars Replaced       16 lits Time:     0.03 s 
455.58/114.17	c bin-w-bin subsume rem            2 bins  time:  0.01 s
455.58/114.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
455.58/114.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
466.79/116.98	c ORs :      4 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
472.36/118.33	c Added 5 vars  tried: 80000 time: 5.39
472.76/118.45	c ORs :      5 avg-s:  0.0 cl-sh:  8493 l-rem:   8493 b-add:     10 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    5.87
472.76/118.47	c lits-rem:       166  cl-subs:     2750  v-elim:    349  v-fix:    0  time: 17.19 s
472.76/118.47	c learnt bin added due to v-elim: 0
472.76/118.48	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
472.76/118.49	c vivif2 --  cl tried    54266 cl shrink        0 lits rem          0 time: 0.06
473.56/118.65	c asymm  cl-useful: 0/1910/33485 lits-rem:0 time: 0.61
473.56/118.65	c calculated reachability. Time: 0.00
473.56/118.65	c  N dy  2289    537369       403     33485       108     54266    151611   1498798     34.50     23.84  --
473.56/118.65	c  F st  2289    537369       403     33485       108     54266    151611   1498798     34.50     23.84  --
475.58/119.17	c Decided on static restart strategy
755.19/189.12	c  N dy  2297    806055       403     33485       108     42735    151611    945584     34.89     24.34  --
755.19/189.17	c  S st  2297    806055       403     33485       108     42735    151611    945584     34.89     24.34  --
755.59/189.28	c  S st  2297    806558       403     33485       108     43240    151611    963858     34.89     24.34  --
755.59/189.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
755.59/189.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
756.80/189.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.4M T:  1.20
756.80/189.59	c Calc non-exist non-lernt bins v-fix:     0 done:    403 time:  0.01 s
756.80/189.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
757.18/189.60	c Subs w/ non-existent bins:      0 time:  0.04 s
757.18/189.62	c bin-w-bin subsume rem            0 bins  time:  0.02 s
757.18/189.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
757.18/189.62	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
763.17/191.15	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.02
763.17/191.17	c lits-rem:        21  cl-subs:      965  v-elim:    349  v-fix:    0  time:  6.18 s
763.17/191.17	c learnt bin added due to v-elim: 0
763.17/191.17	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
763.17/191.18	c vivif2 --  cl tried    42275 cl shrink        0 lits rem          0 time: 0.04
763.97/191.31	c asymm  cl-useful: 0/1516/33485 lits-rem:0 time: 0.52
763.97/191.32	c calculated reachability. Time: 0.00
763.97/191.32	c  N dy  2297    806558       403     33485       108     42275    151611    939813     34.89     24.34  --
1265.29/316.83	c  N dy  2306   1209837       403     33485       108     53015    151611   1159871     36.08     23.65  --
1265.29/316.89	c  S st  2306   1209837       403     33485       108     53015    151611   1159871     36.08     23.65  --
1266.11/317.01	c  S st  2306   1210339       423     33485       152     53571    151695   1179313     36.08     23.65  --
1266.11/317.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1266.11/317.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1267.69/317.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 17.4M T:  1.58
1267.69/317.42	c Calc non-exist non-lernt bins v-fix:     0 done:    423 time:  0.01 s
1267.69/317.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1267.69/317.43	c Subs w/ non-existent bins:      0 time:  0.05 s
1267.69/317.44	c Replacing        1 vars Replaced      793 lits Time:     0.05 s 
1267.69/317.47	c bin-w-bin subsume rem            2 bins  time:  0.01 s
1267.69/317.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1267.69/317.47	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1275.30/319.31	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.03
1275.30/319.33	c lits-rem:        22  cl-subs:     1451  v-elim:    349  v-fix:    0  time:  7.43 s
1275.30/319.33	c learnt bin added due to v-elim: 0
1275.30/319.33	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
1275.30/319.35	c vivif2 --  cl tried    52120 cl shrink        0 lits rem          0 time: 0.05
1275.67/319.48	c asymm  cl-useful: 0/843/33485 lits-rem:0 time: 0.54
1275.67/319.49	c calculated reachability. Time: 0.00
1275.67/319.49	c  N dy  2306   1210339       422     33485       146     52120    151687   1142816     36.08     23.65  --
2039.47/510.61	c  N dy  2307   1710339       422     33485       146     77981    151687   1891947     35.70     22.58  --
2039.47/510.70	c  S st  2307   1710339       422     33485       146     77981    151687   1891947     35.70     22.58  --
2040.25/510.86	c  S st  2307   1710840       432     33485       167     78499    151727   1910250     35.70     22.58  --
2040.25/510.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2040.25/510.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2043.04/511.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 25.9M T:  2.57
2043.04/511.51	c Calc non-exist non-lernt bins v-fix:     0 done:    432 time:  0.01 s
2043.04/511.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2043.04/511.53	c Subs w/ non-existent bins:      0 time:  0.07 s
2043.04/511.57	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2043.04/511.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2043.04/511.57	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2060.22/515.80	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.06
2060.22/515.83	c lits-rem:        13  cl-subs:     3477  v-elim:    349  v-fix:    0  time: 17.02 s
2060.22/515.83	c learnt bin added due to v-elim: 0
2060.22/515.84	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
2060.22/515.86	c vivif2 --  cl tried    75021 cl shrink        0 lits rem          0 time: 0.08
2061.02/516.01	c asymm  cl-useful: 0/935/33485 lits-rem:0 time: 0.61
2061.02/516.01	c calculated reachability. Time: 0.00
2061.02/516.01	c  N dy  2307   1710840       432     33485       167     75021    151727   1810374     35.70     22.58  --
2902.68/726.77	c  N dy  2308   2210840       432     33485       167     85747    151727   1994481     30.78     21.67  --
2903.08/726.87	c  S st  2308   2210840       432     33485       167     85747    151727   1994481     30.78     21.67  --
2903.08/726.87	c Finding binary XORs  T:     0.00 s  found:       1
2903.88/727.04	c  S st  2308   2211342       452     33485       212     86294    151811   2011331     30.78     21.67  --
2903.88/727.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2903.88/727.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2906.67/727.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.4M T:  2.88
2906.67/727.77	c Calc non-exist non-lernt bins v-fix:     0 done:    452 time:  0.01 s
2906.67/727.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2906.67/727.79	c Subs w/ non-existent bins:      0 time:  0.09 s
2907.07/727.80	c Replacing        1 vars Replaced       13 lits Time:     0.04 s 
2907.07/727.84	c bin-w-bin subsume rem            2 bins  time:  0.01 s
2907.07/727.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2907.07/727.85	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
2927.06/732.83	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.10
2931.85/734.08	c Added 5 vars  tried: 80000 time: 4.99
2932.23/734.18	c ORs :      5 avg-s:  0.0 cl-sh:  7008 l-rem:   7008 b-add:     11 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    5.40
2932.63/734.22	c lits-rem:        35  cl-subs:     3580  v-elim:    349  v-fix:    0  time: 25.43 s
2932.63/734.22	c learnt bin added due to v-elim: 0
2932.63/734.22	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
2932.63/734.25	c vivif2 --  cl tried    82713 cl shrink        0 lits rem          0 time: 0.10
2933.03/734.39	c asymm  cl-useful: 0/1455/33485 lits-rem:0 time: 0.59
2933.43/734.40	c calculated reachability. Time: 0.00
2933.43/734.40	c  N dy  2308   2211342       456     33485       217     82713    151640   1912995     30.78     21.67  --
3845.41/962.74	c  N dy  2309   2711343       456     33485       217    102659    151640   2383327     29.67     21.03  --
3845.81/962.85	c  S st  2309   2711343       456     33485       217    102659    151640   2383327     29.67     21.03  --
3846.59/963.06	c  S st  2309   2711845       456     33485       217    103159    151640   2400875     29.67     21.03  --
3846.59/963.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3846.59/963.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3850.58/964.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 39.7M T:  3.96
3850.58/964.06	c Calc non-exist non-lernt bins v-fix:     0 done:    456 time:  0.01 s
3850.58/964.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3850.58/964.09	c Subs w/ non-existent bins:      0 time:  0.10 s
3850.98/964.10	c Replacing        1 vars Replaced       30 lits Time:     0.05 s 
3850.98/964.15	c bin-w-bin subsume rem            2 bins  time:  0.01 s
3850.98/964.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3850.98/964.16	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3876.16/970.44	c ORs :     14 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.11
3876.16/970.48	c lits-rem:       200  cl-subs:     4044  v-elim:    349  v-fix:    0  time: 25.27 s
3876.16/970.48	c learnt bin added due to v-elim: 0
3876.16/970.49	c vivif2 --  cl tried    33485 cl shrink        0 lits rem          0 time: 0.01
3876.57/970.52	c vivif2 --  cl tried    99115 cl shrink        0 lits rem          0 time: 0.11
3876.94/970.67	c asymm  cl-useful: 0/524/33485 lits-rem:0 time: 0.62
3876.94/970.68	c calculated reachability. Time: 0.00
3876.94/970.68	c  N dy  2309   2711845       455     33485       214     99115    151636   2293377     29.67     21.03  --
3876.94/970.68	c  F st  2309   2711845       455     33485       214     99115    151636   2293377     29.67     21.03  --
3880.96/971.65	c Decided on static restart strategy
4740.97/1186.92	c  N dy  2316   3211846       455     33485       214    148616    151636   4051270     37.35     20.94  --
4741.78/1187.11	c  S st  2316   3211846       455     33485       214    148616    151636   4051270     37.35     20.94  --
4742.56/1187.34	c  S st  2316   3212348       475     33485       255    149160    151716   4069404     37.35     20.94  --
4742.56/1187.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4742.56/1187.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4748.95/1188.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 56.7M T:  6.41
4748.95/1188.96	c Calc non-exist non-lernt bins v-fix:     0 done:    475 time:  0.02 s
4748.95/1188.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4749.35/1189.00	c Subs w/ non-existent bins:      0 time:  0.16 s
4749.35/1189.08	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4749.76/1189.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
4749.76/1189.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  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-3250667-1304133778/watcher-3250667-1304133778 -o /tmp/evaluation-result-3250667-1304133778/solver-3250667-1304133778 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250667-1304133778.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: 5.44 7.41 7.85 3/177 29886
/proc/meminfo: memFree=30884196/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=50276 CPUtime=0 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 817 0 0 0 0 0 0 0 21 0 1 0 524975748 51482624 748 33554432000 4194304 4797429 140735817286544 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/29886/statm: 12569 748 347 148 0 7498 0

[startup+0.266556 s]
/proc/loadavg: 5.44 7.41 7.85 3/177 29886
/proc/meminfo: memFree=30884196/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=474460 CPUtime=0.87 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 3997 0 0 0 87 0 0 0 18 0 4 0 524975748 485847040 3409 33554432000 4194304 4797429 140735817286544 18446744073709551615 228122757255 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 135062 3512 376 148 0 129991 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 474460

[startup+0.441851 s]
/proc/loadavg: 5.44 7.41 7.85 3/177 29886
/proc/meminfo: memFree=30884196/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=685752 CPUtime=1.57 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 8518 0 0 0 156 1 0 0 18 0 4 0 524975748 702210048 6377 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 171438 6377 408 148 0 166367 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 685752

[startup+0.584669 s]
/proc/loadavg: 5.44 7.41 7.85 3/177 29886
/proc/meminfo: memFree=30884196/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=686016 CPUtime=2.14 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 8797 0 0 0 213 1 0 0 18 0 4 0 524975748 702480384 6651 33554432000 4194304 4797429 140735817286544 18446744073709551615 4425957 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 171504 6651 408 148 0 166433 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 686016

[startup+0.700648 s]
/proc/loadavg: 5.44 7.41 7.85 3/177 29886
/proc/meminfo: memFree=30884196/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=686280 CPUtime=2.61 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 9025 0 0 0 260 1 0 0 18 0 4 0 524975748 702750720 6876 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 171570 6877 410 148 0 166499 0
Current children cumulated CPU time (s) 2.61
Current children cumulated vsize (KiB) 686280

[startup+1.50051 s]
/proc/loadavg: 5.44 7.41 7.85 10/184 29893
/proc/meminfo: memFree=30832064/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=688316 CPUtime=5.81 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 10551 0 0 0 579 2 0 0 19 0 4 0 524975748 704835584 8382 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 172079 8382 411 148 0 167008 0
[pid=29886/tid=29891] ppid=29884 vsize=688316 CPUtime=1.42 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 1893 0 0 0 142 0 0 0 19 0 4 0 524975753 704835584 8382 33554432000 4194304 4797429 140735817286544 18446744073709551615 4414331 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=688316 CPUtime=1.43 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 1621 0 0 0 143 0 0 0 20 0 4 0 524975753 704835584 8382 33554432000 4194304 4797429 140735817286544 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=688316 CPUtime=1.43 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 1809 0 0 0 143 0 0 0 19 0 4 0 524975753 704835584 8382 33554432000 4194304 4797429 140735817286544 18446744073709551615 4414314 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.81
Current children cumulated vsize (KiB) 688316

[startup+3.10022 s]
/proc/loadavg: 5.44 7.41 7.85 10/184 29893
/proc/meminfo: memFree=30814704/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=693904 CPUtime=12.2 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 14045 0 0 0 1218 2 0 0 25 0 4 0 524975748 710557696 10498 33554432000 4194304 4797429 140735817286544 18446744073709551615 4351613 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 173476 10498 415 148 0 168405 0
[pid=29886/tid=29891] ppid=29884 vsize=693904 CPUtime=3.01 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 2396 0 0 0 301 0 0 0 23 0 4 0 524975753 710557696 10498 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=693904 CPUtime=3.03 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 2371 0 0 0 303 0 0 0 25 0 4 0 524975753 710557696 10498 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=693904 CPUtime=3.03 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 2421 0 0 0 303 0 0 0 23 0 4 0 524975753 710557696 10498 33554432000 4194304 4797429 140735817286544 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.2
Current children cumulated vsize (KiB) 693904

[startup+6.30064 s]
/proc/loadavg: 5.64 7.42 7.85 10/184 29893
/proc/meminfo: memFree=30805552/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=694824 CPUtime=24.98 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 16014 0 0 0 2495 3 0 0 25 0 4 0 524975748 711499776 11723 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424416 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 173706 11723 416 148 0 168635 0
[pid=29886/tid=29891] ppid=29884 vsize=694824 CPUtime=6.2 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 2598 0 0 0 620 0 0 0 25 0 4 0 524975753 711499776 11723 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=694824 CPUtime=6.23 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 2570 0 0 0 623 0 0 0 25 0 4 0 524975753 711499776 11723 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=694824 CPUtime=6.23 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 2598 0 0 0 623 0 0 0 25 0 4 0 524975753 711499776 11723 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.98
Current children cumulated vsize (KiB) 694824

[startup+12.7005 s]
/proc/loadavg: 5.83 7.42 7.85 10/184 29894
/proc/meminfo: memFree=30797520/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=700952 CPUtime=50.54 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 21661 0 0 0 5050 4 0 0 25 0 4 0 524975748 717774848 12552 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 175238 12552 418 148 0 170167 0
[pid=29886/tid=29891] ppid=29884 vsize=700952 CPUtime=12.56 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 3150 0 0 0 1256 0 0 0 25 0 4 0 524975753 717774848 12552 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=700952 CPUtime=12.63 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 3239 0 0 0 1263 0 0 0 25 0 4 0 524975753 717774848 12552 33554432000 4194304 4797429 140735817286544 18446744073709551615 4387835 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=700952 CPUtime=12.63 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 3181 0 0 0 1263 0 0 0 25 0 4 0 524975753 717774848 12552 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 700952

[startup+25.5002 s]
/proc/loadavg: 6.31 7.45 7.85 9/184 29894
/proc/meminfo: memFree=30780532/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=707164 CPUtime=101.69 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 29530 0 0 0 10164 5 0 0 25 0 4 0 524975748 724135936 14574 33554432000 4194304 4797429 140735817286544 18446744073709551615 228122410641 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 176791 14574 420 148 0 171720 0
[pid=29886/tid=29891] ppid=29884 vsize=707164 CPUtime=25.31 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 3512 0 0 0 2530 1 0 0 25 0 4 0 524975753 724135936 14574 33554432000 4194304 4797429 140735817286544 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=707164 CPUtime=25.43 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 4187 0 0 0 2543 0 0 0 25 0 4 0 524975753 724135936 14574 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=707164 CPUtime=25.44 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 4129 0 0 0 2544 0 0 0 25 0 4 0 524975753 724135936 14574 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524398 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) 707164

[startup+51.1006 s]
/proc/loadavg: 7.02 7.53 7.87 10/184 29895
/proc/meminfo: memFree=30763596/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=712632 CPUtime=203.93 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 44239 0 0 0 20384 9 0 0 25 0 4 0 524975748 729735168 16394 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424630 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 178158 16394 422 148 0 173087 0
[pid=29886/tid=29891] ppid=29884 vsize=712632 CPUtime=50.76 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 4900 0 0 0 5075 1 0 0 25 0 4 0 524975753 729735168 16394 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=712632 CPUtime=51.03 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 5131 0 0 0 5103 0 0 0 25 0 4 0 524975753 729735168 16394 33554432000 4194304 4797429 140735817286544 18446744073709551615 4414428 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=712632 CPUtime=51.03 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 5126 0 0 0 5103 0 0 0 25 0 4 0 524975753 729735168 16394 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.93
Current children cumulated vsize (KiB) 712632

[startup+102.3 s]
/proc/loadavg: 7.72 7.63 7.88 9/184 29896
/proc/meminfo: memFree=30732908/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=720856 CPUtime=408.45 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 67494 0 0 0 40829 16 0 0 25 0 4 0 524975748 738156544 20897 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 180214 20897 422 148 0 175143 0
[pid=29886/tid=29891] ppid=29884 vsize=720856 CPUtime=101.68 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 6147 0 0 0 10167 1 0 0 25 0 4 0 524975753 738156544 20897 33554432000 4194304 4797429 140735817286544 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=720856 CPUtime=102.23 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 7403 0 0 0 10222 1 0 0 25 0 4 0 524975753 738156544 20897 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=720856 CPUtime=102.23 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 7084 0 0 0 10222 1 0 0 25 0 4 0 524975753 738156544 20897 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.45
Current children cumulated vsize (KiB) 720856

[startup+162.301 s]
/proc/loadavg: 7.97 7.71 7.89 10/184 29898
/proc/meminfo: memFree=30704476/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=729560 CPUtime=648.12 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 90060 0 0 0 64788 24 0 0 25 0 4 0 524975748 747069440 24250 33554432000 4194304 4797429 140735817286544 18446744073709551615 4425072 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 182390 24250 422 148 0 177319 0
[pid=29886/tid=29891] ppid=29884 vsize=729560 CPUtime=161.36 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 7986 0 0 0 16134 2 0 0 25 0 4 0 524975753 747069440 24250 33554432000 4194304 4797429 140735817286544 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=729560 CPUtime=162.23 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 9464 0 0 0 16222 1 0 0 25 0 4 0 524975753 747069440 24250 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=729560 CPUtime=162.23 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 9261 0 0 0 16221 2 0 0 25 0 4 0 524975753 747069440 24250 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 648.12
Current children cumulated vsize (KiB) 729560

[startup+222.301 s]
/proc/loadavg: 8.05 7.78 7.90 10/184 29899
/proc/meminfo: memFree=30681888/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=732916 CPUtime=887.81 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 108534 0 0 0 88751 30 0 0 25 0 4 0 524975748 750505984 26336 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 183229 26336 422 148 0 178158 0
[pid=29886/tid=29891] ppid=29884 vsize=732916 CPUtime=221.05 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 9179 0 0 0 22102 3 0 0 25 0 4 0 524975753 750505984 26336 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=732916 CPUtime=222.24 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 10840 0 0 0 22222 2 0 0 25 0 4 0 524975753 750505984 26336 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=732916 CPUtime=222.24 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 10802 0 0 0 22221 3 0 0 25 0 4 0 524975753 750505984 26336 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 887.81
Current children cumulated vsize (KiB) 732916

[startup+282.301 s]

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

[pid=29886] ppid=29884 vsize=755432 CPUtime=2565.52 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 212742 0 0 0 256487 65 0 0 25 0 4 0 524975748 773562368 34740 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424649 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 188858 34740 422 148 0 183787 0
[pid=29886/tid=29891] ppid=29884 vsize=755432 CPUtime=638.78 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 19017 0 0 0 63872 6 0 0 25 0 4 0 524975753 773562368 34740 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=755432 CPUtime=642.25 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 20878 0 0 0 64220 5 0 0 25 0 4 0 524975753 773562368 34740 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429090 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=755432 CPUtime=642.24 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 21066 0 0 0 64218 6 0 0 25 0 4 0 524975753 773562368 34740 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.52
Current children cumulated vsize (KiB) 755432

[startup+702.3 s]
/proc/loadavg: 8.05 8.00 7.94 10/184 29912
/proc/meminfo: memFree=30572912/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=760076 CPUtime=2805.21 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 226236 0 0 0 280450 71 0 0 25 0 4 0 524975748 778317824 36131 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424374 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 190019 36131 422 148 0 184948 0
[pid=29886/tid=29891] ppid=29884 vsize=760076 CPUtime=698.45 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 20453 0 0 0 69839 6 0 0 25 0 4 0 524975753 778317824 36131 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524149 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=760076 CPUtime=702.24 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 22574 0 0 0 70219 5 0 0 25 0 4 0 524975753 778317824 36131 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=760076 CPUtime=702.24 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 22646 0 0 0 70218 6 0 0 25 0 4 0 524975753 778317824 36131 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.21
Current children cumulated vsize (KiB) 760076

[startup+762.301 s]
/proc/loadavg: 8.02 8.00 7.94 10/184 29914
/proc/meminfo: memFree=30562588/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=762448 CPUtime=3044.88 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 239529 0 0 0 304412 76 0 0 25 0 4 0 524975748 780746752 37082 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 190612 37082 422 148 0 185541 0
[pid=29886/tid=29891] ppid=29884 vsize=762448 CPUtime=758.12 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 21795 0 0 0 75806 6 0 0 25 0 4 0 524975753 780746752 37082 33554432000 4194304 4797429 140735817286544 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=762448 CPUtime=762.25 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 24006 0 0 0 76219 6 0 0 25 0 4 0 524975753 780746752 37082 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=762448 CPUtime=762.25 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 24197 0 0 0 76217 8 0 0 25 0 4 0 524975753 780746752 37082 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.88
Current children cumulated vsize (KiB) 762448

[startup+822.301 s]
/proc/loadavg: 8.04 8.01 7.95 9/184 29915
/proc/meminfo: memFree=30563556/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=764984 CPUtime=3284.55 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 252386 0 0 0 328374 81 0 0 25 0 4 0 524975748 783343616 37058 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 191246 37058 422 148 0 186175 0
[pid=29886/tid=29891] ppid=29884 vsize=764984 CPUtime=817.8 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 23209 0 0 0 81773 7 0 0 25 0 4 0 524975753 783343616 37058 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=764984 CPUtime=822.25 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 25467 0 0 0 82219 6 0 0 25 0 4 0 524975753 783343616 37058 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=764984 CPUtime=822.25 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 25640 0 0 0 82217 8 0 0 25 0 4 0 524975753 783343616 37058 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.55
Current children cumulated vsize (KiB) 764984

[startup+882.301 s]
/proc/loadavg: 8.20 8.05 7.96 10/184 29917
/proc/meminfo: memFree=30552348/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=765000 CPUtime=3524.23 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 263291 0 0 0 352339 84 0 0 25 0 4 0 524975748 783360000 39372 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 191250 39372 422 148 0 186179 0
[pid=29886/tid=29891] ppid=29884 vsize=765000 CPUtime=877.47 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 23900 0 0 0 87740 7 0 0 25 0 4 0 524975753 783360000 39372 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=765000 CPUtime=882.25 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 26393 0 0 0 88218 7 0 0 25 0 4 0 524975753 783360000 39372 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=765000 CPUtime=882.25 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 26294 0 0 0 88217 8 0 0 25 0 4 0 524975753 783360000 39372 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.23
Current children cumulated vsize (KiB) 765000

[startup+942.3 s]
/proc/loadavg: 8.22 8.07 7.97 10/184 29918
/proc/meminfo: memFree=30535684/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=765556 CPUtime=3763.89 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 273944 0 0 0 376301 88 0 0 25 0 4 0 524975748 783929344 40921 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 191389 40921 422 148 0 186318 0
[pid=29886/tid=29891] ppid=29884 vsize=765556 CPUtime=937.15 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 25222 0 0 0 93707 8 0 0 25 0 4 0 524975753 783929344 40921 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568114 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=765556 CPUtime=942.26 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 27750 0 0 0 94218 8 0 0 25 0 4 0 524975753 783929344 40921 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=765556 CPUtime=942.25 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 28026 0 0 0 94216 9 0 0 25 0 4 0 524975753 783929344 40921 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.89
Current children cumulated vsize (KiB) 765556

[startup+1002.3 s]
/proc/loadavg: 8.21 8.09 7.98 10/184 29920
/proc/meminfo: memFree=30524852/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=772252 CPUtime=4003.59 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 288036 0 0 0 400266 93 0 0 25 0 4 0 524975748 790786048 41279 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 193063 41279 451 148 0 187992 0
[pid=29886/tid=29891] ppid=29884 vsize=772252 CPUtime=996.82 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 26635 0 0 0 99674 8 0 0 25 0 4 0 524975753 790786048 41279 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=772252 CPUtime=1002.26 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 29135 0 0 0 100218 8 0 0 25 0 4 0 524975753 790786048 41279 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=772252 CPUtime=1002.25 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 29641 0 0 0 100216 9 0 0 25 0 4 0 524975753 790786048 41279 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.59
Current children cumulated vsize (KiB) 772252

[startup+1062.3 s]
/proc/loadavg: 8.20 8.10 7.99 11/184 29922
/proc/meminfo: memFree=30515268/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=772692 CPUtime=4243.25 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 299201 0 0 0 424226 99 0 0 25 0 4 0 524975748 791236608 43031 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 193173 43031 444 148 0 188102 0
[pid=29886/tid=29891] ppid=29884 vsize=772692 CPUtime=1056.5 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 27308 0 0 0 105641 9 0 0 25 0 4 0 524975753 791236608 43031 33554432000 4194304 4797429 140735817286544 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=772692 CPUtime=1062.25 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 29886 0 0 0 106217 8 0 0 25 0 4 0 524975753 791236608 43031 33554432000 4194304 4797429 140735817286544 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=772692 CPUtime=1062.26 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 30281 0 0 0 106216 10 0 0 25 0 4 0 524975753 791236608 43031 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568110 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.25
Current children cumulated vsize (KiB) 772692

[startup+1122.31 s]
/proc/loadavg: 8.19 8.11 8.00 10/184 29923
/proc/meminfo: memFree=30515976/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=777640 CPUtime=4482.95 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 313176 0 0 0 448190 105 0 0 25 0 4 0 524975748 796303360 42488 33554432000 4194304 4797429 140735817286544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 194410 42488 444 148 0 189339 0
[pid=29886/tid=29891] ppid=29884 vsize=777640 CPUtime=1116.18 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 28783 0 0 0 111608 10 0 0 25 0 4 0 524975753 796303360 42488 33554432000 4194304 4797429 140735817286544 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=777640 CPUtime=1122.26 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 31220 0 0 0 112217 9 0 0 25 0 4 0 524975753 796303360 42488 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=777640 CPUtime=1122.26 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 31887 0 0 0 112216 10 0 0 25 0 4 0 524975753 796303360 42488 33554432000 4194304 4797429 140735817286544 18446744073709551615 4429085 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.95
Current children cumulated vsize (KiB) 777640

[startup+1182.3 s]
/proc/loadavg: 8.12 8.10 8.00 9/184 29925
/proc/meminfo: memFree=30500924/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=777896 CPUtime=4722.59 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 323857 0 0 0 472149 110 0 0 25 0 4 0 524975748 796565504 44547 33554432000 4194304 4797429 140735817286544 18446744073709551615 4425930 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 194474 44547 444 148 0 189403 0
[pid=29886/tid=29891] ppid=29884 vsize=777896 CPUtime=1175.85 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 29465 0 0 0 117575 10 0 0 25 0 4 0 524975753 796565504 44547 33554432000 4194304 4797429 140735817286544 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=777896 CPUtime=1182.26 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 32664 0 0 0 118216 10 0 0 25 0 4 0 524975753 796565504 44547 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=777896 CPUtime=1182.26 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 33290 0 0 0 118215 11 0 0 25 0 4 0 524975753 796565504 44547 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.59
Current children cumulated vsize (KiB) 777896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.10 8.00 5/182 29926
/proc/meminfo: memFree=30697960/32951124 swapFree=67111444/67111528
[pid=29886] ppid=29884 vsize=780108 CPUtime=4800.1 cores=0,2,4,6
/proc/29886/stat : 29886 (techdemo) R 29884 29886 29331 0 -1 4202496 328361 0 0 0 479899 111 0 0 25 0 4 0 524975748 798830592 47332 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/29886/statm: 195027 47332 422 148 0 189956 0
[pid=29886/tid=29891] ppid=29884 vsize=780108 CPUtime=1195.14 cores=0,2,4,6
/proc/29886/task/29891/stat : 29891 (techdemo) R 29884 29886 29331 0 -1 4202560 30410 0 0 0 119504 10 0 0 25 0 4 0 524975753 798830592 47332 33554432000 4194304 4797429 140735817286544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29886/tid=29892] ppid=29884 vsize=780108 CPUtime=1201.67 cores=0,2,4,6
/proc/29886/task/29892/stat : 29892 (techdemo) R 29884 29886 29331 0 -1 4202560 32958 0 0 0 120157 10 0 0 25 0 4 0 524975753 798830592 47332 33554432000 4194304 4797429 140735817286544 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29886/tid=29893] ppid=29884 vsize=780108 CPUtime=1201.66 cores=0,2,4,6
/proc/29886/task/29893/stat : 29893 (techdemo) R 29884 29886 29331 0 -1 4202560 33522 0 0 0 120155 11 0 0 25 0 4 0 524975753 798830592 47332 33554432000 4194304 4797429 140735817286544 18446744073709551615 4524064 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) 780108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.14
CPU user time (s): 4799.02
CPU system time (s): 1.12283
CPU usage (%): 399.439
Max. virtual memory (cumulated for all children) (KiB): 891752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.02
system time used= 1.12283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328361
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= 567
involuntary context switches= 21058

runsolver used 2.10168 second user time and 4.43933 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 05:22:58
IDJOB=3250667
IDBENCH=83336
IDSOLVER=1584
FILE ID=node138/3250667-1304133778
RUNJOBID= node138-1304133778-29866
PBS_JOBID= 13170789
Free space on /tmp= 72400 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-19_349.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250667-1304133778/watcher-3250667-1304133778 -o /tmp/evaluation-result-3250667-1304133778/solver-3250667-1304133778 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250667-1304133778.cnf

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

MD5SUM BENCH= faed4f95ee485d18812f5d39a28df3e5
RANDOM SEED=384547571

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
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.75
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.854
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.854
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.854
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.80
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.854
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.854
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.854
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:      30885096 kB
Buffers:        642052 kB
Cached:         961152 kB
SwapCached:         84 kB
Active:         124648 kB
Inactive:      1547220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30885096 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:           16772 kB
Writeback:           0 kB
AnonPages:       67604 kB
Mapped:          15264 kB
Slab:           330976 kB
PageTables:       4732 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   240128 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= 72392 MiB
End job on node138 at 2011-04-30 05:43:01