Trace number 3249567

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.08 1201.73

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-9x32.cnf
MD5SUMbcc12436eba65ad776b55f23c6f42298
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1152
Number of clauses73440
Sum of the clauses size290304
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21728
Number of clauses of size 30
Number of clauses of size 471712
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-3249567-1304130497.cnf'
0.00/0.00	c -- header says num vars:           1152
0.00/0.00	c -- header says num clauses:       73440
0.09/0.10	c -- clauses added:            0 learnts,        73440 normals,            0 xors
0.09/0.10	c -- vars added       1152
0.09/0.10	c Parsing time:  0.10 s
0.09/0.11	c  N st     0         0      1152     71712      1728         0    290304         0   no data   no data  --
0.09/0.19	c asymm  cl-useful: 0/15152/71712 lits-rem:0 time: 0.31
0.46/0.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.8M T:  0.09
0.46/0.23	c Calc non-exist non-lernt bins v-fix:     0 done:   1152 time:  0.00 s
0.46/0.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.46/0.23	c Subs w/ non-existent bins:      0 time:  0.01 s
1.25/0.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1.25/0.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.01 s
1.25/0.48	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2.45/0.73	c lits-rem:         0  cl-subs:        0  v-elim:    614  v-fix:    0  time:  1.94 s
2.45/0.73	c learnt bin added due to v-elim: 0
5.24/1.44	c Finding binary XORs  T:     0.00 s  found:       0
5.24/1.44	c Finding non-binary XORs:     0.15 s (found:       0, avg size: nan)
5.24/1.44	c calculated reachability. Time: 0.00
5.24/1.44	c Calc default polars -  time:   0.01 s pos:      14 undec:     154 neg:     984
5.24/1.44	c =========================================================================================
5.24/1.44	c types(t): F = full restart, N = normal restart
5.24/1.44	c types(t): S = simplification begin/end, E = solution found
5.24/1.44	c restart types(rt): st = static, dy = dynamic
5.24/1.44	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.24/1.44	c  B st     0         0       998     71558      1266         0    365148         0   no data   no data  --
5.24/1.44	c Decided on static restart strategy
5.24/1.44	c  N dy    21      4112       998     71558      1266      4102    365148    138917     33.90     26.77  --
5.24/1.44	c  N dy    51      8150       998     71558      1266      8136    365148    266084     29.38     25.74  --
5.24/1.44	c  N dy    81     12158       998     71558      1266     12141    365148    395337     30.73     25.64  --
5.64/1.56	c  N dy   111     16237       998     71558      1266     16217    365148    529283     33.33     25.61  --
6.44/1.80	c  N dy   141     20309       998     71558      1266     10296    365148    163414     31.46     25.51  --
7.24/1.99	c  N dy   171     24376       998     71558      1266     14359    365148    297540     32.19     25.59  --
8.46/2.21	c  N dy   201     28421       998     71558      1266     18397    365148    435382     33.45     25.72  --
8.83/2.33	c  S st   213     30000       998     71558      1266     19975    365148    486612     33.10     25.72  --
9.23/2.40	c  S st   213     30502       998     71558      1266     20476    365148    513637     33.10     25.72  --
9.23/2.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
9.23/2.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.63/2.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.8M T:  0.56
9.63/2.55	c Calc non-exist non-lernt bins v-fix:     0 done:    998 time:  0.01 s
9.63/2.55	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
9.63/2.56	c Subs w/ non-existent bins:      0 time:  0.05 s
9.63/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.03/2.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.32 s
10.03/2.66	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
28.01/7.17	c lits-rem:       266  cl-subs:    17141  v-elim:   1194  v-fix:    0  time: 18.00 s
28.01/7.17	c learnt bin added due to v-elim: 0
28.01/7.18	c vivif2 --  cl tried    71424 cl shrink        0 lits rem          0 time: 0.03
28.01/7.18	c vivif2 --  cl tried     3335 cl shrink        0 lits rem          0 time: 0.00
28.40/7.29	c asymm  cl-useful: 0/6177/71424 lits-rem:0 time: 0.44
28.40/7.29	c calculated reachability. Time: 0.00
28.40/7.29	c  N dy   213     30502       864     71424       864      3335    430272     54759     33.10     25.72  --
28.40/7.29	c  F st   213     30502       864     71424       864      3335    430272     54759     33.10     25.72  --
29.20/7.41	c Decided on static restart strategy
29.60/7.53	c  N dy   234     34600       864     71424       864      7427    430272    220549     40.71     26.27  --
30.42/7.76	c  N dy   264     38670       864     71424       864     11493    430272    374744     38.93     26.56  --
32.40/8.22	c  N dy   274     45754       864     71424       864     18515    430272    809046     69.99     29.77  --
32.40/8.29	c  S st   274     45754       864     71424       864     18515    430272    809046     69.99     29.77  --
32.80/8.39	c  S st   274     46255       864     71424       864     19014    430272    840419     69.99     29.77  --
32.80/8.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
32.80/8.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.00/8.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 12.0M T:  0.95
34.00/8.63	c Calc non-exist non-lernt bins v-fix:     0 done:    864 time:  0.01 s
34.00/8.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
34.00/8.65	c Subs w/ non-existent bins:      0 time:  0.07 s
34.00/8.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
34.82/8.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.58 s
34.82/8.82	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
49.58/12.53	c lits-rem:       248  cl-subs:     1684  v-elim:    864  v-fix:    0  time: 14.80 s
49.58/12.53	c learnt bin added due to v-elim: 0
49.58/12.53	c vivif2 --  cl tried    71424 cl shrink        0 lits rem          0 time: 0.03
49.58/12.55	c vivif2 --  cl tried    17330 cl shrink        0 lits rem          0 time: 0.06
49.98/12.62	c asymm  cl-useful: 0/2763/71424 lits-rem:0 time: 0.27
49.98/12.62	c calculated reachability. Time: 0.00
49.98/12.62	c  N dy   274     46255       864     71424       864     17330    430272    747131     69.99     29.77  --
51.18/12.90	c  N dy   304     50300       864     71424       864     21371    430272    898423     38.78     29.70  --
52.00/13.18	c  N dy   334     54323       864     71424       864     25390    430272   1047187     37.18     29.59  --
53.17/13.47	c  N dy   364     58434       864     71424       864     29498    430272   1208059     38.22     29.63  --
54.37/13.77	c  N dy   394     62460       864     71424       864     18076    430272    374353     36.54     29.58  --
55.57/14.02	c  N dy   424     66493       864     71424       864     22103    430272    528238     40.23     29.55  --
56.38/14.26	c  S st   446     69383       864     71424       864     24986    430272    629678     33.13     29.43  --
56.79/14.35	c  S st   446     69884       864     71424       864     25486    430272    661002     33.13     29.43  --
56.79/14.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
56.79/14.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.96/14.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 18.9M T:  1.16
57.96/14.65	c Calc non-exist non-lernt bins v-fix:     0 done:    864 time:  0.01 s
57.96/14.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.96/14.66	c Subs w/ non-existent bins:      0 time:  0.06 s
57.96/14.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.36/14.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.42 s
58.36/14.79	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
72.74/18.30	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
76.34/19.28	c Added 9 vars  tried: 80000 time: 3.91
76.34/19.29	c ORs :      9 avg-s:  0.0 cl-sh:  5792 l-rem:   5792 b-add:     18 v-rep:   0 cl-rem: 0 avg s: nan T:    3.96
76.74/19.31	c lits-rem:       214  cl-subs:     1256  v-elim:    864  v-fix:    0  time: 18.05 s
76.74/19.31	c learnt bin added due to v-elim: 0
76.74/19.32	c vivif2 --  cl tried    71433 cl shrink        0 lits rem          0 time: 0.02
76.74/19.33	c vivif2 --  cl tried    24230 cl shrink        0 lits rem          0 time: 0.05
77.14/19.40	c asymm  cl-useful: 0/2375/71433 lits-rem:0 time: 0.28
77.14/19.40	c calculated reachability. Time: 0.00
77.14/19.40	c  N dy   446     69884       873     71433       882     24230    428351    615359     33.13     29.43  --
77.14/19.40	c  F st   446     69884       873     71433       882     24230    428351    615359     33.13     29.43  --
77.54/19.55	c Decided on static restart strategy
78.36/19.72	c  N dy   470     74396       873     71433       882     28729    428351    792220     35.77     29.52  --
79.54/20.07	c  N dy   506     79230       873     71433       882     33561    428351    972387     39.30     29.49  --
81.14/20.47	c  N dy   544     84360       873     71433       883     19982    428351    347386     37.96     29.54  --
82.75/20.84	c  N dy   585     89851       873     71433       883     25467    428351    545580     39.50     29.47  --
84.32/21.27	c  N dy   628     95650       873     71433       883     31257    428351    761104     39.47     29.42  --
86.33/21.74	c  N dy   674    101807       873     71433       884     37406    428351    977870     35.00     29.29  --
87.54/22.05	c  S st   697    104827       873     71433       884     40423    428351   1088494     35.94     29.27  --
87.92/22.16	c  S st   697    105330       873     71433       884     40925    428351   1118078     35.94     29.27  --
87.92/22.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
87.92/22.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
89.93/22.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      7 BRemL:      0 BRemN:      0 CBin:       0 P: 29.7M T:  2.07
89.93/22.68	c Calc non-exist non-lernt bins v-fix:     0 done:    873 time:  0.01 s
89.93/22.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
90.33/22.70	c Subs w/ non-existent bins:      0 time:  0.09 s
90.33/22.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
91.13/22.93	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.77 s
91.13/22.93	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
133.86/33.61	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
133.86/33.63	c lits-rem:      1094  cl-subs:     7990  v-elim:   1720  v-fix:    0  time: 42.73 s
133.86/33.63	c learnt bin added due to v-elim: 0
133.86/33.64	c vivif2 --  cl tried    71433 cl shrink        8 lits rem          8 time: 0.03
133.86/33.65	c vivif2 --  cl tried    32935 cl shrink        0 lits rem          0 time: 0.06
134.26/33.73	c asymm  cl-useful: 0/1889/71425 lits-rem:0 time: 0.31
134.26/33.74	c calculated reachability. Time: 0.00
134.26/33.74	c  N dy   697    105330       865     71425       874     32935    430279    760562     35.94     29.27  --
136.25/34.27	c  N dy   747    112052       865     71425       874     39646    430279   1019162     38.96     29.30  --
138.66/34.83	c  N dy   801    119334       865     71425       874     26088    430279    512933     37.70     29.24  --
141.05/35.43	c  N dy   858    126992       865     71425       874     33739    430279    800004     34.74     29.21  --
143.45/36.08	c  N dy   918    135096       865     71425       874     41835    430279   1108788     37.59     29.20  --
146.25/36.76	c  N dy   982    143726       865     71425       874     28052    430279    528818     35.66     29.15  --
149.06/37.48	c  N dy  1051    152999       865     71425       874     37322    430279    868501     37.47     29.09  --
151.04/37.95	c  S st  1089    157995       865     71425       874     42311    430279   1057459     39.41     29.10  --
151.44/38.06	c  S st  1089    158498       865     71425       874     42814    430279   1086768     39.41     29.10  --
151.44/38.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
151.44/38.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.84/38.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      3 CBin:       0 P: 37.6M T:  2.48
153.84/38.68	c Calc non-exist non-lernt bins v-fix:     0 done:    865 time:  0.01 s
153.84/38.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
154.24/38.71	c Subs w/ non-existent bins:      0 time:  0.09 s
154.24/38.74	c bin-w-bin subsume rem            8 bins  time:  0.00 s
155.04/38.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.76 s
155.04/38.93	c Removed useless bin:       5  fixed:     0  bprops:   0.01M  time:  0.00 s
188.21/47.20	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
188.21/47.23	c lits-rem:       460  cl-subs:     2020  v-elim:    856  v-fix:    0  time: 33.16 s
188.21/47.23	c learnt bin added due to v-elim: 0
188.21/47.24	c vivif2 --  cl tried    71425 cl shrink        0 lits rem          0 time: 0.03
188.21/47.26	c vivif2 --  cl tried    40794 cl shrink        0 lits rem          0 time: 0.08
188.61/47.36	c asymm  cl-useful: 0/1312/71425 lits-rem:0 time: 0.38
188.61/47.36	c calculated reachability. Time: 0.00
188.61/47.36	c  N dy  1089    158498       865     71425       858     40794    430263   1016814     39.41     29.10  --
192.18/48.26	c  N dy  1165    168678       865     71425       858     27273    430263    472979     37.99     29.08  --
195.38/49.09	c  N dy  1246    179565       865     71425       858     38141    430263    878123     37.16     29.05  --
199.78/50.12	c  N dy  1331    191123       865     71425       858     24857    430263    346851     37.93     29.05  --
203.36/51.04	c  N dy  1422    203421       865     71425       858     37147    430263    806184     37.36     29.03  --
207.76/52.11	c  N dy  1519    216477       865     71425       858     50186    430263   1294125     39.72     29.02  --
212.15/53.22	c  N dy  1622    230378       865     71425       858     38166    430263    803127     41.35     28.97  --
214.56/53.89	c  S st  1677    237748       865     71425       858     45531    430263   1069451     37.09     28.93  --
215.35/54.01	c  S st  1677    238250       865     71425       858     46033    430263   1097638     37.09     28.93  --
215.35/54.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
215.35/54.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.15/54.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 46.3M T:  3.03
218.15/54.78	c Calc non-exist non-lernt bins v-fix:     0 done:    865 time:  0.01 s
218.15/54.78	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
218.55/54.80	c Subs w/ non-existent bins:      0 time:  0.09 s
218.55/54.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
219.37/55.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.73 s
219.37/55.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
251.30/63.04	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
251.30/63.06	c lits-rem:       291  cl-subs:     1958  v-elim:    856  v-fix:    0  time: 32.16 s
251.30/63.06	c learnt bin added due to v-elim: 0
251.30/63.07	c vivif2 --  cl tried    71425 cl shrink        0 lits rem          0 time: 0.03
251.30/63.09	c vivif2 --  cl tried    44075 cl shrink        0 lits rem          0 time: 0.08
251.70/63.18	c asymm  cl-useful: 0/1421/71425 lits-rem:0 time: 0.33
251.70/63.18	c calculated reachability. Time: 0.00
251.70/63.18	c  N dy  1677    238250       865     71425       858     44075    430263   1031001     37.09     28.93  --
256.89/64.45	c  N dy  1791    253531       865     71425       858     32402    430263    565269     35.61     28.93  --
262.09/65.75	c  N dy  1912    269754       865     71425       858     48599    430263   1155539     33.37     28.89  --
268.08/67.24	c  N dy  2041    287011       865     71425       858     37899    430263    742458     38.61     28.85  --
274.47/68.85	c  N dy  2178    305360       865     71425       858     56228    430263   1409969     35.72     28.81  --
280.89/70.48	c  N dy  2323    324867       865     71425       858     46752    430263   1017630     34.43     28.75  --
288.06/72.28	c  N dy  2472    344977       865     71425       858     36883    430263    656724     40.62     28.76  --
292.45/73.35	c  S st  2565    357375       892     71425       947     49303    430405   1101610     37.08     28.73  --
292.85/73.47	c  S st  2565    357879       892     71425       947     49807    430405   1133559     37.08     28.73  --
292.85/73.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
292.85/73.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.44/74.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      9 BRemL:      0 BRemN:      0 CBin:       0 P: 55.0M T:  3.50
296.44/74.35	c Calc non-exist non-lernt bins v-fix:     0 done:    892 time:  0.01 s
296.44/74.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
296.44/74.38	c Subs w/ non-existent bins:     17 time:  0.10 s
296.84/74.41	c bin-w-bin subsume rem           17 bins  time:  0.00 s
297.24/74.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.71 s
297.24/74.59	c Removed useless bin:      34  fixed:     0  bprops:   0.01M  time:  0.00 s
331.19/83.01	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
331.19/83.04	c lits-rem:       291  cl-subs:     2166  v-elim:    856  v-fix:    0  time: 33.74 s
331.19/83.04	c learnt bin added due to v-elim: 0
331.19/83.04	c vivif2 --  cl tried    71425 cl shrink        0 lits rem          0 time: 0.03
331.19/83.07	c vivif2 --  cl tried    47624 cl shrink        0 lits rem          0 time: 0.09
331.60/83.16	c asymm  cl-useful: 0/1358/71425 lits-rem:0 time: 0.36
331.60/83.16	c calculated reachability. Time: 0.00
331.60/83.16	c  N dy  2565    357879       892     71425       905     47624    430337   1063653     37.08     28.73  --
339.18/85.00	c  N dy  2715    378004       892     71425       905     36752    430337    633579     36.16     28.74  --
345.57/86.66	c  N dy  2863    398018       892     71425       905     56740    430337   1377106     36.09     28.73  --
352.77/88.41	c  N dy  3013    418128       892     71425       905     44858    430337    906431     36.34     28.74  --
359.97/90.25	c  N dy  3162    438233       892     71425       905     64932    430337   1655909     36.98     28.74  --
441.44/110.64	c  N dy  3187    536818       892     71425       905     60702    430337   2956812     98.90     36.82  --
441.84/110.76	c  S st  3187    536818       892     71425       905     60702    430337   2956812     98.90     36.82  --
442.64/110.90	c  S st  3187    537321       892     71425       905     61213    430337   2983596     98.90     36.82  --
442.64/110.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
442.64/110.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
448.23/112.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  5.85
448.23/112.38	c Calc non-exist non-lernt bins v-fix:     0 done:    892 time:  0.01 s
448.23/112.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
448.63/112.43	c Subs w/ non-existent bins:      0 time:  0.21 s
449.04/112.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
451.04/113.01	c subs with bin:        8  lits-rem:         8  v-fix:    0  time:  2.04 s
451.04/113.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
724.29/181.45	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
724.29/181.50	c lits-rem:        73  cl-subs:     2636  v-elim:    856  v-fix:    0  time: 273.57 s
724.29/181.50	c learnt bin added due to v-elim: 0
724.69/181.51	c vivif2 --  cl tried    71425 cl shrink        0 lits rem          0 time: 0.03
724.69/181.56	c vivif2 --  cl tried    58569 cl shrink        0 lits rem          0 time: 0.22
725.06/181.69	c asymm  cl-useful: 0/1128/71425 lits-rem:0 time: 0.49
725.06/181.69	c calculated reachability. Time: 0.00
725.06/181.69	c  N dy  3187    537321       892     71425       913     58569    430337   2756536     98.90     36.82  --
725.06/181.69	c  F st  3187    537321       892     71425       913     58569    430337   2756536     98.90     36.82  --
726.26/181.91	c Decided on static restart strategy
733.07/183.62	c  N dy  3327    557437       912     71425       988     43127    430447    737790     34.07     36.52  --
892.44/223.52	c  N dy  3449    805981       912     71425       988     54124    430447   1564017     91.98     45.12  --
892.84/223.60	c  S st  3449    805981       912     71425       988     54124    430447   1564017     91.98     45.12  --
893.25/223.74	c  S st  3449    806483       912     71425       988     54626    430447   1593264     91.98     45.12  --
893.25/223.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
893.25/223.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
897.64/224.87	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.47
897.64/224.87	c Calc non-exist non-lernt bins v-fix:     0 done:    912 time:  0.01 s
897.64/224.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
898.04/224.90	c Subs w/ non-existent bins:     15 time:  0.13 s
898.04/224.94	c bin-w-bin subsume rem           23 bins  time:  0.00 s
898.84/225.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.82 s
898.84/225.15	c Removed useless bin:      30  fixed:     0  bprops:   0.01M  time:  0.00 s
920.41/230.59	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
920.81/230.62	c lits-rem:       498  cl-subs:     2968  v-elim:    856  v-fix:    0  time: 21.87 s
920.81/230.62	c learnt bin added due to v-elim: 0
920.81/230.63	c vivif2 --  cl tried    71425 cl shrink        0 lits rem          0 time: 0.03
920.81/230.66	c vivif2 --  cl tried    51643 cl shrink        0 lits rem          0 time: 0.12
921.21/230.76	c asymm  cl-useful: 0/1304/71425 lits-rem:0 time: 0.39
921.21/230.76	c calculated reachability. Time: 0.00
921.21/230.76	c  N dy  3449    806483       912     71425       935     51643    430387   1387004     91.98     45.12  --
1247.59/312.46	c  N dy  3515   1209724       952     71425      1054     82205    430581   3977268    107.25     54.83  --
1248.37/312.62	c  S st  3515   1209724       952     71425      1054     82205    430581   3977268    107.25     54.83  --
1248.37/312.62	c Finding binary XORs  T:     0.00 s  found:       1
1248.77/312.78	c  S st  3515   1210227       952     71425      1060     82710    430585   4009389    107.25     54.83  --
1248.77/312.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1248.77/312.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1255.97/314.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  7.18
1255.97/314.59	c Calc non-exist non-lernt bins v-fix:     0 done:    952 time:  0.01 s
1255.97/314.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1256.38/314.66	c Subs w/ non-existent bins:     17 time:  0.26 s
1256.38/314.67	c Replacing        1 vars Replaced       13 lits Time:     0.06 s 
1256.75/314.76	c bin-w-bin subsume rem           19 bins  time:  0.00 s
1259.15/315.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  2.38 s
1259.15/315.35	c Removed useless bin:      34  fixed:     0  bprops:   0.01M  time:  0.00 s
1683.78/421.65	c ORs :      3 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1688.58/422.84	c Added 10 vars  tried: 80000 time: 4.76
1696.16/424.71	c ORs :     10 avg-s:  0.0 cl-sh: 68422 l-rem:  68422 b-add:     20 v-rep:   0 cl-rem: 0 avg s: nan T:   12.21
1696.16/424.77	c lits-rem:       136  cl-subs:     5378  v-elim:    856  v-fix:    0  time: 437.06 s
1696.16/424.77	c learnt bin added due to v-elim: 0
1696.16/424.78	c vivif2 --  cl tried    71435 cl shrink        0 lits rem          0 time: 0.03
1696.56/424.85	c vivif2 --  cl tried    77315 cl shrink        0 lits rem          0 time: 0.26
1696.96/424.98	c asymm  cl-useful: 0/913/71435 lits-rem:0 time: 0.52
1696.96/424.98	c calculated reachability. Time: 0.00
1696.96/424.98	c  N dy  3515   1210227       961     71435      1023     77315    430546   3515356    107.25     54.83  --
2165.56/542.22	c  N dy  3542   1710227       961     71435      1023     82202    430546   2829157     96.09     59.88  --
2165.96/542.33	c  S st  3542   1710227       961     71435      1023     82202    430546   2829157     96.09     59.88  --
2166.73/542.50	c  S st  3542   1710731       961     71435      1023     82705    430546   2857409     96.09     59.88  --
2166.73/542.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2166.73/542.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2171.53/543.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.00
2171.53/543.76	c Calc non-exist non-lernt bins v-fix:     0 done:    961 time:  0.02 s
2171.53/543.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2171.93/543.81	c Subs w/ non-existent bins:      0 time:  0.20 s
2171.93/543.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2173.93/544.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.73 s
2173.93/544.31	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2314.55/579.56	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
2314.96/579.61	c lits-rem:       205  cl-subs:     5572  v-elim:    856  v-fix:    0  time: 141.01 s
2314.96/579.61	c learnt bin added due to v-elim: 0
2314.96/579.62	c vivif2 --  cl tried    71435 cl shrink        0 lits rem          0 time: 0.03
2314.96/579.67	c vivif2 --  cl tried    77133 cl shrink        0 lits rem          0 time: 0.20
2315.37/579.78	c asymm  cl-useful: 0/827/71435 lits-rem:0 time: 0.46
2315.37/579.79	c calculated reachability. Time: 0.00
2315.37/579.79	c  N dy  3542   1710731       961     71435      1023     77133    430546   2519941     96.09     59.88  --
2325.32/582.23	c  N dy  3691   1730746       961     71435      1023     97131    430546   3248541     34.30     59.51  --
2768.33/693.16	c  N dy  3788   2210731       961     71435      1023     69390    430546   1196106     83.64     61.61  --
2768.73/693.23	c  S st  3788   2210731       961     71435      1023     69390    430546   1196106     83.64     61.61  --
2769.13/693.38	c  S st  3788   2211232       992     71435      1103     69994    430686   1224998     83.64     61.61  --
2769.13/693.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2769.13/693.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2773.12/694.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  3.83
2773.12/694.35	c Calc non-exist non-lernt bins v-fix:     0 done:    992 time:  0.02 s
2773.12/694.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2773.12/694.38	c Subs w/ non-existent bins:      2 time:  0.12 s
2773.52/694.40	c Replacing        3 vars Replaced     3650 lits Time:     0.08 s 
2773.52/694.44	c bin-w-bin subsume rem            8 bins  time:  0.00 s
2773.92/694.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.51 s
2773.92/694.57	c Removed useless bin:       4  fixed:     0  bprops:   0.01M  time:  0.00 s
2792.69/699.22	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.03
2792.69/699.25	c lits-rem:       247  cl-subs:     1522  v-elim:    854  v-fix:    0  time: 18.72 s
2792.69/699.25	c learnt bin added due to v-elim: 0
2792.69/699.26	c vivif2 --  cl tried    71435 cl shrink        0 lits rem          0 time: 0.03
2792.69/699.29	c vivif2 --  cl tried    68470 cl shrink        0 lits rem          0 time: 0.10
2793.09/699.38	c asymm  cl-useful: 0/1121/71435 lits-rem:0 time: 0.38
2793.09/699.39	c calculated reachability. Time: 0.00
2793.09/699.39	c  N dy  3788   2211232       989     71435      1079     68470    430654   1173609     83.64     61.61  --
3266.86/817.90	c  N dy  3856   2711232       989     71435      1079    143837    430654   7542644     82.00     62.70  --
3268.48/818.38	c  S st  3856   2711232       989     71435      1079    143837    430654   7542644     82.00     62.70  --
3269.66/818.62	c  S st  3856   2711734      1021     71435      1157    144404    430796   7572319     82.00     62.70  --
3269.66/818.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
3269.66/818.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3279.25/821.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:     12 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  9.76
3279.25/821.08	c Calc non-exist non-lernt bins v-fix:     0 done:   1021 time:  0.02 s
3279.25/821.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3280.05/821.21	c Subs w/ non-existent bins:      7 time:  0.52 s
3286.46/822.84	c Replacing        6 vars Replaced    71740 lits Time:     6.51 s 
3287.24/823.00	c bin-w-bin subsume rem           19 bins  time:  0.00 s
3291.23/824.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  4.12 s
3291.23/824.03	c Removed useless bin:      14  fixed:     0  bprops:   0.01M  time:  0.00 s
4233.18/1059.81	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.08
4233.58/1059.92	c lits-rem:      2602  cl-subs:    10790  v-elim:    848  v-fix:    0  time: 942.26 s
4233.58/1059.92	c learnt bin added due to v-elim: 0
4233.58/1059.93	c vivif2 --  cl tried    71435 cl shrink        0 lits rem          0 time: 0.03
4233.98/1060.07	c vivif2 --  cl tried   133607 cl shrink        1 lits rem          1 time: 0.56
4234.78/1060.20	c asymm  cl-useful: 0/1046/71435 lits-rem:0 time: 0.51
4234.78/1060.21	c calculated reachability. Time: 0.00
4234.78/1060.21	c  N dy  3856   2711734      1015     71435      1124    133607    430744   6624355     82.00     62.70  --
4234.78/1060.21	c  F st  3856   2711734      1015     71435      1124    133607    430744   6624355     82.00     62.70  --
4236.37/1060.65	c Decided on static restart strategy
4630.67/1159.38	c  N dy  3931   3211734      1037     71435      1180     95367    430844   2816626    110.45     63.77  --
4631.44/1159.51	c  S st  3931   3211734      1037     71435      1180     95367    430844   2816626    110.45     63.77  --
4631.84/1159.70	c  S st  3931   3212239      1037     71435      1180     95870    430844   2848342    110.45     63.77  --
4632.24/1159.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
4632.24/1159.71	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
4637.04/1160.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  5.08
4637.04/1160.98	c Calc non-exist non-lernt bins v-fix:     0 done:   1037 time:  0.02 s
4637.04/1160.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4637.44/1161.04	c Subs w/ non-existent bins:      0 time:  0.23 s
4638.24/1161.27	c Replacing        3 vars Replaced    22523 lits Time:     0.92 s 
4638.64/1161.34	c bin-w-bin subsume rem            6 bins  time:  0.00 s
4640.23/1161.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  1.44 s
4640.23/1161.70	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
4792.83/1199.99	c ORs :     13 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.04
4795.62/1200.62	c Added 11 vars  tried: 80000 time: 2.53
4796.82/1200.99	c ORs :     11 avg-s:  0.0 cl-sh: 26240 l-rem:  26240 b-add:     22 v-rep:   0 cl-rem: 0 avg s: nan T:    3.99
4797.22/1201.04	c lits-rem:        66  cl-subs:     4459  v-elim:    845  v-fix:    0  time: 157.15 s
4797.22/1201.04	c learnt bin added due to v-elim: 0
4797.22/1201.05	c vivif2 --  cl tried    71446 cl shrink        0 lits rem          0 time: 0.04
4797.64/1201.11	c vivif2 --  cl tried    91411 cl shrink        0 lits rem          0 time: 0.21
4798.04/1201.21	c asymm  cl-useful: 0/1427/71446 lits-rem:0 time: 0.41
4798.04/1201.21	c calculated reachability. Time: 0.00
4798.04/1201.21	c  N dy  3931   3212239      1045     71446      1184     91411    430863   2358976    110.45     63.77  --

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-3249567-1304130497/watcher-3249567-1304130497 -o /tmp/evaluation-result-3249567-1304130497/solver-3249567-1304130497 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3249567-1304130497.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: 7.51 8.04 8.11 2/176 14605
/proc/meminfo: memFree=30104408/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=51216 CPUtime=0 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 1087 0 0 0 0 0 0 0 18 0 1 0 524647866 52445184 1024 33554432000 4194304 4797429 140736294317856 18446744073709551615 4365441 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14605/statm: 12804 1025 347 148 0 7733 0

[startup+0.0571231 s]
/proc/loadavg: 7.51 8.04 8.11 2/176 14605
/proc/meminfo: memFree=30104408/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=58196 CPUtime=0.05 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 3816 0 0 0 5 0 0 0 18 0 1 0 524647866 59592704 3344 33554432000 4194304 4797429 140736294317856 18446744073709551615 246516495045 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14605/statm: 14549 3345 349 148 0 9478 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 58196

[startup+0.101106 s]
/proc/loadavg: 7.51 8.04 8.11 2/176 14605
/proc/meminfo: memFree=30104408/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=64192 CPUtime=0.09 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 6237 0 0 0 9 0 0 0 18 0 1 0 524647866 65732608 5249 33554432000 4194304 4797429 140736294317856 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14605/statm: 16048 5249 349 148 0 10977 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 64192

[startup+0.301034 s]
/proc/loadavg: 7.51 8.04 8.11 2/176 14605
/proc/meminfo: memFree=30104408/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=705260 CPUtime=0.85 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 18060 0 0 0 82 3 0 0 18 0 4 0 524647866 722186240 12582 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 176315 12582 397 148 0 171244 0
Current children cumulated CPU time (s) 0.85
Current children cumulated vsize (KiB) 705260

[startup+0.700964 s]
/proc/loadavg: 7.51 8.04 8.11 2/176 14605
/proc/meminfo: memFree=30104408/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=710184 CPUtime=2.45 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 24558 0 0 0 241 4 0 0 18 0 4 0 524647866 727228416 18728 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 177546 18728 552 148 0 172475 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 710184

[startup+1.50081 s]
/proc/loadavg: 7.51 8.04 8.11 12/188 14622
/proc/meminfo: memFree=29963324/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=716808 CPUtime=5.64 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 29187 0 0 0 558 6 0 0 19 0 4 0 524647866 734011392 22596 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 179202 22596 494 148 0 174131 0
[pid=14605/tid=14617] ppid=14603 vsize=716808 CPUtime=1.38 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 5389 0 0 0 137 1 0 0 19 0 4 0 524647876 734011392 22596 33554432000 4194304 4797429 140736294317856 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=716808 CPUtime=1.37 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 5771 0 0 0 136 1 0 0 19 0 4 0 524647876 734011392 22596 33554432000 4194304 4797429 140736294317856 18446744073709551615 4429087 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=716808 CPUtime=1.38 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 5640 0 0 0 137 1 0 0 19 0 4 0 524647876 734011392 22596 33554432000 4194304 4797429 140736294317856 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 716808

[startup+3.10052 s]
/proc/loadavg: 7.63 8.06 8.11 9/188 14622
/proc/meminfo: memFree=29941504/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=722352 CPUtime=12.03 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 33494 0 0 0 1196 7 0 0 21 0 4 0 524647866 739688448 25015 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524464 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 180588 25015 418 148 0 175517 0
[pid=14605/tid=14617] ppid=14603 vsize=722352 CPUtime=2.97 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 5943 0 0 0 296 1 0 0 22 0 4 0 524647876 739688448 25015 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=722352 CPUtime=2.97 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 6479 0 0 0 295 2 0 0 22 0 4 0 524647876 739688448 25015 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=722352 CPUtime=2.98 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 6039 0 0 0 297 1 0 0 22 0 4 0 524647876 739688448 25015 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 722352

[startup+6.30093 s]
/proc/loadavg: 7.63 8.06 8.11 9/188 14622
/proc/meminfo: memFree=29915172/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=723900 CPUtime=24.82 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 36364 0 0 0 2474 8 0 0 25 0 4 0 524647866 741273600 27806 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568062 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 180975 27806 419 148 0 175904 0
[pid=14605/tid=14617] ppid=14603 vsize=723900 CPUtime=6.17 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 6787 0 0 0 616 1 0 0 25 0 4 0 524647876 741273600 27806 33554432000 4194304 4797429 140736294317856 18446744073709551615 4428777 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=723900 CPUtime=6.14 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 7530 0 0 0 612 2 0 0 25 0 4 0 524647876 741273600 27806 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524184 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=723900 CPUtime=6.18 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 6912 0 0 0 617 1 0 0 25 0 4 0 524647876 741273600 27806 33554432000 4194304 4797429 140736294317856 18446744073709551615 4425030 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 24.82
Current children cumulated vsize (KiB) 723900

[startup+12.7008 s]
/proc/loadavg: 7.69 8.06 8.11 9/188 14622
/proc/meminfo: memFree=29883608/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=728392 CPUtime=50.38 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 41276 0 0 0 5028 10 0 0 25 0 4 0 524647866 745873408 32551 33554432000 4194304 4797429 140736294317856 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 182098 32551 421 148 0 177027 0
[pid=14605/tid=14617] ppid=14603 vsize=728392 CPUtime=12.57 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 7304 0 0 0 1256 1 0 0 25 0 4 0 524647876 745873408 32551 33554432000 4194304 4797429 140736294317856 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=728392 CPUtime=12.51 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 8117 0 0 0 1248 3 0 0 25 0 4 0 524647876 745873408 32551 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524541 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=728392 CPUtime=12.58 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 7563 0 0 0 1257 1 0 0 25 0 4 0 524647876 745873408 32551 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.38
Current children cumulated vsize (KiB) 728392

[startup+25.5004 s]
/proc/loadavg: 8.04 8.12 8.13 9/188 14622
/proc/meminfo: memFree=29853636/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=736404 CPUtime=101.51 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 49371 0 0 0 10139 12 0 0 25 0 4 0 524647866 754077696 35740 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 184101 35740 422 148 0 179030 0
[pid=14605/tid=14617] ppid=14603 vsize=736404 CPUtime=25.37 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 8029 0 0 0 2536 1 0 0 25 0 4 0 524647876 754077696 35740 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524473 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=736404 CPUtime=25.24 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 8580 0 0 0 2521 3 0 0 25 0 4 0 524647876 754077696 35740 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=736404 CPUtime=25.38 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 8056 0 0 0 2537 1 0 0 25 0 4 0 524647876 754077696 35740 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568122 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 736404

[startup+51.1007 s]
/proc/loadavg: 8.02 8.11 8.13 9/188 14623
/proc/meminfo: memFree=29826496/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=744900 CPUtime=203.76 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 61553 0 0 0 20360 16 0 0 25 0 4 0 524647866 762777600 39594 33554432000 4194304 4797429 140736294317856 18446744073709551615 4413300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 186225 39594 420 148 0 181154 0
[pid=14605/tid=14617] ppid=14603 vsize=744900 CPUtime=50.97 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 8610 0 0 0 5095 2 0 0 25 0 4 0 524647876 762777600 39594 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=744900 CPUtime=50.7 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 9427 0 0 0 5067 3 0 0 25 0 4 0 524647876 762777600 39594 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=744900 CPUtime=50.98 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 8879 0 0 0 5097 1 0 0 25 0 4 0 524647876 762777600 39594 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.76
Current children cumulated vsize (KiB) 744900

[startup+102.306 s]
/proc/loadavg: 8.06 8.10 8.12 10/188 14624
/proc/meminfo: memFree=29775568/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=755124 CPUtime=408.31 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 92611 0 0 0 40804 27 0 0 25 0 4 0 524647866 773246976 47174 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 188781 47174 420 148 0 183710 0
[pid=14605/tid=14617] ppid=14603 vsize=755124 CPUtime=102.17 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 9255 0 0 0 10215 2 0 0 25 0 4 0 524647876 773246976 47174 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=755124 CPUtime=101.62 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 10327 0 0 0 10158 4 0 0 25 0 4 0 524647876 773246976 47174 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=755124 CPUtime=102.19 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 10080 0 0 0 10217 2 0 0 25 0 4 0 524647876 773246976 47174 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.31
Current children cumulated vsize (KiB) 755124

[startup+162.3 s]
/proc/loadavg: 8.17 8.13 8.13 9/188 14626
/proc/meminfo: memFree=29759268/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=764204 CPUtime=647.97 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 106775 0 0 0 64765 32 0 0 25 0 4 0 524647866 782544896 47863 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 191051 47863 420 148 0 185980 0
[pid=14605/tid=14617] ppid=14603 vsize=764204 CPUtime=162.16 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 11230 0 0 0 16214 2 0 0 25 0 4 0 524647876 782544896 47863 33554432000 4194304 4797429 140736294317856 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=764204 CPUtime=161.29 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 12616 0 0 0 16124 5 0 0 25 0 4 0 524647876 782544896 47863 33554432000 4194304 4797429 140736294317856 18446744073709551615 4642265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=764204 CPUtime=162.19 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 11955 0 0 0 16217 2 0 0 25 0 4 0 524647876 782544896 47863 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 647.97
Current children cumulated vsize (KiB) 764204

[startup+222.3 s]
/proc/loadavg: 8.06 8.10 8.11 10/188 14628
/proc/meminfo: memFree=29740124/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=774944 CPUtime=887.65 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 140509 0 0 0 88721 44 0 0 25 0 4 0 524647866 793542656 50364 33554432000 4194304 4797429 140736294317856 18446744073709551615 4351629 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 193736 50364 422 148 0 188665 0
[pid=14605/tid=14617] ppid=14603 vsize=774944 CPUtime=222.17 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 12003 0 0 0 22214 3 0 0 25 0 4 0 524647876 793542656 50364 33554432000 4194304 4797429 140736294317856 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=774944 CPUtime=220.97 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 13472 0 0 0 22092 5 0 0 25 0 4 0 524647876 793542656 50364 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=774944 CPUtime=222.19 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 12531 0 0 0 22216 3 0 0 25 0 4 0 524647876 793542656 50364 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 887.65
Current children cumulated vsize (KiB) 774944

[startup+282.3 s]

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

[pid=14605] ppid=14603 vsize=815020 CPUtime=2805.08 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 344258 0 0 0 280377 131 0 0 25 0 4 0 524647866 834580480 67959 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 203755 67959 422 148 0 198684 0
[pid=14605/tid=14617] ppid=14603 vsize=815020 CPUtime=702.18 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 20041 0 0 0 70213 5 0 0 25 0 4 0 524647876 834580480 67959 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=815020 CPUtime=698.37 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 22092 0 0 0 69828 9 0 0 25 0 4 0 524647876 834580480 67959 33554432000 4194304 4797429 140736294317856 18446744073709551615 4495554 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=815020 CPUtime=702.2 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 21324 0 0 0 70214 6 0 0 25 0 4 0 524647876 834580480 67959 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.08
Current children cumulated vsize (KiB) 815020

[startup+762.307 s]
/proc/loadavg: 8.14 8.08 8.08 9/188 14642
/proc/meminfo: memFree=29581388/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=824644 CPUtime=3044.78 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 376048 0 0 0 304333 145 0 0 25 0 4 0 524647866 844435456 69564 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 206161 69564 422 148 0 201090 0
[pid=14605/tid=14617] ppid=14603 vsize=824644 CPUtime=762.18 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 20434 0 0 0 76213 5 0 0 25 0 4 0 524647876 844435456 69564 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=824644 CPUtime=758.04 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 22574 0 0 0 75795 9 0 0 25 0 4 0 524647876 844435456 69564 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=824644 CPUtime=762.21 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 21783 0 0 0 76215 6 0 0 25 0 4 0 524647876 844435456 69564 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3044.78
Current children cumulated vsize (KiB) 824644

[startup+822.301 s]
/proc/loadavg: 8.15 8.09 8.09 9/188 14644
/proc/meminfo: memFree=29536336/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=828460 CPUtime=3284.45 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 401905 0 0 0 328286 159 0 0 25 0 4 0 524647866 848343040 76702 33554432000 4194304 4797429 140736294317856 18446744073709551615 4345032 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 207115 76702 422 148 0 202044 0
[pid=14605/tid=14617] ppid=14603 vsize=828460 CPUtime=822.18 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 21737 0 0 0 82212 6 0 0 25 0 4 0 524647876 848343040 76702 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=828460 CPUtime=817.71 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 22972 0 0 0 81762 9 0 0 25 0 4 0 524647876 848343040 76702 33554432000 4194304 4797429 140736294317856 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=828460 CPUtime=822.2 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 22106 0 0 0 82214 6 0 0 25 0 4 0 524647876 848343040 76702 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568055 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.45
Current children cumulated vsize (KiB) 828460

[startup+882.301 s]
/proc/loadavg: 8.35 8.15 8.10 9/188 14645
/proc/meminfo: memFree=29495876/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=898168 CPUtime=3524.12 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 412028 0 0 0 352252 160 0 0 25 0 4 0 524647866 919724032 84098 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 224542 84098 429 148 0 219471 0
[pid=14605/tid=14617] ppid=14603 vsize=898168 CPUtime=882.18 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 22355 0 0 0 88212 6 0 0 25 0 4 0 524647876 919724032 84098 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568013 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=898168 CPUtime=877.38 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 25007 0 0 0 87729 9 0 0 25 0 4 0 524647876 919724032 84098 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=898168 CPUtime=882.21 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 22326 0 0 0 88214 7 0 0 25 0 4 0 524647876 919724032 84098 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568110 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.12
Current children cumulated vsize (KiB) 898168

[startup+942.301 s]
/proc/loadavg: 8.27 8.15 8.10 9/188 14647
/proc/meminfo: memFree=29497568/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=899248 CPUtime=3763.81 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 414758 0 0 0 376219 162 0 0 25 0 4 0 524647866 920829952 84234 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 224812 84234 429 148 0 219741 0
[pid=14605/tid=14617] ppid=14603 vsize=899248 CPUtime=942.19 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 22747 0 0 0 94212 7 0 0 25 0 4 0 524647876 920829952 84234 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=899248 CPUtime=937.07 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 25499 0 0 0 93697 10 0 0 25 0 4 0 524647876 920829952 84234 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=899248 CPUtime=942.21 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 24172 0 0 0 94214 7 0 0 25 0 4 0 524647876 920829952 84234 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3763.81
Current children cumulated vsize (KiB) 899248

[startup+1002.3 s]
/proc/loadavg: 8.29 8.18 8.11 9/188 14648
/proc/meminfo: memFree=29488984/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=899248 CPUtime=4003.48 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 415938 0 0 0 400186 162 0 0 25 0 4 0 524647866 920829952 85270 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 224812 85270 429 148 0 219741 0
[pid=14605/tid=14617] ppid=14603 vsize=899248 CPUtime=1002.19 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 23103 0 0 0 100212 7 0 0 25 0 4 0 524647876 920829952 85270 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=899248 CPUtime=996.74 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 25804 0 0 0 99664 10 0 0 25 0 4 0 524647876 920829952 85270 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=899248 CPUtime=1002.21 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 24691 0 0 0 100213 8 0 0 25 0 4 0 524647876 920829952 85270 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.48
Current children cumulated vsize (KiB) 899248

[startup+1062.3 s]
/proc/loadavg: 8.24 8.18 8.11 9/188 14650
/proc/meminfo: memFree=29484864/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=900464 CPUtime=4243.17 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 420527 0 0 0 424152 165 0 0 25 0 4 0 524647866 922075136 85250 33554432000 4194304 4797429 140736294317856 18446744073709551615 4345045 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 225116 85250 429 148 0 220045 0
[pid=14605/tid=14617] ppid=14603 vsize=900464 CPUtime=1062.19 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 24943 0 0 0 106211 8 0 0 25 0 4 0 524647876 922075136 85250 33554432000 4194304 4797429 140736294317856 18446744073709551615 4429143 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=900464 CPUtime=1056.42 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 27327 0 0 0 105631 11 0 0 25 0 4 0 524647876 922075136 85250 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=900464 CPUtime=1062.21 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 25116 0 0 0 106213 8 0 0 25 0 4 0 524647876 922075136 85250 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.17
Current children cumulated vsize (KiB) 900464

[startup+1122.3 s]
/proc/loadavg: 8.19 8.17 8.11 9/188 14652
/proc/meminfo: memFree=29476772/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=909736 CPUtime=4482.84 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 463927 0 0 0 448100 184 0 0 25 0 4 0 524647866 931569664 81291 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 227434 81291 429 148 0 222363 0
[pid=14605/tid=14617] ppid=14603 vsize=909736 CPUtime=1122.19 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 25337 0 0 0 112211 8 0 0 25 0 4 0 524647876 931569664 81291 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=909736 CPUtime=1116.09 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 27801 0 0 0 111598 11 0 0 25 0 4 0 524647876 931569664 81291 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=909736 CPUtime=1122.22 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 26916 0 0 0 112213 9 0 0 25 0 4 0 524647876 931569664 81291 33554432000 4194304 4797429 140736294317856 18446744073709551615 4351529 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4482.84
Current children cumulated vsize (KiB) 909736

[startup+1182.3 s]
/proc/loadavg: 8.24 8.19 8.12 9/188 14653
/proc/meminfo: memFree=29474484/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=910428 CPUtime=4722.52 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 486513 0 0 0 472055 197 0 0 25 0 4 0 524647866 932278272 84410 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 227607 84410 422 148 0 222536 0
[pid=14605/tid=14617] ppid=14603 vsize=910428 CPUtime=1182.19 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 25572 0 0 0 118210 9 0 0 25 0 4 0 524647876 932278272 84410 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=910428 CPUtime=1175.77 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 28202 0 0 0 117566 11 0 0 25 0 4 0 524647876 932278272 84410 33554432000 4194304 4797429 140736294317856 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=910428 CPUtime=1182.22 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 27555 0 0 0 118213 9 0 0 25 0 4 0 524647876 932278272 84410 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.52
Current children cumulated vsize (KiB) 910428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.23 8.19 8.12 9/188 14654
/proc/meminfo: memFree=29472100/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=910428 CPUtime=4800.03 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 486982 0 0 0 479806 197 0 0 25 0 4 0 524647866 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 227607 84869 422 148 0 222536 0
[pid=14605/tid=14617] ppid=14603 vsize=910428 CPUtime=1201.6 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 25655 0 0 0 120151 9 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=910428 CPUtime=1195.06 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 28272 0 0 0 119495 11 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=910428 CPUtime=1201.62 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 27714 0 0 0 120153 9 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 910428

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

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

[startup+1201.7 s]
/proc/loadavg: 8.23 8.19 8.12 9/188 14654
/proc/meminfo: memFree=29472100/32951124 swapFree=67102748/67111528
[pid=14605] ppid=14603 vsize=910428 CPUtime=4800.03 cores=1,3,5,7
/proc/14605/stat : 14605 (techdemo) R 14603 14605 13116 0 -1 4202496 486982 0 0 0 479806 197 0 0 25 0 4 0 524647866 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/14605/statm: 227607 84869 422 148 0 222536 0
[pid=14605/tid=14617] ppid=14603 vsize=910428 CPUtime=1201.6 cores=1,3,5,7
/proc/14605/task/14617/stat : 14617 (techdemo) R 14603 14605 13116 0 -1 4202560 25655 0 0 0 120151 9 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=14605/tid=14618] ppid=14603 vsize=910428 CPUtime=1195.06 cores=1,3,5,7
/proc/14605/task/14618/stat : 14618 (techdemo) R 14603 14605 13116 0 -1 4202560 28272 0 0 0 119495 11 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=14605/tid=14619] ppid=14603 vsize=910428 CPUtime=1201.62 cores=1,3,5,7
/proc/14605/task/14619/stat : 14619 (techdemo) R 14603 14605 13116 0 -1 4202560 27714 0 0 0 120153 9 0 0 25 0 4 0 524647876 932278272 84869 33554432000 4194304 4797429 140736294317856 18446744073709551615 4568011 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 910428

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.08
CPU user time (s): 4798.09
CPU system time (s): 1.9897
CPU usage (%): 399.432
Max. virtual memory (cumulated for all children) (KiB): 1024204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.09
system time used= 1.9897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486984
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= 4859
involuntary context switches= 34893

runsolver used 1.91171 second user time and 4.66929 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-30 04:28:17
IDJOB=3249567
IDBENCH=83177
IDSOLVER=1584
FILE ID=node134/3249567-1304130497
RUNJOBID= node134-1304130496-14506
PBS_JOBID= 13170752
Free space on /tmp= 72512 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-9x32.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3249567-1304130497/watcher-3249567-1304130497 -o /tmp/evaluation-result-3249567-1304130497/solver-3249567-1304130497 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3249567-1304130497.cnf

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

MD5SUM BENCH= bcc12436eba65ad776b55f23c6f42298
RANDOM SEED=27279499

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30104688 kB
Buffers:       1011468 kB
Cached:        1376376 kB
SwapCached:       4504 kB
Active:         148880 kB
Inactive:      2298868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30104688 kB
SwapTotal:    67111528 kB
SwapFree:     67102748 kB
Dirty:            9308 kB
Writeback:          16 kB
AnonPages:       56960 kB
Mapped:          14544 kB
Slab:           335240 kB
PageTables:       4724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   187988 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72492 MiB
End job on node134 at 2011-04-30 04:48:20