Trace number 3262593

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

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-14_186.cnf
MD5SUM642fce7e30a701c3223fa5771c2e57dc
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 variables186
Number of clauses9795
Sum of the clauses size43014
Maximum clause length14
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38556
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51239

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-3262593-1304133856.cnf'
0.00/0.00	c -- header says num vars:            186
0.00/0.00	c -- header says num clauses:        9795
0.00/0.01	c -- clauses added:            0 learnts,         9795 normals,            0 xors
0.00/0.01	c -- vars added        186
0.00/0.01	c Parsing time:  0.02 s
0.00/0.02	c  N st     0         0       186      9795         0         0     43014         0   no data   no data  --
0.00/0.08	c asymm  cl-useful: 0/9795/9795 lits-rem:0 time: 0.24
0.00/0.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.01
0.00/0.08	c Calc non-exist non-lernt bins v-fix:     0 done:    186 time:  0.00 s
0.00/0.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.08	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.08	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
0.26/0.40	c lits-rem:         0  cl-subs:        0  v-elim:    124  v-fix:    0  time:  0.08 s
0.26/0.40	c learnt bin added due to v-elim: 0
0.26/0.40	c Finding binary XORs  T:     0.00 s  found:       0
0.26/0.40	c Finding non-binary XORs:     0.03 s (found:       0, avg size: nan)
0.26/0.40	c calculated reachability. Time: 0.00
0.26/0.40	c Calc default polars -  time:   0.00 s pos:     186 undec:       0 neg:       0
0.26/0.40	c =========================================================================================
0.26/0.40	c types(t): F = full restart, N = normal restart
0.26/0.40	c types(t): S = simplification begin/end, E = solution found
0.26/0.40	c restart types(rt): st = static, dy = dynamic
0.26/0.40	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.26/0.40	c  B st     0         0       186      9795         0         0     43014         0   no data   no data  --
0.26/0.40	c Decided on static restart strategy
0.26/0.40	c  N dy    20      4120       186      9795         0      3938     43014     91159     22.00     15.68  --
0.26/0.73	c  N dy    47      8137       186      9795         0      5366     43014    117737     23.44     15.88  --
0.26/0.83	c  N dy    75     12220       186      9795         0      5235     43014    104903     23.93     15.92  --
4.05/1.13	c  N dy   103     16346       186      9795         0      9189     43014    197900     23.76     15.99  --
4.85/1.33	c  N dy   131     20403       186      9795         0      7684     43014    154681     22.96     16.08  --
5.92/1.58	c  N dy   159     24476       186      9795         0     11589     43014    243941     23.92     16.02  --
7.14/1.85	c  N dy   186     28480       186      9795         0      8890     43014    170389     22.67     16.00  --
7.51/1.95	c  S st   197     30001       186      9795         0     10351     43014    204055     22.60     15.98  --
7.51/1.99	c  S st   197     30505       186      9795         0     10852     43014    215904     22.60     15.98  --
7.51/1.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.51/1.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.91/2.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.07
7.91/2.01	c Calc non-exist non-lernt bins v-fix:     0 done:    186 time:  0.00 s
7.91/2.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
7.91/2.01	c Subs w/ non-existent bins:      0 time:  0.00 s
7.91/2.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.91/2.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.91/2.01	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
11.53/2.98	c lits-rem:        68  cl-subs:      891  v-elim:    186  v-fix:    0  time:  3.87 s
11.53/2.98	c learnt bin added due to v-elim: 0
11.53/2.98	c vivif2 --  cl tried     9795 cl shrink        0 lits rem          0 time: 0.00
11.53/2.99	c vivif2 --  cl tried     9961 cl shrink        0 lits rem          0 time: 0.00
12.30/3.17	c asymm  cl-useful: 0/4927/9795 lits-rem:0 time: 0.73
12.30/3.17	c calculated reachability. Time: 0.00
12.30/3.17	c  N dy   197     30505       186      9795         0      9961     43014    199990     22.60     15.98  --
12.30/3.17	c  F st   197     30505       186      9795         0      9961     43014    199990     22.60     15.98  --
13.10/3.33	c Decided on static restart strategy
13.50/3.48	c  N dy   217     34634       186      9795         0     13919     43014    289430     22.68     15.93  --
14.71/3.76	c  N dy   245     38673       186      9795         0     10214     43014    196481     23.30     15.92  --
15.93/4.04	c  N dy   273     42760       186      9795         0     14139     43014    286723     22.14     15.92  --
16.70/4.29	c  S st   294     45759       186      9795         0     17019     43014    353918     24.14     15.95  --
17.10/4.34	c  S st   294     46259       186      9795         0      8941     43014    155548     24.14     15.95  --
17.10/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.10/4.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.10/4.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.07
17.10/4.36	c Calc non-exist non-lernt bins v-fix:     0 done:    186 time:  0.00 s
17.10/4.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.10/4.36	c Subs w/ non-existent bins:      0 time:  0.00 s
17.10/4.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.10/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.10/4.36	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
19.92/5.05	c lits-rem:        13  cl-subs:      201  v-elim:    186  v-fix:    0  time:  2.73 s
19.92/5.05	c learnt bin added due to v-elim: 0
19.92/5.05	c vivif2 --  cl tried     9795 cl shrink        0 lits rem          0 time: 0.00
19.92/5.05	c vivif2 --  cl tried     8740 cl shrink        0 lits rem          0 time: 0.00
20.32/5.19	c asymm  cl-useful: 0/4868/9795 lits-rem:0 time: 0.58
20.32/5.19	c calculated reachability. Time: 0.00
20.32/5.19	c  N dy   294     46259       186      9795         0      8740     43014    152440     24.14     15.95  --
21.50/5.48	c  N dy   322     50373       186      9795         0     12690     43014    242168     21.63     15.89  --
22.70/5.78	c  N dy   350     54436       186      9795         0     16571     43014    330055     22.91     15.84  --
24.31/6.11	c  N dy   378     58526       186      9795         0     10939     43014    197303     23.50     15.89  --
25.49/6.40	c  N dy   406     62610       186      9795         0     14841     43014    285114     21.60     15.85  --
26.69/6.73	c  N dy   434     66697       186      9795         0     18767     43014    375947     23.57     15.86  --
27.49/6.98	c  S st   453     69388       186      9795         0     10802     43014    186608     24.09     15.86  --
27.89/7.01	c  S st   453     69892       186      9795         0     11301     43014    198207     24.09     15.86  --
27.89/7.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.89/7.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.89/7.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.6M T:  0.11
27.89/7.04	c Calc non-exist non-lernt bins v-fix:     0 done:    186 time:  0.00 s
27.89/7.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
27.89/7.04	c Subs w/ non-existent bins:      0 time:  0.00 s
27.89/7.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.89/7.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.05	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
31.09/7.83	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
34.28/8.68	c Added 2 vars  tried: 80000 time: 3.40
34.28/8.68	c ORs :      2 avg-s:  0.0 cl-sh:   698 l-rem:    698 b-add:      4 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    3.41
34.28/8.69	c lits-rem:        11  cl-subs:      268  v-elim:    186  v-fix:    0  time:  6.55 s
34.28/8.69	c learnt bin added due to v-elim: 0
34.28/8.69	c vivif2 --  cl tried     9792 cl shrink        0 lits rem          0 time: 0.00
34.28/8.69	c vivif2 --  cl tried    11033 cl shrink        0 lits rem          0 time: 0.00
35.08/8.87	c asymm  cl-useful: 0/4525/9792 lits-rem:0 time: 0.70
35.08/8.87	c calculated reachability. Time: 0.00
35.08/8.87	c  N dy   453     69892       188      9792         4     11033     42957    193066     24.09     15.86  --
35.08/8.87	c  F st   453     69892       188      9792         4     11033     42957    193066     24.09     15.86  --
35.88/9.02	c Decided on static restart strategy
36.68/9.21	c  N dy   476     74488       188      9792         4     15435     42957    293142     22.55     15.81  --
37.90/9.59	c  N dy   509     79310       188      9792         4     20024     42957    398237     23.12     15.83  --
39.87/10.03	c  N dy   545     84505       188      9792         4     13519     42957    234237     22.07     15.77  --
41.47/10.45	c  N dy   582     89911       188      9792         4     18689     42957    353147     22.48     15.76  --
43.47/10.95	c  N dy   622     95714       188      9792         4     24238     42957    477857     21.86     15.73  --
45.47/11.43	c  N dy   664    101832       188      9792         4     17647     42957    321053     22.36     15.69  --
46.68/11.70	c  S st   685    104840       188      9792         4     20528     42957    386655     23.05     15.70  --
46.68/11.75	c  S st   685    105342       188      9792         4     21029     42957    398184     23.05     15.70  --
46.68/11.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.68/11.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.07/11.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.7M T:  0.26
47.07/11.82	c Calc non-exist non-lernt bins v-fix:     0 done:    188 time:  0.00 s
47.07/11.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
47.07/11.82	c Subs w/ non-existent bins:      0 time:  0.01 s
47.07/11.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.07/11.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.07/11.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
51.46/12.90	c ORs :      2 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
51.46/12.91	c lits-rem:       131  cl-subs:     1367  v-elim:    186  v-fix:    0  time:  4.31 s
51.46/12.91	c learnt bin added due to v-elim: 0
51.46/12.91	c vivif2 --  cl tried     9792 cl shrink        0 lits rem          0 time: 0.00
51.46/12.91	c vivif2 --  cl tried    19662 cl shrink        0 lits rem          0 time: 0.02
52.26/13.11	c asymm  cl-useful: 0/3090/9792 lits-rem:0 time: 0.79
52.26/13.11	c calculated reachability. Time: 0.00
52.26/13.11	c  N dy   685    105342       188      9792         4     19662     42957    371051     23.05     15.70  --
54.66/13.75	c  N dy   731    112141       188      9792         4     26224     42957    519379     23.23     15.67  --
57.05/14.36	c  N dy   781    119391       188      9792         4     19719     42957    360772     22.25     15.66  --
59.87/15.07	c  N dy   833    127070       188      9792         4     27066     42957    526035     21.87     15.64  --
63.05/15.81	c  N dy   889    135319       188      9792         4     20635     42957    383525     24.30     15.67  --
66.25/16.65	c  N dy   949    144069       188      9792         4     28989     42957    572097     23.89     15.68  --
69.84/17.50	c  N dy  1013    153400       188      9792         4     22669     42957    424838     22.44     15.71  --
71.44/17.97	c  S st  1045    158014       188      9792         4     27101     42957    523929     22.15     15.70  --
71.84/18.02	c  S st  1045    158515       188      9792         4     27599     42957    535821     22.15     15.70  --
71.84/18.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
71.84/18.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.24/18.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.8M T:  0.42
72.24/18.13	c Calc non-exist non-lernt bins v-fix:     0 done:    188 time:  0.00 s
72.24/18.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
72.24/18.13	c Subs w/ non-existent bins:      0 time:  0.02 s
72.24/18.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.24/18.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.24/18.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
77.83/19.52	c ORs :      2 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
77.83/19.52	c lits-rem:       128  cl-subs:     1654  v-elim:    186  v-fix:    0  time:  5.51 s
77.83/19.52	c learnt bin added due to v-elim: 0
77.83/19.52	c vivif2 --  cl tried     9792 cl shrink        0 lits rem          0 time: 0.00
77.83/19.53	c vivif2 --  cl tried    25945 cl shrink        0 lits rem          0 time: 0.02
78.23/19.63	c asymm  cl-useful: 0/728/9792 lits-rem:0 time: 0.41
78.23/19.63	c calculated reachability. Time: 0.00
78.23/19.63	c  N dy  1045    158515       188      9792         4     25945     42957    501451     22.15     15.70  --
82.22/20.67	c  N dy  1114    168633       188      9792         4     19377     42957    330513     22.99     15.65  --
86.61/21.70	c  N dy  1188    179491       188      9792         4     29775     42957    565453     21.30     15.65  --
91.01/22.85	c  N dy  1267    191066       196      9792        20     23645     42989    412572     22.34     15.62  --
96.20/24.11	c  N dy  1351    203311       196      9792        20     35310     42989    667774     21.84     15.57  --
110.99/27.80	c  N dy  1428    237773       196      9792        20     30999     42989    552917     21.08     15.45  --
110.99/27.82	c  S st  1428    237773       196      9792        20     30999     42989    552917     21.08     15.45  --
110.99/27.88	c  S st  1428    238275       196      9792        20     31498     42989    564710     21.08     15.45  --
110.99/27.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
110.99/27.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.79/28.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.6M T:  0.54
111.79/28.02	c Calc non-exist non-lernt bins v-fix:     0 done:    196 time:  0.00 s
111.79/28.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
111.79/28.03	c Subs w/ non-existent bins:      0 time:  0.02 s
111.79/28.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
111.79/28.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
111.79/28.04	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
117.00/29.31	c ORs :      2 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
117.00/29.32	c lits-rem:       325  cl-subs:     2021  v-elim:    186  v-fix:    0  time:  5.11 s
117.00/29.32	c learnt bin added due to v-elim: 0
117.00/29.32	c vivif2 --  cl tried     9792 cl shrink        0 lits rem          0 time: 0.00
117.00/29.32	c vivif2 --  cl tried    29477 cl shrink        0 lits rem          0 time: 0.02
117.38/29.43	c asymm  cl-useful: 0/1130/9792 lits-rem:0 time: 0.42
117.38/29.43	c calculated reachability. Time: 0.00
117.38/29.43	c  N dy  1428    238275       196      9792        20     29477     42989    525836     21.08     15.45  --
178.13/44.62	c  N dy  1474    357412       196      9792        20     33759     42989    594393     23.37     15.03  --
178.13/44.64	c  S st  1474    357412       196      9792        20     33759     42989    594393     23.37     15.03  --
178.53/44.71	c  S st  1474    357912       206      9792        48     34279     43037    605906     23.37     15.03  --
178.53/44.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
178.53/44.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
178.91/44.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.6M T:  0.60
178.91/44.86	c Calc non-exist non-lernt bins v-fix:     0 done:    206 time:  0.00 s
178.91/44.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
178.91/44.87	c Subs w/ non-existent bins:      0 time:  0.02 s
178.91/44.88	c Replacing        2 vars Replaced      876 lits Time:     0.05 s 
178.91/44.89	c bin-w-bin subsume rem            4 bins  time:  0.00 s
178.91/44.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
178.91/44.89	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
184.10/46.19	c ORs :      2 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
184.50/46.20	c lits-rem:       416  cl-subs:     1600  v-elim:    186  v-fix:    0  time:  5.24 s
184.50/46.20	c learnt bin added due to v-elim: 0
184.50/46.20	c vivif2 --  cl tried     9792 cl shrink        0 lits rem          0 time: 0.00
184.50/46.21	c vivif2 --  cl tried    32679 cl shrink        0 lits rem          0 time: 0.02
184.90/46.30	c asymm  cl-useful: 0/1878/9792 lits-rem:0 time: 0.37
184.90/46.30	c calculated reachability. Time: 0.00
184.90/46.30	c  N dy  1474    357912       204      9792        36     32679     43021    575778     23.37     15.03  --
299.97/75.11	c  N dy  1506    536869       204      9792        36     40003     43021    692057     22.44     14.26  --
299.97/75.14	c  S st  1506    536869       204      9792        36     40003     43021    692057     22.44     14.26  --
300.37/75.22	c  S st  1506    537371       216      9792        66     40540     43077    704154     22.44     14.26  --
300.37/75.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
300.37/75.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
301.18/75.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      2 CBin:       0 P: 11.2M T:  0.75
301.18/75.41	c Calc non-exist non-lernt bins v-fix:     0 done:    216 time:  0.01 s
301.18/75.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
301.18/75.42	c Subs w/ non-existent bins:      0 time:  0.02 s
301.18/75.42	c Replacing        2 vars Replaced       60 lits Time:     0.02 s 
301.18/75.44	c bin-w-bin subsume rem            2 bins  time:  0.00 s
301.18/75.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
301.18/75.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
307.96/77.17	c ORs :      2 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
310.75/77.88	c Added 3 vars  tried: 80000 time: 2.85
311.15/77.94	c ORs :      3 avg-s:  0.0 cl-sh:  5326 l-rem:   5326 b-add:      9 v-rep:   0 cl-rem: 0 avg s: nan T:    3.09
311.15/77.95	c lits-rem:      1715  cl-subs:     2554  v-elim:    186  v-fix:    0  time: 10.05 s
311.15/77.95	c learnt bin added due to v-elim: 0
311.15/77.95	c vivif2 --  cl tried     9793 cl shrink        0 lits rem          0 time: 0.00
311.15/77.96	c vivif2 --  cl tried    37985 cl shrink        0 lits rem          0 time: 0.03
311.55/78.06	c asymm  cl-useful: 0/1196/9793 lits-rem:0 time: 0.39
311.55/78.06	c calculated reachability. Time: 0.00
311.55/78.06	c  N dy  1506    537371       217      9793        65     37985     43053    649987     22.44     14.26  --
311.55/78.06	c  F st  1506    537371       217      9793        65     37985     43053    649987     22.44     14.26  --
313.15/78.43	c Decided on static restart strategy
522.90/130.98	c  N dy  1513    806058       217      9793        65     60303     43053   1144684     22.99     14.07  --
523.31/131.02	c  S st  1513    806058       217      9793        65     60303     43053   1144684     22.99     14.07  --
523.31/131.02	c Finding binary XORs  T:     0.00 s  found:       0
523.71/131.13	c  S st  1513    806560       217      9793        65     60796     43053   1156618     22.99     14.07  --
523.71/131.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
523.71/131.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.91/131.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 17.2M T:  1.38
524.91/131.48	c Calc non-exist non-lernt bins v-fix:     0 done:    217 time:  0.01 s
524.91/131.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
524.91/131.49	c Subs w/ non-existent bins:      0 time:  0.04 s
524.91/131.50	c Replacing        1 vars Replaced       14 lits Time:     0.02 s 
525.33/131.52	c bin-w-bin subsume rem            2 bins  time:  0.00 s
525.33/131.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
525.33/131.52	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
537.29/134.54	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 13.0 T:    0.13
537.29/134.56	c lits-rem:      3331  cl-subs:     4293  v-elim:    186  v-fix:    0  time: 12.12 s
537.29/134.56	c learnt bin added due to v-elim: 0
537.29/134.56	c vivif2 --  cl tried     9793 cl shrink        0 lits rem          0 time: 0.00
537.29/134.57	c vivif2 --  cl tried    56502 cl shrink        0 lits rem          0 time: 0.06
537.69/134.69	c asymm  cl-useful: 0/348/9793 lits-rem:0 time: 0.47
537.69/134.69	c calculated reachability. Time: 0.00
537.69/134.69	c  N dy  1513    806560       216      9793        62     56502     43049   1062260     22.99     14.07  --
909.25/227.66	c  N dy  1516   1209841       216      9793        62     72449     43049   1397597     25.98     14.06  --
909.64/227.72	c  S st  1516   1209841       216      9793        62     72449     43049   1397597     25.98     14.06  --
910.04/227.86	c  S st  1516   1210344       222      9793        78     72962     43077   1409403     25.98     14.06  --
910.04/227.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
910.04/227.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
911.64/228.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 20.8M T:  1.75
911.64/228.30	c Calc non-exist non-lernt bins v-fix:     0 done:    222 time:  0.01 s
911.64/228.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
912.06/228.32	c Subs w/ non-existent bins:      0 time:  0.06 s
912.06/228.32	c Replacing        1 vars Replaced       47 lits Time:     0.03 s 
912.06/228.35	c bin-w-bin subsume rem            2 bins  time:  0.00 s
912.06/228.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
912.06/228.35	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
930.42/232.96	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 12.0 T:    0.24
930.42/232.99	c lits-rem:      4516  cl-subs:     5016  v-elim:    186  v-fix:    0  time: 18.53 s
930.42/232.99	c learnt bin added due to v-elim: 0
930.42/232.99	c vivif2 --  cl tried     9793 cl shrink        0 lits rem          0 time: 0.00
930.82/233.01	c vivif2 --  cl tried    67945 cl shrink        0 lits rem          0 time: 0.07
931.22/233.13	c asymm  cl-useful: 0/341/9793 lits-rem:0 time: 0.50
931.22/233.14	c calculated reachability. Time: 0.00
931.22/233.14	c  N dy  1516   1210344       221      9793        72     67945     43069   1290338     25.98     14.06  --
1470.20/368.07	c  N dy  1521   1710345       221      9793        72     98476     43069   1841047     22.59     14.61  --
1470.60/368.14	c  S st  1521   1710345       221      9793        72     98476     43069   1841047     22.59     14.61  --
1471.38/368.34	c  S st  1521   1710847       233      9793       108     99007     43125   1852977     22.59     14.61  --
1471.38/368.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1471.38/368.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1473.78/368.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.0M T:  2.43
1473.78/368.95	c Calc non-exist non-lernt bins v-fix:     0 done:    233 time:  0.01 s
1473.78/368.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1473.78/368.97	c Subs w/ non-existent bins:      0 time:  0.08 s
1474.18/369.02	c Replacing        2 vars Replaced     1019 lits Time:     0.19 s 
1474.18/369.05	c bin-w-bin subsume rem            4 bins  time:  0.00 s
1474.18/369.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1474.18/369.06	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1505.36/376.87	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 16.0 T:    0.28
1505.76/376.91	c lits-rem:      1117  cl-subs:     8733  v-elim:    186  v-fix:    0  time: 31.34 s
1505.76/376.91	c learnt bin added due to v-elim: 0
1505.76/376.91	c vivif2 --  cl tried     9793 cl shrink        0 lits rem          0 time: 0.00
1505.76/376.93	c vivif2 --  cl tried    90273 cl shrink        0 lits rem          0 time: 0.10
1506.14/377.05	c asymm  cl-useful: 0/225/9793 lits-rem:0 time: 0.50
1506.14/377.06	c calculated reachability. Time: 0.00
1506.14/377.06	c  N dy  1521   1710847       231      9793        96     90273     43109   1674356     22.59     14.61  --
2140.97/535.99	c  N dy  1531   2210850       231      9793        96    106249     43109   2016609     24.03     14.71  --
2141.37/536.07	c  S st  1531   2210850       231      9793        96    106249     43109   2016609     24.03     14.71  --
2142.17/536.27	c  S st  1531   2211354       243      9793       124    106776     43165   2028941     24.03     14.71  --
2142.17/536.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2142.17/536.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2145.37/537.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:      0 BRemL:      0 BRemN:      4 CBin:       0 P: 36.3M T:  3.03
2145.37/537.04	c Calc non-exist non-lernt bins v-fix:     0 done:    243 time:  0.01 s
2145.37/537.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2145.37/537.06	c Subs w/ non-existent bins:      0 time:  0.10 s
2145.37/537.07	c Replacing        2 vars Replaced       33 lits Time:     0.04 s 
2145.77/537.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2145.77/537.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
2145.77/537.11	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2190.11/548.25	c ORs :      5 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 12.0 T:    0.32
2194.91/549.45	c Added 3 vars  tried: 80000 time: 4.80
2197.70/550.11	c ORs :      3 avg-s:  0.0 cl-sh: 21562 l-rem:  21562 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:    7.46
2197.70/550.15	c lits-rem:      3463  cl-subs:     6488  v-elim:    186  v-fix:    0  time: 52.09 s
2197.70/550.15	c learnt bin added due to v-elim: 0
2197.70/550.15	c vivif2 --  cl tried     9796 cl shrink        0 lits rem          0 time: 0.00
2197.70/550.18	c vivif2 --  cl tried   100287 cl shrink        0 lits rem          0 time: 0.12
2198.50/550.30	c asymm  cl-useful: 0/264/9796 lits-rem:0 time: 0.49
2198.50/550.31	c calculated reachability. Time: 0.00
2198.50/550.31	c  N dy  1531   2211354       244      9796       122    100287     43170   1851846     24.03     14.71  --
3017.14/755.30	c  N dy  1534   2711355       244      9796       122    123615     43170   2511780     25.48     15.12  --
3017.92/755.41	c  S st  1534   2711355       244      9796       122    123615     43170   2511780     25.48     15.12  --
3017.92/755.41	c Finding binary XORs  T:     0.00 s  found:       0
3018.72/755.61	c  S st  1534   2711855       244      9796       122    124109     43170   2523827     25.48     15.12  --
3018.72/755.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3018.72/755.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3023.11/756.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 45.3M T:  4.47
3023.11/756.74	c Calc non-exist non-lernt bins v-fix:     0 done:    244 time:  0.02 s
3023.11/756.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3023.11/756.77	c Subs w/ non-existent bins:      0 time:  0.12 s
3023.51/756.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3023.51/756.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3023.51/756.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3072.26/769.07	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.68
3072.66/769.12	c lits-rem:      2400  cl-subs:     5313  v-elim:    186  v-fix:    0  time: 49.11 s
3072.66/769.12	c learnt bin added due to v-elim: 0
3072.66/769.12	c vivif2 --  cl tried     9796 cl shrink        0 lits rem          0 time: 0.00
3072.66/769.16	c vivif2 --  cl tried   118796 cl shrink        0 lits rem          0 time: 0.14
3073.06/769.29	c asymm  cl-useful: 0/178/9796 lits-rem:0 time: 0.54
3073.46/769.30	c calculated reachability. Time: 0.00
3073.46/769.30	c  N dy  1534   2711855       244      9796       122    118796     43170   2378873     25.48     15.12  --
3073.46/769.30	c  F st  1534   2711855       244      9796       122    118796     43170   2378873     25.48     15.12  --
3077.85/770.40	c Decided on static restart strategy
3796.98/950.43	c  N dy  1553   3211856       244      9796       122     96639     43170   1681984     27.70     15.53  --
3797.38/950.50	c  S st  1553   3211856       244      9796       122     96639     43170   1681984     27.70     15.53  --
3797.78/950.65	c  S st  1553   3212356       248      9796       130     97143     43186   1693304     27.70     15.53  --
3797.78/950.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
3797.78/950.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3800.58/951.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 37.2M T:  2.96
3800.98/951.40	c Calc non-exist non-lernt bins v-fix:     0 done:    248 time:  0.01 s
3800.98/951.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3800.98/951.42	c Subs w/ non-existent bins:      0 time:  0.09 s
3800.98/951.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3800.98/951.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3800.98/951.46	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3818.16/955.75	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.41
3818.16/955.78	c lits-rem:       107  cl-subs:     3174  v-elim:    186  v-fix:    0  time: 17.27 s
3818.16/955.78	c learnt bin added due to v-elim: 0
3818.16/955.78	c vivif2 --  cl tried     9796 cl shrink        0 lits rem          0 time: 0.00
3818.56/955.81	c vivif2 --  cl tried    93969 cl shrink        1 lits rem          1 time: 0.10
3818.96/955.93	c asymm  cl-useful: 0/251/9796 lits-rem:0 time: 0.47
3818.96/955.93	c calculated reachability. Time: 0.00
3818.96/955.93	c  N dy  1553   3212356       248      9796       130     93969     43186   1615945     27.70     15.53  --
4543.69/1137.35	c  N dy  1588   3712357       248      9796       130    103495     43186   1737043     23.74     15.69  --
4544.09/1137.43	c  S st  1588   3712357       248      9796       130    103495     43186   1737043     23.74     15.69  --
4544.49/1137.59	c  S st  1588   3712857       251      9796       136    103995     43198   1749517     23.74     15.69  --
4544.89/1137.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4544.89/1137.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4548.08/1138.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 42.4M T:  3.36
4548.08/1138.45	c Calc non-exist non-lernt bins v-fix:     0 done:    251 time:  0.01 s
4548.08/1138.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4548.08/1138.47	c Subs w/ non-existent bins:      0 time:  0.10 s
4548.48/1138.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4548.48/1138.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4548.48/1138.51	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
4570.46/1144.01	c ORs :      8 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 14.0 T:    0.45
4570.46/1144.04	c lits-rem:      2407  cl-subs:     5127  v-elim:    186  v-fix:    0  time: 22.10 s
4570.46/1144.05	c learnt bin added due to v-elim: 0
4570.46/1144.05	c vivif2 --  cl tried     9796 cl shrink        0 lits rem          0 time: 0.00
4570.46/1144.07	c vivif2 --  cl tried    98867 cl shrink        3 lits rem          3 time: 0.11
4571.26/1144.20	c asymm  cl-useful: 0/230/9796 lits-rem:0 time: 0.50
4571.26/1144.20	c calculated reachability. Time: 0.00
4571.26/1144.20	c  N dy  1588   3712857       251      9796       136     98867     43198   1632674     23.74     15.69  --

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=50280 CPUtime=0 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 697 0 0 0 0 0 0 0 25 0 1 0 524986019 51486720 629 33554432000 4194304 4797429 140736491267152 18446744073709551615 4298578 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/12229/statm: 12570 630 347 148 0 7499 0

[startup+0.084604 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=532240 CPUtime=0.26 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 1765 0 0 0 26 0 0 0 18 0 4 0 524986019 545013760 1599 33554432000 4194304 4797429 140736491267152 18446744073709551615 230809208967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 152528 1915 393 148 0 147457 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 532240

[startup+0.832868 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=617264 CPUtime=3.25 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 6070 0 0 0 324 1 0 0 19 0 4 0 524986019 632078336 4612 33554432000 4194304 4797429 140736491267152 18446744073709551615 4391139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 154316 4612 414 148 0 149245 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 617264

[startup+0.932849 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=617264 CPUtime=3.65 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 6112 0 0 0 364 1 0 0 19 0 4 0 524986019 632078336 4654 33554432000 4194304 4797429 140736491267152 18446744073709551615 4414538 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 154316 4654 414 148 0 149245 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 617264

[startup+1.03283 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=617264 CPUtime=4.05 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 6157 0 0 0 404 1 0 0 19 0 4 0 524986019 632078336 4699 33554432000 4194304 4797429 140736491267152 18446744073709551615 4389614 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 154316 4699 414 148 0 149245 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 617264

[startup+1.50075 s]
/proc/loadavg: 8.16 8.14 8.04 2/174 12229
/proc/meminfo: memFree=30974484/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=617648 CPUtime=5.92 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 6582 0 0 0 591 1 0 0 20 0 4 0 524986019 632471552 4803 33554432000 4194304 4797429 140736491267152 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 154412 4803 414 148 0 149341 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 617648

[startup+3.10045 s]
/proc/loadavg: 8.15 8.14 8.04 9/184 12257
/proc/meminfo: memFree=30907888/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=619872 CPUtime=12.3 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 8477 0 0 0 1229 1 0 0 25 0 4 0 524986019 634748928 5475 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428866 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 154968 5475 417 148 0 149897 0
[pid=12229/tid=12240] ppid=12227 vsize=619872 CPUtime=3.06 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 1517 0 0 0 306 0 0 0 25 0 4 0 524986021 634748928 5475 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=619872 CPUtime=3.07 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 1445 0 0 0 307 0 0 0 25 0 4 0 524986021 634748928 5475 33554432000 4194304 4797429 140736491267152 18446744073709551615 4567942 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=619872 CPUtime=3.06 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 1522 0 0 0 306 0 0 0 25 0 4 0 524986021 634748928 5475 33554432000 4194304 4797429 140736491267152 18446744073709551615 4351394 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 619872

[startup+6.30087 s]
/proc/loadavg: 8.15 8.14 8.04 9/184 12257
/proc/meminfo: memFree=30896488/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=623332 CPUtime=25.09 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 11076 0 0 0 2507 2 0 0 25 0 4 0 524986019 638291968 6671 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 155833 6671 417 148 0 150762 0
[pid=12229/tid=12240] ppid=12227 vsize=623332 CPUtime=6.26 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 1761 0 0 0 626 0 0 0 25 0 4 0 524986021 638291968 6672 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=623332 CPUtime=6.27 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 1671 0 0 0 627 0 0 0 25 0 4 0 524986021 638291968 6672 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=623332 CPUtime=6.25 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 1789 0 0 0 625 0 0 0 25 0 4 0 524986021 638291968 6672 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 623332

[startup+12.7007 s]
/proc/loadavg: 8.13 8.13 8.04 9/184 12257
/proc/meminfo: memFree=30884632/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=625636 CPUtime=50.68 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 15002 0 0 0 5065 3 0 0 25 0 4 0 524986019 640651264 7852 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 156409 7852 419 148 0 151338 0
[pid=12229/tid=12240] ppid=12227 vsize=625636 CPUtime=12.67 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 2150 0 0 0 1267 0 0 0 25 0 4 0 524986021 640651264 7852 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=625636 CPUtime=12.67 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 2230 0 0 0 1267 0 0 0 25 0 4 0 524986021 640651264 7852 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524219 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=625636 CPUtime=12.62 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 2236 0 0 0 1262 0 0 0 25 0 4 0 524986021 640651264 7852 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 625636

[startup+25.5003 s]
/proc/loadavg: 8.11 8.13 8.04 9/184 12257
/proc/meminfo: memFree=30873444/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=631188 CPUtime=101.8 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 23376 0 0 0 10175 5 0 0 25 0 4 0 524986019 646336512 9529 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 157797 9529 419 148 0 152726 0
[pid=12229/tid=12240] ppid=12227 vsize=631188 CPUtime=25.46 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 2822 0 0 0 2546 0 0 0 25 0 4 0 524986021 646336512 9529 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=631188 CPUtime=25.46 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 3310 0 0 0 2546 0 0 0 25 0 4 0 524986021 646336512 9529 33554432000 4194304 4797429 140736491267152 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=631188 CPUtime=25.35 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 3243 0 0 0 2535 0 0 0 25 0 4 0 524986021 646336512 9529 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524692 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 631188

[startup+51.1007 s]
/proc/loadavg: 8.07 8.12 8.04 9/184 12258
/proc/meminfo: memFree=30854640/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=638920 CPUtime=204.08 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 36283 0 0 0 20400 8 0 0 25 0 4 0 524986019 654254080 12274 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 159730 12274 421 148 0 154659 0
[pid=12229/tid=12240] ppid=12227 vsize=638920 CPUtime=51.07 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 4255 0 0 0 5106 1 0 0 25 0 4 0 524986021 654254080 12274 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=638920 CPUtime=51.07 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 4572 0 0 0 5106 1 0 0 25 0 4 0 524986021 654254080 12274 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=638920 CPUtime=50.84 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 4713 0 0 0 5084 0 0 0 25 0 4 0 524986021 654254080 12274 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 638920

[startup+102.3 s]
/proc/loadavg: 8.07 8.11 8.04 9/184 12259
/proc/meminfo: memFree=30823060/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=646764 CPUtime=408.63 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 57554 0 0 0 40850 13 0 0 25 0 4 0 524986019 662286336 15102 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 161691 15102 421 148 0 156620 0
[pid=12229/tid=12240] ppid=12227 vsize=646764 CPUtime=102.26 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 6810 0 0 0 10225 1 0 0 25 0 4 0 524986021 662286336 15102 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=646764 CPUtime=102.27 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 6855 0 0 0 10226 1 0 0 25 0 4 0 524986021 662286336 15102 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=646764 CPUtime=101.8 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 7067 0 0 0 10179 1 0 0 25 0 4 0 524986021 662286336 15102 33554432000 4194304 4797429 140736491267152 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 646764

[startup+162.3 s]
/proc/loadavg: 8.09 8.11 8.04 9/184 12261
/proc/meminfo: memFree=30786436/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=657300 CPUtime=648.37 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 78288 0 0 0 64817 20 0 0 25 0 4 0 524986019 673075200 19456 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 164325 19456 421 148 0 159254 0
[pid=12229/tid=12240] ppid=12227 vsize=657300 CPUtime=162.27 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 8880 0 0 0 16225 2 0 0 25 0 4 0 524986021 673075200 19456 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428583 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=657300 CPUtime=162.27 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 9588 0 0 0 16225 2 0 0 25 0 4 0 524986021 673075200 19456 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=657300 CPUtime=161.52 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 9799 0 0 0 16150 2 0 0 25 0 4 0 524986021 673075200 19456 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 648.37
Current children cumulated vsize (KiB) 657300

[startup+222.3 s]
/proc/loadavg: 8.15 8.12 8.05 9/184 12262
/proc/meminfo: memFree=30778208/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=660996 CPUtime=888.06 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 96263 0 0 0 88781 25 0 0 25 0 4 0 524986019 676859904 20307 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 165249 20307 421 148 0 160178 0
[pid=12229/tid=12240] ppid=12227 vsize=660996 CPUtime=222.27 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 10784 0 0 0 22224 3 0 0 25 0 4 0 524986021 676859904 20307 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429163 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=660996 CPUtime=222.27 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 11394 0 0 0 22225 2 0 0 25 0 4 0 524986021 676859904 20307 33554432000 4194304 4797429 140736491267152 18446744073709551615 4523990 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=660996 CPUtime=221.23 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 11688 0 0 0 22121 2 0 0 25 0 4 0 524986021 676859904 20307 33554432000 4194304 4797429 140736491267152 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 888.06
Current children cumulated vsize (KiB) 660996

[startup+282.306 s]
/proc/loadavg: 8.16 8.13 8.05 9/184 12264
/proc/meminfo: memFree=30761676/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=666472 CPUtime=1127.81 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 113094 0 0 0 112749 32 0 0 25 0 4 0 524986019 682467328 22404 33554432000 4194304 4797429 140736491267152 18446744073709551615 4425978 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 166618 22404 429 148 0 161547 0
[pid=12229/tid=12240] ppid=12227 vsize=666472 CPUtime=282.28 cores=0,2,4,6

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

[pid=12229] ppid=12227 vsize=686584 CPUtime=2566.07 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 196581 0 0 0 256542 65 0 0 25 0 4 0 524986019 703062016 30241 33554432000 4194304 4797429 140736491267152 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 171646 30241 421 148 0 166575 0
[pid=12229/tid=12240] ppid=12227 vsize=686584 CPUtime=642.27 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 23187 0 0 0 64220 7 0 0 25 0 4 0 524986021 703062016 30241 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=686584 CPUtime=642.28 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 23656 0 0 0 64220 8 0 0 25 0 4 0 524986021 703062016 30241 33554432000 4194304 4797429 140736491267152 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=686584 CPUtime=639.23 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 24245 0 0 0 63915 8 0 0 25 0 4 0 524986021 703062016 30241 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2566.07
Current children cumulated vsize (KiB) 686584

[startup+702.3 s]
/proc/loadavg: 8.02 8.05 8.04 9/184 12275
/proc/meminfo: memFree=30686244/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=691604 CPUtime=2805.78 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 208735 0 0 0 280509 69 0 0 25 0 4 0 524986019 708202496 31518 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424725 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 172901 31518 421 148 0 167830 0
[pid=12229/tid=12240] ppid=12227 vsize=691604 CPUtime=702.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 24646 0 0 0 70221 8 0 0 25 0 4 0 524986021 708202496 31518 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=691604 CPUtime=702.29 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 25204 0 0 0 70220 9 0 0 25 0 4 0 524986021 708202496 31518 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=691604 CPUtime=698.96 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 26128 0 0 0 69886 10 0 0 25 0 4 0 524986021 708202496 31518 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.78
Current children cumulated vsize (KiB) 691604

[startup+762.3 s]
/proc/loadavg: 8.00 8.04 8.03 9/184 12277
/proc/meminfo: memFree=30671564/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=693076 CPUtime=3045.48 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 219289 0 0 0 304475 73 0 0 25 0 4 0 524986019 709709824 34446 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 173269 34446 434 148 0 168198 0
[pid=12229/tid=12240] ppid=12227 vsize=693076 CPUtime=762.28 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 26064 0 0 0 76220 8 0 0 25 0 4 0 524986021 709709824 34446 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=693076 CPUtime=762.29 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 26858 0 0 0 76220 9 0 0 25 0 4 0 524986021 709709824 34446 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=693076 CPUtime=758.65 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 27705 0 0 0 75855 10 0 0 25 0 4 0 524986021 709709824 34446 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.48
Current children cumulated vsize (KiB) 693076

[startup+822.3 s]
/proc/loadavg: 8.03 8.05 8.03 9/184 12278
/proc/meminfo: memFree=30666440/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=701696 CPUtime=3285.21 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 232020 0 0 0 328443 78 0 0 25 0 4 0 524986019 718536704 36006 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 175424 36006 426 148 0 170353 0
[pid=12229/tid=12240] ppid=12227 vsize=701696 CPUtime=822.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 27566 0 0 0 82220 9 0 0 25 0 4 0 524986021 718536704 36006 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=701696 CPUtime=822.3 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 28621 0 0 0 82220 10 0 0 25 0 4 0 524986021 718536704 36006 33554432000 4194304 4797429 140736491267152 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=701696 CPUtime=818.36 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 29251 0 0 0 81825 11 0 0 25 0 4 0 524986021 718536704 36006 33554432000 4194304 4797429 140736491267152 18446744073709551615 4549919 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3285.21
Current children cumulated vsize (KiB) 701696

[startup+882.3 s]
/proc/loadavg: 8.06 8.05 8.03 9/184 12280
/proc/meminfo: memFree=30658828/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=704044 CPUtime=3524.91 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 244846 0 0 0 352407 84 0 0 25 0 4 0 524986019 720941056 37602 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 176011 37602 426 148 0 170940 0
[pid=12229/tid=12240] ppid=12227 vsize=704044 CPUtime=882.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 28996 0 0 0 88219 10 0 0 25 0 4 0 524986021 720941056 37602 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=704044 CPUtime=882.29 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 30397 0 0 0 88219 10 0 0 25 0 4 0 524986021 720941056 37602 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=704044 CPUtime=878.07 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 30781 0 0 0 87795 12 0 0 25 0 4 0 524986021 720941056 37602 33554432000 4194304 4797429 140736491267152 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.91
Current children cumulated vsize (KiB) 704044

[startup+942.306 s]
/proc/loadavg: 8.16 8.08 8.04 9/184 12282
/proc/meminfo: memFree=30641672/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=707252 CPUtime=3764.64 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 256790 0 0 0 376375 89 0 0 25 0 4 0 524986019 724226048 39414 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 176813 39414 426 148 0 171742 0
[pid=12229/tid=12240] ppid=12227 vsize=707252 CPUtime=942.3 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 30481 0 0 0 94219 11 0 0 25 0 4 0 524986021 724226048 39414 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=707252 CPUtime=942.3 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 31893 0 0 0 94219 11 0 0 25 0 4 0 524986021 724226048 39414 33554432000 4194304 4797429 140736491267152 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=707252 CPUtime=937.79 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 31684 0 0 0 93767 12 0 0 25 0 4 0 524986021 724226048 39414 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.64
Current children cumulated vsize (KiB) 707252

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 8.04 9/184 12283
/proc/meminfo: memFree=30641008/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=708980 CPUtime=4004.33 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 268811 0 0 0 400339 94 0 0 25 0 4 0 524986019 725995520 40914 33554432000 4194304 4797429 140736491267152 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 177245 40914 426 148 0 172174 0
[pid=12229/tid=12240] ppid=12227 vsize=708980 CPUtime=1002.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 31333 0 0 0 100218 11 0 0 25 0 4 0 524986021 725995520 40914 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=708980 CPUtime=1002.3 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 33356 0 0 0 100218 12 0 0 25 0 4 0 524986021 725995520 40914 33554432000 4194304 4797429 140736491267152 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=708980 CPUtime=997.51 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 33120 0 0 0 99737 14 0 0 25 0 4 0 524986021 725995520 40914 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4004.33
Current children cumulated vsize (KiB) 708980

[startup+1062.3 s]
/proc/loadavg: 8.11 8.08 8.04 9/184 12285
/proc/meminfo: memFree=30627948/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=710972 CPUtime=4244.05 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 281066 0 0 0 424307 98 0 0 25 0 4 0 524986019 728035328 41001 33554432000 4194304 4797429 140736491267152 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 177743 41001 426 148 0 172672 0
[pid=12229/tid=12240] ppid=12227 vsize=710972 CPUtime=1062.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 32742 0 0 0 106217 12 0 0 25 0 4 0 524986021 728035328 41001 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424603 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=710972 CPUtime=1062.29 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 34987 0 0 0 106217 12 0 0 25 0 4 0 524986021 728035328 41001 33554432000 4194304 4797429 140736491267152 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=710972 CPUtime=1057.22 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 34732 0 0 0 105708 14 0 0 25 0 4 0 524986021 728035328 41001 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4244.05
Current children cumulated vsize (KiB) 710972

[startup+1122.3 s]
/proc/loadavg: 8.04 8.07 8.04 9/184 12286
/proc/meminfo: memFree=30631768/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=715632 CPUtime=4483.76 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 293059 0 0 0 448275 101 0 0 25 0 4 0 524986019 732807168 42306 33554432000 4194304 4797429 140736491267152 18446744073709551615 4425918 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 178908 42306 426 148 0 173837 0
[pid=12229/tid=12240] ppid=12227 vsize=715632 CPUtime=1122.29 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 34250 0 0 0 112217 12 0 0 25 0 4 0 524986021 732807168 42306 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=715632 CPUtime=1122.3 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 35767 0 0 0 112217 13 0 0 25 0 4 0 524986021 732807168 42306 33554432000 4194304 4797429 140736491267152 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=715632 CPUtime=1116.93 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 36679 0 0 0 111679 14 0 0 25 0 4 0 524986021 732807168 42306 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.76
Current children cumulated vsize (KiB) 715632

[startup+1182.3 s]
/proc/loadavg: 8.09 8.07 8.04 9/184 12288
/proc/meminfo: memFree=30621180/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=718812 CPUtime=4723.47 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 306398 0 0 0 472241 106 0 0 25 0 4 0 524986019 736063488 42182 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 179703 42182 426 148 0 174632 0
[pid=12229/tid=12240] ppid=12227 vsize=718812 CPUtime=1182.3 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 35754 0 0 0 118217 13 0 0 25 0 4 0 524986021 736063488 42182 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=718812 CPUtime=1182.3 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 37251 0 0 0 118217 13 0 0 25 0 4 0 524986021 736063488 42182 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=718812 CPUtime=1176.64 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 38252 0 0 0 117649 15 0 0 25 0 4 0 524986021 736063488 42182 33554432000 4194304 4797429 140736491267152 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4723.47
Current children cumulated vsize (KiB) 718812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.07 8.06 8.03 10/184 12289
/proc/meminfo: memFree=30617688/32951124 swapFree=67111448/67111528
[pid=12229] ppid=12227 vsize=721488 CPUtime=4800.19 cores=0,2,4,6
/proc/12229/stat : 12229 (techdemo) R 12227 12229 12011 0 -1 4202496 308855 0 0 0 479911 108 0 0 25 0 4 0 524986019 738803712 44594 33554432000 4194304 4797429 140736491267152 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12229/statm: 180372 44594 426 148 0 175301 0
[pid=12229/tid=12240] ppid=12227 vsize=721488 CPUtime=1201.5 cores=0,2,4,6
/proc/12229/task/12240/stat : 12240 (techdemo) R 12227 12229 12011 0 -1 4202560 35976 0 0 0 120137 13 0 0 25 0 4 0 524986021 738803712 44594 33554432000 4194304 4797429 140736491267152 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=12229/tid=12241] ppid=12227 vsize=721488 CPUtime=1201.51 cores=0,2,4,6
/proc/12229/task/12241/stat : 12241 (techdemo) R 12227 12229 12011 0 -1 4202560 37656 0 0 0 120137 14 0 0 25 0 4 0 524986021 738803712 44594 33554432000 4194304 4797429 140736491267152 18446744073709551615 4509988 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12229/tid=12242] ppid=12227 vsize=721488 CPUtime=1195.74 cores=0,2,4,6
/proc/12229/task/12242/stat : 12242 (techdemo) R 12227 12229 12011 0 -1 4202560 38601 0 0 0 119559 15 0 0 25 0 4 0 524986021 738803712 44594 33554432000 4194304 4797429 140736491267152 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 721488

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.52
CPU time (s): 4800.23
CPU user time (s): 4799.14
CPU system time (s): 1.08883
CPU usage (%): 399.513
Max. virtual memory (cumulated for all children) (KiB): 817788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.14
system time used= 1.08883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 308856
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= 315
involuntary context switches= 22685

runsolver used 1.78573 second user time and 4.00139 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 05:24:16
IDJOB=3262593
IDBENCH=83356
IDSOLVER=1584
FILE ID=node104/3262593-1304133856
RUNJOBID= node104-1304131448-12029
PBS_JOBID= 13170795
Free space on /tmp= 72536 MiB

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

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

MD5SUM BENCH= 642fce7e30a701c3223fa5771c2e57dc
RANDOM SEED=302425589

node104.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30974888 kB
Buffers:        398416 kB
Cached:        1104656 kB
SwapCached:         80 kB
Active:         161904 kB
Inactive:      1405896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30974888 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            8200 kB
Writeback:           0 kB
AnonPages:       64852 kB
Mapped:          14704 kB
Slab:           344728 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   194300 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72528 MiB
End job on node104 at 2011-04-30 05:44:19