Trace number 3172605

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.09 1202.13

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
MD5SUMc8a628789219fd1293880c95bfb25038
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark13.7849
Satisfiable
(Un)Satisfiability was proved
Number of variables20000
Number of clauses84000
Sum of the clauses size252000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 384000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3172605-1304078559.cnf'
0.00/0.00	c -- header says num vars:          20000
0.00/0.00	c -- header says num clauses:       84000
0.19/0.23	c -- clauses added:            0 learnts,        84000 normals,            0 xors
0.19/0.23	c -- vars added      20000
0.19/0.23	c Parsing time:  0.20 s
0.19/0.29	c  N st     0         0     20000     84000         0         0    252000         0   no data   no data  --
0.19/0.29	c asymm  cl-useful: 0/84000/84000 lits-rem:0 time: 0.24
0.47/0.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.22
0.47/0.37	c Calc non-exist non-lernt bins v-fix:     0 done:  20000 time:  0.03 s
0.47/0.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.47/0.37	c Subs w/ non-existent bins:      0 time:  0.01 s
0.85/0.46	c bin-w-bin subsume rem            0 bins  time:  0.02 s
0.85/0.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.85/0.46	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
1.63/0.68	c lits-rem:         0  cl-subs:        0  v-elim:   1150  v-fix:    0  time:  0.89 s
1.63/0.68	c learnt bin added due to v-elim: 0
1.63/0.68	c Finding binary XORs  T:     0.02 s  found:       0
2.03/0.74	c Finding non-binary XORs:     0.19 s (found:       0, avg size: nan)
2.03/0.74	c calculated reachability. Time: 0.00
2.03/0.74	c Calc default polars -  time:   0.02 s pos:    8793 undec:    2392 neg:    8815
2.03/0.74	c =========================================================================================
2.03/0.74	c types(t): F = full restart, N = normal restart
2.03/0.74	c types(t): S = simplification begin/end, E = solution found
2.03/0.74	c restart types(rt): st = static, dy = dynamic
2.03/0.74	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.03/0.74	c  B st     0         0     19337     83149         0         0    253156         0   no data   no data  --
4.42/1.37	c Decided on dynamic restart strategy
6.82/1.93	c  N dy    20      4065     19337     83149         0      4063    253156    813140    170.56    130.94  --
12.02/3.26	c  N dy    49      8203     19337     83149         0      8201    253156   1563796    199.44    126.20  --
17.13/4.51	c  N dy    77     12204     19337     83149         0     12202    253156   2290810    179.13    124.97  --
22.32/5.85	c  N dy   106     16308     19337     83149         0     16306    253156   2992666    169.88    122.49  --
28.31/7.32	c  N dy   135     20427     19337     83149         0     10426    253156    566585    169.23    121.20  --
33.92/8.76	c  N dy   163     24460     19337     83149         0     14459    253156   1281561    187.45    121.00  --
39.48/10.11	c  N dy   192     28581     19337     83149         0     18579    253156   2018537    203.20    120.92  --
42.28/10.80	c  S st   202     30000     19337     83149         0     19997    253156   2272971    181.02    120.85  --
42.69/10.98	c  S st   202     30502     19337     83149         0     20499    253156   2336223    181.02    120.85  --
42.69/10.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
42.69/10.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.87/11.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.91
43.87/11.23	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
43.87/11.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
43.87/11.25	c Subs w/ non-existent bins:      0 time:  0.09 s
44.67/11.45	c bin-w-bin subsume rem            0 bins  time:  0.03 s
44.67/11.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
44.67/11.46	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
66.63/16.96	c lits-rem:         2  cl-subs:     1279  v-elim:    289  v-fix:    0  time: 21.97 s
66.63/16.96	c learnt bin added due to v-elim: 0
66.63/16.97	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
67.03/17.00	c vivif2 --  cl tried    19220 cl shrink        0 lits rem          0 time: 0.10
67.83/17.24	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.97
67.83/17.25	c calculated reachability. Time: 0.00
67.83/17.25	c  N dy   202     30502     19337     83149         0     19220    253156   2233694    181.02    120.85  --
67.83/17.25	c  F st   202     30502     19337     83149         0     19220    253156   2233694    181.02    120.85  --
71.03/18.06	c Decided on dynamic restart strategy
74.23/18.85	c  N dy   222     34607     19337     83149         0     23320    253156   3096862    181.80    122.96  --
80.62/20.42	c  N dy   250     38645     19337     83149         0     27358    253156   3805798    174.61    122.47  --
86.61/21.98	c  N dy   279     42743     19337     83149         0     15960    253156    686664    165.35    121.83  --
91.01/23.03	c  S st   300     45753     19337     83149         0     18970    253156   1199290    166.06    121.20  --
91.79/23.21	c  S st   300     46256     19337     83149         0     19473    253156   1259405    166.06    121.20  --
91.79/23.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
91.79/23.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.59/23.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.8M T:  0.71
92.59/23.41	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
92.59/23.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.59/23.43	c Subs w/ non-existent bins:      0 time:  0.06 s
92.99/23.51	c bin-w-bin subsume rem            0 bins  time:  0.03 s
92.99/23.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
92.99/23.53	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
104.59/26.50	c lits-rem:         2  cl-subs:      557  v-elim:    289  v-fix:    0  time: 11.86 s
104.59/26.50	c learnt bin added due to v-elim: 0
104.98/26.50	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
104.98/26.52	c vivif2 --  cl tried    18916 cl shrink        0 lits rem          0 time: 0.06
105.78/26.71	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.76
105.78/26.72	c calculated reachability. Time: 0.00
105.78/26.72	c  N dy   300     46256     19337     83149         0     18916    253156   1225332    166.06    121.20  --
112.16/28.30	c  N dy   329     50382     19337     83149         0     23041    253156   1951569    184.87    121.04  --
117.38/29.67	c  N dy   357     54426     19337     83149         0     27085    253156   2647220    172.34    120.78  --
123.34/31.18	c  N dy   386     58551     19337     83149         0     31208    253156   3394386    176.87    120.81  --
130.14/32.84	c  N dy   415     62645     19337     83149         0     35302    253156   4091530    172.68    120.62  --
136.91/34.56	c  N dy   444     66761     19337     83149         0     20672    253156    950262    173.34    120.50  --
141.31/35.67	c  S st   463     69384     19337     83149         0     23295    253156   1397436    171.25    120.32  --
142.11/35.87	c  S st   463     69886     19337     83149         0     23797    253156   1463343    171.25    120.32  --
142.11/35.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
142.11/35.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.91/36.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.79
142.91/36.08	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
142.91/36.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
143.31/36.10	c Subs w/ non-existent bins:      0 time:  0.07 s
143.31/36.19	c bin-w-bin subsume rem            0 bins  time:  0.03 s
143.31/36.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
143.73/36.21	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
155.68/39.22	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.01
162.87/41.09	c Added 0 vars  tried: 80000 time: 7.50
162.87/41.09	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:    7.50
163.27/41.14	c lits-rem:         8  cl-subs:      795  v-elim:    289  v-fix:    0  time: 19.70 s
163.27/41.14	c learnt bin added due to v-elim: 0
163.27/41.15	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
163.27/41.17	c vivif2 --  cl tried    23002 cl shrink        0 lits rem          0 time: 0.08
164.07/41.38	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 0.85
164.07/41.39	c calculated reachability. Time: 0.00
164.07/41.39	c  N dy   463     69886     19337     83149         0     23002    253156   1420739    171.25    120.32  --
164.07/41.39	c  F st   463     69886     19337     83149         0     23002    253156   1420739    171.25    120.32  --
167.66/42.25	c Decided on dynamic restart strategy
171.26/43.17	c  N dy   486     74364     19337     83149         0     27477    253156   2277358    165.46    120.52  --
179.23/45.16	c  N dy   519     79143     19337     83149         0     32256    253156   3109986    185.54    120.38  --
186.80/47.02	c  N dy   555     84296     19337     83149         0     37407    253156   4019233    181.69    120.39  --
195.99/49.31	c  N dy   593     89766     19337     83149         0     22005    253156    785035    182.78    120.27  --
205.18/51.63	c  N dy   634     95573     19337     83149         0     27811    253156   1842940    186.23    120.40  --
215.15/54.13	c  N dy   677    101681     19337     83149         0     33919    253156   2886453    169.79    120.24  --
221.14/55.69	c  S st   700    104830     19337     83149         0     37068    253156   3453990    187.19    120.27  --
221.94/55.89	c  S st   700    105335     19337     83149         0     37573    253156   3517761    187.19    120.27  --
222.35/55.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
222.35/55.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.53/56.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.4M T:  1.28
223.53/56.24	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
223.53/56.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.53/56.28	c Subs w/ non-existent bins:      0 time:  0.14 s
224.73/56.50	c bin-w-bin subsume rem            0 bins  time:  0.03 s
224.73/56.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
224.73/56.51	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
263.47/66.26	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.01
263.87/66.33	c lits-rem:         5  cl-subs:     1496  v-elim:    289  v-fix:    0  time: 39.20 s
263.87/66.33	c learnt bin added due to v-elim: 0
263.87/66.34	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
263.87/66.38	c vivif2 --  cl tried    36077 cl shrink        0 lits rem          0 time: 0.16
265.47/66.72	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 1.37
265.47/66.73	c calculated reachability. Time: 0.00
265.47/66.73	c  N dy   700    105335     19337     83149         0     36077    253156   3370527    187.19    120.27  --
275.47/69.27	c  N dy   747    112098     19337     83149         0     42840    253156   4523314    167.15    119.98  --
286.23/71.96	c  N dy   798    119350     19337     83149         0     27655    253156   1503976    183.27    120.26  --
297.43/74.78	c  N dy   852    127047     19337     83149         0     35351    253156   2871752    176.90    120.24  --
310.62/78.01	c  N dy   909    135169     19337     83149         0     43469    253156   4292577    164.10    120.16  --
323.80/81.40	c  N dy   970    143922     19337     83149         0     28507    253156   1367791    174.94    120.12  --
337.75/84.85	c  N dy  1034    153129     19337     83149         0     37713    253156   3011032    178.69    120.03  --
347.35/87.21	c  S st  1069    158003     19337     83149         0     42587    253156   3864983    182.11    119.96  --
348.15/87.44	c  S st  1069    158506     19337     83149         0     43090    253156   3933994    182.11    119.96  --
348.15/87.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
348.15/87.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.74/87.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.44
349.74/87.83	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
349.74/87.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
349.74/87.87	c Subs w/ non-existent bins:      0 time:  0.15 s
350.94/88.10	c bin-w-bin subsume rem            0 bins  time:  0.03 s
350.94/88.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
350.94/88.12	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
460.01/115.44	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.01
460.41/115.52	c lits-rem:         3  cl-subs:     1965  v-elim:    289  v-fix:    0  time: 109.45 s
460.41/115.52	c learnt bin added due to v-elim: 0
460.41/115.53	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
460.41/115.58	c vivif2 --  cl tried    41125 cl shrink        0 lits rem          0 time: 0.20
461.98/115.97	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 1.57
461.98/115.98	c calculated reachability. Time: 0.00
461.98/115.98	c  N dy  1069    158506     19337     83149         0     41125    253156   3764264    182.11    119.96  --
479.56/120.33	c  N dy  1140    168734     19337     83149         0     26495    253156    808955    177.65    119.87  --
496.34/124.56	c  N dy  1216    179632     19337     83149         0     37392    253156   2743055    180.39    119.89  --
515.52/129.36	c  N dy  1296    191093     19337     83149         0     48851    253156   4757443    166.55    119.83  --
535.48/134.38	c  N dy  1381    203307     19337     83149         0     35138    253156   2125488    178.09    119.82  --
557.86/139.91	c  N dy  1473    216380     19337     83149         0     48210    253156   4391398    169.66    119.59  --
581.83/145.91	c  N dy  1570    230270     19337     83149         0     35138    253156   1876480    162.92    119.39  --
595.40/149.30	c  S st  1623    237759     19337     83149         0     42627    253156   3203822    178.95    119.39  --
596.22/149.54	c  S st  1623    238264     19337     83149         0     43132    253156   3271005    178.95    119.39  --
596.22/149.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
596.22/149.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
597.79/149.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.0M T:  1.43
597.79/149.93	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
597.79/149.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
597.79/149.96	c Subs w/ non-existent bins:      0 time:  0.13 s
598.60/150.15	c bin-w-bin subsume rem            0 bins  time:  0.03 s
598.60/150.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
598.60/150.16	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.03 s
637.34/159.89	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.01
637.74/159.96	c lits-rem:         0  cl-subs:     1903  v-elim:    289  v-fix:    0  time: 39.12 s
637.74/159.96	c learnt bin added due to v-elim: 0
637.74/159.97	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
638.14/160.01	c vivif2 --  cl tried    41229 cl shrink        0 lits rem          0 time: 0.15
639.34/160.35	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 1.37
639.34/160.36	c calculated reachability. Time: 0.00
639.34/160.36	c  N dy  1623    238264     19337     83149         0     41229    253156   3148193    178.95    119.39  --
664.50/166.63	c  N dy  1730    253571     19337     83149         0     28555    253156    559141    173.61    119.36  --
689.27/172.87	c  N dy  1844    269887     19337     83149         0     44863    253156   3461918    195.80    119.38  --
718.04/180.02	c  N dy  1965    287238     19337     83149         0     33227    253156   1203708    173.96    119.51  --
748.00/187.53	c  N dy  2094    305679     19337     83149         0     51663    253156   4485894    182.33    119.52  --
780.77/195.74	c  N dy  2231    325227     19337     83149         0     41217    253156   2452211    178.28    119.53  --
815.92/204.50	c  N dy  2370    345228     19337     83149         0     61215    253156   6018677    177.07    119.59  --
836.27/209.62	c  S st  2455    357397     19337     83149         0     42393    253156   2406818    168.77    119.50  --
837.07/209.87	c  S st  2455    357900     19337     83149         0     42896    253156   2478913    168.77    119.50  --
837.07/209.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
837.07/209.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
838.67/210.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.5M T:  1.42
838.67/210.25	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.05 s
838.67/210.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
838.67/210.28	c Subs w/ non-existent bins:      0 time:  0.11 s
839.47/210.43	c bin-w-bin subsume rem            0 bins  time:  0.03 s
839.47/210.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
839.47/210.45	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
864.88/216.88	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.01
874.79/219.39	c Added 0 vars  tried: 80000 time: 9.95
874.79/219.39	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:    9.95
875.19/219.45	c lits-rem:         0  cl-subs:     2370  v-elim:    289  v-fix:    0  time: 35.73 s
875.19/219.45	c learnt bin added due to v-elim: 0
875.19/219.46	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
875.19/219.49	c vivif2 --  cl tried    40526 cl shrink        0 lits rem          0 time: 0.11
876.37/219.79	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 1.17
876.77/219.80	c calculated reachability. Time: 0.00
876.77/219.80	c  N dy  2455    357900     19337     83149         0     40526    253156   2380895    168.77    119.50  --
911.91/228.80	c  N dy  2596    377956     19337     83149         0     60581    253156   5885352    177.10    119.44  --
946.49/237.46	c  N dy  2737    398097     19337     83149         0     48725    253156   3377770    161.19    119.37  --
983.63/246.79	c  N dy  2877    418104     19337     83149         0     35731    253156    939169    170.16    119.35  --
1019.99/255.83	c  N dy  3017    438186     19337     83149         0     55811    253156   4464360    180.21    119.29  --
1056.33/264.97	c  N dy  3157    458211     19337     83149         0     41838    253156   1823888    180.33    119.23  --
1092.31/273.94	c  N dy  3297    478344     19337     83149         0     61964    253156   5424499    182.78    119.27  --
1126.63/282.53	c  N dy  3437    498394     19337     83149         0     47020    253156   2496282    163.55    119.23  --
1160.59/291.09	c  N dy  3577    518421     19337     83149         0     67044    253156   6052146    172.96    119.22  --
1192.97/299.19	c  S st  3707    536852     19337     83149         0     49479    253156   2782310    169.68    119.26  --
1194.14/299.42	c  S st  3707    537354     19337     83149         0     49981    253156   2849215    169.68    119.26  --
1194.14/299.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1194.14/299.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1195.74/299.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.8M T:  1.72
1195.74/299.88	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
1195.74/299.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1196.14/299.90	c Subs w/ non-existent bins:      0 time:  0.12 s
1196.54/300.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1196.54/300.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
1196.54/300.09	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
1232.10/308.96	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.01
1232.51/309.03	c lits-rem:         0  cl-subs:     2875  v-elim:    289  v-fix:    0  time: 35.70 s
1232.51/309.03	c learnt bin added due to v-elim: 0
1232.51/309.04	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
1232.51/309.07	c vivif2 --  cl tried    47106 cl shrink        0 lits rem          0 time: 0.13
1234.09/309.41	c asymm  cl-useful: 0/83149/83149 lits-rem:0 time: 1.34
1234.09/309.41	c calculated reachability. Time: 0.00
1234.09/309.41	c  N dy  3707    537354     19337     83149         0     47106    253156   2719765    169.68    119.26  --
1234.09/309.41	c  F st  3707    537354     19337     83149         0     47106    253156   2719765    169.68    119.26  --
1237.68/310.34	c Decided on dynamic restart strategy
1270.84/318.64	c  N dy  3838    557364     19337     83149         0     67115    253156   6386607    177.63    119.33  --
1306.79/327.66	c  N dy  3978    577376     19337     83149         0     50127    253156   2822470    172.93    119.37  --
1345.13/337.26	c  N dy  4118    597483     19337     83149         0     70233    253156   6396573    171.80    119.38  --
1381.90/346.47	c  N dy  4258    617535     19337     83149         0     52285    253156   2984837    184.76    119.38  --
1421.45/356.35	c  N dy  4399    637659     19337     83149         0     72407    253156   6536701    175.23    119.37  --
1458.98/365.74	c  N dy  4539    657749     19337     83149         0     53502    253156   2999428    173.52    119.37  --
1499.32/375.82	c  N dy  4679    677875     19337     83149         0     73628    253156   6530582    169.21    119.33  --
1538.07/385.52	c  N dy  4820    697997     19337     83149         0     53752    253156   2887129    175.54    119.36  --
1577.22/395.37	c  N dy  4961    718127     19337     83149         0     73880    253156   6477641    178.55    119.36  --
1617.16/405.40	c  N dy  5101    738249     19337     83149         0     53003    253156   2618071    197.25    119.42  --
1655.11/414.81	c  N dy  5242    758372     19337     83149         0     73122    253156   6181389    169.93    119.44  --
1691.06/423.88	c  N dy  5382    778395     19337     83149         0     51144    253156   2060417    173.59    119.44  --
1726.61/432.77	c  N dy  5523    798528     19337     83149         0     71273    253156   5620031    173.07    119.44  --
1743.39/436.96	c  S st  5576    806031     19337     83149         0     78776    253156   6920567    183.82    119.42  --
1744.60/437.26	c  S st  5576    806533     19337     83149         0     79278    253156   6980397    183.82    119.42  --
1744.60/437.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
1744.60/437.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1747.79/438.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.9M T:  3.14
1747.79/438.08	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.05 s
1747.79/438.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1748.19/438.15	c Subs w/ non-existent bins:      0 time:  0.25 s
1749.78/438.57	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1749.78/438.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1749.78/438.59	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
2211.55/554.15	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.01
2239.91/561.27	c Added 0 vars  tried: 80000 time: 28.43
2239.91/561.27	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:   28.43
2240.71/561.40	c lits-rem:         2  cl-subs:     4779  v-elim:    289  v-fix:    0  time: 490.49 s
2240.71/561.40	c learnt bin added due to v-elim: 0
2240.71/561.41	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.03
2240.71/561.49	c vivif2 --  cl tried    74499 cl shrink        0 lits rem          0 time: 0.33
2242.71/561.96	c asymm  cl-useful: 0/65954/83149 lits-rem:0 time: 1.86
2242.71/561.96	c calculated reachability. Time: 0.00
2242.71/561.96	c  N dy  5576    806533     19337     83149         0     74499    253156   6660084    183.82    119.42  --
2279.45/571.19	c  N dy  5716    826565     19337     83149         0     51538    253156   1970235    192.65    119.41  --
2315.81/580.24	c  N dy  5856    846659     19337     83149         0     71630    253156   5470156    163.38    119.37  --
2355.75/590.29	c  N dy  5995    866748     19337     83149         0     47723    253156   1109976    163.24    119.41  --
2392.92/599.58	c  N dy  6136    886879     19337     83149         0     67851    253156   4754807    201.85    119.46  --
2434.85/610.07	c  N dy  6275    906891     19337     83149         0     87860    253156   8351102    183.30    119.49  --
2472.39/619.48	c  N dy  6414    926907     19337     83149         0     62878    253156   3651966    180.15    119.51  --
2513.13/629.69	c  N dy  6554    946967     19337     83149         0     82934    253156   7226348    171.06    119.55  --
2554.28/639.94	c  N dy  6694    967027     19337     83149         0     56999    253156   2461632    193.34    119.55  --
2594.64/650.10	c  N dy  6834    987067     19337     83149         0     77036    253156   5913265    186.46    119.51  --
2638.17/660.96	c  N dy  6975   1007217     19337     83149         0     50192    253156   1032862    188.31    119.51  --
2678.13/670.94	c  N dy  7115   1027336     19337     83149         0     70308    253156   4648278    172.03    119.53  --
2720.85/681.68	c  N dy  7255   1047347     19337     83149         0     90316    253156   8242462    171.52    119.55  --
2762.79/692.12	c  N dy  7395   1067470     19337     83149         0     62443    253156   3077968    181.34    119.58  --
2803.94/702.46	c  N dy  7535   1087548     19337     83149         0     82519    253156   6590068    170.87    119.56  --
2846.68/713.11	c  N dy  7675   1107578     19337     83149         0     53552    253156   1242762    181.56    119.52  --
2884.65/722.62	c  N dy  7815   1127624     19337     83149         0     73597    253156   4847160    181.72    119.55  --
2926.18/733.00	c  N dy  7955   1147740     19337     83149         0     93711    253156   8453286    192.68    119.59  --
2963.32/742.35	c  N dy  8095   1167754     19337     83149         0     63729    253156   2874168    172.30    119.57  --
3002.47/752.11	c  N dy  8235   1187779     19337     83149         0     83747    253156   6445957    190.50    119.59  --
3045.62/762.91	c  N dy  8375   1207852     19337     83149         0     52824    253156    776568    162.82    119.55  --
3049.20/763.85	c  S st  8389   1209800     19337     83149         0     54772    253156   1095079    159.77    119.54  --
3050.00/764.09	c  S st  8389   1210306     19337     83149         0     55278    253156   1164719    159.77    119.54  --
3050.40/764.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3050.40/764.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3052.40/764.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  8.1M T:  2.05
3052.40/764.63	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.04 s
3052.40/764.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3052.40/764.65	c Subs w/ non-existent bins:      0 time:  0.07 s
3052.79/764.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
3052.79/764.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
3052.79/764.75	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s
3063.98/767.50	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
3063.98/767.56	c lits-rem:         2  cl-subs:     3468  v-elim:    289  v-fix:    0  time: 11.20 s
3063.98/767.56	c learnt bin added due to v-elim: 0
3063.98/767.56	c vivif2 --  cl tried    83149 cl shrink        0 lits rem          0 time: 0.04
3063.98/767.58	c vivif2 --  cl tried    51810 cl shrink        0 lits rem          0 time: 0.07
3064.38/767.65	c asymm  cl-useful: 0/17195/83149 lits-rem:0 time: 0.26
3064.38/767.65	c calculated reachability. Time: 0.01
3064.38/767.65	c  N dy  8389   1210306     19337     83149         0     51810    253156   1108983    159.77    119.54  --
3101.93/777.08	c  N dy  8529   1230338     19337     83149         0     71840    253156   4612817    170.07    119.51  --
3145.07/787.85	c  N dy  8669   1250355     19337     83149         0     91855    253156   8194960    189.55    119.53  --
3188.61/798.79	c  N dy  8810   1270484     19337     83149         0     59990    253156   1880104    181.56    119.54  --
3229.76/809.04	c  N dy  8950   1290515     19337     83149         0     80020    253156   5492385    161.88    119.57  --
3276.12/820.63	c  N dy  9090   1310634     19337     83149         0    100136    253156   9109208    175.90    119.59  --
3317.65/831.09	c  N dy  9231   1330731     19337     83149         0     67236    253156   3000276    169.61    119.58  --
3361.98/842.15	c  N dy  9371   1350840     19337     83149         0     87340    253156   6622091    174.26    119.60  --
3408.72/853.87	c  N dy  9510   1370898     19337     83149         0    107394    253156  10213527    172.77    119.61  --
3449.86/864.17	c  N dy  9650   1390992     19337     83149         0     73494    253156   4046081    184.57    119.64  --
3495.00/875.41	c  N dy  9790   1411118     19337     83149         0     93616    253156   7634046    190.28    119.65  --
3541.73/887.17	c  N dy  9931   1431269     19337     83149         0     58771    253156   1164608    175.81    119.63  --
3582.88/897.50	c  N dy 10071   1451283     19337     83149         0     78782    253156   4778064    186.49    119.67  --
3629.62/909.17	c  N dy 10211   1471379     19337     83149         0     98874    253156   8420198    174.72    119.69  --
3672.35/919.90	c  N dy 10351   1491433     19337     83149         0     62934    253156   1782656    167.31    119.71  --
3710.31/929.37	c  N dy 10492   1511553     19337     83149         0     83051    253156   5302586    176.21    119.68  --
3752.25/939.86	c  N dy 10632   1531633     19337     83149         0    103128    253156   8835996    181.53    119.67  --
3794.61/950.44	c  N dy 10773   1551744     19337     83149         0     66245    253156   2159527    183.58    119.68  --
3834.54/960.44	c  N dy 10914   1571805     19337     83149         0     86305    253156   5694338    176.12    119.68  --
3879.28/971.65	c  N dy 11053   1591836     19337     83149         0    106335    253156   9254810    181.97    119.69  --
3922.82/982.56	c  N dy 11193   1611971     19337     83149         0     68476    253156   2385098    169.64    119.71  --
3965.59/993.20	c  N dy 11333   1632108     19337     83149         0     88610    253156   5972383    173.64    119.70  --
4012.70/1005.00	c  N dy 11474   1652234     19337     83149         0    108733    253156   9469860    156.42    119.69  --
4056.24/1015.98	c  N dy 11614   1672245     19337     83149         0     69749    253156   2390841    166.85    119.67  --
4099.38/1026.72	c  N dy 11754   1692248     19337     83149         0     89750    253156   6004968    176.84    119.70  --
4145.73/1038.33	c  S st 11881   1710306     19337     83149         0    107806    253156   9151831    161.51    119.68  --
4147.31/1038.74	c  S st 11881   1710810     19337     83149         0    108310    253156   9221303    161.51    119.68  --
4147.31/1038.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4147.31/1038.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4152.50/1040.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 15.0M T:  5.31
4152.90/1040.10	c Calc non-exist non-lernt bins v-fix:     0 done:  19337 time:  0.05 s
4152.90/1040.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4152.90/1040.18	c Subs w/ non-existent bins:      0 time:  0.33 s
4155.30/1040.74	c bin-w-bin subsume rem            0 bins  time:  0.03 s
4155.30/1040.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
4155.30/1040.76	c Removed useless bin:       0  fixed:     0  bprops:   0.08M  time:  0.04 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172605-1304078559/watcher-3172605-1304078559 -o /tmp/evaluation-result-3172605-1304078559/solver-3172605-1304078559 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172605-1304078559.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.92 7.86 7.90 2/172 11167
/proc/meminfo: memFree=26622492/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=24080 CPUtime=0 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 1282 0 0 0 0 0 0 0 21 0 1 0 519454598 24657920 1222 33554432000 4194304 4797429 140736781863760 18446744073709551615 4366107 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11167/statm: 6020 1224 341 148 0 949 0

[startup+0.032207 s]
/proc/loadavg: 6.92 7.86 7.90 2/172 11167
/proc/meminfo: memFree=26622492/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=73140 CPUtime=0.02 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 7504 0 0 0 2 0 0 0 21 0 1 0 519454598 74895360 6063 33554432000 4194304 4797429 140736781863760 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11167/statm: 18285 6069 348 148 0 13214 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 73140

[startup+0.100199 s]
/proc/loadavg: 6.92 7.86 7.90 2/172 11167
/proc/meminfo: memFree=26622492/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=92576 CPUtime=0.09 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 13208 0 0 0 7 2 0 0 21 0 1 0 519454598 94797824 9859 33554432000 4194304 4797429 140736781863760 18446744073709551615 4358603 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11167/statm: 23144 9859 348 148 0 18073 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 92576

[startup+0.300135 s]
/proc/loadavg: 6.92 7.86 7.90 2/172 11167
/proc/meminfo: memFree=26622492/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=697544 CPUtime=0.47 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 18831 0 0 0 45 2 0 0 18 0 4 0 519454598 714285056 15258 33554432000 4194304 4797429 140736781863760 18446744073709551615 4620756 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 174386 15258 376 148 0 169315 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 697544

[startup+0.701062 s]
/proc/loadavg: 6.92 7.86 7.90 2/172 11167
/proc/meminfo: memFree=26622492/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=808908 CPUtime=2.03 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 26744 0 0 0 190 13 0 0 18 0 4 0 519454598 828321792 21390 33554432000 4194304 4797429 140736781863760 18446744073709551615 4298560 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 202227 21390 402 148 0 197156 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 808908

[startup+1.50092 s]
/proc/loadavg: 6.92 7.86 7.90 9/182 11180
/proc/meminfo: memFree=26391268/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=809040 CPUtime=5.22 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 30131 0 0 0 508 14 0 0 19 0 4 0 519454598 828456960 24474 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 202260 24474 412 148 0 197189 0
[pid=11167/tid=11175] ppid=11165 vsize=809040 CPUtime=1.24 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 3075 0 0 0 122 2 0 0 19 0 4 0 519454622 828456960 24474 33554432000 4194304 4797429 140736781863760 18446744073709551615 4331623 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=809040 CPUtime=1.23 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 3078 0 0 0 121 2 0 0 19 0 4 0 519454622 828456960 24474 33554432000 4194304 4797429 140736781863760 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=809040 CPUtime=1.24 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 3097 0 0 0 122 2 0 0 19 0 4 0 519454622 828456960 24474 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424393 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 809040

[startup+3.10065 s]
/proc/loadavg: 6.92 7.86 7.90 9/182 11180
/proc/meminfo: memFree=26348612/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=813916 CPUtime=11.61 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 35089 0 0 0 1146 15 0 0 23 0 4 0 519454598 833449984 29414 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424393 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 203479 29414 413 148 0 198408 0
[pid=11167/tid=11175] ppid=11165 vsize=813916 CPUtime=2.84 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 4691 0 0 0 282 2 0 0 23 0 4 0 519454622 833449984 29415 33554432000 4194304 4797429 140736781863760 18446744073709551615 4422865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=813916 CPUtime=2.83 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 4191 0 0 0 280 3 0 0 23 0 4 0 519454622 833449984 29415 33554432000 4194304 4797429 140736781863760 18446744073709551615 4258872 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=813916 CPUtime=2.84 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 4172 0 0 0 281 3 0 0 23 0 4 0 519454622 833449984 29415 33554432000 4194304 4797429 140736781863760 18446744073709551615 242970246923 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 813916

[startup+6.3011 s]
/proc/loadavg: 7.01 7.87 7.90 11/182 11180
/proc/meminfo: memFree=26269312/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=824476 CPUtime=24.32 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 46122 0 0 0 2400 32 0 0 20 0 4 0 519454598 844263424 40429 33554432000 4194304 4797429 140736781863760 18446744073709551615 4379204 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 206119 40429 416 148 0 201048 0
[pid=11167/tid=11175] ppid=11165 vsize=824476 CPUtime=6.01 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 7886 0 0 0 596 5 0 0 20 0 4 0 519454622 844263424 40429 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=824476 CPUtime=5.98 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 6765 0 0 0 589 9 0 0 20 0 4 0 519454622 844263424 40429 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=824476 CPUtime=6.02 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 7185 0 0 0 594 8 0 0 20 0 4 0 519454622 844263424 40429 33554432000 4194304 4797429 140736781863760 18446744073709551615 4526328 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.32
Current children cumulated vsize (KiB) 824476

[startup+12.701 s]
/proc/loadavg: 7.49 7.95 7.92 9/182 11180
/proc/meminfo: memFree=26197848/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=833104 CPUtime=49.86 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 54111 0 0 0 4949 37 0 0 25 0 4 0 519454598 853098496 44381 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524184 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 208276 44381 423 148 0 203205 0
[pid=11167/tid=11175] ppid=11165 vsize=833104 CPUtime=12.41 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 8506 0 0 0 1235 6 0 0 25 0 4 0 519454622 853098496 44381 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=833104 CPUtime=12.33 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 7024 0 0 0 1223 10 0 0 25 0 4 0 519454622 853098496 44381 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=833104 CPUtime=12.42 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 7614 0 0 0 1233 9 0 0 25 0 4 0 519454622 853098496 44381 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 49.86
Current children cumulated vsize (KiB) 833104

[startup+25.5008 s]
/proc/loadavg: 7.60 7.95 7.92 9/182 11181
/proc/meminfo: memFree=26166848/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=839332 CPUtime=100.98 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 62466 0 0 0 10057 41 0 0 25 0 4 0 519454598 859475968 47390 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 209833 47390 419 148 0 204762 0
[pid=11167/tid=11175] ppid=11165 vsize=839332 CPUtime=25.21 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 9656 0 0 0 2515 6 0 0 25 0 4 0 519454622 859475968 47390 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=839332 CPUtime=25.05 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 8292 0 0 0 2495 10 0 0 25 0 4 0 519454622 859475968 47390 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=839332 CPUtime=25.22 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 8693 0 0 0 2513 9 0 0 25 0 4 0 519454622 859475968 47390 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 100.98
Current children cumulated vsize (KiB) 839332

[startup+51.1004 s]
/proc/loadavg: 7.73 7.95 7.92 9/182 11181
/proc/meminfo: memFree=26106048/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=852080 CPUtime=203.17 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 80035 0 0 0 20261 56 0 0 25 0 4 0 519454598 872529920 54023 33554432000 4194304 4797429 140736781863760 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 213020 54023 420 148 0 207949 0
[pid=11167/tid=11175] ppid=11165 vsize=852080 CPUtime=50.81 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 11342 0 0 0 5074 7 0 0 25 0 4 0 519454622 872529920 54023 33554432000 4194304 4797429 140736781863760 18446744073709551615 4528077 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=852080 CPUtime=50.49 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 9959 0 0 0 5037 12 0 0 25 0 4 0 519454622 872529920 54023 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=852080 CPUtime=50.81 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 10296 0 0 0 5072 9 0 0 25 0 4 0 519454622 872529920 54023 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.17
Current children cumulated vsize (KiB) 852080

[startup+102.307 s]
/proc/loadavg: 7.93 7.97 7.93 9/182 11183
/proc/meminfo: memFree=26051724/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=869952 CPUtime=407.68 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 108134 0 0 0 40699 69 0 0 25 0 4 0 519454598 890830848 60121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 217488 60121 420 148 0 212417 0
[pid=11167/tid=11175] ppid=11165 vsize=869952 CPUtime=102.02 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 15061 0 0 0 10193 9 0 0 25 0 4 0 519454622 890830848 60121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=869952 CPUtime=101.39 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 13852 0 0 0 10126 13 0 0 25 0 4 0 519454622 890830848 60121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=869952 CPUtime=102.02 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 14534 0 0 0 10191 11 0 0 25 0 4 0 519454622 890830848 60121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 407.68
Current children cumulated vsize (KiB) 869952

[startup+162.3 s]
/proc/loadavg: 8.06 8.00 7.94 9/182 11184
/proc/meminfo: memFree=26026260/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=883660 CPUtime=647.33 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 139478 0 0 0 64647 86 0 0 25 0 4 0 519454598 904867840 62769 33554432000 4194304 4797429 140736781863760 18446744073709551615 4331787 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 220915 62769 420 148 0 215844 0
[pid=11167/tid=11175] ppid=11165 vsize=883660 CPUtime=162.02 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 18954 0 0 0 16191 11 0 0 25 0 4 0 519454622 904867840 62769 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=883660 CPUtime=161.05 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 17271 0 0 0 16091 14 0 0 25 0 4 0 519454622 904867840 62769 33554432000 4194304 4797429 140736781863760 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=883660 CPUtime=162.01 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 18580 0 0 0 16188 13 0 0 25 0 4 0 519454622 904867840 62769 33554432000 4194304 4797429 140736781863760 18446744073709551615 4509104 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 647.33
Current children cumulated vsize (KiB) 883660

[startup+222.301 s]
/proc/loadavg: 8.21 8.05 7.96 10/183 11189
/proc/meminfo: memFree=25962988/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=890596 CPUtime=886.64 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 172950 0 0 0 88558 106 0 0 25 0 4 0 519454598 911970304 69862 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 222649 69862 420 148 0 217578 0
[pid=11167/tid=11175] ppid=11165 vsize=890596 CPUtime=222.01 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 21235 0 0 0 22189 12 0 0 25 0 4 0 519454622 911970304 69862 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=890596 CPUtime=220.35 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 19594 0 0 0 22018 17 0 0 25 0 4 0 519454622 911970304 69862 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=890596 CPUtime=222 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 20520 0 0 0 22187 13 0 0 25 0 4 0 519454622 911970304 69862 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 886.64
Current children cumulated vsize (KiB) 890596

[startup+282.301 s]

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

[pid=11167] ppid=11165 vsize=933176 CPUtime=2803.55 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 375385 0 0 0 280121 234 0 0 25 0 4 0 519454598 955572224 91512 33554432000 4194304 4797429 140736781863760 18446744073709551615 4425039 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 233294 91512 420 148 0 228223 0
[pid=11167/tid=11175] ppid=11165 vsize=933176 CPUtime=702.02 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 37736 0 0 0 70180 22 0 0 25 0 4 0 519454622 955572224 91512 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=933176 CPUtime=697.26 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 36146 0 0 0 69701 25 0 0 25 0 4 0 519454622 955572224 91512 33554432000 4194304 4797429 140736781863760 18446744073709551615 4427256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=933176 CPUtime=701.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 37146 0 0 0 70177 22 0 0 25 0 4 0 519454622 955572224 91512 33554432000 4194304 4797429 140736781863760 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2803.55
Current children cumulated vsize (KiB) 933176

[startup+762.307 s]
/proc/loadavg: 8.13 8.08 8.01 9/182 11203
/proc/meminfo: memFree=25829864/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=941828 CPUtime=3043.23 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 410981 0 0 0 304066 257 0 0 25 0 4 0 519454598 964431872 83499 33554432000 4194304 4797429 140736781863760 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 235457 83499 420 148 0 230386 0
[pid=11167/tid=11175] ppid=11165 vsize=941828 CPUtime=762.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 41599 0 0 0 76178 25 0 0 25 0 4 0 519454622 964431872 83499 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=941828 CPUtime=756.92 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 39316 0 0 0 75666 26 0 0 25 0 4 0 519454622 964431872 83499 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=941828 CPUtime=762 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 41022 0 0 0 76176 24 0 0 25 0 4 0 519454622 964431872 83499 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524495 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.23
Current children cumulated vsize (KiB) 941828

[startup+822.301 s]
/proc/loadavg: 8.20 8.11 8.02 9/182 11205
/proc/meminfo: memFree=25769084/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=946044 CPUtime=3282.89 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 435376 0 0 0 328014 275 0 0 25 0 4 0 519454598 968749056 96365 33554432000 4194304 4797429 140736781863760 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 236511 96365 420 148 0 231440 0
[pid=11167/tid=11175] ppid=11165 vsize=946044 CPUtime=822.02 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 43108 0 0 0 82177 25 0 0 25 0 4 0 519454622 968749056 96365 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=946044 CPUtime=816.6 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 41353 0 0 0 81633 27 0 0 25 0 4 0 519454622 968749056 96365 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=946044 CPUtime=822 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 41858 0 0 0 82175 25 0 0 25 0 4 0 519454622 968749056 96365 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3282.89
Current children cumulated vsize (KiB) 946044

[startup+882.301 s]
/proc/loadavg: 8.07 8.09 8.02 9/182 11206
/proc/meminfo: memFree=25746752/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=946072 CPUtime=3522.57 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 459604 0 0 0 351964 293 0 0 25 0 4 0 519454598 968777728 98856 33554432000 4194304 4797429 140736781863760 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 236518 98856 420 148 0 231447 0
[pid=11167/tid=11175] ppid=11165 vsize=946072 CPUtime=882.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 43953 0 0 0 88177 26 0 0 25 0 4 0 519454622 968777728 98856 33554432000 4194304 4797429 140736781863760 18446744073709551615 4389738 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=946072 CPUtime=876.26 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 42137 0 0 0 87599 27 0 0 25 0 4 0 519454622 968777728 98856 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=946072 CPUtime=881.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 43019 0 0 0 88174 25 0 0 25 0 4 0 519454622 968777728 98856 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.57
Current children cumulated vsize (KiB) 946072

[startup+942.301 s]
/proc/loadavg: 8.09 8.09 8.02 9/182 11208
/proc/meminfo: memFree=25798300/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=951464 CPUtime=3762.24 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 490518 0 0 0 375911 313 0 0 25 0 4 0 519454598 974299136 94121 33554432000 4194304 4797429 140736781863760 18446744073709551615 242970246923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 237866 94121 420 148 0 232795 0
[pid=11167/tid=11175] ppid=11165 vsize=951464 CPUtime=942.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 46770 0 0 0 94176 27 0 0 25 0 4 0 519454622 974299136 94121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=951464 CPUtime=935.95 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 44616 0 0 0 93566 29 0 0 25 0 4 0 519454622 974299136 94121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=951464 CPUtime=941.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 45799 0 0 0 94172 27 0 0 25 0 4 0 519454622 974299136 94121 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.24
Current children cumulated vsize (KiB) 951464

[startup+1002.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/182 11210
/proc/meminfo: memFree=25763284/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=953092 CPUtime=4001.91 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 517187 0 0 0 399861 330 0 0 25 0 4 0 519454598 975966208 97926 33554432000 4194304 4797429 140736781863760 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 238273 97926 420 148 0 233202 0
[pid=11167/tid=11175] ppid=11165 vsize=953092 CPUtime=1002.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 48247 0 0 0 100175 28 0 0 25 0 4 0 519454622 975966208 97926 33554432000 4194304 4797429 140736781863760 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=953092 CPUtime=995.61 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 46393 0 0 0 99532 29 0 0 25 0 4 0 519454622 975966208 97926 33554432000 4194304 4797429 140736781863760 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=953092 CPUtime=1001.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 47144 0 0 0 100172 27 0 0 25 0 4 0 519454622 975966208 97926 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4001.91
Current children cumulated vsize (KiB) 953092

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 8.01 9/182 11211
/proc/meminfo: memFree=25741564/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=953124 CPUtime=4241.59 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 534380 0 0 0 423819 340 0 0 25 0 4 0 519454598 975998976 103271 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 238281 103271 420 148 0 233210 0
[pid=11167/tid=11175] ppid=11165 vsize=953124 CPUtime=1062.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 49030 0 0 0 106175 28 0 0 25 0 4 0 519454622 975998976 103271 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=953124 CPUtime=1055.29 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 47117 0 0 0 105499 30 0 0 25 0 4 0 519454622 975998976 103271 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=953124 CPUtime=1061.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 47951 0 0 0 106171 28 0 0 25 0 4 0 519454622 975998976 103271 33554432000 4194304 4797429 140736781863760 18446744073709551615 4567809 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.59
Current children cumulated vsize (KiB) 953124

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 8.02 9/182 11213
/proc/meminfo: memFree=25740060/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=954244 CPUtime=4481.26 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 536801 0 0 0 447785 341 0 0 25 0 4 0 519454598 977145856 105586 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 238561 105586 420 148 0 233490 0
[pid=11167/tid=11175] ppid=11165 vsize=954244 CPUtime=1122.03 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 49887 0 0 0 112174 29 0 0 25 0 4 0 519454622 977145856 105586 33554432000 4194304 4797429 140736781863760 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=954244 CPUtime=1114.96 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 47862 0 0 0 111466 30 0 0 25 0 4 0 519454622 977145856 105586 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=954244 CPUtime=1121.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 48770 0 0 0 112171 28 0 0 25 0 4 0 519454622 977145856 105586 33554432000 4194304 4797429 140736781863760 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.26
Current children cumulated vsize (KiB) 954244

[startup+1182.3 s]
/proc/loadavg: 8.05 8.08 8.01 9/182 11214
/proc/meminfo: memFree=25758408/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=971516 CPUtime=4720.93 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 547317 0 0 0 471747 346 0 0 25 0 4 0 519454598 994832384 101786 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 242879 101786 420 148 0 237808 0
[pid=11167/tid=11175] ppid=11165 vsize=971516 CPUtime=1182.04 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 53783 0 0 0 118173 31 0 0 25 0 4 0 519454622 994832384 101786 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=971516 CPUtime=1174.63 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 50462 0 0 0 117432 31 0 0 25 0 4 0 519454622 994832384 101786 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=971516 CPUtime=1181.99 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 52790 0 0 0 118169 30 0 0 25 0 4 0 519454622 994832384 101786 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4720.93
Current children cumulated vsize (KiB) 971516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.04 8.07 8.01 9/182 11215
/proc/meminfo: memFree=25717484/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=971516 CPUtime=4800.05 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 549080 0 0 0 479658 347 0 0 25 0 4 0 519454598 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 242879 103397 420 148 0 237808 0
[pid=11167/tid=11175] ppid=11165 vsize=971516 CPUtime=1201.84 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 54425 0 0 0 120153 31 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4547209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=971516 CPUtime=1194.31 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 51137 0 0 0 119400 31 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=971516 CPUtime=1201.79 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 53236 0 0 0 120149 30 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 971516

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

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

[startup+1202.1 s]
/proc/loadavg: 8.04 8.07 8.01 9/182 11215
/proc/meminfo: memFree=25717484/32951132 swapFree=67111364/67111528
[pid=11167] ppid=11165 vsize=971516 CPUtime=4800.05 cores=1,3,5,7
/proc/11167/stat : 11167 (techdemo) R 11165 11167 10537 0 -1 4202496 549080 0 0 0 479658 347 0 0 25 0 4 0 519454598 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11167/statm: 242879 103397 420 148 0 237808 0
[pid=11167/tid=11175] ppid=11165 vsize=971516 CPUtime=1201.84 cores=1,3,5,7
/proc/11167/task/11175/stat : 11175 (techdemo) R 11165 11167 10537 0 -1 4202560 54425 0 0 0 120153 31 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4547209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11167/tid=11176] ppid=11165 vsize=971516 CPUtime=1194.31 cores=1,3,5,7
/proc/11167/task/11176/stat : 11176 (techdemo) R 11165 11167 10537 0 -1 4202560 51137 0 0 0 119400 31 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=11167/tid=11177] ppid=11165 vsize=971516 CPUtime=1201.79 cores=1,3,5,7
/proc/11167/task/11177/stat : 11177 (techdemo) R 11165 11167 10537 0 -1 4202560 53236 0 0 0 120149 30 0 0 25 0 4 0 519454622 994832384 103397 33554432000 4194304 4797429 140736781863760 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 971516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.13
CPU time (s): 4800.09
CPU user time (s): 4796.6
CPU system time (s): 3.49147
CPU usage (%): 399.298
Max. virtual memory (cumulated for all children) (KiB): 1073220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.6
system time used= 3.49147
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 549080
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= 23389
involuntary context switches= 33004

runsolver used 1.90171 second user time and 4.68829 second system time

The end

Launcher Data 

Begin job on node128 at 2011-04-29 14:02:39
IDJOB=3172605
IDBENCH=82623
IDSOLVER=1584
FILE ID=node128/3172605-1304078559
RUNJOBID= node128-1304078559-11154
PBS_JOBID= 13170490
Free space on /tmp= 66972 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172605-1304078559/watcher-3172605-1304078559 -o /tmp/evaluation-result-3172605-1304078559/solver-3172605-1304078559 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172605-1304078559.cnf

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

MD5SUM BENCH= c8a628789219fd1293880c95bfb25038
RANDOM SEED=1743736953

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      26622648 kB
Buffers:       1276476 kB
Cached:        4397472 kB
SwapCached:        160 kB
Active:         333364 kB
Inactive:      5409264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      26622648 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12196 kB
Writeback:           8 kB
AnonPages:       68116 kB
Mapped:          14780 kB
Slab:           523872 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   192060 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66956 MiB
End job on node128 at 2011-04-29 14:22:44