Trace number 3172558

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.19 1201.93

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
MD5SUM5f909806405bfbe25b7db5afcabe8fc9
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark87.7936
Satisfiable
(Un)Satisfiability was proved
Number of variables24999
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
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-3172558-1304064922.cnf'
0.00/0.00	c -- header says num vars:          24999
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      24999
0.29/0.30	c Parsing time:  0.28 s
0.29/0.39	c  N st     0         0     24999    105000         0         0    315000         0   no data   no data  --
0.29/0.39	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.32
1.06/0.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.32
1.06/0.50	c Calc non-exist non-lernt bins v-fix:     0 done:  24999 time:  0.04 s
1.06/0.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.06/0.50	c Subs w/ non-existent bins:      0 time:  0.02 s
1.06/0.58	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.97/0.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.97/0.75	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2.57/0.93	c lits-rem:         0  cl-subs:        0  v-elim:   1466  v-fix:    0  time:  1.18 s
2.57/0.93	c learnt bin added due to v-elim: 0
4.57/1.49	c Finding binary XORs  T:     0.02 s  found:       0
4.57/1.49	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
4.57/1.49	c calculated reachability. Time: 0.00
4.57/1.49	c Calc default polars -  time:   0.03 s pos:   10931 undec:    2995 neg:   11073
4.57/1.49	c =========================================================================================
4.57/1.49	c types(t): F = full restart, N = normal restart
4.57/1.49	c types(t): S = simplification begin/end, E = solution found
4.57/1.49	c restart types(rt): st = static, dy = dynamic
4.57/1.49	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
4.57/1.49	c  B st     0         0     24158    103926         0         0    316561         0   no data   no data  --
5.37/1.68	c Decided on dynamic restart strategy
8.18/2.39	c  N dy    20      4122     24158    103926         0      4122    316561    867219    185.20    136.93  --
14.55/3.91	c  N dy    49      8229     24158    103926         0      8227    316561   1605242    184.68    130.83  --
20.14/5.34	c  N dy    78     12308     24158    103926         0     12306    316561   2351464    181.69    129.52  --
26.47/6.90	c  N dy   107     16395     24158    103926         0     16393    316561   3133845    195.38    130.16  --
33.26/8.60	c  N dy   135     20439     24158    103926         0     10437    316561    593508    179.62    129.74  --
39.65/10.29	c  N dy   164     24557     24158    103926         0     14554    316561   1357128    166.00    129.43  --
46.04/11.88	c  N dy   193     28686     24158    103926         0     18683    316561   2142233    198.74    129.48  --
49.24/12.61	c  S st   203     30000     24158    103926         0     19997    316561   2422409    212.76    129.89  --
50.04/12.81	c  S st   203     30500     24158    103926         0     20497    316561   2494458    212.76    129.89  --
50.04/12.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.04/12.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.24/13.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.11
51.24/13.11	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.04 s
51.24/13.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.24/13.14	c Subs w/ non-existent bins:      0 time:  0.11 s
52.06/13.36	c bin-w-bin subsume rem            0 bins  time:  0.03 s
52.06/13.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.06/13.38	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
77.20/19.63	c lits-rem:         0  cl-subs:     1302  v-elim:    378  v-fix:    0  time: 24.96 s
77.20/19.63	c learnt bin added due to v-elim: 0
77.20/19.64	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.05
77.20/19.67	c vivif2 --  cl tried    19195 cl shrink        0 lits rem          0 time: 0.12
78.42/19.94	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.07
78.42/19.95	c calculated reachability. Time: 0.00
78.42/19.95	c  N dy   203     30500     24158    103926         0     19195    316561   2389775    212.76    129.89  --
78.42/19.95	c  F st   203     30500     24158    103926         0     19195    316561   2389775    212.76    129.89  --
81.60/20.78	c Decided on dynamic restart strategy
85.19/21.63	c  N dy   223     34563     24158    103926         0     23257    316561   3216404    187.31    130.55  --
92.38/23.48	c  N dy   251     38626     24158    103926         0     27320    316561   4009505    193.18    130.80  --
99.98/25.38	c  N dy   280     42748     24158    103926         0     15944    316561    749443    220.48    131.04  --
105.16/26.64	c  S st   301     45753     24158    103926         0     18949    316561   1322939    184.12    130.97  --
105.97/26.84	c  S st   301     46257     24158    103926         0     19453    316561   1395593    184.12    130.97  --
105.97/26.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
105.97/26.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
106.76/27.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.87
106.76/27.08	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.04 s
106.76/27.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
107.16/27.10	c Subs w/ non-existent bins:      0 time:  0.08 s
107.56/27.20	c bin-w-bin subsume rem            0 bins  time:  0.04 s
107.56/27.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
107.56/27.22	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
121.14/30.64	c lits-rem:         0  cl-subs:      567  v-elim:    378  v-fix:    0  time: 13.67 s
121.14/30.64	c learnt bin added due to v-elim: 0
121.14/30.66	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.06
121.14/30.67	c vivif2 --  cl tried    18886 cl shrink        0 lits rem          0 time: 0.07
121.96/30.90	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 0.90
122.36/30.91	c calculated reachability. Time: 0.00
122.36/30.91	c  N dy   301     46257     24158    103926         0     18886    316561   1359820    184.12    130.97  --
129.53/32.70	c  N dy   330     50375     24158    103926         0     23002    316561   2148793    196.28    130.92  --
136.32/34.49	c  N dy   359     54504     24158    103926         0     27131    316561   2930891    180.45    130.83  --
143.12/36.15	c  N dy   388     58611     24158    103926         0     31238    316561   3688217    166.92    130.48  --
150.70/38.05	c  N dy   417     62745     24158    103926         0     35372    316561   4445902    181.98    130.14  --
158.29/39.94	c  N dy   445     66757     24158    103926         0     20636    316561   1000300    178.16    130.45  --
163.48/41.26	c  S st   464     69387     24158    103926         0     23264    316561   1508092    187.18    130.49  --
164.28/41.49	c  S st   464     69891     24158    103926         0     23768    316561   1581456    187.18    130.49  --
164.68/41.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
164.68/41.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.48/41.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  1.01
165.48/41.77	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
165.48/41.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
165.89/41.80	c Subs w/ non-existent bins:      0 time:  0.10 s
166.30/41.93	c bin-w-bin subsume rem            0 bins  time:  0.03 s
166.30/41.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
166.30/41.95	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
180.26/45.42	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
188.28/47.44	c Added 0 vars  tried: 80000 time: 8.04
188.28/47.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:    8.04
188.28/47.49	c lits-rem:         1  cl-subs:      772  v-elim:    378  v-fix:    0  time: 22.14 s
188.28/47.49	c learnt bin added due to v-elim: 0
188.65/47.51	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.05
188.65/47.53	c vivif2 --  cl tried    22996 cl shrink        0 lits rem          0 time: 0.08
189.45/47.78	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 0.98
189.45/47.78	c calculated reachability. Time: 0.00
189.45/47.78	c  N dy   464     69891     24158    103926         0     22996    316561   1529747    187.18    130.49  --
189.45/47.78	c  F st   464     69891     24158    103926         0     22996    316561   1529747    187.18    130.49  --
193.44/48.73	c Decided on dynamic restart strategy
197.83/49.88	c  N dy   487     74400     24158    103926         0     27505    316561   2441847    207.70    130.95  --
207.43/52.21	c  N dy   521     79228     24158    103926         0     32333    316561   3398518    195.38    131.16  --
217.01/54.66	c  N dy   558     84414     24158    103926         0     37519    316561   4330704    178.70    130.71  --
226.59/57.00	c  N dy   596     89892     24158    103926         0     22123    316561    842682    169.70    130.83  --
236.99/59.68	c  N dy   637     95749     24158    103926         0     27978    316561   2003898    198.22    131.14  --
248.57/62.54	c  N dy   680    101858     24158    103926         0     34086    316561   3163018    192.95    130.98  --
255.76/64.34	c  S st   701    104837     24158    103926         0     37065    316561   3733519    188.41    130.98  --
256.96/64.60	c  S st   701    105344     24158    103926         0     37572    316561   3811368    188.41    130.98  --
256.96/64.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
256.96/64.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.58/65.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  1.54
258.58/65.02	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
258.58/65.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
258.58/65.06	c Subs w/ non-existent bins:      0 time:  0.17 s
259.75/65.35	c bin-w-bin subsume rem            0 bins  time:  0.04 s
259.75/65.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
259.75/65.37	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
349.64/87.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.02
350.04/87.98	c lits-rem:         0  cl-subs:     1393  v-elim:    378  v-fix:    0  time: 90.31 s
350.04/87.98	c learnt bin added due to v-elim: 0
350.04/87.99	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.04
350.45/88.04	c vivif2 --  cl tried    36179 cl shrink        0 lits rem          0 time: 0.19
352.03/88.42	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.52
352.03/88.43	c calculated reachability. Time: 0.01
352.03/88.43	c  N dy   701    105344     24158    103926         0     36179    316561   3668270    188.41    130.98  --
364.41/91.50	c  N dy   748    112105     24158    103926         0     42938    316561   5028579    198.74    131.32  --
376.40/94.58	c  N dy   799    119344     24158    103926         0     27743    316561   1588908    186.32    131.27  --
390.77/98.11	c  N dy   853    127078     24158    103926         0     35476    316561   3086654    206.10    131.35  --
405.16/101.73	c  N dy   911    135303     24158    103926         0     43700    316561   4668860    173.71    131.42  --
421.16/105.79	c  N dy   972    143949     24158    103926         0     28630    316561   1526728    215.62    131.54  --
437.52/109.83	c  N dy  1037    153169     24158    103926         0     37848    316561   3253077    178.37    131.38  --
447.90/112.44	c  S st  1072    158016     24158    103926         0     42695    316561   4161844    195.71    131.24  --
449.10/112.71	c  S st  1072    158518     24158    103926         0     43197    316561   4233639    195.71    131.24  --
449.10/112.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
449.10/112.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
450.70/113.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.70
450.70/113.16	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
450.70/113.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
451.10/113.21	c Subs w/ non-existent bins:      0 time:  0.18 s
451.92/113.48	c bin-w-bin subsume rem            0 bins  time:  0.04 s
451.92/113.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
452.29/113.50	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
578.13/145.06	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.02
578.53/145.16	c lits-rem:         0  cl-subs:     1832  v-elim:    378  v-fix:    0  time: 126.44 s
578.53/145.16	c learnt bin added due to v-elim: 0
578.53/145.17	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.05
578.94/145.22	c vivif2 --  cl tried    41365 cl shrink        0 lits rem          0 time: 0.21
580.52/145.65	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.72
580.52/145.66	c calculated reachability. Time: 0.01
580.52/145.66	c  N dy  1072    158518     24158    103926         0     41365    316561   4060941    195.71    131.24  --
600.91/150.73	c  N dy  1144    168727     24158    103926         0     26715    316561    881698    189.86    131.30  --
620.47/155.62	c  N dy  1220    179538     24158    103926         0     37526    316561   2957047    183.76    131.31  --
643.64/161.43	c  N dy  1301    191049     24158    103926         0     49035    316561   5193390    192.22    131.32  --
666.41/167.16	c  N dy  1387    203373     24158    103926         0     35431    316561   2302811    173.29    131.20  --
691.97/173.58	c  N dy  1478    216423     24158    103926         0     48480    316561   4791482    193.59    131.15  --
719.13/180.35	c  N dy  1575    230326     24158    103926         0     35421    316561   2111774    200.62    131.20  --
734.71/184.21	c  S st  1628    237778     24158    103926         0     42872    316561   3508711    177.43    131.12  --
735.51/184.48	c  S st  1628    238279     24158    103926         0     43373    316561   3580789    177.43    131.12  --
735.91/184.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
735.91/184.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
737.53/184.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.65
737.53/184.92	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
737.53/184.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
737.53/184.96	c Subs w/ non-existent bins:      0 time:  0.16 s
738.71/185.20	c bin-w-bin subsume rem            0 bins  time:  0.04 s
738.71/185.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
738.71/185.22	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
817.80/205.03	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.02
818.20/205.11	c lits-rem:         0  cl-subs:     1981  v-elim:    378  v-fix:    0  time: 79.46 s
818.20/205.11	c learnt bin added due to v-elim: 0
818.20/205.13	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.04
818.20/205.17	c vivif2 --  cl tried    41392 cl shrink        0 lits rem          0 time: 0.18
819.80/205.55	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.54
819.80/205.56	c calculated reachability. Time: 0.00
819.80/205.56	c  N dy  1628    238279     24158    103926         0     41392    316561   3449628    177.43    131.12  --
849.36/212.97	c  N dy  1734    253514     24158    103926         0     28644    316561    605705    191.99    131.23  --
878.92/220.38	c  N dy  1848    269822     24158    103926         0     44951    316561   3752196    197.62    131.25  --
912.48/228.72	c  N dy  1969    287108     24158    103926         0     33246    316561   1291219    202.97    131.09  --
947.23/237.48	c  N dy  2097    305542     24158    103926         0     51675    316561   4895750    200.29    131.24  --
985.19/246.91	c  N dy  2234    325093     24158    103926         0     41232    316561   2595087    203.86    131.15  --
1025.94/257.19	c  N dy  2374    345141     24158    103926         0     61275    316561   6475924    177.78    131.20  --
1051.09/263.41	c  S st  2461    357418     24158    103926         0     42561    316561   2740443    179.34    131.34  --
1051.89/263.66	c  S st  2461    357920     24158    103926         0     43063    316561   2816998    179.34    131.34  --
1051.89/263.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1051.89/263.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1053.50/264.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.65
1053.91/264.10	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
1053.91/264.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1053.91/264.14	c Subs w/ non-existent bins:      0 time:  0.13 s
1054.68/264.33	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1054.68/264.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1054.68/264.35	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1088.66/272.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.02
1099.83/275.62	c Added 0 vars  tried: 80000 time: 11.12
1099.83/275.62	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:   11.12
1100.23/275.70	c lits-rem:         0  cl-subs:     2304  v-elim:    378  v-fix:    0  time: 45.33 s
1100.23/275.70	c learnt bin added due to v-elim: 0
1100.23/275.71	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.05
1100.23/275.75	c vivif2 --  cl tried    40759 cl shrink        0 lits rem          0 time: 0.14
1101.84/276.10	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.42
1101.84/276.11	c calculated reachability. Time: 0.00
1101.84/276.11	c  N dy  2461    357920     24158    103926         0     40759    316561   2684514    179.34    131.34  --
1143.37/286.53	c  N dy  2602    378054     24158    103926         0     60890    316561   6588590    216.44    131.38  --
1183.71/296.68	c  N dy  2742    398115     24158    103926         0     48956    316561   3726122    165.70    131.41  --
1225.66/307.11	c  N dy  2881    418146     24158    103926         0     35988    316561   1057394    205.51    131.50  --
1267.20/317.53	c  N dy  3021    438158     24158    103926         0     55995    316561   5008222    182.14    131.63  --
1307.16/327.58	c  N dy  3161    458212     24158    103926         0     42051    316561   1936664    186.82    131.56  --
1345.11/337.08	c  N dy  3302    478341     24158    103926         0     62177    316561   5800676    202.44    131.55  --
1384.26/346.89	c  N dy  3443    498500     24158    103926         0     47342    316561   2862025    209.35    131.60  --
1425.40/357.12	c  N dy  3584    518608     24158    103926         0     67450    316561   6642248    175.04    131.53  --
1461.76/366.30	c  S st  3712    536880     24158    103926         0     49723    316561   3040250    195.62    131.50  --
1462.95/366.54	c  S st  3712    537380     24158    103926         0     50223    316561   3115343    195.62    131.50  --
1462.95/366.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1462.95/366.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1464.95/367.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  1.90
1464.95/367.05	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
1464.95/367.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1464.95/367.08	c Subs w/ non-existent bins:      0 time:  0.14 s
1465.75/367.28	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1465.75/367.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1466.15/367.30	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1527.26/382.67	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.02
1527.66/382.75	c lits-rem:         0  cl-subs:     2791  v-elim:    378  v-fix:    0  time: 61.70 s
1527.66/382.75	c learnt bin added due to v-elim: 0
1527.66/382.76	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.04
1527.66/382.80	c vivif2 --  cl tried    47432 cl shrink        0 lits rem          0 time: 0.15
1529.26/383.16	c asymm  cl-useful: 0/103926/103926 lits-rem:0 time: 1.42
1529.26/383.16	c calculated reachability. Time: 0.00
1529.26/383.17	c  N dy  3712    537380     24158    103926         0     47432    316561   2985947    195.62    131.50  --
1529.26/383.17	c  F st  3712    537380     24158    103926         0     47432    316561   2985947    195.62    131.50  --
1533.26/384.15	c Decided on dynamic restart strategy
1572.02/393.89	c  N dy  3843    557384     24158    103926         0     67432    316561   6958394    194.24    131.59  --
1614.34/404.44	c  N dy  3984    577490     24158    103926         0     50542    316561   3025068    202.15    131.52  --
1658.28/415.45	c  N dy  4124    597572     24158    103926         0     70619    316561   6943269    207.75    131.57  --
1700.23/425.95	c  N dy  4264    617699     24158    103926         0     52749    316561   3267248    207.91    131.55  --
1744.97/437.15	c  N dy  4405    637807     24158    103926         0     72852    316561   7165049    210.20    131.60  --
1786.93/447.70	c  N dy  4545    657824     24158    103926         0     53872    316561   3426221    198.21    131.69  --
1832.46/459.05	c  N dy  4686    677953     24158    103926         0     74001    316561   7270009    196.74    131.68  --
1875.23/469.77	c  N dy  4827    698035     24158    103926         0     54083    316561   3193530    206.42    131.72  --
1920.35/481.00	c  N dy  4967    718112     24158    103926         0     74158    316561   7112708    184.11    131.78  --
1964.28/492.06	c  N dy  5108    738247     24158    103926         0     53296    316561   2817129    180.31    131.81  --
2005.83/502.49	c  N dy  5249    758293     24158    103926         0     73339    316561   6627902    187.52    131.78  --
2046.18/512.56	c  N dy  5389    778332     24158    103926         0     51383    316561   2256080    194.33    131.74  --
2087.32/522.82	c  N dy  5530    798368     24158    103926         0     71418    316561   6081941    190.91    131.71  --
2107.30/527.81	c  S st  5585    806070     24158    103926         0     79119    316561   7597592    199.16    131.75  --
2108.51/528.11	c  S st  5585    806573     24158    103926         0     79622    316561   7666489    199.16    131.75  --
2108.51/528.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2108.51/528.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2111.69/528.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.2M T:  3.43
2112.09/529.00	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
2112.09/529.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2112.09/529.07	c Subs w/ non-existent bins:      0 time:  0.28 s
2114.09/529.56	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2114.09/529.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2114.09/529.58	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
2624.60/657.33	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.02
2652.97/664.48	c Added 0 vars  tried: 80000 time: 28.57
2652.97/664.48	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.57
2653.75/664.63	c lits-rem:         0  cl-subs:     4364  v-elim:    378  v-fix:    0  time: 539.46 s
2653.75/664.63	c learnt bin added due to v-elim: 0
2653.75/664.65	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.05
2654.15/664.74	c vivif2 --  cl tried    75258 cl shrink        0 lits rem          0 time: 0.39
2656.15/665.26	c asymm  cl-useful: 0/78256/103926 lits-rem:0 time: 2.04
2656.15/665.26	c calculated reachability. Time: 0.00
2656.15/665.27	c  N dy  5585    806573     24158    103926         0     75258    316561   7344833    199.16    131.75  --
2700.10/676.20	c  N dy  5727    826715     24158    103926         0     52402    316561   2304564    200.77    131.73  --
2740.44/686.30	c  N dy  5868    846726     24158    103926         0     72408    316561   6126754    182.05    131.72  --
2783.99/697.22	c  N dy  6009    866862     24158    103926         0     48550    316561   1342399    207.09    131.76  --
2825.53/707.69	c  N dy  6149    886922     24158    103926         0     68606    316561   5334560    193.57    131.85  --
2871.48/719.11	c  N dy  6289    906967     24158    103926         0     88646    316561   9321054    201.53    131.94  --
2913.41/729.63	c  N dy  6429    927077     24158    103926         0     63760    316561   4162363    187.55    131.99  --
2958.56/740.91	c  N dy  6570    947128     24158    103926         0     83808    316561   8097345    188.08    132.04  --
3002.50/751.98	c  N dy  6710    967232     24158    103926         0     57918    316561   2757604    199.76    132.00  --
3048.04/763.34	c  N dy  6850    987355     24158    103926         0     78041    316561   6675401    181.61    132.02  --
3097.18/775.64	c  N dy  6990   1007429     24158    103926         0     51117    316561   1306868    202.80    132.01  --
3140.73/786.56	c  N dy  7130   1027452     24158    103926         0     71138    316561   5192272    185.22    132.01  --
3189.85/798.89	c  N dy  7270   1047512     24158    103926         0     91197    316561   9092509    194.97    132.02  --
3234.99/810.10	c  N dy  7411   1067614     24158    103926         0     63298    316561   3523323    197.90    132.01  --
3282.13/821.90	c  N dy  7551   1087674     24158    103926         0     83355    316561   7415625    197.21    132.02  --
3330.46/834.04	c  N dy  7692   1107779     24158    103926         0     54465    316561   1596906    188.95    132.05  --
3375.20/845.27	c  N dy  7833   1127880     24158    103926         0     74563    316561   5541282    198.06    132.09  --
3424.73/857.69	c  N dy  7972   1147907     24158    103926         0     94585    316561   9451026    190.41    132.09  --
3469.48/868.87	c  N dy  8112   1167946     24158    103926         0     64629    316561   3321114    196.81    132.08  --
3513.82/880.00	c  N dy  8252   1187969     24158    103926         0     84650    316561   7286722    197.97    132.14  --
3560.56/891.60	c  N dy  8392   1208072     24158    103926         0     53754    316561   1033351    210.87    132.15  --
3564.15/892.55	c  S st  8405   1209859     24158    103926         0     55541    316561   1368404    197.16    132.15  --
3565.35/892.83	c  S st  8405   1210360     24158    103926         0     56042    316561   1437453    197.16    132.15  --
3565.35/892.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
3565.35/892.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3567.74/893.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  2.26
3567.74/893.42	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.05 s
3567.74/893.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3567.74/893.44	c Subs w/ non-existent bins:      0 time:  0.08 s
3568.14/893.55	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3568.14/893.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3568.14/893.57	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
3582.13/897.08	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.02
3587.32/898.35	c Added 0 vars  tried: 80000 time: 5.09
3587.32/898.35	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:    5.09
3587.72/898.41	c lits-rem:         4  cl-subs:     3768  v-elim:    378  v-fix:    0  time: 19.35 s
3587.72/898.41	c learnt bin added due to v-elim: 0
3587.72/898.42	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.04
3587.72/898.45	c vivif2 --  cl tried    52274 cl shrink        0 lits rem          0 time: 0.08
3588.12/898.53	c asymm  cl-useful: 0/25670/103926 lits-rem:0 time: 0.34
3588.12/898.54	c calculated reachability. Time: 0.00
3588.12/898.54	c  N dy  8405   1210360     24158    103926         0     52274    316561   1364536    197.16    132.15  --
3630.47/909.19	c  N dy  8545   1230474     24158    103926         0     72386    316561   5375638    187.50    132.20  --
3677.23/920.88	c  N dy  8685   1250478     24158    103926         0     92386    316561   9174147    178.83    132.18  --
3724.35/932.65	c  N dy  8825   1270608     24158    103926         0     60522    316561   2225008    209.56    132.22  --
3770.28/944.17	c  N dy  8966   1290676     24158    103926         0     80586    316561   6094277    188.83    132.24  --
3821.02/956.83	c  N dy  9106   1310773     24158    103926         0    100681    316561  10006751    200.89    132.24  --
3868.56/968.70	c  N dy  9247   1330892     24158    103926         0     67807    316561   3396030    206.20    132.26  --
3915.69/980.52	c  N dy  9388   1350984     24158    103926         0     87897    316561   7206737    187.66    132.23  --
3968.43/993.79	c  N dy  9530   1371105     24158    103926         0     54024    316561    519636    191.83    132.20  --
4013.56/1005.07	c  N dy  9670   1391178     24158    103926         0     74097    316561   4471255    188.30    132.22  --
4062.70/1017.31	c  N dy  9811   1411250     24158    103926         0     94169    316561   8331091    198.11    132.21  --
4114.63/1030.36	c  N dy  9952   1431312     24158    103926         0     59232    316561   1369874    195.19    132.23  --
4160.98/1041.99	c  N dy 10093   1451414     24158    103926         0     79331    316561   5219769    204.78    132.21  --
4211.71/1054.63	c  N dy 10233   1471469     24158    103926         0     99382    316561   9113874    203.95    132.21  --
4263.25/1067.57	c  N dy 10373   1491529     24158    103926         0     63447    316561   1971508    204.58    132.20  --
4309.59/1079.16	c  N dy 10513   1511602     24158    103926         0     83516    316561   5852240    199.76    132.19  --
4360.71/1091.97	c  N dy 10653   1531608     24158    103926         0    103521    316561   9729714    199.42    132.19  --
4409.84/1104.25	c  N dy 10794   1551698     24158    103926         0     66613    316561   2310801    187.48    132.18  --
4452.58/1114.97	c  N dy 10934   1571767     24158    103926         0     86681    316561   6184822    205.10    132.19  --
4499.72/1126.75	c  N dy 11075   1591859     24158    103926         0    106770    316561  10188458    193.22    132.23  --
4546.46/1138.46	c  N dy 11216   1611993     24158    103926         0     68911    316561   2586021    181.78    132.22  --
4590.82/1149.57	c  N dy 11356   1632009     24158    103926         0     88924    316561   6466428    212.52    132.23  --
4641.93/1162.32	c  N dy 11497   1652024     24158    103926         0    108932    316561  10336517    212.71    132.23  --
4689.47/1174.23	c  N dy 11638   1672081     24158    103926         0     69998    316561   2670830    184.50    132.24  --
4736.60/1186.05	c  N dy 11779   1692203     24158    103926         0     90116    316561   6590518    193.98    132.26  --
4787.74/1198.87	c  S st 11907   1710360     24158    103926         0    108272    316561  10125520    195.72    132.26  --
4789.34/1199.28	c  S st 11907   1710865     24158    103926         0    108777    316561  10201268    195.72    132.26  --
4789.74/1199.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
4789.74/1199.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4794.93/1200.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.4M T:  5.55
4795.33/1200.71	c Calc non-exist non-lernt bins v-fix:     0 done:  24158 time:  0.06 s
4795.33/1200.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4795.73/1200.81	c Subs w/ non-existent bins:      0 time:  0.38 s
4798.12/1201.44	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4798.12/1201.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4798.12/1201.46	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 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-3172558-1304064922/watcher-3172558-1304064922 -o /tmp/evaluation-result-3172558-1304064922/solver-3172558-1304064922 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172558-1304064922.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: 3.85 6.50 7.45 2/174 32737
/proc/meminfo: memFree=21392032/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=24708 CPUtime=0 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 1442 0 0 0 0 0 0 0 25 0 1 0 250683493 25300992 1381 33554432000 4194304 4797429 140735957262512 18446744073709551615 4365820 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32737/statm: 6177 1383 341 148 0 1106 0

[startup+0.013299 s]
/proc/loadavg: 3.85 6.50 7.45 2/174 32737
/proc/meminfo: memFree=21392032/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=31428 CPUtime=0 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 3281 0 0 0 0 0 0 0 25 0 1 0 250683493 32182272 2747 33554432000 4194304 4797429 140735957262512 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32737/statm: 7857 2747 341 148 0 2786 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 31428

[startup+0.100298 s]
/proc/loadavg: 3.85 6.50 7.45 2/174 32737
/proc/meminfo: memFree=21392032/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=95320 CPUtime=0.09 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 14306 0 0 0 8 1 0 0 25 0 1 0 250683493 97607680 10972 33554432000 4194304 4797429 140735957262512 18446744073709551615 268660323013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32737/statm: 23830 10972 348 148 0 18759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95320

[startup+0.300254 s]
/proc/loadavg: 3.85 6.50 7.45 2/174 32737
/proc/meminfo: memFree=21392032/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=112712 CPUtime=0.29 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 20245 0 0 0 27 2 0 0 25 0 1 0 250683493 115417088 16603 33554432000 4194304 4797429 140735957262512 18446744073709551615 268660358631 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/32737/statm: 28178 16603 348 148 0 23107 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112712

[startup+0.749165 s]
/proc/loadavg: 3.85 6.50 7.45 2/174 32737
/proc/meminfo: memFree=21392032/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=818044 CPUtime=1.97 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 31544 0 0 0 189 8 0 0 18 0 4 0 250683493 837677056 25777 33554432000 4194304 4797429 140735957262512 18446744073709551615 268660329434 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 204511 25777 400 148 0 199440 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 818044

[startup+1.50098 s]
/proc/loadavg: 3.85 6.50 7.45 10/184 32750
/proc/meminfo: memFree=21114564/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=823528 CPUtime=4.97 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 35489 0 0 0 488 9 0 0 18 0 4 0 250683493 843292672 29207 33554432000 4194304 4797429 140735957262512 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 205882 29207 410 148 0 200811 0
[pid=32737/tid=32745] ppid=32735 vsize=823528 CPUtime=1.16 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 3801 0 0 0 114 2 0 0 18 0 4 0 250683523 843292672 29207 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424335 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=823528 CPUtime=1.14 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 4134 0 0 0 113 1 0 0 19 0 4 0 250683523 843292672 29207 33554432000 4194304 4797429 140735957262512 18446744073709551615 4389782 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=823528 CPUtime=1.17 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 4133 0 0 0 116 1 0 0 18 0 4 0 250683523 843292672 29207 33554432000 4194304 4797429 140735957262512 18446744073709551615 4351624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.97
Current children cumulated vsize (KiB) 823528

[startup+3.1007 s]
/proc/loadavg: 3.85 6.50 7.45 9/184 32750
/proc/meminfo: memFree=21052956/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=824904 CPUtime=11.36 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 39157 0 0 0 1125 11 0 0 22 0 4 0 250683493 844701696 32856 33554432000 4194304 4797429 140735957262512 18446744073709551615 4387398 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 206226 32856 412 148 0 201155 0
[pid=32737/tid=32745] ppid=32735 vsize=824904 CPUtime=2.76 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 4708 0 0 0 273 3 0 0 22 0 4 0 250683523 844701696 32856 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424639 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=824904 CPUtime=2.74 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 5052 0 0 0 273 1 0 0 22 0 4 0 250683523 844701696 32856 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424642 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=824904 CPUtime=2.77 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 5045 0 0 0 275 2 0 0 22 0 4 0 250683523 844701696 32856 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 824904

[startup+6.30113 s]
/proc/loadavg: 4.18 6.53 7.45 8/184 32750
/proc/meminfo: memFree=20966404/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=835728 CPUtime=24.08 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 52376 0 0 0 2386 22 0 0 19 0 4 0 250683493 855785472 45987 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424462 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 208932 45987 416 148 0 203861 0
[pid=32737/tid=32745] ppid=32735 vsize=835728 CPUtime=5.94 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 8242 0 0 0 589 5 0 0 19 0 4 0 250683523 855785472 45987 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=835728 CPUtime=5.89 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 9383 0 0 0 584 5 0 0 19 0 4 0 250683523 855785472 45987 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=835728 CPUtime=5.94 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 8333 0 0 0 589 5 0 0 18 0 4 0 250683523 855785472 45987 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.08
Current children cumulated vsize (KiB) 835728

[startup+12.701 s]
/proc/loadavg: 4.49 6.55 7.46 9/184 32751
/proc/meminfo: memFree=20883008/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=842900 CPUtime=49.64 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 59471 0 0 0 4939 25 0 0 25 0 4 0 250683493 863129600 47947 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 210725 47947 417 148 0 205654 0
[pid=32737/tid=32745] ppid=32735 vsize=842900 CPUtime=12.34 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 9184 0 0 0 1228 6 0 0 25 0 4 0 250683523 863129600 47947 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=842900 CPUtime=12.26 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 9977 0 0 0 1221 5 0 0 25 0 4 0 250683523 863129600 47947 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=842900 CPUtime=12.35 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 9119 0 0 0 1229 6 0 0 25 0 4 0 250683523 863129600 47947 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.64
Current children cumulated vsize (KiB) 842900

[startup+25.5008 s]
/proc/loadavg: 5.33 6.64 7.47 9/184 32751
/proc/meminfo: memFree=20837544/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=860108 CPUtime=100.76 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 69998 0 0 0 10047 29 0 0 25 0 4 0 250683493 880750592 52626 33554432000 4194304 4797429 140735957262512 18446744073709551615 4352317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 215027 52626 417 148 0 209956 0
[pid=32737/tid=32745] ppid=32735 vsize=860108 CPUtime=25.14 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 10257 0 0 0 2508 6 0 0 25 0 4 0 250683523 880750592 52626 33554432000 4194304 4797429 140735957262512 18446744073709551615 4529494 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=860108 CPUtime=24.99 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 10901 0 0 0 2493 6 0 0 25 0 4 0 250683523 880750592 52626 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=860108 CPUtime=25.14 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 10131 0 0 0 2508 6 0 0 25 0 4 0 250683523 880750592 52626 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.76
Current children cumulated vsize (KiB) 860108

[startup+51.1003 s]
/proc/loadavg: 6.24 6.74 7.48 9/184 32751
/proc/meminfo: memFree=20796840/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=867144 CPUtime=203.03 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 84397 0 0 0 20266 37 0 0 25 0 4 0 250683493 887955456 60607 33554432000 4194304 4797429 140735957262512 18446744073709551615 4404809 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 216786 60607 420 148 0 211715 0
[pid=32737/tid=32745] ppid=32735 vsize=867144 CPUtime=50.73 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 11758 0 0 0 5066 7 0 0 25 0 4 0 250683523 887955456 60607 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=867144 CPUtime=50.45 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 12653 0 0 0 5038 7 0 0 25 0 4 0 250683523 887955456 60607 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=867144 CPUtime=50.74 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 12202 0 0 0 5066 8 0 0 25 0 4 0 250683523 887955456 60607 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.03
Current children cumulated vsize (KiB) 867144

[startup+102.3 s]
/proc/loadavg: 7.24 6.94 7.51 9/184 32753
/proc/meminfo: memFree=20748084/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=889400 CPUtime=407.57 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 113422 0 0 0 40709 48 0 0 25 0 4 0 250683493 910745600 65434 33554432000 4194304 4797429 140735957262512 18446744073709551615 4389738 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 222350 65434 421 148 0 217279 0
[pid=32737/tid=32745] ppid=32735 vsize=889400 CPUtime=101.94 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 15194 0 0 0 10185 9 0 0 25 0 4 0 250683523 910745600 65434 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=889400 CPUtime=101.38 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 16899 0 0 0 10129 9 0 0 25 0 4 0 250683523 910745600 65434 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=889400 CPUtime=101.95 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 16551 0 0 0 10185 10 0 0 25 0 4 0 250683523 910745600 65434 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.57
Current children cumulated vsize (KiB) 889400

[startup+162.301 s]
/proc/loadavg: 7.72 7.13 7.54 9/184 32755
/proc/meminfo: memFree=20673284/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=905500 CPUtime=647.23 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 136166 0 0 0 64663 60 0 0 25 0 4 0 250683493 927232000 75456 33554432000 4194304 4797429 140735957262512 18446744073709551615 4404772 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 226375 75456 420 148 0 221304 0
[pid=32737/tid=32745] ppid=32735 vsize=905500 CPUtime=161.93 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 17815 0 0 0 16182 11 0 0 25 0 4 0 250683523 927232000 75456 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=905500 CPUtime=161.06 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 18885 0 0 0 16096 10 0 0 25 0 4 0 250683523 927232000 75456 33554432000 4194304 4797429 140735957262512 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=905500 CPUtime=161.95 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 18857 0 0 0 16184 11 0 0 25 0 4 0 250683523 927232000 75456 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.23
Current children cumulated vsize (KiB) 905500

[startup+222.306 s]
/proc/loadavg: 7.94 7.30 7.57 9/184 32756
/proc/meminfo: memFree=20677368/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=913944 CPUtime=886.93 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 168172 0 0 0 88618 75 0 0 25 0 4 0 250683493 935878656 75180 33554432000 4194304 4797429 140735957262512 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 228486 75180 420 148 0 223415 0
[pid=32737/tid=32745] ppid=32735 vsize=913944 CPUtime=221.93 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 21971 0 0 0 22181 12 0 0 25 0 4 0 250683523 935878656 75180 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=913944 CPUtime=220.75 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 22885 0 0 0 22063 12 0 0 25 0 4 0 250683523 935878656 75180 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=913944 CPUtime=221.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 22606 0 0 0 22183 13 0 0 25 0 4 0 250683523 935878656 75180 33554432000 4194304 4797429 140735957262512 18446744073709551615 4356102 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.93
Current children cumulated vsize (KiB) 913944

[startup+282.301 s]

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

[pid=32737] ppid=32735 vsize=956908 CPUtime=2564.68 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 336220 0 0 0 256315 153 0 0 25 0 4 0 250683493 979873792 98282 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 239227 98282 420 148 0 234156 0
[pid=32737/tid=32745] ppid=32735 vsize=956908 CPUtime=641.89 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 35772 0 0 0 64171 18 0 0 25 0 4 0 250683523 979873792 98282 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=956908 CPUtime=638.52 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 38054 0 0 0 63835 17 0 0 25 0 4 0 250683523 979873792 98282 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=956908 CPUtime=641.95 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 36388 0 0 0 64176 19 0 0 25 0 4 0 250683523 979873792 98282 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.68
Current children cumulated vsize (KiB) 956908

[startup+702.301 s]
/proc/loadavg: 8.10 7.94 7.77 9/184 301
/proc/meminfo: memFree=20512784/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=961196 CPUtime=2804.36 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 362951 0 0 0 280272 164 0 0 25 0 4 0 250683493 984264704 90353 33554432000 4194304 4797429 140735957262512 18446744073709551615 4390023 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 240299 90353 420 148 0 235228 0
[pid=32737/tid=32745] ppid=32735 vsize=961196 CPUtime=701.89 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 39395 0 0 0 70170 19 0 0 25 0 4 0 250683523 984264704 90353 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=961196 CPUtime=698.21 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 41559 0 0 0 69803 18 0 0 25 0 4 0 250683523 984264704 90353 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=961196 CPUtime=701.95 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 39404 0 0 0 70175 20 0 0 25 0 4 0 250683523 984264704 90353 33554432000 4194304 4797429 140735957262512 18446744073709551615 4425625 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.36
Current children cumulated vsize (KiB) 961196

[startup+762.301 s]
/proc/loadavg: 8.09 7.96 7.79 9/184 303
/proc/meminfo: memFree=20486728/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=965128 CPUtime=3044.06 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 392370 0 0 0 304226 180 0 0 25 0 4 0 250683493 988291072 97975 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 241282 97975 420 148 0 236211 0
[pid=32737/tid=32745] ppid=32735 vsize=965128 CPUtime=761.89 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 41348 0 0 0 76169 20 0 0 25 0 4 0 250683523 988291072 97975 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=965128 CPUtime=757.89 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 43429 0 0 0 75770 19 0 0 25 0 4 0 250683523 988291072 97975 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=965128 CPUtime=761.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 41165 0 0 0 76174 22 0 0 25 0 4 0 250683523 988291072 97975 33554432000 4194304 4797429 140735957262512 18446744073709551615 268660358923 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.06
Current children cumulated vsize (KiB) 965128

[startup+822.301 s]
/proc/loadavg: 8.08 7.98 7.81 9/184 304
/proc/meminfo: memFree=20466608/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=967808 CPUtime=3283.73 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 417737 0 0 0 328180 193 0 0 25 0 4 0 250683493 991035392 102135 33554432000 4194304 4797429 140735957262512 18446744073709551615 4351358 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 241952 102135 420 148 0 236881 0
[pid=32737/tid=32745] ppid=32735 vsize=967808 CPUtime=821.88 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 42281 0 0 0 82168 20 0 0 25 0 4 0 250683523 991035392 102135 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=967808 CPUtime=817.57 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 44376 0 0 0 81737 20 0 0 25 0 4 0 250683523 991035392 102135 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=967808 CPUtime=821.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 41953 0 0 0 82173 23 0 0 25 0 4 0 250683523 991035392 102135 33554432000 4194304 4797429 140735957262512 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.73
Current children cumulated vsize (KiB) 967808

[startup+882.307 s]
/proc/loadavg: 8.12 8.01 7.83 9/184 306
/proc/meminfo: memFree=20491880/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=972500 CPUtime=3523.43 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 448437 0 0 0 352136 207 0 0 25 0 4 0 250683493 995840000 96435 33554432000 4194304 4797429 140735957262512 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 243125 96435 420 148 0 238054 0
[pid=32737/tid=32745] ppid=32735 vsize=972500 CPUtime=881.88 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 45293 0 0 0 88167 21 0 0 25 0 4 0 250683523 995840000 96435 33554432000 4194304 4797429 140735957262512 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=972500 CPUtime=877.26 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 46637 0 0 0 87705 21 0 0 25 0 4 0 250683523 995840000 96435 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424556 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=972500 CPUtime=881.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 43956 0 0 0 88172 24 0 0 25 0 4 0 250683523 995840000 96435 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.43
Current children cumulated vsize (KiB) 972500

[startup+942.301 s]
/proc/loadavg: 8.04 8.01 7.83 9/184 307
/proc/meminfo: memFree=20428868/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=974964 CPUtime=3763.09 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 476245 0 0 0 376089 220 0 0 25 0 4 0 250683493 998363136 99768 33554432000 4194304 4797429 140735957262512 18446744073709551615 4423098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 243741 99768 420 148 0 238670 0
[pid=32737/tid=32745] ppid=32735 vsize=974964 CPUtime=941.87 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 46987 0 0 0 94165 22 0 0 25 0 4 0 250683523 998363136 99768 33554432000 4194304 4797429 140735957262512 18446744073709551615 4495544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=974964 CPUtime=936.95 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 48895 0 0 0 93673 22 0 0 25 0 4 0 250683523 998363136 99768 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=974964 CPUtime=941.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 46530 0 0 0 94171 25 0 0 25 0 4 0 250683523 998363136 99768 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.09
Current children cumulated vsize (KiB) 974964

[startup+1002.3 s]
/proc/loadavg: 8.06 8.02 7.84 9/184 309
/proc/meminfo: memFree=20412716/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=983404 CPUtime=4002.78 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 501682 0 0 0 400044 234 0 0 25 0 4 0 250683493 1007005696 101577 33554432000 4194304 4797429 140735957262512 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 245851 101577 420 148 0 240780 0
[pid=32737/tid=32745] ppid=32735 vsize=983404 CPUtime=1001.87 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 48479 0 0 0 100165 22 0 0 25 0 4 0 250683523 1007005696 101577 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=983404 CPUtime=996.64 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 49704 0 0 0 99642 22 0 0 25 0 4 0 250683523 1007005696 101577 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=983404 CPUtime=1001.97 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 48135 0 0 0 100171 26 0 0 25 0 4 0 250683523 1007005696 101577 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.78
Current children cumulated vsize (KiB) 983404

[startup+1062.3 s]
/proc/loadavg: 8.02 8.01 7.85 9/184 320
/proc/meminfo: memFree=20414048/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=983436 CPUtime=4242.47 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 523075 0 0 0 424003 244 0 0 25 0 4 0 250683493 1007038464 110735 33554432000 4194304 4797429 140735957262512 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 245859 110735 420 148 0 240788 0
[pid=32737/tid=32745] ppid=32735 vsize=983436 CPUtime=1061.86 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 49125 0 0 0 106164 22 0 0 25 0 4 0 250683523 1007038464 110735 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=983436 CPUtime=1056.33 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 50382 0 0 0 105611 22 0 0 25 0 4 0 250683523 1007038464 110735 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=983436 CPUtime=1061.97 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 48710 0 0 0 106171 26 0 0 25 0 4 0 250683523 1007038464 110735 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.47
Current children cumulated vsize (KiB) 983436

[startup+1122.3 s]
/proc/loadavg: 8.00 8.01 7.86 9/184 321
/proc/meminfo: memFree=20427924/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=986988 CPUtime=4482.14 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 554007 0 0 0 447955 259 0 0 25 0 4 0 250683493 1010675712 101659 33554432000 4194304 4797429 140735957262512 18446744073709551615 4415756 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 246747 101660 420 148 0 241676 0
[pid=32737/tid=32745] ppid=32735 vsize=986988 CPUtime=1121.85 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 52475 0 0 0 112162 23 0 0 25 0 4 0 250683523 1010675712 101660 33554432000 4194304 4797429 140735957262512 18446744073709551615 4415782 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=986988 CPUtime=1116 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 52765 0 0 0 111577 23 0 0 25 0 4 0 250683523 1010675712 101660 33554432000 4194304 4797429 140735957262512 18446744073709551615 4255604 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=986988 CPUtime=1121.97 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 51464 0 0 0 112170 27 0 0 25 0 4 0 250683523 1010675712 101660 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.14
Current children cumulated vsize (KiB) 986988

[startup+1182.3 s]
/proc/loadavg: 8.08 8.03 7.87 9/184 323
/proc/meminfo: memFree=20432992/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=987032 CPUtime=4721.83 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 581404 0 0 0 471912 271 0 0 25 0 4 0 250683493 1010720768 102742 33554432000 4194304 4797429 140735957262512 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 246758 102742 420 148 0 241687 0
[pid=32737/tid=32745] ppid=32735 vsize=987032 CPUtime=1181.85 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 54190 0 0 0 118161 24 0 0 25 0 4 0 250683523 1010720768 102742 33554432000 4194304 4797429 140735957262512 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=987032 CPUtime=1175.69 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 54654 0 0 0 117545 24 0 0 25 0 4 0 250683523 1010720768 102742 33554432000 4194304 4797429 140735957262512 18446744073709551615 4430142 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=987032 CPUtime=1181.96 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 53514 0 0 0 118169 27 0 0 25 0 4 0 250683523 1010720768 102742 33554432000 4194304 4797429 140735957262512 18446744073709551615 4656677 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.83
Current children cumulated vsize (KiB) 987032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.19 8.06 7.89 9/184 323
/proc/meminfo: memFree=20370984/32951124 swapFree=67111528/67111528
[pid=32737] ppid=32735 vsize=991404 CPUtime=4800.14 cores=0,2,4,6
/proc/32737/stat : 32737 (techdemo) R 32735 32737 32705 0 -1 4202496 591038 0 0 0 479738 276 0 0 25 0 4 0 250683493 1015197696 111743 33554432000 4194304 4797429 140735957262512 18446744073709551615 4524088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32737/statm: 247851 111743 420 148 0 242780 0
[pid=32737/tid=32745] ppid=32735 vsize=991404 CPUtime=1201.46 cores=0,2,4,6
/proc/32737/task/32745/stat : 32745 (techdemo) R 32735 32737 32705 0 -1 4202560 55168 0 0 0 120122 24 0 0 25 0 4 0 250683523 1015197696 111743 33554432000 4194304 4797429 140735957262512 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32737/tid=32746] ppid=32735 vsize=991404 CPUtime=1195.18 cores=0,2,4,6
/proc/32737/task/32746/stat : 32746 (techdemo) R 32735 32737 32705 0 -1 4202560 55178 0 0 0 119494 24 0 0 25 0 4 0 250683523 1015197696 111743 33554432000 4194304 4797429 140735957262512 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32737/tid=32747] ppid=32735 vsize=991404 CPUtime=1201.58 cores=0,2,4,6
/proc/32737/task/32747/stat : 32747 (techdemo) R 32735 32737 32705 0 -1 4202560 54038 0 0 0 120130 28 0 0 25 0 4 0 250683523 1015197696 111743 33554432000 4194304 4797429 140735957262512 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 991404

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.93
CPU time (s): 4800.19
CPU user time (s): 4797.4
CPU system time (s): 2.78558
CPU usage (%): 399.372
Max. virtual memory (cumulated for all children) (KiB): 1098060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.4
system time used= 2.78558
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591040
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= 21743
involuntary context switches= 23148

runsolver used 1.92871 second user time and 4.44532 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-29 10:15:22
IDJOB=3172558
IDBENCH=82576
IDSOLVER=1584
FILE ID=node107/3172558-1304064922
RUNJOBID= node107-1304064922-32723
PBS_JOBID= 13170460
Free space on /tmp= 71796 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3172558-1304064922/watcher-3172558-1304064922 -o /tmp/evaluation-result-3172558-1304064922/solver-3172558-1304064922 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3172558-1304064922.cnf

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

MD5SUM BENCH= 5f909806405bfbe25b7db5afcabe8fc9
RANDOM SEED=181055285

node107.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.829
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.65
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.829
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.829
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      21392436 kB
Buffers:       2020984 kB
Cached:        8989076 kB
SwapCached:          0 kB
Active:        3033212 kB
Inactive:      8043576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21392436 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           12216 kB
Writeback:          36 kB
AnonPages:       66516 kB
Mapped:          14656 kB
Slab:           416620 kB
PageTables:       4500 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187484 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= 71780 MiB
End job on node107 at 2011-04-29 10:35:26