Trace number 3263605

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.43 1201.82

General information on the benchmark

NameSAT03/handmade/anton/UNSAT/
SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
MD5SUM9ffa0325c9e00b41c025f41d20ec5a0c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4252.27
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses49070
Sum of the clauses size98700
Maximum clause length30
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 249050
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 520

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-3263605-1304138251.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:       49070
0.00/0.04	c -- clauses added:            0 learnts,        49070 normals,            0 xors
0.00/0.04	c -- vars added        600
0.00/0.04	c Parsing time:  0.04 s
0.00/0.04	c  N st     0         0       600        20     49050         0     98700         0   no data   no data  --
0.00/0.04	c asymm  cl-useful: 0/20/20 lits-rem:0 time: 0.00
0.00/0.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.3M T:  0.06
0.00/0.09	c Calc non-exist non-lernt bins v-fix:     0 done:    600 time:  0.02 s
0.00/0.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.09	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.09	c bin-w-bin subsume rem            0 bins  time:  0.03 s
0.00/0.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.02 s
0.00/0.09	c Removed useless bin:       0  fixed:     0  bprops:   0.20M  time:  0.02 s
0.00/0.85	c lits-rem:       420  cl-subs:        0  v-elim:    380  v-fix:    0  time:  0.05 s
0.00/0.85	c learnt bin added due to v-elim: 0
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.00 s pos:     284 undec:      20 neg:     296
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.85	c  B st     0         0       580      1030     47440         0    130680         0   no data   no data  --
0.00/0.85	c Decided on static restart strategy
0.00/0.85	c  N dy    19      4048       580      1030     47440      3752    130680     94230     23.05     13.33  --
3.84/1.00	c  N dy    46      8088       579      1030     47451      5154    130680    212008    120.54     12.75  --
6.64/1.78	c  N dy    75     12176       579      1030     47455      5050    130680    193077     32.82     12.70  --
8.63/2.23	c  N dy   103     16246       579      1030     47457      8923    130680    353548     38.14     12.68  --
10.63/2.71	c  N dy   131     20272       579      1030     47460      7402    130680    230219     22.61     12.18  --
12.62/3.25	c  N dy   158     24314       579      1030     47472     11088    130680    312011     20.91     11.73  --
14.63/3.70	c  N dy   187     28360       579      1030     47477      8580    130680    269813     24.16     11.97  --
15.43/3.93	c  S st   198     30003       579      1030     47478     10101    130680    309551     26.14     12.00  --
15.43/4.00	c  S st   198     30503       579      1030     47478     10601    130680    335565     26.14     12.00  --
15.43/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
15.43/4.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.02/4.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     21 BRemL:      0 BRemN:      0 CBin:       0 P: 11.6M T:  3.43
19.02/4.86	c Calc non-exist non-lernt bins v-fix:     0 done:    578 time:  0.02 s
19.02/4.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
19.02/4.87	c Subs w/ non-existent bins:      0 time:  0.04 s
19.02/4.89	c bin-w-bin subsume rem            0 bins  time:  0.04 s
24.19/6.17	c subs with bin:       40  lits-rem:      3957  v-fix:    0  time:  5.06 s
24.19/6.17	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.02 s
26.99/6.85	c lits-rem:      2904  cl-subs:     2087  v-elim:    578  v-fix:    0  time:  2.69 s
26.99/6.85	c learnt bin added due to v-elim: 0
26.99/6.85	c vivif2 --  cl tried     1016 cl shrink      673 lits rem       6808 time: 0.00
26.99/6.86	c vivif2 --  cl tried     7058 cl shrink     1330 lits rem       2518 time: 0.04
28.59/7.22	c asymm  cl-useful: 46/996/1016 lits-rem:46 time: 1.45
28.59/7.22	c calculated reachability. Time: 0.00
28.59/7.22	c  N dy   198     30503       578      1016     46971      7048    117691    255271     26.14     12.00  --
28.59/7.22	c  F st   198     30503       578      1016     46971      7048    117691    255271     26.14     12.00  --
29.79/7.57	c Decided on static restart strategy
30.99/7.88	c  N dy   217     34513       577      1016     46981     10664    117691    394017     69.86     12.22  --
33.81/8.59	c  N dy   245     38530       576      1016     46992     14455    117691    607035     77.40     12.74  --
36.19/9.13	c  N dy   273     42582       576      1016     46993     11066    117691    431148     78.79     12.99  --
39.38/9.91	c  S st   295     45755       576      1016     46993     14054    117690    582962     41.89     13.40  --
39.38/9.98	c  S st   295     46257       576      1016     46993     14552    117690    619755     41.89     13.40  --
39.38/9.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
39.38/9.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.57/11.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 25.8M T:  7.21
46.98/11.80	c Calc non-exist non-lernt bins v-fix:     0 done:    576 time:  0.02 s
46.98/11.80	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.98/11.82	c Subs w/ non-existent bins:      0 time:  0.06 s
46.98/11.84	c bin-w-bin subsume rem           10 bins  time:  0.03 s
52.15/13.18	c subs with bin:        6  lits-rem:        65  v-fix:    0  time:  5.33 s
52.15/13.18	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.02 s
63.33/15.90	c lits-rem:      4225  cl-subs:     1432  v-elim:    572  v-fix:    0  time: 10.87 s
63.33/15.90	c learnt bin added due to v-elim: 0
63.33/15.90	c vivif2 --  cl tried      993 cl shrink        1 lits rem          1 time: 0.00
63.33/15.92	c vivif2 --  cl tried     9992 cl shrink      932 lits rem        993 time: 0.06
64.93/16.30	c asymm  cl-useful: 0/664/993 lits-rem:0 time: 1.51
64.93/16.30	c calculated reachability. Time: 0.00
64.93/16.30	c  N dy   295     46257       576       993     46492      9992    116437    493343     41.89     13.40  --
70.12/17.64	c  N dy   322     50319       576       993     46492     13821    116437    649307     35.30     13.78  --
75.31/18.90	c  N dy   349     54390       576       993     46493      9443    116437    361790     34.83     14.18  --
78.50/19.76	c  N dy   376     58423       576       993     46493     13246    116437    492462     38.12     14.26  --
83.30/20.96	c  N dy   403     62536       576       993     46496     17076    116437    621019     32.76     14.31  --
87.29/21.93	c  N dy   430     66620       576       993     46497     11664    116437    401147     34.28     14.37  --
89.69/22.56	c  S st   449     69387       576       993     46499     14272    116437    497483     32.24     14.35  --
90.09/22.63	c  S st   449     69887       576       993     46499     14769    116437    535013     32.24     14.35  --
90.09/22.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
90.09/22.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.07/24.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 27.7M T:  5.91
96.07/24.12	c Calc non-exist non-lernt bins v-fix:     0 done:    576 time:  0.02 s
96.07/24.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
96.07/24.13	c Subs w/ non-existent bins:      0 time:  0.05 s
96.07/24.15	c bin-w-bin subsume rem            0 bins  time:  0.04 s
101.27/25.46	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  5.23 s
101.27/25.46	c Removed useless bin:       0  fixed:     0  bprops:   0.18M  time:  0.02 s
111.26/27.99	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.03
116.86/29.37	c Added 6 vars  tried: 80000 time: 5.51
116.86/29.39	c ORs :      6 avg-s:  0.0 cl-sh:  6388 l-rem:   6388 b-add:     12 v-rep:   0 cl-rem: 0 avg s: nan T:    5.60
116.86/29.40	c lits-rem:      2679  cl-subs:     1623  v-elim:    572  v-fix:    0  time: 15.72 s
116.86/29.40	c learnt bin added due to v-elim: 0
116.86/29.40	c vivif2 --  cl tried      999 cl shrink        4 lits rem          5 time: 0.00
117.27/29.42	c vivif2 --  cl tried    13142 cl shrink     1320 lits rem       1716 time: 0.06
118.44/29.71	c asymm  cl-useful: 0/886/999 lits-rem:0 time: 1.18
118.44/29.71	c calculated reachability. Time: 0.00
118.44/29.71	c  N dy   449     69887       582       999     46511     13142    116277    480891     32.24     14.35  --
118.44/29.71	c  F st   449     69887       582       999     46511     13142    116277    480891     32.24     14.35  --
120.04/30.15	c Decided on static restart strategy
122.84/30.81	c  N dy   471     74381       582       999     46525     17388    116277    703574     27.75     14.39  --
128.03/32.17	c  N dy   503     79180       582       999     46545     11656    116277    431804     54.43     14.35  --
132.42/33.26	c  N dy   536     84249       582       999     46560     16384    116277    568163     26.46     14.26  --
138.82/34.82	c  N dy   572     89721       582       999     46578     21391    116277    715004     23.80     14.29  --
143.62/36.03	c  N dy   611     95585       582       999     46586     15725    116277    494509     55.47     14.21  --
149.59/37.53	c  N dy   651    101688       582       999     46594     21359    116277    639786     32.43     14.05  --
153.58/38.53	c  S st   672    104830       582       999     46598     12125    116277    334270     21.32     13.96  --
153.58/38.59	c  S st   672    105331       582       999     46603     12619    116277    372963     21.32     13.96  --
153.58/38.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
153.58/38.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.57/40.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    475 BRemL:      6 BRemN:      0 CBin:       0 P: 28.3M T:  5.77
159.57/40.04	c Calc non-exist non-lernt bins v-fix:     0 done:    582 time:  0.02 s
159.57/40.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
159.57/40.05	c Subs w/ non-existent bins:      0 time:  0.05 s
159.57/40.07	c bin-w-bin subsume rem            0 bins  time:  0.03 s
164.76/41.34	c subs with bin:      269  lits-rem:      1108  v-fix:    0  time:  5.10 s
164.76/41.35	c Removed useless bin:       0  fixed:     0  bprops:   0.12M  time:  0.01 s
173.97/43.69	c ORs :      9 avg-s:  2.0 cl-sh:    18 l-rem:     18 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.03
173.97/43.70	c lits-rem:      3238  cl-subs:     2272  v-elim:    868  v-fix:    0  time:  9.39 s
173.97/43.70	c learnt bin added due to v-elim: 0
173.97/43.70	c vivif2 --  cl tried     1510 cl shrink      274 lits rem        278 time: 0.00
174.37/43.72	c vivif2 --  cl tried    10078 cl shrink     2251 lits rem       3295 time: 0.06
175.95/44.13	c asymm  cl-useful: 0/1242/1242 lits-rem:0 time: 1.64
175.95/44.13	c calculated reachability. Time: 0.00
175.95/44.13	c  N dy   672    105331       579      1242     46821     10074    116490    310723     21.32     13.96  --
181.53/45.50	c  N dy   716    112115       579      1242     46824     16366    116490    462573     19.12     13.77  --
186.73/46.90	c  N dy   765    119285       577      1242     46846     23067    116490    821455     25.56     13.80  --
193.12/48.41	c  N dy   816    126976       576      1242     46856     17213    116490    436264     23.00     13.64  --
198.72/49.86	c  N dy   873    135161       576      1242     46861     25005    116490    937156     69.55     13.77  --
204.72/51.40	c  N dy   932    143859       576      1242     46863     19233    116490    593404     49.01     13.77  --
212.69/53.36	c  N dy   995    153050       576      1242     46869     27920    116490   1056271     69.67     13.84  --
217.49/54.56	c  S st  1030    157996       576      1242     46870     17664    116490    612611     82.46     14.08  --
217.91/54.63	c  S st  1030    158499       576      1242     46870     18163    116490    651046     82.46     14.08  --
217.91/54.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
217.91/54.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
231.08/57.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      6 BRemL:      0 BRemN:    267 CBin:       0 P: 57.4M T: 13.40
231.08/58.00	c Calc non-exist non-lernt bins v-fix:     0 done:    576 time:  0.03 s
231.08/58.00	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
231.48/58.01	c Subs w/ non-existent bins:      1 time:  0.07 s
231.48/58.05	c bin-w-bin subsume rem          268 bins  time:  0.03 s
236.65/59.38	c subs with bin:        0  lits-rem:        54  v-fix:    0  time:  5.32 s
236.65/59.39	c Removed useless bin:       0  fixed:     0  bprops:   0.13M  time:  0.02 s
247.04/61.92	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 5.0 T:    0.03
247.04/61.93	c lits-rem:      2230  cl-subs:     1480  v-elim:    566  v-fix:    0  time: 10.14 s
247.04/61.93	c learnt bin added due to v-elim: 0
247.04/61.93	c vivif2 --  cl tried     1215 cl shrink        8 lits rem         10 time: 0.00
247.04/61.94	c vivif2 --  cl tried    10354 cl shrink      327 lits rem        354 time: 0.04
248.24/62.27	c asymm  cl-useful: 0/517/1215 lits-rem:0 time: 1.32
248.24/62.27	c calculated reachability. Time: 0.00
248.24/62.27	c  N dy  1030    158499       576      1215     45591     10352    114124    494372     82.46     14.08  --
263.81/66.18	c  N dy  1099    168626       575      1215     45612     19857    114124   1136673     75.90     14.10  --
293.36/73.59	c  N dy  1172    179491       574      1215     45621     30096    114124   1878386     59.68     14.24  --
310.94/77.92	c  N dy  1251    191064       573      1215     45631     25191    114124   1071582     42.77     14.17  --
326.12/81.72	c  N dy  1335    203308       573      1215     45636     19911    114124    785251     85.89     14.14  --
342.08/85.78	c  N dy  1425    216381       573      1215     45639     32188    114124   1309122     33.25     14.07  --
361.27/90.50	c  N dy  1520    230257       573      1215     45640     27599    114124   1253776     75.66     14.28  --
374.04/93.75	c  S st  1572    237748       597      1215     47738     35926    115536   1557514     42.32     14.20  --
374.84/93.95	c  S st  1572    238249       597      1215     47738     36423    115536   1589575     42.32     14.20  --
374.84/93.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
374.84/93.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
395.61/99.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:    475 BRemL:    124 BRemN:    168 CBin:       0 P: 60.0M T: 20.86
395.61/99.18	c Calc non-exist non-lernt bins v-fix:     0 done:    597 time:  0.03 s
395.61/99.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
396.01/99.22	c Subs w/ non-existent bins:    668 time:  0.14 s
396.01/99.24	c Replacing        1 vars Replaced       15 lits Time:     0.08 s 
396.01/99.27	c bin-w-bin subsume rem          573 bins  time:  0.03 s
402.42/100.84	c subs with bin:      459  lits-rem:         3  v-fix:    0  time:  6.25 s
402.42/100.84	c Removed useless bin:     383  fixed:     0  bprops:   0.08M  time:  0.01 s
414.78/103.94	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.04
414.78/103.96	c lits-rem:      1243  cl-subs:     4574  v-elim:    561  v-fix:    0  time: 12.45 s
414.78/103.96	c learnt bin added due to v-elim: 0
414.78/103.96	c vivif2 --  cl tried     1202 cl shrink        6 lits rem          6 time: 0.00
414.78/103.99	c vivif2 --  cl tried    28524 cl shrink     1042 lits rem       1145 time: 0.13
416.39/104.37	c asymm  cl-useful: 0/153/1202 lits-rem:0 time: 1.51
416.39/104.37	c calculated reachability. Time: 0.00
416.39/104.37	c  N dy  1572    238249       596      1202     46239     28520    112785   1366589     42.32     14.20  --
440.36/110.37	c  N dy  1676    253467       596      1202     46247     23908    112785    935534     49.18     14.17  --
461.93/115.71	c  N dy  1786    269730       596      1202     46251     39221    112785   1567457     30.04     14.10  --
488.29/122.30	c  N dy  1905    287068       596      1202     46273     36165    112787   1743842     83.74     14.21  --
524.63/131.45	c  N dy  2032    305457       596      1202     46278     32751    112787   1606217     81.94     14.52  --
564.18/141.32	c  N dy  2166    325000       595      1202     46287     29388    112787   1175375     56.42     14.63  --
594.14/148.82	c  N dy  2305    345128       595      1202     46290     25666    112787    930487     84.77     14.74  --
612.91/153.56	c  S st  2390    357375       623      1202     49260     39313    114977   1636194     26.34     14.75  --
613.73/153.77	c  S st  2390    357878       623      1202     49260     39813    114977   1669581     26.34     14.75  --
613.73/153.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
613.73/153.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
636.07/159.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    497 BRemL:    123 BRemN:    818 CBin:       0 P: 60.0M T: 22.44
636.47/159.40	c Calc non-exist non-lernt bins v-fix:     0 done:    623 time:  0.03 s
636.47/159.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
636.47/159.44	c Subs w/ non-existent bins:   1065 time:  0.16 s
636.47/159.48	c bin-w-bin subsume rem          985 bins  time:  0.03 s
642.47/160.96	c subs with bin:      345  lits-rem:        92  v-fix:    0  time:  5.91 s
642.47/160.96	c Removed useless bin:     186  fixed:     0  bprops:   0.07M  time:  0.01 s
655.25/164.16	c ORs :      9 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    0.05
655.25/164.19	c lits-rem:      1579  cl-subs:     3729  v-elim:    560  v-fix:    0  time: 12.87 s
655.25/164.19	c learnt bin added due to v-elim: 0
655.25/164.19	c vivif2 --  cl tried     1200 cl shrink        8 lits rem          9 time: 0.00
655.65/164.23	c vivif2 --  cl tried    34348 cl shrink     1472 lits rem       1574 time: 0.16
657.26/164.62	c asymm  cl-useful: 0/222/1200 lits-rem:0 time: 1.57
657.26/164.62	c calculated reachability. Time: 0.00
657.26/164.62	c  N dy  2390    357878       623      1200     47541     34202    112479   1479217     26.34     14.75  --
688.02/172.32	c Finding binary XORs  T:     0.00 s  found:       0
692.81/173.57	c  N dy  2527    377964       623      1200     47549     29064    112479    980977     65.37     14.76  --
727.15/182.15	c  N dy  2664    397969       622      1200     47574     48395    112491   1951749     50.82     14.71  --
749.54/187.77	c  N dy  2800    417995       622      1200     47582     42290    112491   1397788     45.20     14.65  --
778.68/195.02	c  N dy  2939    438036       622      1200     47586     35598    112491   1356879     60.33     14.78  --
833.80/208.81	c  N dy  3076    458125       649      1200     50397     28825    114303    740953     70.53     14.90  --
872.57/218.50	c  N dy  3214    478201       649      1200     50404     48012    114303   2089365     67.54     15.02  --
913.29/228.77	c  N dy  3352    498335       649      1200     50408     39072    114303   1344646     64.47     15.08  --
957.63/239.83	c  N dy  3489    518428       649      1200     50777     29407    114303    742944     72.28     15.10  --
983.99/246.44	c  S st  3615    536818       649      1200     50798     47286    114327   1811079     69.86     15.13  --
984.79/246.67	c  S st  3615    537318       649      1200     50798     47783    114327   1848518     69.86     15.13  --
984.79/246.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
984.79/246.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1007.55/252.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      9 BRemL:    258 BRemN:   1682 CBin:       0 P: 60.1M T: 22.68
1007.55/252.37	c Calc non-exist non-lernt bins v-fix:     0 done:    649 time:  0.03 s
1007.55/252.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1007.95/252.42	c Subs w/ non-existent bins:    882 time:  0.21 s
1007.95/252.44	c Replacing        1 vars Replaced       13 lits Time:     0.09 s 
1007.95/252.48	c bin-w-bin subsume rem          862 bins  time:  0.03 s
1013.94/253.95	c subs with bin:      167  lits-rem:        66  v-fix:    0  time:  5.87 s
1013.94/253.95	c Removed useless bin:     114  fixed:     0  bprops:   0.06M  time:  0.01 s
1030.73/258.19	c ORs :      9 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
1051.48/263.33	c Added 7 vars  tried: 80000 time: 20.54
1051.88/263.42	c ORs :      7 avg-s:  0.0 cl-sh: 11791 l-rem:  11791 b-add:     14 v-rep:   0 cl-rem: 14 avg s: 3.0 T:   20.87
1051.88/263.44	c lits-rem:      2930  cl-subs:     4857  v-elim:    558  v-fix:    0  time: 37.90 s
1051.88/263.44	c learnt bin added due to v-elim: 0
1051.88/263.44	c vivif2 --  cl tried     1193 cl shrink       13 lits rem         14 time: 0.00
1051.88/263.49	c vivif2 --  cl tried    40249 cl shrink     1700 lits rem       2034 time: 0.19
1053.47/263.89	c asymm  cl-useful: 0/173/1193 lits-rem:0 time: 1.58
1053.47/263.89	c calculated reachability. Time: 0.00
1053.47/263.89	c  N dy  3615    537318       655      1193     47792     39908    109593   1611456     69.86     15.13  --
1053.47/263.89	c  F st  3615    537318       655      1193     47792     39908    109593   1611456     69.86     15.13  --
1057.09/264.73	c Decided on static restart strategy
1111.40/278.37	c  N dy  3743    557335       655      1193     47814     29911    109593    823875     32.18     15.23  --
1136.96/284.76	c  N dy  3879    577340       655      1193     47825     48847    109593   1799396     59.37     15.24  --
1172.91/293.73	c  N dy  4016    597459       655      1193     47838     37724    109593   1236622     73.66     15.21  --
1217.25/304.86	c  N dy  4153    617508       655      1193     48330     56784    109593   2404548     50.41     15.23  --
1255.21/314.33	c  N dy  4289    637554       683      1193     50191     45244    110639   1530817     72.58     15.26  --
1308.32/327.61	c  N dy  4426    657661       683      1193     50192     64427    110639   2746436     63.76     15.31  --
1349.86/338.07	c  N dy  4563    677775       683      1193     50784     51364    110913   1993154     62.72     15.42  --
1401.79/351.02	c  N dy  4698    697865       683      1193     50791     36793    110913   1050290     71.14     15.40  --
1441.75/361.04	c  N dy  4834    717924       683      1193     50796     55536    110913   1964127     53.19     15.38  --
1464.91/366.81	c Finding binary XORs  T:     0.00 s  found:       3
1496.07/374.64	c  N dy  4970    738024       709      1182     52094     60835    110468   2759239     73.03     15.39  --
1541.20/385.94	c  N dy  5106    758036       709      1182     52100     45581    110468   1396969     37.77     15.40  --
1574.77/394.30	c  N dy  5241    778114       708      1182     52806     64782    110866   2183339     29.76     15.35  --
1604.72/401.82	c  N dy  5379    798231       707      1182     52851     48652    110866   1598729     23.34     15.33  --
1618.70/405.33	c  S st  5432    805978       707      1182     52853     56031    110866   1988256     39.60     15.34  --
1619.52/405.56	c  S st  5432    806482       707      1182     52853     56534    110866   2026461     39.60     15.34  --
1619.52/405.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1619.52/405.56	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1641.49/411.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:     14 BRemL:   1188 BRemN:   1466 CBin:       0 P: 60.0M T: 21.80
1641.49/411.03	c Calc non-exist non-lernt bins v-fix:     0 done:    707 time:  0.03 s
1641.49/411.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1641.49/411.10	c Subs w/ non-existent bins:   1194 time:  0.28 s
1641.89/411.16	c Replacing        5 vars Replaced    11219 lits Time:     0.25 s 
1642.26/411.20	c bin-w-bin subsume rem         1192 bins  time:  0.04 s
1648.26/412.73	c subs with bin:      167  lits-rem:        51  v-fix:    0  time:  6.11 s
1648.26/412.74	c Removed useless bin:      88  fixed:     0  bprops:   0.05M  time:  0.01 s
1665.83/417.17	c ORs :     26 avg-s:  2.0 cl-sh:    54 l-rem:     54 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    0.08
1665.83/417.19	c lits-rem:       980  cl-subs:     7224  v-elim:    766  v-fix:    0  time: 17.81 s
1665.83/417.19	c learnt bin added due to v-elim: 0
1665.83/417.20	c vivif2 --  cl tried     1481 cl shrink      153 lits rem        153 time: 0.00
1666.23/417.25	c vivif2 --  cl tried    46564 cl shrink     1441 lits rem       1963 time: 0.22
1667.43/417.58	c asymm  cl-useful: 1/125/1342 lits-rem:1 time: 1.34
1667.43/417.59	c calculated reachability. Time: 0.00
1667.43/417.59	c  N dy  5432    806482       700      1342     48310     46550    106995   1704240     39.60     15.34  --
1712.96/428.98	c  N dy  5569    826600       732      1342     50660     66546    108157   2630180     56.15     15.28  --
1751.72/438.62	c  N dy  5708    846696       732      1342     50671     50068    108157   1910723     62.37     15.32  --
1814.81/454.43	c  N dy  5845    866772       732      1342     51320     69533    108519   3187857     67.31     15.38  --
1867.13/467.56	c  N dy  5983    886866       732      1342     51368     51670    108519   2035872     81.83     15.45  --
1943.83/486.70	c  N dy  6118    906966       731      1342     51381     70865    108519   3338762     66.43     15.51  --
2000.14/500.81	c  N dy  6255    927093       731      1342     51402     51637    108521   1546745     35.81     15.53  --
2042.09/511.36	c  N dy  6391    947240       731      1342     51408     70712    108521   2526369     64.08     15.55  --
2082.04/521.38	c  N dy  6528    967248       731      1342     51418     50953    108521   1861244     77.17     15.59  --
2155.95/539.88	c  N dy  6664    987326       730      1342     51427     70145    108521   3255479     70.88     15.67  --
2227.02/557.61	c  N dy  6800   1007409       730      1342     51447     49136    108523   1454854     25.84     15.71  --
2274.19/569.50	c  N dy  6937   1027535       729      1342     51457     68337    108523   2579492     30.26     15.73  --
2331.31/583.73	c  N dy  7073   1047596       729      1342     51463     46554    108523   1441388     79.58     15.78  --
2387.62/597.87	c  N dy  7210   1067719       729      1342     51465     65828    108523   2745040     70.90     15.83  --
2475.89/619.98	c  N dy  7346   1087844       729      1342     51477     43034    108523   1147760     82.47     15.86  --
2521.83/631.45	c  N dy  7483   1107961       729      1342     51480     62264    108523   2468537     38.28     15.91  --
2582.94/646.78	c  N dy  7617   1128025       729      1342     51491     81064    108523   3255413     20.58     15.86  --
2635.66/659.95	c  N dy  7755   1148101       729      1342     51493     57571    108523   2167265     65.17     15.95  --
2721.93/681.59	c  N dy  7889   1168107       729      1342     51497     76708    108523   3522751     64.47     16.04  --
2804.22/702.14	c  N dy  8025   1188179       729      1342     51509     51988    108523   1691742     65.00     16.09  --
2842.15/711.61	c  N dy  8161   1208268       729      1342     51514     70901    108523   2420969     29.79     16.04  --
2845.77/712.56	c  S st  8171   1209723       729      1342     51514     72262    108523   2467958     34.69     16.04  --
2846.95/712.80	c  S st  8171   1210226       729      1342     51514     72763    108523   2503226     34.69     16.04  --
2846.95/712.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2846.95/712.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2869.31/718.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     13 BRemL:    791 BRemN:   1836 CBin:       0 P: 60.0M T: 22.44
2869.31/718.44	c Calc non-exist non-lernt bins v-fix:     0 done:    729 time:  0.03 s
2869.31/718.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2869.71/718.53	c Subs w/ non-existent bins:    781 time:  0.38 s
2869.71/718.56	c Replacing        1 vars Replaced      113 lits Time:     0.12 s 
2870.11/718.61	c bin-w-bin subsume rem          790 bins  time:  0.03 s
2876.13/720.19	c subs with bin:       22  lits-rem:         0  v-fix:    0  time:  6.31 s
2876.13/720.20	c Removed useless bin:      67  fixed:     0  bprops:   0.05M  time:  0.01 s
2895.67/725.04	c ORs :     26 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    0.09
2920.05/731.12	c Added 8 vars  tried: 80000 time: 24.26
2920.46/731.29	c ORs :      8 avg-s:  0.0 cl-sh: 18209 l-rem:  18209 b-add:     16 v-rep:   0 cl-rem: 8 avg s: 3.0 T:   24.93
2920.83/731.32	c lits-rem:      1061  cl-subs:     8823  v-elim:    545  v-fix:    0  time: 44.43 s
2920.83/731.32	c learnt bin added due to v-elim: 0
2920.83/731.32	c vivif2 --  cl tried     1335 cl shrink       26 lits rem         29 time: 0.00
2921.23/731.41	c vivif2 --  cl tried    61483 cl shrink     3456 lits rem       4416 time: 0.34
2922.43/731.70	c asymm  cl-useful: 0/114/1333 lits-rem:0 time: 1.16
2922.43/731.70	c calculated reachability. Time: 0.00
2922.43/731.70	c  N dy  8171   1210226       736      1333     47326     61460    103121   2190537     34.69     16.04  --
2989.94/748.67	c  N dy  8306   1230309       736      1333     47369     80480    103123   3275006     48.76     16.05  --
3050.25/763.73	c  N dy  8442   1250445       734      1333     47399     55586    103123   1898636     64.14     16.09  --
3104.18/777.26	c  N dy  8579   1270473       734      1333     47416     74693    103123   3008241     56.61     16.11  --
3182.07/796.76	c  N dy  8716   1290551       766      1333     49703     48976    104023   1388485     73.62     16.11  --
3233.21/809.57	c  N dy  8853   1310557       766      1333     49705     68183    104023   2685552     64.16     16.15  --
3323.48/832.11	c  N dy  8988   1330581       766      1333     50210     87365    104057   3933456     74.19     16.20  --
3389.40/848.64	c Finding binary XORs  T:     0.00 s  found:       8
3389.40/848.66	c Replacing        8 vars Replaced     6404 lits Time:     0.09 s 
3392.59/849.48	c  N dy  9125   1350710       790      1322     50390     56082    103191   2035805     63.68     16.24  --
3459.71/866.20	c  N dy  9261   1370838       790      1322     50391     75214    103191   3173566     43.13     16.24  --
3562.00/891.86	c  N dy  9396   1390897       790      1322     50632     94217    103191   4312999     46.05     16.27  --
3615.51/905.21	c  N dy  9533   1410959       790      1322     50662     65710    103191   2440698     66.00     16.32  --
3699.00/926.14	c  N dy  9669   1431092       823      1322     52202     85859    103893   3666629     55.83     16.35  --
3773.29/944.74	c  N dy  9804   1451210       822      1322     52383     55977    103893   1720673     56.41     16.34  --
3824.83/957.65	c  N dy  9940   1471329       822      1322     52420     75163    103893   2878594     46.20     16.34  --
3905.53/977.89	c  N dy 10074   1491393       822      1322     52425     94285    103893   4006462     62.49     16.35  --
3966.28/993.03	c  N dy 10211   1511518       822      1322     52451     63693    103899   2172177     71.11     16.38  --
4027.79/1008.43	c  N dy 10346   1531608       822      1322     52453     82825    103899   3305050     63.41     16.39  --
4120.86/1031.76	c  N dy 10481   1551745       822      1322     52465     51374    103899   1359874     43.42     16.40  --
4163.62/1042.47	c  N dy 10619   1571862       822      1322     52474     70569    103901   2489909     43.76     16.40  --
4229.53/1058.99	c  N dy 10755   1591908       822      1322     52482     89709    103901   3591216     57.21     16.41  --
4307.82/1078.55	c  N dy 10891   1611966       822      1322     52484     57233    103901   1735692     67.50     16.42  --
4368.53/1093.75	c  N dy 11027   1632062       822      1322     52491     76453    103901   2972707     56.49     16.46  --
4456.80/1115.83	c  N dy 11163   1652111       822      1322     52498     95586    103901   4081065     54.94     16.47  --
4519.52/1131.57	c  N dy 11299   1672128       822      1322     52501     62136    103901   1994376     60.33     16.47  --
4574.63/1145.40	c  N dy 11436   1692240       822      1322     52507     81418    103901   3153539     60.15     16.48  --
4648.95/1163.90	c  S st 11557   1710227       822      1322     52514     98538    103901   4117951     47.90     16.49  --
4650.95/1164.44	c  S st 11557   1710727       822      1322     52514     99036    103901   4153111     47.90     16.49  --
4650.95/1164.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4650.95/1164.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4679.72/1171.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     18 BRemL:   1534 BRemN:   1294 CBin:       0 P: 60.0M T: 28.81
4679.72/1171.67	c Calc non-exist non-lernt bins v-fix:     0 done:    822 time:  0.04 s
4679.72/1171.67	c Cache  BProp: 0 Set: 0 BXProp: 3 T: 0.00
4680.52/1171.81	c Subs w/ non-existent bins:    868 time:  0.56 s
4680.52/1171.89	c Replacing        4 vars Replaced     6429 lits Time:     0.32 s 
4680.92/1171.97	c bin-w-bin subsume rem          776 bins  time:  0.03 s
4688.91/1173.92	c subs with bin:       14  lits-rem:        85  v-fix:    0  time:  7.77 s
4688.91/1173.92	c Removed useless bin:      81  fixed:     0  bprops:   0.05M  time:  0.01 s
4762.02/1192.26	c ORs :     42 avg-s:  2.0 cl-sh:    24 l-rem:     24 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    0.24

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-3263605-1304138251/watcher-3263605-1304138251 -o /tmp/evaluation-result-3263605-1304138251/solver-3263605-1304138251 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3263605-1304138251.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.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=51076 CPUtime=0 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 901 0 0 0 0 0 0 0 18 0 1 0 525424715 52301824 836 33554432000 4194304 4797429 140737285054816 18446744073709551615 210646807237 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13886/statm: 12769 837 348 148 0 7698 0

[startup+0.057543 s]
/proc/loadavg: 7.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=677360 CPUtime=2.23 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 4510 0 0 0 222 1 0 0 18 0 4 0 525424715 693616640 4127 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 169992 4216 412 148 0 164921 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 677360

[startup+0.957043 s]
/proc/loadavg: 7.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=680124 CPUtime=3.67 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 5524 0 0 0 366 1 0 0 19 0 4 0 525424715 696446976 4490 33554432000 4194304 4797429 140737285054816 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 170031 4490 412 148 0 164960 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 680124

[startup+1.00103 s]
/proc/loadavg: 7.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=680312 CPUtime=3.84 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 5624 0 0 0 383 1 0 0 19 0 4 0 525424715 696639488 4589 33554432000 4194304 4797429 140737285054816 18446744073709551615 4352190 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 170078 4590 412 148 0 165007 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 680312

[startup+1.10102 s]
/proc/loadavg: 7.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=680452 CPUtime=4.24 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 5868 0 0 0 423 1 0 0 19 0 4 0 525424715 696782848 4831 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 170113 4831 412 148 0 165042 0
Current children cumulated CPU time (s) 4.24
Current children cumulated vsize (KiB) 680452

[startup+1.50095 s]
/proc/loadavg: 7.41 7.93 7.86 3/174 13886
/proc/meminfo: memFree=30863880/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=680852 CPUtime=5.84 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 6740 0 0 0 583 1 0 0 20 0 4 0 525424715 697192448 5699 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424963 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 170213 5699 415 148 0 165142 0
Current children cumulated CPU time (s) 5.84
Current children cumulated vsize (KiB) 680852

[startup+3.10068 s]
/proc/loadavg: 7.62 7.97 7.87 10/182 13895
/proc/meminfo: memFree=30806028/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=685276 CPUtime=12.22 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 9979 0 0 0 1221 1 0 0 25 0 4 0 525424715 701722624 7905 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 171319 7905 415 148 0 166248 0
[pid=13886/tid=13889] ppid=13882 vsize=685276 CPUtime=3.04 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 2232 0 0 0 304 0 0 0 25 0 4 0 525424719 701722624 7905 33554432000 4194304 4797429 140737285054816 18446744073709551615 4519908 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=685276 CPUtime=3.04 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 1599 0 0 0 304 0 0 0 25 0 4 0 525424719 701722624 7905 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524200 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=685276 CPUtime=3.03 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 1862 0 0 0 303 0 0 0 25 0 4 0 525424719 701722624 7905 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520020 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.22
Current children cumulated vsize (KiB) 685276

[startup+6.30615 s]
/proc/loadavg: 7.65 7.97 7.87 9/182 13895
/proc/meminfo: memFree=30791056/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=685784 CPUtime=25.01 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 12053 0 0 0 2499 2 0 0 25 0 4 0 525424715 702242816 9487 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524480 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 171446 9487 416 148 0 166375 0
[pid=13886/tid=13889] ppid=13882 vsize=685784 CPUtime=6.24 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 2438 0 0 0 624 0 0 0 25 0 4 0 525424719 702242816 9487 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=685784 CPUtime=6.25 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 1854 0 0 0 625 0 0 0 25 0 4 0 525424719 702242816 9487 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=685784 CPUtime=6.22 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 2245 0 0 0 622 0 0 0 25 0 4 0 525424719 702242816 9487 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 685784

[startup+12.7011 s]
/proc/loadavg: 7.68 7.97 7.87 10/182 13895
/proc/meminfo: memFree=30772480/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=688644 CPUtime=50.55 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 15385 0 0 0 5052 3 0 0 25 0 4 0 525424715 705171456 10939 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520020 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 172161 10939 418 148 0 167090 0
[pid=13886/tid=13889] ppid=13882 vsize=688644 CPUtime=12.63 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 2811 0 0 0 1263 0 0 0 25 0 4 0 525424719 705171456 10939 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=688644 CPUtime=12.64 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 2456 0 0 0 1264 0 0 0 25 0 4 0 525424719 705171456 10939 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=688644 CPUtime=12.58 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 2771 0 0 0 1258 0 0 0 25 0 4 0 525424719 705171456 10939 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 688644

[startup+25.5009 s]
/proc/loadavg: 7.72 7.97 7.87 9/182 13895
/proc/meminfo: memFree=30758556/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=692128 CPUtime=101.67 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 19943 0 0 0 10162 5 0 0 25 0 4 0 525424715 708739072 12849 33554432000 4194304 4797429 140737285054816 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 173032 12849 424 148 0 167961 0
[pid=13886/tid=13889] ppid=13882 vsize=692128 CPUtime=25.44 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 3682 0 0 0 2543 1 0 0 25 0 4 0 525424719 708739072 12849 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=692128 CPUtime=25.43 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 3290 0 0 0 2543 0 0 0 25 0 4 0 525424719 708739072 12849 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=692128 CPUtime=25.33 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 3448 0 0 0 2532 1 0 0 25 0 4 0 525424719 708739072 12849 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 692128

[startup+51.1006 s]
/proc/loadavg: 7.88 7.99 7.88 9/182 13896
/proc/meminfo: memFree=30740828/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=696040 CPUtime=203.91 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 28700 0 0 0 20383 8 0 0 25 0 4 0 525424715 712744960 14338 33554432000 4194304 4797429 140737285054816 18446744073709551615 4423606 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 174010 14338 419 148 0 168939 0
[pid=13886/tid=13889] ppid=13882 vsize=696040 CPUtime=51.02 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 4646 0 0 0 5101 1 0 0 25 0 4 0 525424719 712744960 14338 33554432000 4194304 4797429 140737285054816 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=696040 CPUtime=51.02 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 4332 0 0 0 5101 1 0 0 25 0 4 0 525424719 712744960 14338 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524604 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=696040 CPUtime=50.79 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 4601 0 0 0 5078 1 0 0 25 0 4 0 525424719 712744960 14338 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 696040

[startup+102.301 s]
/proc/loadavg: 7.99 8.00 7.89 9/182 13897
/proc/meminfo: memFree=30716100/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=699852 CPUtime=408.39 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 42662 0 0 0 40827 12 0 0 25 0 4 0 525424715 716648448 19521 33554432000 4194304 4797429 140737285054816 18446744073709551615 4506622 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 174963 19521 421 148 0 169892 0
[pid=13886/tid=13889] ppid=13882 vsize=699852 CPUtime=102.21 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 5602 0 0 0 10220 1 0 0 25 0 4 0 525424719 716648448 19521 33554432000 4194304 4797429 140737285054816 18446744073709551615 4519873 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=699852 CPUtime=102.2 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 5682 0 0 0 10219 1 0 0 25 0 4 0 525424719 716648448 19521 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=699852 CPUtime=101.75 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 6012 0 0 0 10173 2 0 0 25 0 4 0 525424719 716648448 19521 33554432000 4194304 4797429 140737285054816 18446744073709551615 4425019 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.39
Current children cumulated vsize (KiB) 699852

[startup+162.301 s]
/proc/loadavg: 8.08 8.03 7.90 9/182 13899
/proc/meminfo: memFree=30695828/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=702096 CPUtime=648.06 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 59280 0 0 0 64790 16 0 0 25 0 4 0 525424715 718946304 21649 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 175524 21649 421 148 0 170453 0
[pid=13886/tid=13889] ppid=13882 vsize=702096 CPUtime=162.2 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 7201 0 0 0 16219 1 0 0 25 0 4 0 525424719 718946304 21649 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=702096 CPUtime=162.19 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 6715 0 0 0 16217 2 0 0 25 0 4 0 525424719 718946304 21649 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=702096 CPUtime=161.46 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 7562 0 0 0 16144 2 0 0 25 0 4 0 525424719 718946304 21649 33554432000 4194304 4797429 140737285054816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 648.06
Current children cumulated vsize (KiB) 702096

[startup+222.301 s]
/proc/loadavg: 8.19 8.07 7.92 9/182 13900
/proc/meminfo: memFree=30679664/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=703436 CPUtime=887.73 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 73778 0 0 0 88753 20 0 0 25 0 4 0 525424715 720318464 23958 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 175859 23958 421 148 0 170788 0
[pid=13886/tid=13889] ppid=13882 vsize=703436 CPUtime=222.19 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 8468 0 0 0 22218 1 0 0 25 0 4 0 525424719 720318464 23958 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=703436 CPUtime=222.18 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 8115 0 0 0 22216 2 0 0 25 0 4 0 525424719 720318464 23958 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524101 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=703436 CPUtime=221.17 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 8314 0 0 0 22115 2 0 0 25 0 4 0 525424719 720318464 23958 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 887.73
Current children cumulated vsize (KiB) 703436

[startup+282.301 s]
/proc/loadavg: 8.19 8.08 7.93 10/182 13902
/proc/meminfo: memFree=30674392/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=706456 CPUtime=1127.4 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 86302 0 0 0 112716 24 0 0 25 0 4 0 525424715 723410944 23169 33554432000 4194304 4797429 140737285054816 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 176614 23169 421 148 0 171543 0
[pid=13886/tid=13889] ppid=13882 vsize=706456 CPUtime=282.19 cores=1,3,5,7

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

[pid=13886] ppid=13882 vsize=717212 CPUtime=2565.36 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 155268 0 0 0 256489 47 0 0 25 0 4 0 525424715 734425088 31546 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 179303 31546 428 148 0 174232 0
[pid=13886/tid=13889] ppid=13882 vsize=717212 CPUtime=642.11 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 16090 0 0 0 64207 4 0 0 25 0 4 0 525424719 734425088 31546 33554432000 4194304 4797429 140737285054816 18446744073709551615 4425049 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=717212 CPUtime=642.07 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 16628 0 0 0 64203 4 0 0 25 0 4 0 525424719 734425088 31546 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=717212 CPUtime=639.17 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 16783 0 0 0 63912 5 0 0 25 0 4 0 525424719 734425088 31546 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.36
Current children cumulated vsize (KiB) 717212

[startup+702.301 s]
/proc/loadavg: 8.08 8.06 7.97 10/182 13913
/proc/meminfo: memFree=30607992/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=719216 CPUtime=2805.01 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 165674 0 0 0 280449 52 0 0 25 0 4 0 525424715 736477184 31091 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 179804 31091 428 148 0 174733 0
[pid=13886/tid=13889] ppid=13882 vsize=719216 CPUtime=702.11 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 17362 0 0 0 70206 5 0 0 25 0 4 0 525424719 736477184 31091 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520000 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=719216 CPUtime=702.06 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 17812 0 0 0 70201 5 0 0 25 0 4 0 525424719 736477184 31091 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=719216 CPUtime=698.87 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 17498 0 0 0 69882 5 0 0 25 0 4 0 525424719 736477184 31091 33554432000 4194304 4797429 140737285054816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.01
Current children cumulated vsize (KiB) 719216

[startup+762.301 s]
/proc/loadavg: 8.14 8.08 7.98 9/182 13915
/proc/meminfo: memFree=30599504/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=721532 CPUtime=3044.66 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 174752 0 0 0 304412 54 0 0 25 0 4 0 525424715 738848768 31388 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 180383 31388 422 148 0 175312 0
[pid=13886/tid=13889] ppid=13882 vsize=721532 CPUtime=762.09 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 18594 0 0 0 76204 5 0 0 25 0 4 0 525424719 738848768 31388 33554432000 4194304 4797429 140737285054816 18446744073709551615 4519915 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=721532 CPUtime=762.04 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 19031 0 0 0 76199 5 0 0 25 0 4 0 525424719 738848768 31388 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=721532 CPUtime=758.58 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 18651 0 0 0 75852 6 0 0 25 0 4 0 525424719 738848768 31388 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3044.66
Current children cumulated vsize (KiB) 721532

[startup+822.301 s]
/proc/loadavg: 8.11 8.08 7.99 9/182 13916
/proc/meminfo: memFree=30590040/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=722696 CPUtime=3284.34 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 183774 0 0 0 328375 59 0 0 25 0 4 0 525424715 740040704 34683 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 180674 34683 422 148 0 175603 0
[pid=13886/tid=13889] ppid=13882 vsize=722696 CPUtime=822.07 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 19294 0 0 0 82202 5 0 0 25 0 4 0 525424719 740040704 34683 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=722696 CPUtime=822.03 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 19762 0 0 0 82197 6 0 0 25 0 4 0 525424719 740040704 34683 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=722696 CPUtime=818.3 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 19884 0 0 0 81823 7 0 0 25 0 4 0 525424719 740040704 34683 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.34
Current children cumulated vsize (KiB) 722696

[startup+882.301 s]
/proc/loadavg: 8.13 8.09 8.00 9/182 13918
/proc/meminfo: memFree=30573132/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=723008 CPUtime=3524.02 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 192547 0 0 0 352339 63 0 0 25 0 4 0 525424715 740360192 35704 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 180752 35704 422 148 0 175681 0
[pid=13886/tid=13889] ppid=13882 vsize=723008 CPUtime=882.07 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 20471 0 0 0 88201 6 0 0 25 0 4 0 525424719 740360192 35704 33554432000 4194304 4797429 140737285054816 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=723008 CPUtime=882.02 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 21103 0 0 0 88195 7 0 0 25 0 4 0 525424719 740360192 35704 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=723008 CPUtime=878.01 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 20609 0 0 0 87794 7 0 0 25 0 4 0 525424719 740360192 35704 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.02
Current children cumulated vsize (KiB) 723008

[startup+942.301 s]
/proc/loadavg: 8.13 8.10 8.00 9/182 13920
/proc/meminfo: memFree=30577568/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=723660 CPUtime=3763.72 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 202076 0 0 0 376305 67 0 0 25 0 4 0 525424715 741027840 34420 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 180915 34420 422 148 0 175844 0
[pid=13886/tid=13889] ppid=13882 vsize=723660 CPUtime=942.06 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 21378 0 0 0 94200 6 0 0 25 0 4 0 525424719 741027840 34420 33554432000 4194304 4797429 140737285054816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=723660 CPUtime=942.01 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 21832 0 0 0 94194 7 0 0 25 0 4 0 525424719 741027840 34420 33554432000 4194304 4797429 140737285054816 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=723660 CPUtime=937.73 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 21828 0 0 0 93766 7 0 0 25 0 4 0 525424719 741027840 34420 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3763.72
Current children cumulated vsize (KiB) 723660

[startup+1002.3 s]
/proc/loadavg: 8.15 8.11 8.01 9/182 13921
/proc/meminfo: memFree=30570340/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=723768 CPUtime=4003.4 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 211732 0 0 0 400269 71 0 0 25 0 4 0 525424715 741138432 36542 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 180942 36542 422 148 0 175871 0
[pid=13886/tid=13889] ppid=13882 vsize=723768 CPUtime=1002.05 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 22542 0 0 0 100198 7 0 0 25 0 4 0 525424719 741138432 36542 33554432000 4194304 4797429 140737285054816 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=723768 CPUtime=1002 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 23237 0 0 0 100192 8 0 0 25 0 4 0 525424719 741138432 36542 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=723768 CPUtime=997.44 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 22509 0 0 0 99737 7 0 0 25 0 4 0 525424719 741138432 36542 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.4
Current children cumulated vsize (KiB) 723768

[startup+1062.31 s]
/proc/loadavg: 8.05 8.09 8.00 10/182 13923
/proc/meminfo: memFree=30561368/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=725304 CPUtime=4243.12 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 221265 0 0 0 424237 75 0 0 25 0 4 0 525424715 742711296 36434 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 181326 36434 422 148 0 176255 0
[pid=13886/tid=13889] ppid=13882 vsize=725304 CPUtime=1062.05 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 23715 0 0 0 106198 7 0 0 25 0 4 0 525424719 742711296 36434 33554432000 4194304 4797429 140737285054816 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=725304 CPUtime=1061.99 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 24652 0 0 0 106191 8 0 0 25 0 4 0 525424719 742711296 36434 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=725304 CPUtime=1057.17 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 23735 0 0 0 105709 8 0 0 25 0 4 0 525424719 742711296 36434 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.12
Current children cumulated vsize (KiB) 725304

[startup+1122.3 s]
/proc/loadavg: 8.02 8.07 8.00 10/182 13924
/proc/meminfo: memFree=30547208/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=725420 CPUtime=4482.77 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 228642 0 0 0 448199 78 0 0 25 0 4 0 525424715 742830080 39061 33554432000 4194304 4797429 140737285054816 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 181355 39061 422 148 0 176284 0
[pid=13886/tid=13889] ppid=13882 vsize=725420 CPUtime=1122.03 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 24429 0 0 0 112195 8 0 0 25 0 4 0 525424719 742830080 39061 33554432000 4194304 4797429 140737285054816 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=725420 CPUtime=1121.98 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 25327 0 0 0 112189 9 0 0 25 0 4 0 525424719 742830080 39061 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524611 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=725420 CPUtime=1116.88 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 24408 0 0 0 111680 8 0 0 25 0 4 0 525424719 742830080 39061 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4482.77
Current children cumulated vsize (KiB) 725420

[startup+1182.3 s]
/proc/loadavg: 8.00 8.05 8.00 10/182 13926
/proc/meminfo: memFree=30541604/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=725996 CPUtime=4722.46 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 239678 0 0 0 472164 82 0 0 25 0 4 0 525424715 743419904 40536 33554432000 4194304 4797429 140737285054816 18446744073709551615 4568320 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 181499 40536 423 148 0 176428 0
[pid=13886/tid=13889] ppid=13882 vsize=725996 CPUtime=1182.02 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 25545 0 0 0 118194 8 0 0 25 0 4 0 525424719 743419904 40536 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=725996 CPUtime=1181.96 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 26644 0 0 0 118187 9 0 0 25 0 4 0 525424719 743419904 40536 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=725996 CPUtime=1176.59 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 25656 0 0 0 117651 8 0 0 25 0 4 0 525424719 743419904 40536 33554432000 4194304 4797429 140737285054816 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.46
Current children cumulated vsize (KiB) 725996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.00 8.05 8.00 9/182 13927
/proc/meminfo: memFree=30537260/32951132 swapFree=67080200/67111528
[pid=13886] ppid=13882 vsize=725996 CPUtime=4800.39 cores=1,3,5,7
/proc/13886/stat : 13886 (techdemo) R 13882 13886 13214 0 -1 4202496 240644 0 0 0 479957 82 0 0 25 0 4 0 525424715 743419904 41486 33554432000 4194304 4797429 140737285054816 18446744073709551615 4495544 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13886/statm: 181499 41486 423 148 0 176428 0
[pid=13886/tid=13889] ppid=13882 vsize=725996 CPUtime=1201.53 cores=1,3,5,7
/proc/13886/task/13889/stat : 13889 (techdemo) R 13882 13886 13214 0 -1 4202560 25784 0 0 0 120145 8 0 0 25 0 4 0 525424719 743419904 41486 33554432000 4194304 4797429 140737285054816 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13886/tid=13890] ppid=13882 vsize=725996 CPUtime=1201.47 cores=1,3,5,7
/proc/13886/task/13890/stat : 13890 (techdemo) R 13882 13886 13214 0 -1 4202560 26901 0 0 0 120138 9 0 0 25 0 4 0 525424719 743419904 41486 33554432000 4194304 4797429 140737285054816 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13886/tid=13891] ppid=13882 vsize=725996 CPUtime=1196 cores=1,3,5,7
/proc/13886/task/13891/stat : 13891 (techdemo) R 13882 13886 13214 0 -1 4202560 25916 0 0 0 119592 8 0 0 25 0 4 0 525424719 743419904 41486 33554432000 4194304 4797429 140737285054816 18446744073709551615 4430056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 725996

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.82
CPU time (s): 4800.43
CPU user time (s): 4799.6
CPU system time (s): 0.834873
CPU usage (%): 399.43
Max. virtual memory (cumulated for all children) (KiB): 835192

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.6
system time used= 0.834873
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240644
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= 312
involuntary context switches= 33753

runsolver used 1.63975 second user time and 3.87841 second system time

The end

Launcher Data 

Begin job on node129 at 2011-04-30 06:37:31
IDJOB=3263605
IDBENCH=83988
IDSOLVER=1584
FILE ID=node129/3263605-1304138251
RUNJOBID= node129-1304138251-13868
PBS_JOBID= 13170799
Free space on /tmp= 67248 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_20_50_3-dir.shuffled-as.sat03-114.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263605-1304138251/watcher-3263605-1304138251 -o /tmp/evaluation-result-3263605-1304138251/solver-3263605-1304138251 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3263605-1304138251.cnf

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

MD5SUM BENCH= 9ffa0325c9e00b41c025f41d20ec5a0c
RANDOM SEED=448530678

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      30864308 kB
Buffers:        263756 kB
Cached:        1446608 kB
SwapCached:       4932 kB
Active:         124796 kB
Inactive:      1623052 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      30864308 kB
SwapTotal:    67111528 kB
SwapFree:     67080200 kB
Dirty:           16696 kB
Writeback:           0 kB
AnonPages:       35368 kB
Mapped:          12212 kB
Slab:           276168 kB
PageTables:       4344 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   189120 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 67236 MiB
End job on node129 at 2011-04-30 06:57:35