Trace number 3251327

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.4 1202.24

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
MD5SUM76c30bc0971bc865c2b988ddaca89385
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.29319
Satisfiable
(Un)Satisfiability was proved
Number of variables3651
Number of clauses926696
Sum of the clauses size1856923
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2926636
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3251327-1304183629.cnf'
0.00/0.00	c -- header says num vars:           3651
0.00/0.00	c -- header says num clauses:      926696
0.59/0.69	c -- clauses added:            0 learnts,       926696 normals,            0 xors
0.59/0.69	c -- vars added       3651
0.59/0.69	c Parsing time:  0.68 s
0.69/0.70	c  N st     0         0      3651        60    926636         0   1856923         0   no data   no data  --
0.69/0.70	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
1.47/0.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  4.5M T:  0.92
1.88/1.05	c Calc non-exist non-lernt bins v-fix:     0 done:   3651 time:  0.38 s
1.88/1.05	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.88/1.05	c Subs w/ non-existent bins:      0 time:  0.00 s
2.66/1.21	c bin-w-bin subsume rem            0 bins  time:  0.62 s
3.06/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.70 s
3.46/1.47	c Removed useless bin:       0  fixed:     0  bprops:   3.72M  time:  0.36 s
5.07/1.81	c lits-rem:         5  cl-subs:        0  v-elim:   2374  v-fix:    0  time:  1.30 s
5.07/1.81	c learnt bin added due to v-elim: 0
5.07/1.83	c Finding binary XORs  T:     0.09 s  found:       0
5.07/1.88	c Finding non-binary XORs:     0.12 s (found:       0, avg size: nan)
5.07/1.88	c calculated reachability. Time: 0.02
5.07/1.89	c Calc default polars -  time:   0.03 s pos:       0 undec:      60 neg:    3591
5.07/1.89	c =========================================================================================
5.07/1.89	c types(t): F = full restart, N = normal restart
5.07/1.89	c types(t): S = simplification begin/end, E = solution found
5.07/1.89	c restart types(rt): st = static, dy = dynamic
5.07/1.89	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.07/1.89	c  B st     0         0      3591     11984    911061         0   2648276         0   no data   no data  --
7.86/2.52	c Decided on static restart strategy
10.26/3.18	c  N dy    21      4110      3591     11984    911061      3995   2648269    590621     88.33     20.70  --
15.06/4.39	c  N dy    50      8167      3591     11984    911061      5530   2648269    577743    127.21     18.40  --
19.46/5.48	c  N dy    79     12179      3591     11984    911061      5300   2648269    427099     92.17     17.92  --
23.85/6.53	c  N dy   108     16210      3591     11984    911061      9196   2648269    847573     92.06     18.54  --
27.83/7.57	c  N dy   137     20319      3591     11984    911061      7728   2648269    597166     94.13     17.66  --
32.64/8.77	c  N dy   166     24399      3591     11984    911061     11708   2648269   1009234     87.36     18.51  --
37.04/9.83	c  N dy   195     28428      3591     11984    911061      9003   2648269    781538     82.88     18.45  --
39.02/10.31	c  S st   207     30000      3591     11984    911061     10532   2648269    917344     92.15     18.43  --
39.42/10.47	c  S st   207     30500      3591     11984    911061     11030   2648268    999808     92.15     18.43  --
39.42/10.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
39.42/10.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
54.61/14.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.11
55.02/14.37	c Calc non-exist non-lernt bins v-fix:     0 done:   3591 time:  0.36 s
55.02/14.37	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
55.40/14.43	c Subs w/ non-existent bins:      0 time:  0.22 s
56.19/14.63	c bin-w-bin subsume rem            0 bins  time:  0.63 s
60.99/15.89	c subs with bin:        0  lits-rem:      1392  v-fix:    0  time:  5.05 s
61.39/15.98	c Removed useless bin:       0  fixed:     0  bprops:   3.66M  time:  0.36 s
65.78/17.08	c lits-rem:      2854  cl-subs:     1314  v-elim:   3591  v-fix:    0  time:  4.41 s
65.78/17.08	c learnt bin added due to v-elim: 0
66.18/17.14	c vivif2 --  cl tried    11984 cl shrink     9944 lits rem     144669 time: 0.21
66.18/17.17	c vivif2 --  cl tried     9716 cl shrink        0 lits rem          0 time: 0.14
66.98/17.38	c asymm  cl-useful: 176/705/11984 lits-rem:204 time: 0.86
67.38/17.41	c calculated reachability. Time: 0.02
67.38/17.41	c  N dy   207     30500      3591     11984    911061      9716   2497378    868865     92.15     18.43  --
67.38/17.41	c  F st   207     30500      3591     11984    911061      9716   2497378    868865     92.15     18.43  --
69.77/18.00	c Decided on static restart strategy
71.78/18.57	c  N dy   227     34551      3591     11984    911061     13666   2497378   1238851     97.59     18.67  --
76.57/19.74	c  N dy   256     38649      3591     11984    911061      9979   2497378    773738     80.82     18.75  --
80.57/20.80	c  N dy   285     42771      3591     11984    911061     13960   2497378   1275927     90.88     19.24  --
84.16/21.68	c  S st   307     45750      3591     11984    911061     16868   2497378   1716071    164.06     19.41  --
84.96/21.84	c  S st   307     46250      3591     11984    911061     17364   2497378   1806482    164.06     19.41  --
84.96/21.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
84.96/21.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.33/25.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.19
99.73/25.50	c Calc non-exist non-lernt bins v-fix:     0 done:   3591 time:  0.37 s
99.73/25.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
99.73/25.58	c Subs w/ non-existent bins:      0 time:  0.30 s
100.53/25.79	c bin-w-bin subsume rem            0 bins  time:  0.63 s
106.53/27.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.77 s
106.93/27.32	c Removed useless bin:       0  fixed:     0  bprops:   3.66M  time:  0.36 s
114.12/29.18	c lits-rem:       725  cl-subs:     1538  v-elim:   3591  v-fix:    0  time:  7.40 s
114.12/29.18	c learnt bin added due to v-elim: 0
114.12/29.19	c vivif2 --  cl tried    11984 cl shrink        0 lits rem          0 time: 0.06
114.52/29.25	c vivif2 --  cl tried    15826 cl shrink        0 lits rem          0 time: 0.22
115.32/29.48	c asymm  cl-useful: 44/330/11984 lits-rem:48 time: 0.92
115.72/29.50	c calculated reachability. Time: 0.02
115.72/29.50	c  N dy   307     46250      3591     11984    911061     15826   2496645   1587712    164.06     19.41  --
120.52/30.77	c  N dy   336     50362      3591     11984    911061     11136   2496645    970857    137.02     19.47  --
125.70/32.04	c  N dy   365     54440      3591     11984    911061     15131   2496644   1485934    191.08     19.50  --
130.89/33.31	c  N dy   393     58508      3591     11984    911061     19064   2496644   1973350    128.39     19.66  --
136.09/34.62	c  N dy   422     62641      3591     11984    911061     13383   2496644   1079531     94.26     19.85  --
140.88/35.88	c  N dy   451     66752      3591     11984    911061     17396   2496644   1464818    101.94     19.74  --
144.47/36.79	c  S st   470     69376      3591     11984    911061     19937   2496644   1718117     94.52     19.75  --
145.27/36.97	c  S st   470     69878      3591     11984    911061     20436   2496644   1803818     94.52     19.75  --
145.27/36.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
145.27/36.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.07/40.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 14.44
160.47/40.70	c Calc non-exist non-lernt bins v-fix:     0 done:   3591 time:  0.38 s
160.47/40.70	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
160.47/40.79	c Subs w/ non-existent bins:      0 time:  0.36 s
161.65/41.00	c bin-w-bin subsume rem            0 bins  time:  0.63 s
167.24/42.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.95 s
167.64/42.58	c Removed useless bin:       0  fixed:     0  bprops:   3.66M  time:  0.36 s
177.64/45.03	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.81
189.21/47.91	c Added 37 vars  tried: 80000 time: 11.54
189.61/48.05	c ORs :     37 avg-s:  0.0 cl-sh: 28082 l-rem:  28082 b-add:     74 v-rep:   0 cl-rem: 0 avg s: nan T:   12.08
189.61/48.08	c lits-rem:        90  cl-subs:     1830  v-elim:   3591  v-fix:    0  time: 21.96 s
189.61/48.08	c learnt bin added due to v-elim: 0
189.61/48.09	c vivif2 --  cl tried    12021 cl shrink        0 lits rem          0 time: 0.06
190.01/48.16	c vivif2 --  cl tried    18606 cl shrink        0 lits rem          0 time: 0.26
190.82/48.38	c asymm  cl-useful: 2/621/12021 lits-rem:2 time: 0.87
191.23/48.40	c calculated reachability. Time: 0.02
191.23/48.40	c  N dy   470     69878      3628     12021    911135     18606   2493714   1583903     94.52     19.75  --
191.23/48.40	c  F st   470     69878      3628     12021    911135     18606   2493714   1583903     94.52     19.75  --
194.01/49.15	c Decided on static restart strategy
197.20/49.97	c  N dy   493     74389      3628     12021    911136     12264   2493714   1229820    280.68     20.19  --
203.60/51.55	c  N dy   526     79201      3628     12021    911136     16855   2493714   2434178    273.68     20.55  --
211.98/53.61	c  N dy   561     84292      3628     12021    911136     21704   2493714   3683701    338.58     21.02  --
219.18/55.46	c  N dy   599     89804      3628     12021    911140     15483   2493714   1515525    191.64     21.14  --
226.39/57.24	c  N dy   640     95660      3628     12021    911153     21120   2493714   2633136    189.80     21.54  --
234.76/59.38	c  N dy   682    101848      3628     12021    911166     14566   2493714   1333102    221.15     22.35  --
239.56/60.57	c  S st   703    104818      3628     12021    911170     17410   2493714   1835525    171.23     22.48  --
240.34/60.71	c  S st   703    105318      3628     12021    911171     17907   2493714   1897225    171.23     22.48  --
240.34/60.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
240.34/60.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
254.73/64.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   4633 BRemL:     57 BRemN:      0 CBin:       0 P: 60.0M T: 14.42
255.13/64.43	c Calc non-exist non-lernt bins v-fix:     0 done:   3628 time:  0.36 s
255.13/64.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.53/64.51	c Subs w/ non-existent bins:      0 time:  0.32 s
256.32/64.73	c bin-w-bin subsume rem            0 bins  time:  0.64 s
262.31/66.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.25 s
262.71/66.36	c Removed useless bin:       0  fixed:     0  bprops:   2.57M  time:  0.28 s
273.11/68.97	c ORs :     73 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 14 avg s: 3.0 T:    1.11
273.51/69.00	c lits-rem:       403  cl-subs:     3168  v-elim:   6202  v-fix:    0  time: 10.55 s
273.51/69.00	c learnt bin added due to v-elim: 0
273.51/69.03	c vivif2 --  cl tried    17231 cl shrink     1292 lits rem       1292 time: 0.10
273.91/69.10	c vivif2 --  cl tried    14739 cl shrink     1333 lits rem       3292 time: 0.30
274.32/69.28	c asymm  cl-useful: 0/844/15939 lits-rem:0 time: 0.72
274.73/69.31	c calculated reachability. Time: 0.02
274.73/69.31	c  N dy   703    105318      3618     15939    911762     14739   2497424   1442241    171.23     22.48  --
284.29/71.78	c  N dy   750    112092      3618     15939    911762     21213   2497424   3449356    353.47     24.16  --
297.07/74.93	c  N dy   800    119274      3618     15939    911762     14786   2497424   1346924    209.99     25.44  --
307.06/77.49	c  N dy   853    126931      3618     15939    911762     22179   2497424   3030671    274.90     26.10  --
323.06/81.46	c  N dy   908    135060      3618     15939    911762     15532   2497424   1440184    225.63     27.07  --
336.61/84.89	c  N dy   967    143806      3618     15939    911763     23872   2497424   3307970    238.66     27.64  --
354.60/89.34	c  N dy  1030    153103      3618     15939    911764     17417   2497424   1849350    332.36     29.23  --
362.98/91.41	c  S st  1063    157977      3618     15939    911764     22021   2497424   3364708    424.70     30.17  --
363.78/91.62	c  S st  1063    158477      3618     15939    911764     22521   2497424   3439942    424.70     30.17  --
363.78/91.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
363.78/91.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
392.14/98.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    948 BRemL:      2 BRemN:   1177 CBin:       0 P: 60.0M T: 28.22
392.54/98.81	c Calc non-exist non-lernt bins v-fix:     0 done:   3618 time:  0.38 s
392.54/98.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
392.95/98.91	c Subs w/ non-existent bins:      0 time:  0.41 s
393.74/99.16	c bin-w-bin subsume rem         1018 bins  time:  0.65 s
400.94/100.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.09 s
401.34/101.00	c Removed useless bin:       0  fixed:     0  bprops:   2.43M  time:  0.27 s
419.33/105.52	c ORs :     73 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.15
419.33/105.56	c lits-rem:       523  cl-subs:     2480  v-elim:   3575  v-fix:    0  time: 18.21 s
419.33/105.56	c learnt bin added due to v-elim: 0
419.33/105.58	c vivif2 --  cl tried    15939 cl shrink        0 lits rem          0 time: 0.07
419.74/105.65	c vivif2 --  cl tried    20041 cl shrink       40 lits rem         42 time: 0.28
420.92/105.99	c asymm  cl-useful: 0/275/15939 lits-rem:0 time: 1.34
421.32/106.01	c calculated reachability. Time: 0.02
421.32/106.01	c  N dy  1063    158477      3618     15939    910515     20041   2495045   2717534    424.70     30.17  --
439.28/110.55	c  N dy  1133    168705      3713     15939    922766     38961   2500899   5589254    455.25     30.90  --
461.66/116.16	c  N dy  1207    179569      3713     15939    922766     28484   2500899   3908983    461.00     32.65  --
502.00/126.23	c  N dy  1286    191083      3713     15939    922766     20111   2500899   1087302    464.42     34.61  --
521.97/131.24	c  N dy  1371    203373      3713     15939    922766     31870   2500899   4544274    193.24     35.70  --
544.75/136.90	c  N dy  1460    216484      3713     15939    922766     25252   2500899   2023458    207.56     35.54  --
571.51/143.68	c  N dy  1553    230320      3713     15939    922767     38606   2500899   4965209    183.91     35.97  --
582.70/146.42	c  S st  1605    237715      3713     15939    925362     26254   2501293   1758724    148.40     35.84  --
583.10/146.55	c  S st  1605    238216      3713     15939    925362     26755   2501293   1822306    148.40     35.84  --
583.10/146.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
583.10/146.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
598.68/150.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:     10 BRemL:    300 BRemN:   2675 CBin:       0 P: 60.0M T: 15.66
599.08/150.59	c Calc non-exist non-lernt bins v-fix:     0 done:   3713 time:  0.40 s
599.08/150.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
599.90/150.71	c Subs w/ non-existent bins:   2948 time:  0.46 s
599.90/150.78	c Replacing        6 vars Replaced     4269 lits Time:     0.29 s 
600.67/150.99	c bin-w-bin subsume rem         1468 bins  time:  0.66 s
606.27/152.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.48 s
606.67/152.42	c Removed useless bin:     804  fixed:     0  bprops:   1.53M  time:  0.20 s
615.46/154.65	c ORs :     73 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    1.90
615.46/154.67	c lits-rem:       319  cl-subs:     2066  v-elim:   3575  v-fix:    0  time:  9.02 s
615.46/154.68	c learnt bin added due to v-elim: 0
615.46/154.69	c vivif2 --  cl tried    15939 cl shrink        6 lits rem          6 time: 0.07
615.86/154.76	c vivif2 --  cl tried    21735 cl shrink       23 lits rem         49 time: 0.24
616.65/154.94	c asymm  cl-useful: 0/472/15933 lits-rem:0 time: 0.75
616.65/154.97	c calculated reachability. Time: 0.02
616.65/154.97	c  N dy  1605    238216      3707     15933    920120     21732   2494237   1453370    148.40     35.84  --
647.41/162.60	c  N dy  1708    253507      3707     15933    920120     36526   2494237   3762829    125.01     35.65  --
674.97/169.51	c  N dy  1817    269767      3707     15933    920120     32932   2494237   3109845    193.09     35.52  --
706.93/177.52	c  N dy  1935    286989      3707     15933    920120     28907   2494237   2182716    139.95     35.41  --
742.49/186.46	c  N dy  2062    305416      3707     15933    920124     24797   2494237   1656954    193.58     35.50  --
780.83/196.02	c  N dy  2194    325026      3784     15933    929528     49038   2497395   5656506    222.89     35.82  --
820.38/205.96	c  N dy  2330    345133      3784     15933    929528     42794   2497395   5099592    302.71     36.44  --
846.35/212.41	c  S st  2413    357324      3784     15933    929529     29188   2497395   1578158    155.94     36.39  --
846.75/212.55	c  S st  2413    357825      3784     15933    929529     29688   2497395   1637688    155.94     36.39  --
846.75/212.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
846.75/212.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
862.32/216.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1088 BRemL:    104 BRemN:   3352 CBin:       0 P: 60.0M T: 15.27
862.72/216.50	c Calc non-exist non-lernt bins v-fix:     0 done:   3784 time:  0.41 s
862.72/216.50	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
863.14/216.62	c Subs w/ non-existent bins:   1421 time:  0.45 s
863.14/216.64	c Replacing        2 vars Replaced      132 lits Time:     0.10 s 
863.92/216.85	c bin-w-bin subsume rem          555 bins  time:  0.66 s
869.91/218.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.87 s
869.91/218.37	c Removed useless bin:     167  fixed:     0  bprops:   1.32M  time:  0.18 s
877.11/220.10	c ORs :     73 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 7 avg s: 3.0 T:    1.11
877.11/220.13	c lits-rem:       354  cl-subs:     1427  v-elim:   3575  v-fix:    0  time:  7.03 s
877.11/220.13	c learnt bin added due to v-elim: 0
877.11/220.15	c vivif2 --  cl tried    15933 cl shrink        0 lits rem          0 time: 0.07
877.51/220.22	c vivif2 --  cl tried    26833 cl shrink        3 lits rem          3 time: 0.28
878.31/220.41	c asymm  cl-useful: 0/466/15933 lits-rem:0 time: 0.77
878.31/220.44	c calculated reachability. Time: 0.02
878.31/220.44	c  N dy  2413    357825      3782     15933    926438     26830   2490170   1433388    155.94     36.39  --
911.47/228.71	c  N dy  2548    377854      3782     15933    927647     46102   2490170   4325680    186.42     36.33  --
945.01/237.15	c  N dy  2687    398003      3782     15933    927647     40370   2490170   4477820    234.48     37.20  --
986.18/247.41	c  N dy  2822    418144      3782     15933    927647     33969   2490170   2615476    212.37     37.61  --
1023.31/256.73	c  N dy  2956    438255      3782     15933    927647     53448   2490170   6633560    235.18     37.56  --
1059.26/265.71	c  N dy  3092    458338      3782     15933    927648     45888   2490170   5168627    189.47     37.46  --
1098.02/275.42	c  N dy  3227    478418      3859     15933    938112     42931   2493862   3038492    227.59     37.63  --
1131.60/283.85	c  N dy  3361    498423      3859     15933    938112     62330   2493862   7000123    217.90     37.84  --
1170.74/293.63	c  N dy  3495    518511      3859     15933    938112     49838   2493862   5262616    201.80     37.73  --
1218.27/305.58	c  S st  3619    536737      3859     15933    938112     36007   2493862   2187188    152.78     37.61  --
1219.07/305.73	c  S st  3619    537237      3859     15933    938112     36507   2493862   2252411    152.78     37.61  --
1219.07/305.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
1219.07/305.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1237.44/310.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1317 BRemL:    473 BRemN:   2729 CBin:       0 P: 60.0M T: 18.30
1237.84/310.44	c Calc non-exist non-lernt bins v-fix:     0 done:   3859 time:  0.40 s
1237.84/310.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1238.23/310.56	c Subs w/ non-existent bins:   1696 time:  0.51 s
1239.03/310.79	c bin-w-bin subsume rem          516 bins  time:  0.66 s
1244.63/312.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.60 s
1245.03/312.24	c Removed useless bin:     213  fixed:     0  bprops:   1.24M  time:  0.18 s
1254.63/314.64	c ORs :     73 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 3.0 T:    1.32
1263.01/316.71	c Added 39 vars  tried: 80000 time: 8.27
1263.01/316.76	c ORs :     39 avg-s:  0.0 cl-sh: 13454 l-rem:  13454 b-add:     84 v-rep:   3 cl-rem: 33 avg s: 3.0 T:    8.48
1263.01/316.79	c lits-rem:       158  cl-subs:     1619  v-elim:   3575  v-fix:    0  time: 18.20 s
1263.01/316.79	c learnt bin added due to v-elim: 0
1263.42/316.81	c vivif2 --  cl tried    15967 cl shrink        0 lits rem          0 time: 0.08
1263.80/316.90	c vivif2 --  cl tried    33158 cl shrink       11 lits rem         15 time: 0.34
1264.59/317.10	c asymm  cl-useful: 0/373/15967 lits-rem:0 time: 0.82
1264.59/317.13	c calculated reachability. Time: 0.02
1264.59/317.13	c  N dy  3619    537237      3898     15967    935590     33150   2485221   1905372    152.78     37.61  --
1264.59/317.13	c  F st  3619    537237      3898     15967    935590     33150   2485221   1905372    152.78     37.61  --
1264.59/317.16	c Replacing        3 vars Replaced      674 lits Time:     0.15 s 
1267.41/317.83	c Decided on static restart strategy
1315.75/329.97	c  N dy  3747    557368      3895     15967    936214     52389   2485209   9067582    503.58     37.89  --
1388.44/348.15	c  N dy  3880    577486      3895     15967    936225     41037   2485209   6795951    601.81     38.11  --
1458.74/365.77	c  N dy  4015    597604      3895     15967    936230     60205   2485209  16702384    400.44     37.86  --
1525.05/382.39	c  N dy  4151    617632      3910     15967    944342     49421   2486457   7155669    425.26     37.76  --
1588.59/398.28	c  N dy  4286    637663      3910     15967    944661     35356   2486457   2072190    339.63     37.56  --
1626.92/407.82	c  N dy  4423    657678      3910     15967    944661     54559   2486457   7310084    441.26     37.47  --
1686.44/422.71	c  N dy  4560    677790      3910     15967    945058     39901   2486457   4008787    372.85     37.99  --
1740.37/436.26	c  N dy  4694    697866      3946     15967    949306     59202   2486605  13615196    244.75     38.26  --
1811.88/454.15	c  N dy  4831    717928      3946     15967    949306     43780   2486605   5283790    554.13     38.46  --
1893.76/474.62	c  N dy  4968    738072      3958     15967    952076     63292   2486657  12897660    408.08     38.58  --
1945.30/487.50	c  N dy  5106    758199      3958     15967    952076     46969   2486657   4273030    230.57     38.40  --
1983.65/497.19	c Finding binary XORs  T:     0.09 s  found:       5
1999.22/501.08	c  N dy  5243    778309      3958     15967    952083     66562   2486657   9857582    321.01     38.29  --
2043.96/512.29	c  N dy  5378    798371      3958     15967    952083     49259   2486657   4625457    218.58     38.20  --
2063.53/517.13	c  S st  5428    805856      3958     15967    953448     56551   2486657   6864704    339.20     38.33  --
2064.33/517.31	c  S st  5428    806357      3958     15967    953448     57052   2486657   6919944    339.20     38.33  --
2064.33/517.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
2064.33/517.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2081.12/521.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    390 BRemL:    618 BRemN:   1553 CBin:       0 P: 60.0M T: 16.66
2081.52/521.61	c Calc non-exist non-lernt bins v-fix:     0 done:   3958 time:  0.41 s
2081.52/521.61	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2082.32/521.83	c Subs w/ non-existent bins:    592 time:  0.89 s
2082.32/521.87	c Replacing        5 vars Replaced      505 lits Time:     0.16 s 
2083.91/522.21	c bin-w-bin subsume rem          403 bins  time:  0.67 s
2089.90/523.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.93 s
2089.90/523.74	c Removed useless bin:      13  fixed:     0  bprops:   1.20M  time:  0.18 s
2202.15/551.84	c ORs :    159 avg-s:  2.0 cl-sh:     2 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 7 avg s: 3.0 T:    1.52
2216.14/555.30	c Added 40 vars  tried: 80000 time: 13.81
2217.73/555.71	c ORs :     40 avg-s:  0.0 cl-sh: 36720 l-rem:  36720 b-add:     82 v-rep:   1 cl-rem: 37 avg s: 3.0 T:   15.44
2217.73/555.77	c lits-rem:        89  cl-subs:     8218  v-elim:   5695  v-fix:    0  time: 127.92 s
2217.73/555.77	c learnt bin added due to v-elim: 0
2218.13/555.80	c vivif2 --  cl tried    19735 cl shrink      983 lits rem        983 time: 0.11
2218.53/555.95	c vivif2 --  cl tried    48227 cl shrink      384 lits rem        477 time: 0.60
2219.33/556.19	c asymm  cl-useful: 0/213/18752 lits-rem:0 time: 0.96
2219.73/556.21	c calculated reachability. Time: 0.02
2219.73/556.21	c  N dy  5428    806357      3987     18752    948492     48222   2485423   4697749    339.20     38.33  --
2256.10/565.32	c  N dy  5568    826406      3987     18752    948591     67830   2485427   7857046    156.71     38.33  --
2292.03/574.34	c  N dy  5706    846536      3987     18752    948591     49907   2485427   3828386    157.62     38.26  --
2330.39/583.93	c  N dy  5845    866565      3987     18752    948591     69300   2485427   7625916    202.77     38.29  --
2373.53/594.79	c  N dy  5985    886698      3987     18752    948591     50108   2485427   4624933    173.09     38.40  --
2435.05/610.11	c  N dy  6122    906843      3987     18752    951713     69601   2485427   8966222    208.27     38.55  --
2493.79/624.81	c  N dy  6259    926917      3987     18752    951713     49447   2485427   4237404    317.55     38.85  --
2550.92/639.15	c  N dy  6397    947031      4010     18752    954640     68997   2485527   8408978    204.49     38.99  --
2609.21/653.73	c  N dy  6535    967073      4010     18752    954677     47772   2485527   3230664    139.24     39.03  --
2651.98/664.43	c  N dy  6672    987156      4010     18752    954677     67325   2485527   7752269    258.84     39.24  --
2712.68/679.63	c  N dy  6807   1007187      4010     18752    955839     45020   2485527   2705124    214.57     39.41  --
2752.64/689.63	c  N dy  6944   1027254      4017     18752    956723     64545   2485563   6745427    298.38     39.56  --
2819.74/706.49	c  N dy  7082   1047330      4017     18752    956723     84046   2485563  11342716    263.60     39.76  --
2860.08/716.52	c  N dy  7221   1067449      4017     18752    956723     60865   2485563   5923100    187.28     39.87  --
2916.80/730.79	c  N dy  7360   1087554      4017     18752    956723     80434   2485563   9823687    123.30     39.94  --
2971.94/744.59	c  N dy  7497   1107613      4017     18752    956793     56196   2485563   4432324    145.93     40.17  --
3030.25/759.19	c  N dy  7631   1127628      4017     18752    956793     75547   2485563   7792555    157.34     40.33  --
3087.38/773.46	c  N dy  7768   1147650      4017     18752    956874     50384   2485567   3422589    260.54     40.52  --
3132.93/784.87	c  N dy  7907   1167758      4038     18752    958973     69996   2485651   7157066    111.98     40.70  --
3206.83/803.33	c  N dy  8044   1187804      4038     18752    958973     89522   2485651  10665795    136.14     40.82  --
3244.39/812.71	c  N dy  8183   1207828      4038     18752    958973     63287   2485651   5578233    196.45     40.95  --
3249.98/814.12	c  S st  8195   1209535      4038     18752    958973     64901   2485651   5839710    165.96     40.94  --
3250.78/814.36	c  S st  8195   1210036      4038     18752    958973     65398   2485651   5899536    165.96     40.94  --
3250.78/814.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
3250.78/814.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3275.14/820.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    216 BRemL:   2000 BRemN:   1446 CBin:       0 P: 60.0M T: 24.37
3275.96/820.60	c Calc non-exist non-lernt bins v-fix:     0 done:   4038 time:  0.44 s
3275.96/820.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3276.73/820.87	c Subs w/ non-existent bins:      0 time:  1.05 s
3277.13/820.92	c Replacing        7 vars Replaced     4067 lits Time:     0.21 s 
3278.33/821.23	c bin-w-bin subsume rem          951 bins  time:  0.68 s
3284.33/822.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.11 s
3284.74/822.80	c Removed useless bin:       3  fixed:     0  bprops:   1.19M  time:  0.18 s
3371.81/844.64	c ORs :    217 avg-s:  2.0 cl-sh:     2 l-rem:      2 b-add:      0 v-rep:   0 cl-rem: 5 avg s: 3.0 T:    2.11
3384.99/847.95	c Added 41 vars  tried: 80000 time: 13.22
3385.40/848.09	c ORs :     41 avg-s:  0.0 cl-sh: 23783 l-rem:  23783 b-add:     82 v-rep:   0 cl-rem: 52 avg s: 3.0 T:   13.80
3385.81/848.16	c lits-rem:       282  cl-subs:     8117  v-elim:   4889  v-fix:    0  time: 101.27 s
3385.81/848.16	c learnt bin added due to v-elim: 0
3385.81/848.18	c vivif2 --  cl tried    20390 cl shrink      528 lits rem        529 time: 0.11
3386.59/848.38	c vivif2 --  cl tried    57248 cl shrink      360 lits rem        649 time: 0.76
3387.79/848.64	c asymm  cl-useful: 0/383/19862 lits-rem:0 time: 1.05
3387.79/848.67	c calculated reachability. Time: 0.02
3387.79/848.67	c  N dy  8195   1210036      4069     19862    953700     57248   2479879   4416577    165.96     40.94  --
3432.13/859.77	c  N dy  8334   1230178      4069     19862    954223     76894   2479879  10567521    529.25     40.74  --
3489.25/874.06	c  N dy  8470   1250245      4069     19862    954275     49764   2479879   3060334    201.09     40.59  --
3543.59/887.67	c  N dy  8607   1270267      4069     19862    954280     69210   2479879   7477586    229.54     40.43  --
3617.88/906.27	c  N dy  8743   1290347      4069     19862    954292     88784   2479879  12408149    216.13     40.27  --
3694.18/925.32	c  N dy  8877   1310479      4069     19862    961300     60816   2479879   7647472    414.11     40.13  --
3784.46/947.94	c  N dy  9010   1330583      4070     19862    961548     80490   2479883  16018098    411.73     40.08  --
3893.92/975.36	c  N dy  9143   1350685      4070     19862    961576     51451   2479883   3600606    358.70     40.01  --
3944.65/988.05	c  N dy  9280   1370742      4070     19862    961604     71110   2479883   8265615    210.88     39.89  --
4020.15/1006.98	c  N dy  9416   1390758      4070     19862    961604     90610   2479882  13241780    332.35     39.93  --
4094.04/1025.49	c  N dy  9553   1410760      4078     19862    961956     60339   2479914   5340017    202.13     39.84  --
4178.33/1046.54	c  N dy  9688   1430778      4078     19862    961956     79840   2479914  12005160    452.97     39.79  --
4333.33/1085.36	c  N dy  9820   1450897      4079     19862    962393     99505   2479917  19675944    343.06     39.87  --
4397.24/1101.38	c  N dy  9954   1470904      4079     19862    962393     68321   2479916   8340985    256.60     39.75  --
4483.54/1122.93	c  N dy 10087   1491009      4079     19862    962407     88005   2479916  15410316    355.64     39.73  --
4581.40/1147.44	c  N dy 10222   1511157      4079     19862    962407     55886   2479916   4576091    501.96     39.60  --
4652.10/1165.19	c  N dy 10356   1531259      4079     19862    962411     75510   2479916  11280815    322.94     39.50  --
4741.19/1187.40	c  N dy 10488   1551358      4079     19862    962416     95137   2479916  19238518    461.25     39.46  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 6.73 7.79 7.78 5/180 1790
/proc/meminfo: memFree=25820456/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=50300 CPUtime=0 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 871 0 0 0 0 0 0 0 21 0 1 0 529965700 51507200 806 33554432000 4194304 4797429 140735225607632 18446744073709551615 4366078 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1790/statm: 12575 811 347 148 0 7504 0

[startup+0.0958321 s]
/proc/loadavg: 6.73 7.79 7.78 5/180 1790
/proc/meminfo: memFree=25820456/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=63040 CPUtime=0.09 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 4057 0 0 0 9 0 0 0 21 0 1 0 529965700 64552960 3926 33554432000 4194304 4797429 140735225607632 18446744073709551615 218370618053 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1790/statm: 15760 3926 348 148 0 10689 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63040

[startup+0.100827 s]
/proc/loadavg: 6.73 7.79 7.78 5/180 1790
/proc/meminfo: memFree=25820456/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=63700 CPUtime=0.09 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 4208 0 0 0 9 0 0 0 21 0 1 0 529965700 65228800 4077 33554432000 4194304 4797429 140735225607632 18446744073709551615 218370618053 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1790/statm: 15925 4081 348 148 0 10854 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63700

[startup+0.300795 s]
/proc/loadavg: 6.73 7.79 7.78 5/180 1790
/proc/meminfo: memFree=25820456/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=87912 CPUtime=0.29 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 10261 0 0 0 29 0 0 0 22 0 1 0 529965700 90021888 10130 33554432000 4194304 4797429 140735225607632 18446744073709551615 218370618053 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1790/statm: 21978 10133 348 148 0 16907 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87912

[startup+0.700683 s]
/proc/loadavg: 6.73 7.79 7.78 5/180 1790
/proc/meminfo: memFree=25820456/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=165284 CPUtime=0.69 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 21962 0 0 0 68 1 0 0 25 0 4 0 529965700 169250816 21831 33554432000 4194304 4797429 140735225607632 18446744073709551615 47774385588146 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 41321 21831 361 148 0 36250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 165284

[startup+1.50055 s]
/proc/loadavg: 6.73 7.79 7.78 9/184 1794
/proc/meminfo: memFree=25680308/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=763172 CPUtime=3.86 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 33605 0 0 0 381 5 0 0 18 0 4 0 529965700 781488128 33438 33554432000 4194304 4797429 140735225607632 18446744073709551615 4515139 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 190793 33446 399 148 0 185722 0
[pid=1790/tid=1792] ppid=1788 vsize=763172 CPUtime=0.78 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 3239 0 0 0 77 1 0 0 18 0 4 0 529965770 781488128 33449 33554432000 4194304 4797429 140735225607632 18446744073709551615 4491756 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=763172 CPUtime=0.78 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 3170 0 0 0 78 0 0 0 18 0 4 0 529965770 781488128 33449 33554432000 4194304 4797429 140735225607632 18446744073709551615 218370618401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=763172 CPUtime=0.79 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 2124 0 0 0 79 0 0 0 18 0 4 0 529965770 781488128 33449 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 763172

[startup+3.10026 s]
/proc/loadavg: 6.73 7.79 7.78 9/184 1794
/proc/meminfo: memFree=25631204/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=767524 CPUtime=10.26 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 44375 0 0 0 1016 10 0 0 21 0 4 0 529965700 785944576 44165 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 191881 44165 411 148 0 186810 0
[pid=1790/tid=1792] ppid=1788 vsize=767524 CPUtime=2.39 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 5907 0 0 0 237 2 0 0 21 0 4 0 529965770 785944576 44165 33554432000 4194304 4797429 140735225607632 18446744073709551615 218370653894 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=767524 CPUtime=2.38 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 6068 0 0 0 236 2 0 0 21 0 4 0 529965770 785944576 44165 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=767524 CPUtime=2.39 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 4276 0 0 0 238 1 0 0 21 0 4 0 529965770 785944576 44165 33554432000 4194304 4797429 140735225607632 18446744073709551615 4425049 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 767524

[startup+6.30069 s]
/proc/loadavg: 6.91 7.81 7.79 9/184 1794
/proc/meminfo: memFree=25601632/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=787472 CPUtime=23.04 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 55347 0 0 0 2291 13 0 0 25 0 4 0 529965700 806371328 48757 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 196868 48757 415 148 0 191797 0
[pid=1790/tid=1792] ppid=1788 vsize=787472 CPUtime=5.59 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 7737 0 0 0 556 3 0 0 25 0 4 0 529965770 806371328 48757 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=787472 CPUtime=5.58 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 8744 0 0 0 555 3 0 0 25 0 4 0 529965770 806371328 48757 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=787472 CPUtime=5.59 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 6762 0 0 0 557 2 0 0 25 0 4 0 529965770 806371328 48757 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 23.04
Current children cumulated vsize (KiB) 787472

[startup+12.7006 s]
/proc/loadavg: 7.00 7.81 7.79 9/184 1794
/proc/meminfo: memFree=25557128/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=797484 CPUtime=48.61 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 68632 0 0 0 4843 18 0 0 25 0 4 0 529965700 816623616 58125 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429114 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 199371 58125 416 148 0 194300 0
[pid=1790/tid=1792] ppid=1788 vsize=797484 CPUtime=11.98 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 10538 0 0 0 1195 3 0 0 25 0 4 0 529965770 816623616 58125 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424998 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=797484 CPUtime=11.98 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 11492 0 0 0 1194 4 0 0 25 0 4 0 529965770 816623616 58125 33554432000 4194304 4797429 140735225607632 18446744073709551615 4351547 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=797484 CPUtime=11.98 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 9626 0 0 0 1196 2 0 0 25 0 4 0 529965770 816623616 58125 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 48.61
Current children cumulated vsize (KiB) 797484

[startup+25.5003 s]
/proc/loadavg: 7.22 7.82 7.79 9/184 1795
/proc/meminfo: memFree=25543760/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=805040 CPUtime=99.73 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 79727 0 0 0 9952 21 0 0 25 0 4 0 529965700 824360960 58477 33554432000 4194304 4797429 140735225607632 18446744073709551615 4359988 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 201260 58477 416 148 0 196189 0
[pid=1790/tid=1792] ppid=1788 vsize=805040 CPUtime=24.79 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 12595 0 0 0 2475 4 0 0 25 0 4 0 529965770 824360960 58477 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=805040 CPUtime=24.79 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 12974 0 0 0 2474 5 0 0 25 0 4 0 529965770 824360960 58477 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=805040 CPUtime=24.79 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 11535 0 0 0 2476 3 0 0 25 0 4 0 529965770 824360960 58477 33554432000 4194304 4797429 140735225607632 18446744073709551615 4642204 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 99.73
Current children cumulated vsize (KiB) 805040

[startup+51.1007 s]
/proc/loadavg: 7.49 7.83 7.80 9/184 1795
/proc/meminfo: memFree=25500856/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=809536 CPUtime=202 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 95513 0 0 0 20173 27 0 0 25 0 4 0 529965700 828964864 65412 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 202384 65412 419 148 0 197313 0
[pid=1790/tid=1792] ppid=1788 vsize=809536 CPUtime=50.38 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 13935 0 0 0 5033 5 0 0 25 0 4 0 529965770 828964864 65412 33554432000 4194304 4797429 140735225607632 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=809536 CPUtime=50.39 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 14754 0 0 0 5033 6 0 0 25 0 4 0 529965770 828964864 65412 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=809536 CPUtime=50.38 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 12777 0 0 0 5035 3 0 0 25 0 4 0 529965770 828964864 65412 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 202
Current children cumulated vsize (KiB) 809536

[startup+102.307 s]
/proc/loadavg: 7.85 7.87 7.81 9/184 1797
/proc/meminfo: memFree=25446912/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=820176 CPUtime=406.55 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 138781 0 0 0 40616 39 0 0 25 0 4 0 529965700 839860224 74895 33554432000 4194304 4797429 140735225607632 18446744073709551615 4524493 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 205044 74895 425 148 0 199973 0
[pid=1790/tid=1792] ppid=1788 vsize=820176 CPUtime=101.59 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 17746 0 0 0 10153 6 0 0 25 0 4 0 529965770 839860224 74895 33554432000 4194304 4797429 140735225607632 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=820176 CPUtime=101.59 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 18900 0 0 0 10152 7 0 0 25 0 4 0 529965770 839860224 74895 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=820176 CPUtime=101.59 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 16578 0 0 0 10155 4 0 0 25 0 4 0 529965770 839860224 74895 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 406.55
Current children cumulated vsize (KiB) 820176

[startup+162.301 s]
/proc/loadavg: 8.02 7.91 7.83 9/184 1798
/proc/meminfo: memFree=25411804/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=821840 CPUtime=646.21 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 181294 0 0 0 64568 53 0 0 25 0 4 0 529965700 841564160 79561 33554432000 4194304 4797429 140735225607632 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 205460 79561 421 148 0 200389 0
[pid=1790/tid=1792] ppid=1788 vsize=821840 CPUtime=161.59 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 22015 0 0 0 16151 8 0 0 25 0 4 0 529965770 841564160 79561 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=821840 CPUtime=161.59 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 22607 0 0 0 16151 8 0 0 25 0 4 0 529965770 841564160 79561 33554432000 4194304 4797429 140735225607632 18446744073709551615 4389720 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=821840 CPUtime=161.59 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 20361 0 0 0 16153 6 0 0 25 0 4 0 529965770 841564160 79561 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 646.21
Current children cumulated vsize (KiB) 821840

[startup+222.301 s]
/proc/loadavg: 8.07 7.94 7.84 9/184 1800
/proc/meminfo: memFree=25403832/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=823716 CPUtime=885.89 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 220206 0 0 0 88522 67 0 0 25 0 4 0 529965700 843485184 79391 33554432000 4194304 4797429 140735225607632 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 205929 79391 421 148 0 200858 0
[pid=1790/tid=1792] ppid=1788 vsize=823716 CPUtime=221.58 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 25539 0 0 0 22149 9 0 0 25 0 4 0 529965770 843485184 79391 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=823716 CPUtime=221.58 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 25566 0 0 0 22150 8 0 0 25 0 4 0 529965770 843485184 79391 33554432000 4194304 4797429 140735225607632 18446744073709551615 4427946 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=823716 CPUtime=221.59 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 23766 0 0 0 22152 7 0 0 25 0 4 0 529965770 843485184 79391 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 885.89
Current children cumulated vsize (KiB) 823716

[startup+282.301 s]

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

[pid=1790] ppid=1788 vsize=905740 CPUtime=2563.69 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 473343 0 0 0 256208 161 0 0 25 0 4 0 529965700 927477760 107995 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 226435 107995 421 148 0 221364 0
[pid=1790/tid=1792] ppid=1788 vsize=905740 CPUtime=641.6 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 43233 0 0 0 64146 14 0 0 25 0 4 0 529965770 927477760 107995 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=905740 CPUtime=641.6 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 42477 0 0 0 64145 15 0 0 25 0 4 0 529965770 927477760 107995 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=905740 CPUtime=641.6 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 40356 0 0 0 64148 12 0 0 25 0 4 0 529965770 927477760 107995 33554432000 4194304 4797429 140735225607632 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2563.69
Current children cumulated vsize (KiB) 905740

[startup+702.301 s]
/proc/loadavg: 8.01 8.01 7.91 9/184 1813
/proc/meminfo: memFree=25222796/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=916288 CPUtime=2803.36 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 509519 0 0 0 280161 175 0 0 25 0 4 0 529965700 938278912 108904 33554432000 4194304 4797429 140735225607632 18446744073709551615 4351640 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 229072 108904 421 148 0 224001 0
[pid=1790/tid=1792] ppid=1788 vsize=916288 CPUtime=701.59 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 46146 0 0 0 70144 15 0 0 25 0 4 0 529965770 938278912 108904 33554432000 4194304 4797429 140735225607632 18446744073709551615 4430115 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=916288 CPUtime=701.6 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 46088 0 0 0 70144 16 0 0 25 0 4 0 529965770 938278912 108904 33554432000 4194304 4797429 140735225607632 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=916288 CPUtime=701.6 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 44649 0 0 0 70147 13 0 0 25 0 4 0 529965770 938278912 108904 33554432000 4194304 4797429 140735225607632 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2803.36
Current children cumulated vsize (KiB) 916288

[startup+762.307 s]
/proc/loadavg: 8.00 8.00 7.91 9/184 1814
/proc/meminfo: memFree=25210724/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=919048 CPUtime=3043.07 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 538210 0 0 0 304120 187 0 0 25 0 4 0 529965700 941105152 109457 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 229762 109457 421 148 0 224691 0
[pid=1790/tid=1792] ppid=1788 vsize=919048 CPUtime=761.6 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 48650 0 0 0 76144 16 0 0 25 0 4 0 529965770 941105152 109457 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=919048 CPUtime=761.61 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 47831 0 0 0 76144 17 0 0 25 0 4 0 529965770 941105152 109457 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=919048 CPUtime=761.61 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 46331 0 0 0 76147 14 0 0 25 0 4 0 529965770 941105152 109457 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3043.07
Current children cumulated vsize (KiB) 919048

[startup+822.3 s]
/proc/loadavg: 8.09 8.03 7.92 9/184 1816
/proc/meminfo: memFree=25225592/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=919608 CPUtime=3282.72 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 566895 0 0 0 328075 197 0 0 25 0 4 0 529965700 941678592 107425 33554432000 4194304 4797429 140735225607632 18446744073709551615 4520264 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 229902 107425 421 148 0 224831 0
[pid=1790/tid=1792] ppid=1788 vsize=919608 CPUtime=821.59 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 50437 0 0 0 82143 16 0 0 25 0 4 0 529965770 941678592 107425 33554432000 4194304 4797429 140735225607632 18446744073709551615 4557702 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=919608 CPUtime=821.59 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 50507 0 0 0 82142 17 0 0 25 0 4 0 529965770 941678592 107425 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=919608 CPUtime=821.61 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 48925 0 0 0 82146 15 0 0 25 0 4 0 529965770 941678592 107425 33554432000 4194304 4797429 140735225607632 18446744073709551615 4428632 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3282.72
Current children cumulated vsize (KiB) 919608

[startup+882.301 s]
/proc/loadavg: 8.18 8.07 7.94 9/184 1817
/proc/meminfo: memFree=25193208/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=920652 CPUtime=3522.4 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 589834 0 0 0 352034 206 0 0 25 0 4 0 529965700 942747648 109577 33554432000 4194304 4797429 140735225607632 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 230163 109577 421 148 0 225092 0
[pid=1790/tid=1792] ppid=1788 vsize=920652 CPUtime=881.6 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 53413 0 0 0 88142 18 0 0 25 0 4 0 529965770 942747648 109577 33554432000 4194304 4797429 140735225607632 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=920652 CPUtime=881.6 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 51916 0 0 0 88142 18 0 0 25 0 4 0 529965770 942747648 109577 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=920652 CPUtime=881.6 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 50215 0 0 0 88145 15 0 0 25 0 4 0 529965770 942747648 109577 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3522.4
Current children cumulated vsize (KiB) 920652

[startup+942.301 s]
/proc/loadavg: 8.18 8.08 7.95 9/184 1819
/proc/meminfo: memFree=25172228/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=922676 CPUtime=3762.1 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 620169 0 0 0 375992 218 0 0 25 0 4 0 529965700 944820224 116729 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 230669 116729 421 148 0 225598 0
[pid=1790/tid=1792] ppid=1788 vsize=922676 CPUtime=941.61 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 55110 0 0 0 94142 19 0 0 25 0 4 0 529965770 944820224 116729 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=922676 CPUtime=941.61 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 54773 0 0 0 94142 19 0 0 25 0 4 0 529965770 944820224 116729 33554432000 4194304 4797429 140735225607632 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=922676 CPUtime=941.61 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 52929 0 0 0 94145 16 0 0 25 0 4 0 529965770 944820224 116729 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3762.1
Current children cumulated vsize (KiB) 922676

[startup+1002.3 s]
/proc/loadavg: 8.13 8.08 7.95 9/184 1821
/proc/meminfo: memFree=25135976/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=923400 CPUtime=4001.77 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 647025 0 0 0 399948 229 0 0 25 0 4 0 529965700 945561600 120508 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 230850 120508 421 148 0 225779 0
[pid=1790/tid=1792] ppid=1788 vsize=923400 CPUtime=1001.6 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 56519 0 0 0 100141 19 0 0 25 0 4 0 529965770 945561600 120508 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=923400 CPUtime=1001.6 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 56397 0 0 0 100141 19 0 0 25 0 4 0 529965770 945561600 120508 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=923400 CPUtime=1001.6 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 54444 0 0 0 100144 16 0 0 25 0 4 0 529965770 945561600 120508 33554432000 4194304 4797429 140735225607632 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4001.77
Current children cumulated vsize (KiB) 923400

[startup+1062.3 s]
/proc/loadavg: 8.19 8.11 7.97 9/184 1822
/proc/meminfo: memFree=25139676/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=926692 CPUtime=4241.46 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 675130 0 0 0 423906 240 0 0 25 0 4 0 529965700 948932608 119530 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 231673 119530 421 148 0 226602 0
[pid=1790/tid=1792] ppid=1788 vsize=926692 CPUtime=1061.61 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 59676 0 0 0 106141 20 0 0 25 0 4 0 529965770 948932608 119530 33554432000 4194304 4797429 140735225607632 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=926692 CPUtime=1061.6 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 59263 0 0 0 106140 20 0 0 25 0 4 0 529965770 948932608 119530 33554432000 4194304 4797429 140735225607632 18446744073709551615 4524449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=926692 CPUtime=1061.61 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 56943 0 0 0 106144 17 0 0 25 0 4 0 529965770 948932608 119530 33554432000 4194304 4797429 140735225607632 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4241.46
Current children cumulated vsize (KiB) 926692

[startup+1122.3 s]
/proc/loadavg: 8.10 8.10 7.97 9/184 1824
/proc/meminfo: memFree=25095616/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=928432 CPUtime=4481.14 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 701709 0 0 0 447862 252 0 0 25 0 4 0 529965700 950714368 125144 33554432000 4194304 4797429 140735225607632 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 232108 125144 421 148 0 227037 0
[pid=1790/tid=1792] ppid=1788 vsize=928432 CPUtime=1121.6 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 61123 0 0 0 112140 20 0 0 25 0 4 0 529965770 950714368 125144 33554432000 4194304 4797429 140735225607632 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=928432 CPUtime=1121.61 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 61069 0 0 0 112140 21 0 0 25 0 4 0 529965770 950714368 125144 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=928432 CPUtime=1121.62 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 58495 0 0 0 112144 18 0 0 25 0 4 0 529965770 950714368 125144 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4481.14
Current children cumulated vsize (KiB) 928432

[startup+1182.3 s]
/proc/loadavg: 8.15 8.11 7.98 9/184 1825
/proc/meminfo: memFree=25102776/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=1060488 CPUtime=4720.81 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 731742 0 0 0 471818 263 0 0 25 0 4 0 529965700 1085939712 129405 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 265122 129405 421 148 0 260051 0
[pid=1790/tid=1792] ppid=1788 vsize=1060488 CPUtime=1181.61 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 64390 0 0 0 118140 21 0 0 25 0 4 0 529965770 1085939712 129405 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=1060488 CPUtime=1181.61 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 62896 0 0 0 118139 22 0 0 25 0 4 0 529965770 1085939712 129405 33554432000 4194304 4797429 140735225607632 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=1060488 CPUtime=1181.61 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 59696 0 0 0 118143 18 0 0 25 0 4 0 529965770 1085939712 129405 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4720.81
Current children cumulated vsize (KiB) 1060488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.2 s]
/proc/loadavg: 8.10 8.10 7.98 5/179 1827
/proc/meminfo: memFree=25358248/32951124 swapFree=67051468/67111528
[pid=1790] ppid=1788 vsize=1062656 CPUtime=4800.34 cores=1,3,5,7
/proc/1790/stat : 1790 (techdemo) R 1788 1790 931 0 -1 4202496 744643 0 0 0 479765 269 0 0 25 0 4 0 529965700 1088159744 118387 33554432000 4194304 4797429 140735225607632 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/1790/statm: 265664 118387 421 148 0 260593 0
[pid=1790/tid=1792] ppid=1788 vsize=1062656 CPUtime=1201.52 cores=1,3,5,7
/proc/1790/task/1792/stat : 1792 (techdemo) R 1788 1790 931 0 -1 4202560 64981 0 0 0 120130 22 0 0 25 0 4 0 529965770 1088159744 118387 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1790/tid=1793] ppid=1788 vsize=1062656 CPUtime=1201.52 cores=1,3,5,7
/proc/1790/task/1793/stat : 1793 (techdemo) R 1788 1790 931 0 -1 4202560 63263 0 0 0 120130 22 0 0 25 0 4 0 529965770 1088159744 118387 33554432000 4194304 4797429 140735225607632 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1790/tid=1794] ppid=1788 vsize=1062656 CPUtime=1201.52 cores=1,3,5,7
/proc/1790/task/1794/stat : 1794 (techdemo) R 1788 1790 931 0 -1 4202560 60394 0 0 0 120134 18 0 0 25 0 4 0 529965770 1088159744 118387 33554432000 4194304 4797429 140735225607632 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 1062656

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): 1202.24
CPU time (s): 4800.4
CPU user time (s): 4797.68
CPU system time (s): 2.71659
CPU usage (%): 399.288
Max. virtual memory (cumulated for all children) (KiB): 1062656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.68
system time used= 2.71659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 744645
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= 2468
involuntary context switches= 23942

runsolver used 2.01769 second user time and 4.46732 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 19:13:49
IDJOB=3251327
IDBENCH=88219
IDSOLVER=1584
FILE ID=node101/3251327-1304183629
RUNJOBID= node101-1304183629-1768
PBS_JOBID= 13172432
Free space on /tmp= 72140 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1504.5-n60-p30-s88600538.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3251327-1304183629/watcher-3251327-1304183629 -o /tmp/evaluation-result-3251327-1304183629/solver-3251327-1304183629 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3251327-1304183629.cnf

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

MD5SUM BENCH= 76c30bc0971bc865c2b988ddaca89385
RANDOM SEED=1655258327

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25820744 kB
Buffers:       1927428 kB
Cached:        4712020 kB
SwapCached:      30424 kB
Active:        1818544 kB
Inactive:      4868124 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25820744 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           28116 kB
Writeback:           0 kB
AnonPages:       38444 kB
Mapped:           9372 kB
Slab:           380220 kB
PageTables:       4440 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   667720 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72140 MiB
End job on node101 at 2011-04-30 19:33:54