Trace number 3262153

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-23_506.cnf
MD5SUM3c65ff80757b12edd41f8ee6da874877
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark89.0965
Satisfiable
(Un)Satisfiability was proved
Number of variables253
Number of clauses34386
Sum of the clauses size155873
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 284
Number of clauses of size 331656
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52646

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-3262153-1304133031.cnf'
0.00/0.00	c -- header says num vars:            253
0.00/0.00	c -- header says num clauses:       34386
0.00/0.05	c -- clauses added:            0 learnts,        34386 normals,            0 xors
0.00/0.05	c -- vars added        253
0.00/0.05	c Parsing time:  0.05 s
0.00/0.06	c  N st     0         0       253     34302        84         0    155873         0   no data   no data  --
0.61/0.27	c asymm  cl-useful: 1/8392/34302 lits-rem:1 time: 0.85
0.61/0.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.02
0.61/0.28	c Calc non-exist non-lernt bins v-fix:     0 done:    253 time:  0.00 s
0.61/0.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.61/0.28	c Subs w/ non-existent bins:      0 time:  0.01 s
0.61/0.29	c bin-w-bin subsume rem            0 bins  time:  0.01 s
0.61/0.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.61/0.29	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
1.40/0.43	c lits-rem:         0  cl-subs:        0  v-elim:    168  v-fix:    0  time:  0.53 s
1.40/0.43	c learnt bin added due to v-elim: 0
1.40/0.43	c Finding binary XORs  T:     0.00 s  found:       0
1.40/0.48	c Finding non-binary XORs:     0.20 s (found:       0, avg size: nan)
1.40/0.48	c calculated reachability. Time: 0.00
1.40/0.48	c Calc default polars -  time:   0.00 s pos:     253 undec:       0 neg:       0
1.40/0.48	c =========================================================================================
1.40/0.48	c types(t): F = full restart, N = normal restart
1.40/0.48	c types(t): S = simplification begin/end, E = solution found
1.40/0.48	c restart types(rt): st = static, dy = dynamic
1.40/0.48	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
1.40/0.48	c  B st     0         0       253     34302        84         0    155872         0   no data   no data  --
2.60/0.75	c Decided on static restart strategy
3.40/0.99	c  N dy    20      4060       253     34302        84      3840    155872     91023     24.63     12.66  --
5.39/1.46	c  N dy    49      8185       253     34302        84      5046    155872    111228     23.46     13.02  --
7.40/1.94	c  N dy    78     12303       253     34302        84      8959    155872    203885     23.50     13.24  --
9.39/2.41	c  N dy   106     16339       253     34302        84      8274    155872    175625     23.83     13.32  --
11.39/2.90	c  N dy   134     20350       253     34302        84      6144    155872    113775     23.40     13.33  --
13.01/3.36	c  N dy   162     24401       253     34302        84      9990    155872    201635     21.01     13.23  --
14.98/3.85	c  N dy   190     28421       253     34302        84     13829    155872    293980     23.23     13.27  --
15.78/4.06	c  S st   202     30000       253     34302        84      8215    155872    152806     23.75     13.27  --
16.18/4.12	c  S st   202     30503       253     34302        84      8716    155872    165568     23.75     13.27  --
16.18/4.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16.18/4.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.18/4.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  0.12
16.18/4.15	c Calc non-exist non-lernt bins v-fix:     0 done:    253 time:  0.00 s
16.18/4.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
16.18/4.16	c Subs w/ non-existent bins:      0 time:  0.02 s
16.18/4.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
16.18/4.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
16.18/4.17	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
22.17/5.67	c lits-rem:        69  cl-subs:     1030  v-elim:    253  v-fix:    0  time:  5.97 s
22.17/5.67	c learnt bin added due to v-elim: 0
22.17/5.67	c vivif2 --  cl tried    34302 cl shrink        0 lits rem          0 time: 0.01
22.17/5.67	c vivif2 --  cl tried     7686 cl shrink        0 lits rem          0 time: 0.00
23.37/5.91	c asymm  cl-useful: 0/10934/34302 lits-rem:0 time: 0.97
23.37/5.92	c calculated reachability. Time: 0.00
23.37/5.92	c  N dy   202     30503       253     34302        84      7686    155872    151010     23.75     13.27  --
23.37/5.92	c  F st   202     30503       253     34302        84      7686    155872    151010     23.75     13.27  --
24.17/6.15	c Decided on static restart strategy
24.97/6.37	c  N dy   222     34605       253     34302        84     11582    155872    243920     23.73     13.18  --
26.96/6.86	c  N dy   251     38734       253     34302        84     15536    155872    340515     24.15     13.22  --
28.96/7.35	c  N dy   280     42846       253     34302        84     11289    155872    228495     25.82     13.20  --
30.17/7.70	c  S st   301     45755       253     34302        84     14062    155872    294062     24.96     13.20  --
30.58/7.76	c  S st   301     46255       253     34302        84     14558    155872    306445     24.96     13.20  --
30.58/7.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
30.58/7.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.95/7.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.1M T:  0.26
30.95/7.83	c Calc non-exist non-lernt bins v-fix:     0 done:    253 time:  0.00 s
30.95/7.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
30.95/7.83	c Subs w/ non-existent bins:      0 time:  0.02 s
30.95/7.85	c bin-w-bin subsume rem            0 bins  time:  0.01 s
30.95/7.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
30.95/7.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
37.75/9.54	c lits-rem:        96  cl-subs:     1077  v-elim:    253  v-fix:    0  time:  6.74 s
37.75/9.54	c learnt bin added due to v-elim: 0
37.75/9.55	c vivif2 --  cl tried    34302 cl shrink        0 lits rem          0 time: 0.01
37.75/9.55	c vivif2 --  cl tried    13481 cl shrink        0 lits rem          0 time: 0.01
38.55/9.79	c asymm  cl-useful: 0/9397/34302 lits-rem:0 time: 0.98
38.55/9.80	c calculated reachability. Time: 0.00
38.55/9.80	c  N dy   301     46255       253     34302        84     13481    155872    286678     24.96     13.20  --
40.54/10.29	c  N dy   330     50368       253     34302        84     17380    155871    377222     23.30     13.17  --
42.54/10.78	c  N dy   358     54378       253     34302        84     12003    155871    224818     23.88     13.15  --
44.54/11.25	c  N dy   386     58404       253     34302        84     15840    155871    315978     21.92     13.14  --
46.55/11.76	c  N dy   415     62542       253     34302        84     19773    155871    406456     22.28     13.11  --
48.54/12.28	c  N dy   444     66648       253     34302        84     13529    155871    246231     22.97     13.09  --
50.14/12.62	c  S st   464     69382       253     34302        84     16151    155871    310041     24.28     13.11  --
50.14/12.68	c  S st   464     69884       253     34302        84     16648    155871    322915     24.28     13.11  --
50.14/12.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
50.14/12.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.54/12.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.34
50.54/12.77	c Calc non-exist non-lernt bins v-fix:     0 done:    253 time:  0.00 s
50.54/12.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
50.54/12.77	c Subs w/ non-existent bins:      0 time:  0.02 s
50.54/12.79	c bin-w-bin subsume rem            0 bins  time:  0.01 s
50.54/12.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.04 s
50.94/12.80	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
58.92/14.80	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
67.31/16.93	c Added 3 vars  tried: 80000 time: 8.50
67.31/16.95	c ORs :      3 avg-s:  0.0 cl-sh:  2510 l-rem:   2510 b-add:      6 v-rep:   0 cl-rem: 20 avg s: 3.0 T:    8.55
67.31/16.95	c lits-rem:       150  cl-subs:     1377  v-elim:    253  v-fix:    0  time: 16.60 s
67.31/16.95	c learnt bin added due to v-elim: 0
67.31/16.96	c vivif2 --  cl tried    34284 cl shrink        0 lits rem          0 time: 0.01
67.31/16.96	c vivif2 --  cl tried    15272 cl shrink        0 lits rem          0 time: 0.02
68.11/17.11	c asymm  cl-useful: 0/5561/34284 lits-rem:0 time: 0.61
68.11/17.11	c calculated reachability. Time: 0.00
68.11/17.11	c  N dy   464     69884       256     34284        90     15272    155432    297962     24.28     13.11  --
68.11/17.11	c  F st   464     69884       256     34284        90     15272    155432    297962     24.28     13.11  --
68.91/17.38	c Decided on static restart strategy
70.13/17.68	c  N dy   487     74344       256     34284        90     19555    155432    397890     21.41     13.09  --
72.90/18.31	c  N dy   521     79195       256     34284        90     13053    155432    229322     23.10     13.08  --
75.29/18.93	c  N dy   557     84336       256     34284        90     17939    155432    345034     23.10     13.08  --
78.09/19.63	c  N dy   595     89736       256     34284        90     23096    155432    468408     23.39     13.10  --
80.90/20.36	c  N dy   635     95464       256     34284        90     16454    155432    305479     22.80     13.11  --
84.09/21.13	c  N dy   678    101602       256     34284        90     22328    155432    442730     23.41     13.08  --
85.69/21.58	c  S st   701    104826       256     34284        90     25422    155432    514224     22.17     13.07  --
86.09/21.65	c  S st   701    105329       256     34284        90     25923    155432    527619     22.17     13.07  --
86.09/21.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
86.09/21.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.89/21.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.7M T:  0.66
86.89/21.82	c Calc non-exist non-lernt bins v-fix:     0 done:    256 time:  0.01 s
86.89/21.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
86.89/21.83	c Subs w/ non-existent bins:      0 time:  0.02 s
86.89/21.84	c bin-w-bin subsume rem            0 bins  time:  0.02 s
86.89/21.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.06 s
86.89/21.86	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
92.10/23.14	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
92.10/23.15	c lits-rem:       128  cl-subs:     2299  v-elim:    253  v-fix:    0  time:  5.15 s
92.10/23.15	c learnt bin added due to v-elim: 0
92.10/23.15	c vivif2 --  cl tried    34284 cl shrink        0 lits rem          0 time: 0.01
92.10/23.16	c vivif2 --  cl tried    23624 cl shrink        0 lits rem          0 time: 0.02
92.47/23.26	c asymm  cl-useful: 0/1346/34284 lits-rem:0 time: 0.40
92.47/23.26	c calculated reachability. Time: 0.00
92.47/23.26	c  N dy   701    105329       256     34284        90     23624    155432    486164     22.17     13.07  --
96.09/24.15	c  N dy   749    112135       256     34284        90     17036    155432    316420     22.41     13.08  --
99.66/25.09	c  N dy   800    119375       256     34284        90     23976    155431    480124     23.87     13.11  --
103.66/26.09	c  N dy   853    127009       256     34284        90     17195    155431    302493     23.35     13.13  --
108.06/27.16	c  N dy   911    135248       256     34284        90     25094    155431    487824     22.76     13.12  --
112.85/28.34	c  N dy   972    143958       256     34284        90     18396    155431    312820     21.95     13.13  --
117.64/29.55	c  N dy  1037    153233       256     34284        90     27230    155431    517196     23.81     13.11  --
120.43/30.25	c  S st  1071    157994       256     34284        90     31765    155431    628055     24.66     13.12  --
120.83/30.36	c  S st  1071    158496       256     34284        90     16327    155431    252280     24.66     13.12  --
120.83/30.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
120.83/30.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.24/30.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.7M T:  0.41
121.24/30.47	c Calc non-exist non-lernt bins v-fix:     0 done:    256 time:  0.00 s
121.24/30.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
121.24/30.47	c Subs w/ non-existent bins:      0 time:  0.02 s
121.24/30.48	c bin-w-bin subsume rem            0 bins  time:  0.02 s
121.24/30.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
121.24/30.49	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
127.25/31.91	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
127.25/31.92	c lits-rem:       112  cl-subs:      474  v-elim:    253  v-fix:    0  time:  5.71 s
127.25/31.92	c learnt bin added due to v-elim: 0
127.25/31.92	c vivif2 --  cl tried    34283 cl shrink        0 lits rem          0 time: 0.01
127.25/31.92	c vivif2 --  cl tried    15854 cl shrink        0 lits rem          0 time: 0.01
128.03/32.11	c asymm  cl-useful: 0/2596/34283 lits-rem:0 time: 0.74
128.03/32.11	c calculated reachability. Time: 0.00
128.03/32.11	c  N dy  1071    158496       256     34283        90     15854    155407    246417     24.66     13.12  --
133.22/33.41	c  N dy  1143    168736       256     34283        90     25583    155407    471658     22.75     13.10  --
139.21/34.94	c  N dy  1219    179540       256     34283        90     19041    155407    302229     23.35     13.08  --
145.20/36.44	c  N dy  1300    191012       256     34283        90     29965    155407    555932     22.80     13.06  --
151.99/38.16	c  N dy  1386    203311       256     34283        90     23838    155407    399396     23.37     13.03  --
159.58/40.01	c  N dy  1478    216357       268     34283       115     36309    155455    681083     22.17     13.02  --
167.17/41.92	c  N dy  1575    230281       268     34283       115     30765    155455    551389     23.22     13.02  --
171.56/43.08	c  S st  1628    237744       268     34283       115     37837    155455    713409     22.41     13.00  --
171.96/43.16	c  S st  1628    238245       268     34283       115     38336    155455    726344     22.41     13.00  --
171.96/43.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
171.96/43.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.16/43.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 16.8M T:  1.23
173.16/43.47	c Calc non-exist non-lernt bins v-fix:     0 done:    268 time:  0.01 s
173.16/43.47	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
173.16/43.48	c Subs w/ non-existent bins:      0 time:  0.04 s
173.56/43.50	c bin-w-bin subsume rem            0 bins  time:  0.01 s
173.56/43.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
173.56/43.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
183.16/45.94	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
183.16/45.95	c lits-rem:       525  cl-subs:     3824  v-elim:    253  v-fix:    0  time:  9.71 s
183.16/45.95	c learnt bin added due to v-elim: 0
183.16/45.95	c vivif2 --  cl tried    34283 cl shrink        0 lits rem          0 time: 0.01
183.16/45.96	c vivif2 --  cl tried    34512 cl shrink        0 lits rem          0 time: 0.04
183.55/46.07	c asymm  cl-useful: 0/804/34283 lits-rem:0 time: 0.43
183.55/46.07	c calculated reachability. Time: 0.00
183.55/46.07	c  N dy  1628    238245       268     34283       115     34512    155455    662307     22.41     13.00  --
192.34/48.30	c  N dy  1735    253529       268     34283       115     29470    155455    512438     22.99     12.99  --
202.32/50.70	c  N dy  1849    269780       268     34283       115     24280    155455    384112     21.95     12.97  --
212.31/53.22	c  N dy  1970    287045       268     34283       115     40725    155455    763660     22.17     12.97  --
222.70/55.88	c  N dy  2099    305414       268     34283       115     36576    155455    671594     22.82     12.98  --
234.28/58.77	c  N dy  2236    324951       268     34283       115     32604    155455    567851     22.84     12.98  --
246.66/61.85	c  N dy  2377    344997       280     34283       139     28242    155503    463931     22.18     12.99  --
254.28/63.70	c  S st  2464    357367       280     34283       139     39996    155503    738204     22.97     13.00  --
254.28/63.79	c  S st  2464    357868       280     34283       139     40494    155503    750197     22.97     13.00  --
254.28/63.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
254.28/63.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.86/64.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.4M T:  1.55
255.86/64.19	c Calc non-exist non-lernt bins v-fix:     0 done:    280 time:  0.00 s
255.86/64.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
256.26/64.20	c Subs w/ non-existent bins:      0 time:  0.04 s
256.26/64.22	c bin-w-bin subsume rem            0 bins  time:  0.01 s
256.26/64.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.08 s
256.26/64.24	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
266.64/66.83	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
266.64/66.85	c lits-rem:       586  cl-subs:     3220  v-elim:    253  v-fix:    0  time: 10.43 s
266.64/66.85	c learnt bin added due to v-elim: 0
266.64/66.85	c vivif2 --  cl tried    34283 cl shrink        0 lits rem          0 time: 0.01
266.64/66.86	c vivif2 --  cl tried    37274 cl shrink        0 lits rem          0 time: 0.04
267.04/66.98	c asymm  cl-useful: 0/885/34283 lits-rem:0 time: 0.46
267.04/66.98	c calculated reachability. Time: 0.00
267.04/66.98	c  N dy  2464    357868       280     34283       139     37274    155503    696015     22.97     13.00  --
279.82/70.15	c  N dy  2604    377900       280     34283       139     31975    155503    553746     24.30     13.02  --
293.01/73.44	c  N dy  2745    398024       280     34283       139     25700    155503    395604     23.01     13.05  --
304.99/76.45	c  N dy  2886    418123       280     34283       139     44828    155503    837036     23.53     13.04  --
317.77/79.62	c  N dy  3026    438239       280     34283       139     37670    155503    662166     20.93     13.06  --
330.95/82.90	c  N dy  3166    458255       292     34283       163     29372    155551    443228     20.72     13.05  --
342.93/85.94	c  N dy  3307    478375       292     34283       163     48572    155551    895551     23.46     13.06  --
384.08/96.24	c  N dy  3326    536803       292     34283       163     47090    155551    839503     22.97     13.02  --
384.08/96.28	c  S st  3326    536803       292     34283       163     47090    155551    839503     22.97     13.02  --
384.47/96.38	c  S st  3326    537306       292     34283       163     47591    155551    851659     22.97     13.02  --
384.47/96.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
384.47/96.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
386.87/96.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 26.4M T:  2.08
386.87/96.90	c Calc non-exist non-lernt bins v-fix:     0 done:    292 time:  0.01 s
386.87/96.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
386.87/96.92	c Subs w/ non-existent bins:      0 time:  0.05 s
386.87/96.94	c bin-w-bin subsume rem            0 bins  time:  0.01 s
386.87/96.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
386.87/96.96	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
399.28/100.05	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
408.47/102.34	c Added 3 vars  tried: 80000 time: 9.17
408.85/102.41	c ORs :      3 avg-s:  0.0 cl-sh:  5595 l-rem:   5595 b-add:      7 v-rep:   0 cl-rem: 17 avg s: 3.0 T:    9.45
408.85/102.43	c lits-rem:      1247  cl-subs:     3151  v-elim:    253  v-fix:    0  time: 21.85 s
408.85/102.43	c learnt bin added due to v-elim: 0
408.85/102.43	c vivif2 --  cl tried    34269 cl shrink        0 lits rem          0 time: 0.01
408.85/102.45	c vivif2 --  cl tried    44439 cl shrink        0 lits rem          0 time: 0.05
409.25/102.56	c asymm  cl-useful: 0/569/34269 lits-rem:0 time: 0.44
409.25/102.56	c calculated reachability. Time: 0.00
409.25/102.56	c  N dy  3326    537306       295     34269       170     44439    155369    789361     22.97     13.02  --
409.25/102.56	c  F st  3326    537306       295     34269       170     44439    155369    789361     22.97     13.02  --
410.85/102.90	c Decided on static restart strategy
422.83/105.99	c  N dy  3459    557440       295     34269       170     33236    155369    503499     23.55     13.03  --
435.60/109.19	c  N dy  3600    577553       295     34269       170     52366    155369    944173     21.15     13.03  --
449.58/112.62	c  N dy  3740    597658       295     34269       170     40260    155369    648917     23.45     13.04  --
463.18/116.04	c  N dy  3880    617725       295     34269       170     59360    155369   1090964     23.05     13.04  --
476.75/119.42	c  N dy  4020    637759       298     34269       179     46340    155383    781314     23.84     13.05  --
477.55/119.65	c Finding binary XORs  T:     0.00 s  found:       1
490.74/122.96	c  N dy  4160    657785       298     34269       179     65391    155383   1209528     21.62     13.04  --
604.18/151.34	c  N dy  4248    805960       298     34269       179     69625    155383   1283046     21.82     13.14  --
604.58/151.40	c  S st  4248    805960       298     34269       179     69625    155383   1283046     21.82     13.14  --
604.98/151.51	c  S st  4248    806461       313     34269       220     70204    155453   1296442     21.82     13.14  --
604.98/151.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
604.98/151.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
607.78/152.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      2 BRemN:      2 CBin:       0 P: 39.5M T:  3.12
608.18/152.30	c Calc non-exist non-lernt bins v-fix:     0 done:    313 time:  0.01 s
608.18/152.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
608.18/152.31	c Subs w/ non-existent bins:      0 time:  0.07 s
608.18/152.38	c Replacing        4 vars Replaced     3393 lits Time:     0.24 s 
608.58/152.41	c bin-w-bin subsume rem            6 bins  time:  0.01 s
608.58/152.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.15 s
608.58/152.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
622.56/155.95	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
622.56/155.97	c lits-rem:       647  cl-subs:     5329  v-elim:    253  v-fix:    0  time: 14.10 s
622.56/155.97	c learnt bin added due to v-elim: 0
622.56/155.98	c vivif2 --  cl tried    34269 cl shrink        0 lits rem          0 time: 0.01
622.96/156.00	c vivif2 --  cl tried    64875 cl shrink        0 lits rem          0 time: 0.08
623.37/156.12	c asymm  cl-useful: 0/565/34269 lits-rem:0 time: 0.48
623.37/156.12	c calculated reachability. Time: 0.00
623.37/156.12	c  N dy  4248    806461       309     34269       198     64875    155425   1192813     21.82     13.14  --
966.52/242.09	c  N dy  4253   1209691       309     34269       198     81094    155425   1376326     21.31     12.88  --
966.89/242.15	c  S st  4253   1209691       309     34269       198     81094    155425   1376326     21.31     12.88  --
966.89/242.15	c Finding binary XORs  T:     0.00 s  found:       5
966.89/242.16	c Replacing        5 vars Replaced       96 lits Time:     0.03 s 
967.29/242.27	c  S st  4253   1210195       320     34269       230     81701    155489   1389672     21.31     12.88  --
967.29/242.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
967.29/242.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
970.51/243.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 41.7M T:  3.03
970.51/243.04	c Calc non-exist non-lernt bins v-fix:     0 done:    320 time:  0.01 s
970.51/243.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
970.51/243.06	c Subs w/ non-existent bins:      0 time:  0.08 s
970.51/243.09	c bin-w-bin subsume rem           10 bins  time:  0.02 s
970.91/243.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.14 s
970.91/243.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
995.66/249.31	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
1005.24/251.75	c Added 4 vars  tried: 80000 time: 9.71
1005.66/251.88	c ORs :      4 avg-s:  0.0 cl-sh:  8111 l-rem:   8111 b-add:      8 v-rep:   0 cl-rem: 8 avg s: 3.0 T:   10.26
1006.06/251.91	c lits-rem:       159  cl-subs:    23661  v-elim:    253  v-fix:    0  time: 35.06 s
1006.06/251.91	c learnt bin added due to v-elim: 0
1006.06/251.91	c vivif2 --  cl tried    34265 cl shrink        0 lits rem          0 time: 0.01
1006.06/251.93	c vivif2 --  cl tried    58040 cl shrink        0 lits rem          0 time: 0.07
1006.44/252.05	c asymm  cl-useful: 0/749/34265 lits-rem:0 time: 0.50
1006.44/252.06	c calculated reachability. Time: 0.00
1006.44/252.06	c  N dy  4253   1210195       324     34265       228     58040    155401   1071067     21.31     12.88  --
1483.41/371.45	c  N dy  4262   1710196       324     34265       228     94188    155400   1782188     24.24     13.09  --
1483.81/371.53	c  S st  4262   1710196       324     34265       228     94188    155400   1782188     24.24     13.09  --
1484.21/371.69	c  S st  4262   1710698       324     34265       228     94684    155400   1794161     24.24     13.09  --
1484.21/371.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1484.21/371.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1488.20/372.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.5M T:  3.61
1488.20/372.61	c Calc non-exist non-lernt bins v-fix:     0 done:    324 time:  0.01 s
1488.20/372.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1488.20/372.63	c Subs w/ non-existent bins:      0 time:  0.10 s
1488.20/372.67	c bin-w-bin subsume rem            0 bins  time:  0.02 s
1488.60/372.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
1488.60/372.73	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.01 s
1514.57/379.27	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.13
1514.96/379.30	c lits-rem:        92  cl-subs:     7345  v-elim:    253  v-fix:    0  time: 26.27 s
1514.96/379.30	c learnt bin added due to v-elim: 0
1514.96/379.31	c vivif2 --  cl tried    34265 cl shrink        0 lits rem          0 time: 0.01
1514.96/379.33	c vivif2 --  cl tried    87339 cl shrink        1 lits rem          1 time: 0.11
1515.38/379.46	c asymm  cl-useful: 0/445/34265 lits-rem:0 time: 0.50
1515.38/379.46	c calculated reachability. Time: 0.00
1515.38/379.46	c  N dy  4262   1710698       324     34265       228     87339    155400   1650594     24.24     13.09  --
2073.03/519.09	c  N dy  4263   2210699       324     34265       228    104838    155400   1732346     22.75     12.89  --
2073.44/519.17	c  S st  4263   2210699       324     34265       228    104838    155400   1732346     22.75     12.89  --
2074.22/519.31	c  S st  4263   2211201       326     34265       232    105345    155408   1744826     22.75     12.89  --
2074.22/519.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2074.22/519.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2078.62/520.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.55
2078.62/520.46	c Calc non-exist non-lernt bins v-fix:     0 done:    326 time:  0.01 s
2078.62/520.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2078.62/520.48	c Subs w/ non-existent bins:      0 time:  0.10 s
2079.01/520.53	c bin-w-bin subsume rem            0 bins  time:  0.02 s
2079.01/520.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
2079.01/520.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2112.17/528.81	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
2112.17/528.84	c lits-rem:       715  cl-subs:    19948  v-elim:    253  v-fix:    0  time: 33.01 s
2112.17/528.84	c learnt bin added due to v-elim: 0
2112.17/528.85	c vivif2 --  cl tried    34265 cl shrink        0 lits rem          0 time: 0.01
2112.17/528.87	c vivif2 --  cl tried    85397 cl shrink        0 lits rem          0 time: 0.10
2112.57/529.00	c asymm  cl-useful: 0/240/34265 lits-rem:0 time: 0.51
2112.98/529.01	c calculated reachability. Time: 0.00
2112.98/529.01	c  N dy  4263   2211201       326     34265       232     85397    155408   1460454     22.75     12.89  --
2693.79/674.49	c  N dy  4264   2711201       326     34265       232    110032    155408   1860568     20.89     12.64  --
2694.19/674.58	c  S st  4264   2711201       326     34265       232    110032    155408   1860568     20.89     12.64  --
2694.99/674.73	c  S st  4264   2711702       334     34265       250    110543    155444   1873000     20.89     12.64  --
2694.99/674.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2694.99/674.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2699.78/675.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 60.1M T:  4.76
2699.78/675.93	c Calc non-exist non-lernt bins v-fix:     0 done:    334 time:  0.02 s
2699.78/675.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2699.78/675.96	c Subs w/ non-existent bins:      0 time:  0.11 s
2699.78/675.97	c Replacing        1 vars Replaced       17 lits Time:     0.04 s 
2700.18/676.01	c bin-w-bin subsume rem            0 bins  time:  0.01 s
2700.18/676.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.20 s
2700.18/676.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2736.14/685.09	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 7.0 T:    0.09
2736.54/685.12	c lits-rem:      1668  cl-subs:    20292  v-elim:    253  v-fix:    0  time: 36.20 s
2736.54/685.12	c learnt bin added due to v-elim: 0
2736.54/685.13	c vivif2 --  cl tried    34265 cl shrink        0 lits rem          0 time: 0.01
2736.54/685.16	c vivif2 --  cl tried    90249 cl shrink        0 lits rem          0 time: 0.11
2736.95/685.29	c asymm  cl-useful: 0/221/34265 lits-rem:0 time: 0.53
2736.95/685.30	c calculated reachability. Time: 0.00
2736.95/685.30	c  N dy  4264   2711702       333     34265       246     90249    155436   1596609     20.89     12.64  --
2736.95/685.30	c  F st  4264   2711702       333     34265       246     90249    155436   1596609     20.89     12.64  --
2739.73/685.92	c Decided on static restart strategy
3348.51/838.38	c  N dy  4271   3211704       333     34265       246    145811    155436   2851683     21.79     12.69  --
3349.31/838.51	c  S st  4271   3211704       333     34265       246    145811    155436   2851683     21.79     12.69  --
3350.11/838.71	c  S st  4271   3212208       336     34265       254    146315    155452   2864668     21.79     12.69  --
3350.11/838.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3350.11/838.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3355.31/840.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 60.8M T:  5.35
3355.31/840.06	c Calc non-exist non-lernt bins v-fix:     0 done:    336 time:  0.02 s
3355.31/840.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3355.70/840.10	c Subs w/ non-existent bins:      0 time:  0.15 s
3355.70/840.11	c Replacing        1 vars Replaced       14 lits Time:     0.06 s 
3355.70/840.17	c bin-w-bin subsume rem            0 bins  time:  0.01 s
3356.10/840.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.35 s
3356.10/840.26	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3472.75/869.45	c ORs :     10 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 8.0 T:    0.18
3485.93/872.79	c Added 4 vars  tried: 80000 time: 13.33
3486.73/872.95	c ORs :      4 avg-s:  0.0 cl-sh:  7977 l-rem:   7977 b-add:      8 v-rep:   0 cl-rem: 15 avg s: 3.0 T:   13.98
3487.13/873.01	c lits-rem:       448  cl-subs:    11794  v-elim:    253  v-fix:    0  time: 130.80 s
3487.13/873.01	c learnt bin added due to v-elim: 0
3487.13/873.01	c vivif2 --  cl tried    34255 cl shrink        0 lits rem          0 time: 0.01
3487.13/873.06	c vivif2 --  cl tried   134518 cl shrink        0 lits rem          0 time: 0.18
3487.53/873.19	c asymm  cl-useful: 0/267/34255 lits-rem:0 time: 0.52
3487.53/873.19	c calculated reachability. Time: 0.00
3487.53/873.19	c  N dy  4271   3212208       339     34255       258    134518    155229   2611223     21.79     12.69  --
4189.79/1048.94	c  N dy  4272   3712208       339     34255       258    149986    155229   2711586     19.85     12.66  --
4190.19/1049.06	c  S st  4272   3712208       339     34255       258    149986    155229   2711586     19.85     12.66  --
4190.99/1049.29	c  S st  4272   3712715       339     34255       258    150489    155229   2723694     19.85     12.66  --
4191.40/1049.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4191.40/1049.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4196.58/1050.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      2 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.23
4196.58/1050.62	c Calc non-exist non-lernt bins v-fix:     0 done:    339 time:  0.02 s
4196.58/1050.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4196.58/1050.65	c Subs w/ non-existent bins:      0 time:  0.15 s
4196.98/1050.71	c bin-w-bin subsume rem            0 bins  time:  0.01 s
4196.98/1050.79	c subs with bin:        0  lits-rem:         5  v-fix:    0  time:  0.32 s
4196.98/1050.79	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4286.46/1073.17	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.14
4286.86/1073.21	c lits-rem:      7067  cl-subs:    44543  v-elim:    253  v-fix:    0  time: 89.55 s
4286.86/1073.21	c learnt bin added due to v-elim: 0
4286.86/1073.22	c vivif2 --  cl tried    34255 cl shrink        0 lits rem          0 time: 0.01
4286.86/1073.25	c vivif2 --  cl tried   105946 cl shrink        0 lits rem          0 time: 0.13
4287.26/1073.38	c asymm  cl-useful: 0/302/34255 lits-rem:0 time: 0.51
4287.26/1073.38	c calculated reachability. Time: 0.00
4287.26/1073.38	c  N dy  4272   3712715       339     34255       260    105946    155229   1993296     19.85     12.66  --

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

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

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


[startup+0 s]
/proc/loadavg: 6.15 7.54 7.02 2/177 29554
/proc/meminfo: memFree=29736904/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=50280 CPUtime=0 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 824 0 0 0 0 0 0 0 21 0 1 0 603533823 51486720 756 33554432000 4194304 4797429 140737274389808 18446744073709551615 256415052485 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29554/statm: 12570 757 347 148 0 7499 0

[startup+0.071985 s]
/proc/loadavg: 6.15 7.54 7.02 2/177 29554
/proc/meminfo: memFree=29736904/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=153568 CPUtime=0.09 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 3511 0 0 0 9 0 0 0 22 0 4 0 603533823 157253632 3188 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428966 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 38392 3188 375 148 0 33321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 153568

[startup+0.100978 s]
/proc/loadavg: 6.15 7.54 7.02 2/177 29554
/proc/meminfo: memFree=29736904/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=153568 CPUtime=0.21 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 3524 0 0 0 21 0 0 0 22 0 4 0 603533823 157253632 3201 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429097 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 38392 3201 376 148 0 33321 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 153568

[startup+0.300942 s]
/proc/loadavg: 6.15 7.54 7.02 2/177 29554
/proc/meminfo: memFree=29736904/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=684988 CPUtime=1 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 7695 0 0 0 99 1 0 0 18 0 4 0 603533823 701427712 5736 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 171247 5736 397 148 0 166176 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 684988

[startup+0.700866 s]
/proc/loadavg: 6.15 7.54 7.02 2/177 29554
/proc/meminfo: memFree=29736904/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=686960 CPUtime=2.6 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 9030 0 0 0 259 1 0 0 18 0 4 0 603533823 703447040 6788 33554432000 4194304 4797429 140737274389808 18446744073709551615 4404780 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 171740 6788 409 148 0 166669 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 686960

[startup+1.50072 s]
/proc/loadavg: 6.15 7.54 7.02 10/184 29561
/proc/meminfo: memFree=29687584/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=688568 CPUtime=5.79 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 10162 0 0 0 578 1 0 0 19 0 4 0 603533823 705093632 7896 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 172142 7896 412 148 0 167071 0
[pid=29554/tid=29559] ppid=29552 vsize=688568 CPUtime=1.42 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 1703 0 0 0 142 0 0 0 25 0 4 0 603533829 705093632 7896 33554432000 4194304 4797429 140737274389808 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=688568 CPUtime=1.43 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 1697 0 0 0 143 0 0 0 19 0 4 0 603533829 705093632 7896 33554432000 4194304 4797429 140737274389808 18446744073709551615 4629040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=688568 CPUtime=1.43 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 1596 0 0 0 143 0 0 0 19 0 4 0 603533829 705093632 7896 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424732 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 688568

[startup+3.10042 s]
/proc/loadavg: 6.30 7.55 7.02 9/184 29561
/proc/meminfo: memFree=29668860/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=693240 CPUtime=12.19 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 13035 0 0 0 1217 2 0 0 23 0 4 0 603533823 709877760 9732 33554432000 4194304 4797429 140737274389808 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 173310 9732 419 148 0 168239 0
[pid=29554/tid=29559] ppid=29552 vsize=693240 CPUtime=3.02 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 2195 0 0 0 302 0 0 0 25 0 4 0 603533829 709877760 9732 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=693240 CPUtime=3.03 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 2225 0 0 0 303 0 0 0 24 0 4 0 603533829 709877760 9732 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=693240 CPUtime=3.03 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 2065 0 0 0 303 0 0 0 23 0 4 0 603533829 709877760 9732 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.19
Current children cumulated vsize (KiB) 693240

[startup+6.30081 s]
/proc/loadavg: 6.30 7.55 7.02 9/184 29561
/proc/meminfo: memFree=29661668/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=695280 CPUtime=24.97 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 15083 0 0 0 2495 2 0 0 25 0 4 0 603533823 711966720 10548 33554432000 4194304 4797429 140737274389808 18446744073709551615 256415058946 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 173820 10548 416 148 0 168749 0
[pid=29554/tid=29559] ppid=29552 vsize=695280 CPUtime=6.2 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 2811 0 0 0 620 0 0 0 25 0 4 0 603533829 711966720 10548 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=695280 CPUtime=6.23 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 2430 0 0 0 623 0 0 0 25 0 4 0 603533829 711966720 10548 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=695280 CPUtime=6.23 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 2218 0 0 0 623 0 0 0 25 0 4 0 603533829 711966720 10548 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.97
Current children cumulated vsize (KiB) 695280

[startup+12.7006 s]
/proc/loadavg: 6.56 7.56 7.03 9/184 29562
/proc/meminfo: memFree=29654260/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=698544 CPUtime=50.54 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 19134 0 0 0 5051 3 0 0 25 0 4 0 603533823 715309056 11260 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429107 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 174636 11260 418 148 0 169565 0
[pid=29554/tid=29559] ppid=29552 vsize=698544 CPUtime=12.56 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 2987 0 0 0 1256 0 0 0 25 0 4 0 603533829 715309056 11260 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=698544 CPUtime=12.63 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 2913 0 0 0 1263 0 0 0 25 0 4 0 603533829 715309056 11260 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=698544 CPUtime=12.63 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 2795 0 0 0 1263 0 0 0 25 0 4 0 603533829 715309056 11260 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 698544

[startup+25.5012 s]
/proc/loadavg: 6.78 7.57 7.04 9/184 29562
/proc/meminfo: memFree=29640396/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=703316 CPUtime=101.67 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 25426 0 0 0 10162 5 0 0 25 0 4 0 603533823 720195584 13141 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 175829 13141 420 148 0 170758 0
[pid=29554/tid=29559] ppid=29552 vsize=703316 CPUtime=25.29 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 3826 0 0 0 2529 0 0 0 25 0 4 0 603533829 720195584 13141 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=703316 CPUtime=25.42 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 3721 0 0 0 2542 0 0 0 25 0 4 0 603533829 720195584 13141 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=703316 CPUtime=25.43 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 3637 0 0 0 2543 0 0 0 25 0 4 0 603533829 720195584 13141 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 703316

[startup+51.1004 s]
/proc/loadavg: 7.26 7.62 7.07 9/184 29563
/proc/meminfo: memFree=29619688/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=710080 CPUtime=203.92 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 37735 0 0 0 20384 8 0 0 25 0 4 0 603533823 727121920 15750 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424965 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 177520 15750 420 148 0 172449 0
[pid=29554/tid=29559] ppid=29552 vsize=710080 CPUtime=50.76 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 4560 0 0 0 5075 1 0 0 25 0 4 0 603533829 727121920 15750 33554432000 4194304 4797429 140737274389808 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=710080 CPUtime=51.02 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 4870 0 0 0 5102 0 0 0 25 0 4 0 603533829 727121920 15750 33554432000 4194304 4797429 140737274389808 18446744073709551615 4495525 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=710080 CPUtime=51.03 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 4496 0 0 0 5103 0 0 0 25 0 4 0 603533829 727121920 15750 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 710080

[startup+102.307 s]
/proc/loadavg: 7.76 7.70 7.13 9/184 29564
/proc/meminfo: memFree=29597340/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=716432 CPUtime=408.47 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 58104 0 0 0 40832 15 0 0 25 0 4 0 603533823 733626368 18303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4495473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 179108 18303 420 148 0 174037 0
[pid=29554/tid=29559] ppid=29552 vsize=716432 CPUtime=101.68 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 6251 0 0 0 10167 1 0 0 25 0 4 0 603533829 733626368 18303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=716432 CPUtime=102.23 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 7380 0 0 0 10222 1 0 0 25 0 4 0 603533829 733626368 18303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=716432 CPUtime=102.24 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 6947 0 0 0 10223 1 0 0 25 0 4 0 603533829 733626368 18303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.47
Current children cumulated vsize (KiB) 716432

[startup+162.3 s]
/proc/loadavg: 7.96 7.77 7.19 9/184 29566
/proc/meminfo: memFree=29571500/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=725280 CPUtime=648.12 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 80294 0 0 0 64791 21 0 0 25 0 4 0 603533823 742686720 21071 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 181320 21071 422 148 0 176249 0
[pid=29554/tid=29559] ppid=29552 vsize=725280 CPUtime=161.35 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 8500 0 0 0 16133 2 0 0 25 0 4 0 603533829 742686720 21071 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428594 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=725280 CPUtime=162.21 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 9496 0 0 0 16220 1 0 0 25 0 4 0 603533829 742686720 21071 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=725280 CPUtime=162.23 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 8864 0 0 0 16222 1 0 0 25 0 4 0 603533829 742686720 21071 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 648.12
Current children cumulated vsize (KiB) 725280

[startup+222.301 s]
/proc/loadavg: 8.03 7.82 7.24 9/184 29567
/proc/meminfo: memFree=29556208/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=726792 CPUtime=887.8 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 97537 0 0 0 88752 28 0 0 25 0 4 0 603533823 744235008 23354 33554432000 4194304 4797429 140737274389808 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 181698 23354 422 148 0 176627 0
[pid=29554/tid=29559] ppid=29552 vsize=726792 CPUtime=221.02 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 9761 0 0 0 22099 3 0 0 25 0 4 0 603533829 744235008 23354 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=726792 CPUtime=222.21 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 10920 0 0 0 22220 1 0 0 25 0 4 0 603533829 744235008 23354 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=726792 CPUtime=222.24 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 10291 0 0 0 22222 2 0 0 25 0 4 0 603533829 744235008 23354 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.8
Current children cumulated vsize (KiB) 726792

[startup+282.301 s]

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

[pid=29554] ppid=29552 vsize=757212 CPUtime=2805.23 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 210918 0 0 0 280449 74 0 0 25 0 4 0 603533823 775385088 34296 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 189303 34296 424 148 0 184232 0
[pid=29554/tid=29559] ppid=29552 vsize=757212 CPUtime=698.43 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 20419 0 0 0 69835 8 0 0 25 0 4 0 603533829 775385088 34296 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=757212 CPUtime=702.21 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 21798 0 0 0 70215 6 0 0 25 0 4 0 603533829 775385088 34296 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=757212 CPUtime=702.26 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 21633 0 0 0 70219 7 0 0 25 0 4 0 603533829 775385088 34296 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.23
Current children cumulated vsize (KiB) 757212

[startup+762.307 s]
/proc/loadavg: 8.02 8.02 7.59 9/184 29582
/proc/meminfo: memFree=29450616/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=760908 CPUtime=3044.94 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 223454 0 0 0 304414 80 0 0 25 0 4 0 603533823 779169792 36303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 190227 36303 424 148 0 185156 0
[pid=29554/tid=29559] ppid=29552 vsize=760908 CPUtime=758.11 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 21760 0 0 0 75803 8 0 0 25 0 4 0 603533829 779169792 36303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=760908 CPUtime=762.23 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 22963 0 0 0 76216 7 0 0 25 0 4 0 603533829 779169792 36303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=760908 CPUtime=762.27 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 23038 0 0 0 76219 8 0 0 25 0 4 0 603533829 779169792 36303 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523994 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.94
Current children cumulated vsize (KiB) 760908

[startup+822.301 s]
/proc/loadavg: 8.12 8.05 7.63 9/184 29583
/proc/meminfo: memFree=29441388/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=762456 CPUtime=3284.6 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 236215 0 0 0 328375 85 0 0 25 0 4 0 603533823 780754944 37246 33554432000 4194304 4797429 140737274389808 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 190614 37246 424 148 0 185543 0
[pid=29554/tid=29559] ppid=29552 vsize=762456 CPUtime=817.77 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 22379 0 0 0 81769 8 0 0 25 0 4 0 603533829 780754944 37246 33554432000 4194304 4797429 140737274389808 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=762456 CPUtime=822.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 23639 0 0 0 82215 7 0 0 25 0 4 0 603533829 780754944 37246 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=762456 CPUtime=822.25 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 24598 0 0 0 82217 8 0 0 25 0 4 0 603533829 780754944 37246 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.6
Current children cumulated vsize (KiB) 762456

[startup+882.3 s]
/proc/loadavg: 8.11 8.05 7.65 9/184 29585
/proc/meminfo: memFree=29425836/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=763712 CPUtime=3524.28 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 242661 0 0 0 352340 88 0 0 25 0 4 0 603533823 782041088 40967 33554432000 4194304 4797429 140737274389808 18446744073709551615 4345227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 190928 40967 424 148 0 185857 0
[pid=29554/tid=29559] ppid=29552 vsize=763712 CPUtime=877.45 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 23634 0 0 0 87736 9 0 0 25 0 4 0 603533829 782041088 40967 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=763712 CPUtime=882.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 24867 0 0 0 88214 8 0 0 25 0 4 0 603533829 782041088 40967 33554432000 4194304 4797429 140737274389808 18446744073709551615 4425039 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=763712 CPUtime=882.26 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 25173 0 0 0 88217 9 0 0 25 0 4 0 603533829 782041088 40967 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.28
Current children cumulated vsize (KiB) 763712

[startup+942.301 s]
/proc/loadavg: 8.11 8.06 7.67 9/184 29586
/proc/meminfo: memFree=29429280/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=768016 CPUtime=3763.96 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 256292 0 0 0 376303 93 0 0 25 0 4 0 603533823 786448384 39771 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 192004 39771 424 148 0 186933 0
[pid=29554/tid=29559] ppid=29552 vsize=768016 CPUtime=937.12 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 25010 0 0 0 93703 9 0 0 25 0 4 0 603533829 786448384 39771 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=768016 CPUtime=942.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 26361 0 0 0 94214 8 0 0 25 0 4 0 603533829 786448384 39771 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=768016 CPUtime=942.27 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 26549 0 0 0 94217 10 0 0 25 0 4 0 603533829 786448384 39771 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523992 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.96
Current children cumulated vsize (KiB) 768016

[startup+1002.3 s]
/proc/loadavg: 8.15 8.07 7.70 9/184 29588
/proc/meminfo: memFree=29417320/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=771032 CPUtime=4003.63 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 267816 0 0 0 400264 99 0 0 25 0 4 0 603533823 789536768 40011 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 192758 40011 424 148 0 187687 0
[pid=29554/tid=29559] ppid=29552 vsize=771032 CPUtime=996.8 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 26387 0 0 0 99670 10 0 0 25 0 4 0 603533829 789536768 40011 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524288 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=771032 CPUtime=1002.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 27545 0 0 0 100213 9 0 0 25 0 4 0 603533829 789536768 40011 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=771032 CPUtime=1002.26 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 27744 0 0 0 100216 10 0 0 25 0 4 0 603533829 789536768 40011 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.63
Current children cumulated vsize (KiB) 771032

[startup+1062.3 s]
/proc/loadavg: 8.15 8.09 7.73 9/184 29590
/proc/meminfo: memFree=29400900/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=771080 CPUtime=4243.31 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 274544 0 0 0 424228 103 0 0 25 0 4 0 603533823 789585920 43242 33554432000 4194304 4797429 140737274389808 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 192770 43242 424 148 0 187699 0
[pid=29554/tid=29559] ppid=29552 vsize=771080 CPUtime=1056.47 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 26969 0 0 0 105637 10 0 0 25 0 4 0 603533829 789585920 43242 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=771080 CPUtime=1062.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 28397 0 0 0 106212 10 0 0 25 0 4 0 603533829 789585920 43242 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=771080 CPUtime=1062.27 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 28327 0 0 0 106216 11 0 0 25 0 4 0 603533829 789585920 43242 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.31
Current children cumulated vsize (KiB) 771080

[startup+1122.3 s]
/proc/loadavg: 8.11 8.08 7.75 9/184 29591
/proc/meminfo: memFree=29389328/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=774500 CPUtime=4482.99 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 284601 0 0 0 448192 107 0 0 25 0 4 0 603533823 793088000 44609 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 193625 44609 424 148 0 188554 0
[pid=29554/tid=29559] ppid=29552 vsize=774500 CPUtime=1116.15 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 28700 0 0 0 111604 11 0 0 25 0 4 0 603533829 793088000 44609 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424617 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=774500 CPUtime=1122.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 29872 0 0 0 112212 10 0 0 25 0 4 0 603533829 793088000 44609 33554432000 4194304 4797429 140737274389808 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=774500 CPUtime=1122.27 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 29569 0 0 0 112216 11 0 0 25 0 4 0 603533829 793088000 44609 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.99
Current children cumulated vsize (KiB) 774500

[startup+1182.3 s]
/proc/loadavg: 8.09 8.08 7.76 9/184 29593
/proc/meminfo: memFree=29393852/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=776912 CPUtime=4722.68 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 296263 0 0 0 472156 112 0 0 25 0 4 0 603533823 795557888 43568 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 194228 43568 424 148 0 189157 0
[pid=29554/tid=29559] ppid=29552 vsize=776912 CPUtime=1175.82 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 30134 0 0 0 117571 11 0 0 25 0 4 0 603533829 795557888 43568 33554432000 4194304 4797429 140737274389808 18446744073709551615 4526156 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=776912 CPUtime=1182.22 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 31103 0 0 0 118212 10 0 0 25 0 4 0 603533829 795557888 43568 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=776912 CPUtime=1182.27 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 30751 0 0 0 118215 12 0 0 25 0 4 0 603533829 795557888 43568 33554432000 4194304 4797429 140737274389808 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.68
Current children cumulated vsize (KiB) 776912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.06 8.08 7.77 5/180 29594
/proc/meminfo: memFree=29567076/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=777844 CPUtime=4800.2 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 299963 0 0 0 479906 114 0 0 25 0 4 0 603533823 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 194461 43558 424 148 0 189390 0
[pid=29554/tid=29559] ppid=29552 vsize=777844 CPUtime=1195.12 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 30346 0 0 0 119500 12 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523990 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=777844 CPUtime=1201.62 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 31272 0 0 0 120152 10 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=777844 CPUtime=1201.68 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 30952 0 0 0 120156 12 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 777844

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

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

[startup+1201.7 s]
/proc/loadavg: 8.06 8.08 7.77 5/180 29594
/proc/meminfo: memFree=29567076/32950928 swapFree=67111364/67111528
[pid=29554] ppid=29552 vsize=777844 CPUtime=4800.2 cores=1,3,5,7
/proc/29554/stat : 29554 (techdemo) R 29552 29554 29250 0 -1 4202496 299963 0 0 0 479906 114 0 0 25 0 4 0 603533823 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/29554/statm: 194461 43558 424 148 0 189390 0
[pid=29554/tid=29559] ppid=29552 vsize=777844 CPUtime=1195.12 cores=1,3,5,7
/proc/29554/task/29559/stat : 29559 (techdemo) R 29552 29554 29250 0 -1 4202560 30346 0 0 0 119500 12 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4523990 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=29554/tid=29560] ppid=29552 vsize=777844 CPUtime=1201.62 cores=1,3,5,7
/proc/29554/task/29560/stat : 29560 (techdemo) R 29552 29554 29250 0 -1 4202560 31272 0 0 0 120152 10 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=29554/tid=29561] ppid=29552 vsize=777844 CPUtime=1201.68 cores=1,3,5,7
/proc/29554/task/29561/stat : 29561 (techdemo) R 29552 29554 29250 0 -1 4202560 30952 0 0 0 120156 12 0 0 25 0 4 0 603533829 796512256 43558 33554432000 4194304 4797429 140737274389808 18446744073709551615 4568019 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 777844

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.23
CPU user time (s): 4799.08
CPU system time (s): 1.14982
CPU usage (%): 399.446
Max. virtual memory (cumulated for all children) (KiB): 884064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.08
system time used= 1.14982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 299963
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= 757
involuntary context switches= 31920

runsolver used 2.07968 second user time and 4.49732 second system time

The end

Launcher Data 

Begin job on node115 at 2011-04-30 05:10:32
IDJOB=3262153
IDBENCH=83280
IDSOLVER=1584
FILE ID=node115/3262153-1304133031
RUNJOBID= node115-1304133031-29535
PBS_JOBID= 13170791
Free space on /tmp= 72872 MiB

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

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

MD5SUM BENCH= 3c65ff80757b12edd41f8ee6da874877
RANDOM SEED=2076463621

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29737432 kB
Buffers:        824496 kB
Cached:        1895380 kB
SwapCached:          0 kB
Active:         206100 kB
Inactive:      2582912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29737432 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           17160 kB
Writeback:          16 kB
AnonPages:       69496 kB
Mapped:          15240 kB
Slab:           361348 kB
PageTables:       4048 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   237836 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= 72864 MiB
End job on node115 at 2011-04-30 05:30:35