Trace number 3257577

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

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark238.524
Satisfiable
(Un)Satisfiability was proved
Number of variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

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-3257577-1304034062.cnf'
0.00/0.00	c -- header says num vars:            387
0.00/0.00	c -- header says num clauses:       62656
0.09/0.11	c -- clauses added:            0 learnts,        62656 normals,            0 xors
0.09/0.11	c -- vars added        387
0.09/0.11	c Parsing time:  0.11 s
0.09/0.12	c  N st     0         0       387     61139      1453         0    362068         0   no data   no data  --
0.43/0.24	c asymm  cl-useful: 1223/7153/36563 lits-rem:4811 time: 0.43
0.43/0.28	c Flit:    13 Blit:     12 bXBeca:    0 bXProp:    9 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.6M T:  0.04
0.43/0.28	c Calc non-exist non-lernt bins v-fix:     0 done:    298 time:  0.00 s
0.43/0.28	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
0.43/0.28	c Subs w/ non-existent bins:  10099 time:  0.04 s
0.43/0.28	c Replacing        9 vars Replaced     2175 lits Time:     0.01 s 
0.43/0.28	c bin-w-bin subsume rem          472 bins  time:  0.00 s
0.43/0.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.43/0.28	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2.43/0.75	c lits-rem:        33  cl-subs:      207  v-elim:    149  v-fix:    0  time:  0.19 s
2.43/0.75	c learnt bin added due to v-elim: 0
2.43/0.75	c Finding binary XORs  T:     0.00 s  found:       0
2.43/0.75	c Finding non-binary XORs:     0.03 s (found:       8, avg size: 4.0)
2.43/0.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2.43/0.75	c calculated reachability. Time: 0.00
2.43/0.75	c Calc default polars -  time:   0.00 s pos:      48 undec:     161 neg:     178
2.43/0.75	c =========================================================================================
2.43/0.75	c types(t): F = full restart, N = normal restart
2.43/0.75	c types(t): S = simplification begin/end, E = solution found
2.43/0.75	c restart types(rt): st = static, dy = dynamic
2.43/0.75	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.43/0.75	c  B st     0         0       246     15886       623         0     96419         0   no data   no data  --
2.43/0.75	c Decided on static restart strategy
2.43/0.75	c  N dy    21      4134       243     15886       643      3934     96376     46763     12.53      7.53  --
3.23/0.94	c  N dy    50      8191       242     15886       651      7885     96357    101797     11.77      8.09  --
3.23/0.94	c  N dy    79     12264       240     15886       683     11840     96333    155531     13.75      8.12  --
6.02/1.65	c  N dy    97     30000       236     15886       700     19319     96250    266427     17.80      8.92  --
6.02/1.67	c  S st    97     30000       236     15886       700     19319     96250    266427     17.80      8.92  --
6.42/1.71	c  S st    97     30502       236     15886       701     19807     96245    271938     17.80      8.92  --
6.42/1.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.42/1.71	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
6.42/1.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:     15 BRemL:      8 BRemN:      0 CBin:       0 P:  3.2M T:  0.19
6.42/1.76	c Calc non-exist non-lernt bins v-fix:     0 done:    236 time:  0.00 s
6.42/1.76	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
6.42/1.77	c Subs w/ non-existent bins:     28 time:  0.03 s
6.42/1.77	c Replacing        1 vars Replaced      207 lits Time:     0.02 s 
6.42/1.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.82/1.80	c subs with bin:      237  lits-rem:      4606  v-fix:    0  time:  0.08 s
6.82/1.80	c Removed useless bin:       5  fixed:     0  bprops:   0.00M  time:  0.00 s
11.22/2.98	c lits-rem:     10287  cl-subs:     3273  v-elim:    190  v-fix:    0  time:  4.72 s
11.22/2.98	c learnt bin added due to v-elim: 0
11.22/2.98	c vivif2 --  cl tried    14412 cl shrink        2 lits rem          2 time: 0.01
11.22/2.99	c vivif2 --  cl tried    16562 cl shrink      210 lits rem        597 time: 0.02
12.02/3.11	c asymm  cl-useful: 340/5166/14412 lits-rem:360 time: 0.49
12.02/3.11	c Added XOR as norm:0
12.02/3.11	c calculated reachability. Time: 0.00
12.02/3.11	c  N dy    97     30502       235     14407       501     16562     79634    221463     17.80      8.92  --
12.02/3.11	c  F st    97     30502       235     14407       501     16562     79634    221463     17.80      8.92  --
12.43/3.23	c Decided on static restart strategy
12.84/3.33	c  N dy   117     34584       234     14407       504     20506     79629    278079     14.07      8.84  --
13.61/3.59	c  N dy   145     38595       230     14407       516     24488     79630    336132     15.29      8.82  --
16.01/4.19	c  N dy   159     45753       230     14407       517     16301     79626    137288     12.81      8.70  --
16.01/4.19	c  S st   159     45753       230     14407       517     16301     79626    137288     12.81      8.70  --
16.41/4.24	c  S st   159     46254       230     14407       517     16790     79626    143613     12.81      8.70  --
16.41/4.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.41/4.24	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
16.41/4.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      0 BRemN:     13 CBin:       0 P:  3.6M T:  0.17
16.41/4.28	c Calc non-exist non-lernt bins v-fix:     0 done:    230 time:  0.00 s
16.41/4.28	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
16.41/4.29	c Subs w/ non-existent bins:     56 time:  0.02 s
16.41/4.29	c bin-w-bin subsume rem           11 bins  time:  0.00 s
16.41/4.29	c subs with bin:       19  lits-rem:        26  v-fix:    0  time:  0.01 s
16.41/4.30	c Removed useless bin:      15  fixed:     0  bprops:   0.00M  time:  0.00 s
18.81/4.85	c lits-rem:      2216  cl-subs:     1563  v-elim:    188  v-fix:    0  time:  2.22 s
18.81/4.85	c learnt bin added due to v-elim: 0
18.81/4.85	c vivif2 --  cl tried    13078 cl shrink        0 lits rem          0 time: 0.01
18.81/4.86	c vivif2 --  cl tried    15198 cl shrink        0 lits rem          0 time: 0.01
18.81/4.88	c asymm  cl-useful: 9/759/13078 lits-rem:27 time: 0.09
18.81/4.88	c Added XOR as norm:0
18.81/4.88	c calculated reachability. Time: 0.00
18.81/4.88	c  N dy   159     46254       230     13069       429     15198     72953    128739     12.81      8.70  --
26.02/6.61	c  N dy   173     69381       228     13069       448     19397     72950    172004     20.75      8.87  --
26.02/6.62	c  S st   173     69381       228     13069       448     19397     72950    172004     20.75      8.87  --
26.02/6.67	c  S st   173     69883       228     13069       448     19895     72950    177953     20.75      8.87  --
26.02/6.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.02/6.67	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
26.39/6.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      2 BRemL:      2 BRemN:      0 CBin:       0 P:  4.8M T:  0.22
26.39/6.72	c Calc non-exist non-lernt bins v-fix:     0 done:    228 time:  0.00 s
26.39/6.72	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
26.39/6.73	c Subs w/ non-existent bins:      4 time:  0.02 s
26.39/6.73	c Replacing        1 vars Replaced       94 lits Time:     0.02 s 
26.39/6.74	c bin-w-bin subsume rem            1 bins  time:  0.00 s
26.39/6.74	c subs with bin:       77  lits-rem:       120  v-fix:    0  time:  0.02 s
26.39/6.74	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
28.79/7.38	c ORs :     13 avg-s:  3.3 cl-sh:    58 l-rem:    121 b-add:      1 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
30.41/7.79	c Added 3 vars  tried: 80000 time: 1.63
30.41/7.79	c ORs :      3 avg-s:  0.0 cl-sh:  1171 l-rem:   1171 b-add:      6 v-rep:   0 cl-rem: 9 avg s: 4.6 T:    1.64
30.41/7.80	c lits-rem:      2445  cl-subs:     1391  v-elim:    185  v-fix:    0  time:  4.21 s
30.41/7.80	c learnt bin added due to v-elim: 0
30.79/7.80	c vivif2 --  cl tried    12917 cl shrink        1 lits rem          1 time: 0.00
30.79/7.80	c vivif2 --  cl tried    17910 cl shrink        4 lits rem          5 time: 0.02
31.19/7.92	c asymm  cl-useful: 31/4406/12917 lits-rem:44 time: 0.46
31.19/7.92	c Added XOR as norm:0
31.19/7.92	c calculated reachability. Time: 0.00
31.19/7.92	c  N dy   173     69883       230     12917       390     17910     72035    154543     20.75      8.87  --
31.19/7.92	c  F st   173     69883       230     12917       390     17910     72035    154543     20.75      8.87  --
31.59/8.05	c Decided on static restart strategy
47.17/12.00	c  N dy   188    104824       230     12917       391     30899     72031    329940     16.21      8.91  --
47.58/12.01	c  S st   188    104824       230     12917       391     30899     72031    329940     16.21      8.91  --
47.58/12.09	c  S st   188    105328       230     12917       392     31440     72031    336587     16.21      8.91  --
47.58/12.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.58/12.09	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
47.98/12.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      1 BRemN:      0 CBin:       0 P:  7.1M T:  0.35
47.98/12.18	c Calc non-exist non-lernt bins v-fix:     0 done:    230 time:  0.00 s
47.98/12.18	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
47.98/12.19	c Subs w/ non-existent bins:     13 time:  0.04 s
47.98/12.19	c bin-w-bin subsume rem            1 bins  time:  0.00 s
48.36/12.20	c subs with bin:       27  lits-rem:         8  v-fix:    0  time:  0.02 s
48.36/12.20	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
51.57/13.07	c ORs :     20 avg-s:  3.2 cl-sh:    25 l-rem:     75 b-add:      2 v-rep:   0 cl-rem: 3 avg s: 5.0 T:    0.01
51.57/13.07	c lits-rem:      7213  cl-subs:     2914  v-elim:    184  v-fix:    0  time:  3.49 s
51.57/13.07	c learnt bin added due to v-elim: 0
51.57/13.07	c vivif2 --  cl tried    12777 cl shrink        0 lits rem          0 time: 0.00
51.57/13.08	c vivif2 --  cl tried    28621 cl shrink        0 lits rem          0 time: 0.03
52.38/13.21	c asymm  cl-useful: 10/3108/12777 lits-rem:10 time: 0.49
52.38/13.21	c Added XOR as norm:0
52.38/13.21	c calculated reachability. Time: 0.00
52.38/13.21	c  N dy   188    105328       230     12777       393     28621     71240    292609     16.21      8.91  --
77.13/19.45	c  N dy   189    157994       230     12777       393     33505     71239    367937     16.36      9.93  --
77.13/19.47	c  S st   189    157994       230     12777       393     33505     71239    367937     16.36      9.93  --
77.53/19.56	c  S st   189    158500       239     12777       436     34062     71275    374071     16.36      9.93  --
77.53/19.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
77.53/19.56	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
77.93/19.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      4 BRemL:      8 BRemN:      1 CBin:       0 P:  9.6M T:  0.47
77.93/19.68	c Calc non-exist non-lernt bins v-fix:     0 done:    239 time:  0.00 s
77.93/19.68	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
77.93/19.69	c Subs w/ non-existent bins:      4 time:  0.04 s
77.93/19.70	c Replacing        1 vars Replaced      852 lits Time:     0.03 s 
78.34/19.71	c bin-w-bin subsume rem            3 bins  time:  0.00 s
78.34/19.71	c subs with bin:       28  lits-rem:        14  v-fix:    0  time:  0.03 s
78.34/19.71	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
82.32/20.74	c ORs :     20 avg-s:  3.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 10.5 T:    0.01
82.32/20.75	c lits-rem:      4739  cl-subs:     7041  v-elim:    183  v-fix:    0  time:  4.15 s
82.32/20.75	c learnt bin added due to v-elim: 0
82.32/20.75	c vivif2 --  cl tried    12714 cl shrink        0 lits rem          0 time: 0.01
82.32/20.76	c vivif2 --  cl tried    27050 cl shrink        0 lits rem          0 time: 0.02
82.74/20.88	c asymm  cl-useful: 0/2749/12714 lits-rem:0 time: 0.49
82.74/20.88	c Added XOR as norm:0
82.74/20.89	c calculated reachability. Time: 0.00
82.74/20.89	c  N dy   189    158500       238     12714       426     27050     70964    266287     16.36      9.93  --
125.85/31.68	c  N dy   190    237750       238     12714       426     28951     70964    281054     16.90     10.66  --
125.85/31.69	c  S st   190    237750       238     12714       426     28951     70964    281054     16.90     10.66  --
126.25/31.76	c  S st   190    238260       244     12714       448     29483     70987    287929     16.90     10.66  --
126.25/31.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
126.25/31.76	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
126.67/31.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      6 BRemL:      4 BRemN:      0 CBin:       0 P:  9.8M T:  0.46
126.67/31.88	c Calc non-exist non-lernt bins v-fix:     0 done:    244 time:  0.00 s
126.67/31.88	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
126.67/31.89	c Subs w/ non-existent bins:      0 time:  0.04 s
126.67/31.89	c Replacing        1 vars Replaced       16 lits Time:     0.01 s 
126.67/31.90	c bin-w-bin subsume rem            2 bins  time:  0.00 s
127.07/31.90	c subs with bin:        4  lits-rem:         9  v-fix:    0  time:  0.02 s
127.07/31.90	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
129.85/32.67	c ORs :     20 avg-s:  3.2 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
129.85/32.68	c lits-rem:      3039  cl-subs:     2516  v-elim:    183  v-fix:    0  time:  3.09 s
129.85/32.68	c learnt bin added due to v-elim: 0
129.85/32.68	c vivif2 --  cl tried    12698 cl shrink        0 lits rem          0 time: 0.00
129.85/32.68	c vivif2 --  cl tried    26979 cl shrink        3 lits rem          4 time: 0.03
130.25/32.79	c asymm  cl-useful: 0/2435/12698 lits-rem:0 time: 0.42
130.25/32.79	c Added XOR as norm:0
130.25/32.79	c calculated reachability. Time: 0.00
130.25/32.79	c  N dy   190    238260       243     12698       446     26979     70905    249917     16.90     10.66  --
192.16/48.22	c  N dy   203    357391       242     12698       448     29151     70903    241899     19.29     11.84  --
192.16/48.23	c  S st   203    357391       242     12698       448     29151     70903    241899     19.29     11.84  --
192.16/48.30	c  S st   203    357894       248     12698       484     29676     70931    249257     19.29     11.84  --
192.16/48.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
192.16/48.30	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
192.98/48.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      2 BRemL:     12 BRemN:      0 CBin:       0 P: 10.3M T:  0.46
192.98/48.41	c Calc non-exist non-lernt bins v-fix:     0 done:    247 time:  0.00 s
192.98/48.41	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
192.98/48.42	c Subs w/ non-existent bins:      0 time:  0.04 s
192.98/48.43	c Replacing        1 vars Replaced       18 lits Time:     0.02 s 
192.98/48.43	c bin-w-bin subsume rem            3 bins  time:  0.00 s
192.98/48.44	c subs with bin:       35  lits-rem:        28  v-fix:    0  time:  0.02 s
192.98/48.44	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
195.76/49.13	c ORs :     19 avg-s:  2.9 cl-sh:     2 l-rem:      4 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.00
197.38/49.50	c Added 3 vars  tried: 80000 time: 1.49
197.38/49.51	c ORs :      3 avg-s:  0.0 cl-sh:  1088 l-rem:   1088 b-add:      6 v-rep:   0 cl-rem: 15 avg s: 5.1 T:    1.51
197.38/49.51	c lits-rem:      1174  cl-subs:      693  v-elim:    182  v-fix:    0  time:  4.29 s
197.38/49.51	c learnt bin added due to v-elim: 0
197.38/49.52	c vivif2 --  cl tried    12607 cl shrink        0 lits rem          0 time: 0.01
197.38/49.52	c vivif2 --  cl tried    28664 cl shrink       27 lits rem         28 time: 0.02
197.75/49.64	c asymm  cl-useful: 5/2839/12607 lits-rem:6 time: 0.47
197.75/49.64	c Added XOR as norm:0
197.75/49.64	c calculated reachability. Time: 0.00
197.75/49.64	c  N dy   203    357894       249     12607       432     28664     70467    239145     19.29     11.84  --
304.01/76.28	c  N dy   213    536841       249     12607       432     37198     70467    343252     19.32     12.09  --
304.41/76.30	c  S st   213    536841       249     12607       432     37198     70467    343252     19.32     12.09  --
304.41/76.38	c  S st   213    537344       249     12607       441     37752     70467    350375     19.32     12.09  --
304.41/76.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
304.41/76.38	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
305.21/76.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:      6 BRemN:      0 CBin:       0 P: 14.2M T:  0.67
305.21/76.55	c Calc non-exist non-lernt bins v-fix:     0 done:    249 time:  0.00 s
305.21/76.55	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
305.21/76.56	c Subs w/ non-existent bins:      3 time:  0.05 s
305.21/76.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
305.21/76.58	c subs with bin:       20  lits-rem:        71  v-fix:    0  time:  0.03 s
305.21/76.58	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
309.21/77.52	c ORs :     22 avg-s:  2.8 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 5.0 T:    0.01
309.21/77.53	c lits-rem:      2489  cl-subs:     1440  v-elim:    182  v-fix:    0  time:  3.79 s
309.21/77.53	c learnt bin added due to v-elim: 0
309.21/77.53	c vivif2 --  cl tried    12604 cl shrink        0 lits rem          0 time: 0.01
309.21/77.54	c vivif2 --  cl tried    36291 cl shrink       12 lits rem         13 time: 0.04
309.61/77.65	c asymm  cl-useful: 0/1607/12604 lits-rem:0 time: 0.44
309.61/77.65	c Added XOR as norm:0
309.61/77.65	c calculated reachability. Time: 0.00
309.61/77.65	c  N dy   213    537344       249     12604       436     36291     70452    328938     19.32     12.09  --
309.61/77.65	c  F st   213    537344       249     12604       436     36291     70452    328938     19.32     12.09  --
310.41/77.87	c Decided on static restart strategy
528.51/132.49	c  N dy   222    806017       249     12604       436     64651     70452    769732     16.31     12.37  --
528.91/132.52	c  S st   222    806017       249     12604       436     64651     70452    769732     16.31     12.37  --
529.31/132.65	c  S st   222    806521       261     12604       498     65225     70524    777749     16.31     12.37  --
529.31/132.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
529.31/132.66	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
530.93/133.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      9 BRemN:      2 CBin:       0 P: 24.1M T:  1.44
530.93/133.02	c Calc non-exist non-lernt bins v-fix:     0 done:    261 time:  0.01 s
530.93/133.02	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
530.93/133.04	c Subs w/ non-existent bins:      0 time:  0.08 s
530.93/133.09	c Replacing        6 vars Replaced     3593 lits Time:     0.21 s 
531.33/133.11	c bin-w-bin subsume rem           10 bins  time:  0.00 s
531.33/133.13	c subs with bin:        5  lits-rem:       292  v-fix:    0  time:  0.07 s
531.33/133.13	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
541.69/135.73	c ORs :     22 avg-s:  2.8 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 7.3 T:    0.04
541.69/135.75	c lits-rem:      5770  cl-subs:    11545  v-elim:    182  v-fix:    0  time: 10.46 s
541.69/135.75	c learnt bin added due to v-elim: 0
541.69/135.75	c vivif2 --  cl tried    12601 cl shrink        0 lits rem          0 time: 0.01
541.69/135.77	c vivif2 --  cl tried    53672 cl shrink       60 lits rem         60 time: 0.06
542.09/135.84	c asymm  cl-useful: 4/522/12601 lits-rem:4 time: 0.30
542.09/135.84	c Added XOR as norm:0
542.09/135.85	c calculated reachability. Time: 0.00
542.09/135.85	c  N dy   222    806521       255     12601       455     53672     70450    589792     16.31     12.37  --
938.36/235.01	c  N dy   223   1209781       255     12601       455     83976     70449   1095719     19.25     12.40  --
938.36/235.06	c  S st   223   1209781       255     12601       455     83976     70449   1095719     19.25     12.40  --
938.36/235.06	c Finding binary XORs  T:     0.00 s  found:       2
939.16/235.24	c  S st   223   1210287       258     12601       475     84491     70469   1103425     19.25     12.40  --
939.16/235.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
939.16/235.25	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
941.16/235.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      1 BRemN:      0 CBin:       0 P: 32.0M T:  1.99
941.16/235.75	c Calc non-exist non-lernt bins v-fix:     0 done:    258 time:  0.01 s
941.16/235.75	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
941.16/235.78	c Subs w/ non-existent bins:      0 time:  0.11 s
941.16/235.78	c Replacing        2 vars Replaced       32 lits Time:     0.02 s 
941.56/235.80	c bin-w-bin subsume rem            4 bins  time:  0.00 s
941.56/235.83	c subs with bin:       14  lits-rem:        29  v-fix:    0  time:  0.12 s
941.56/235.83	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
959.93/240.48	c ORs :     22 avg-s:  2.8 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 6 avg s: 13.7 T:    0.06
960.33/240.50	c lits-rem:      3501  cl-subs:    12502  v-elim:    182  v-fix:    0  time: 18.64 s
960.33/240.50	c learnt bin added due to v-elim: 0
960.33/240.50	c vivif2 --  cl tried    12594 cl shrink        0 lits rem          0 time: 0.01
960.33/240.52	c vivif2 --  cl tried    71976 cl shrink       15 lits rem         17 time: 0.09
960.73/240.60	c asymm  cl-useful: 0/401/12594 lits-rem:0 time: 0.32
960.73/240.60	c Added XOR as norm:0
960.73/240.61	c calculated reachability. Time: 0.00
960.73/240.61	c  N dy   223   1210287       256     12594       462     71976     70423    895470     19.25     12.40  --
1541.57/386.01	c  N dy   226   1710289       256     12594       462     77307     70423    909929     19.48     12.36  --
1541.57/386.05	c  S st   226   1710289       256     12594       462     77307     70423    909929     19.48     12.36  --
1542.35/386.25	c  S st   226   1710792       259     12594       493     77827     70439    917908     19.48     12.36  --
1542.35/386.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1542.35/386.25	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
1544.35/386.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:     25 BRemN:      0 CBin:       0 P: 33.8M T:  1.95
1544.35/386.74	c Calc non-exist non-lernt bins v-fix:     0 done:    259 time:  0.01 s
1544.35/386.74	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
1544.35/386.77	c Subs w/ non-existent bins:      0 time:  0.10 s
1544.35/386.77	c Replacing        1 vars Replaced       18 lits Time:     0.02 s 
1544.35/386.79	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1544.75/386.82	c subs with bin:        6  lits-rem:         3  v-fix:    0  time:  0.10 s
1544.75/386.82	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
1557.13/389.98	c ORs :     22 avg-s:  2.8 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 8 avg s: 9.9 T:    0.06
1560.73/390.85	c Added 3 vars  tried: 80000 time: 3.48
1561.13/390.99	c ORs :      3 avg-s:  0.0 cl-sh:  8530 l-rem:   8530 b-add:      6 v-rep:   0 cl-rem: 25 avg s: 5.7 T:    4.04
1561.53/391.01	c lits-rem:      8472  cl-subs:     8642  v-elim:    182  v-fix:    0  time: 16.76 s
1561.53/391.01	c learnt bin added due to v-elim: 0
1561.53/391.01	c vivif2 --  cl tried    12593 cl shrink        3 lits rem          3 time: 0.01
1561.53/391.04	c vivif2 --  cl tried    69150 cl shrink      445 lits rem        559 time: 0.09
1561.93/391.11	c asymm  cl-useful: 0/539/12593 lits-rem:0 time: 0.29
1561.93/391.11	c Added XOR as norm:0
1561.93/391.11	c calculated reachability. Time: 0.00
1561.93/391.11	c  N dy   226   1710792       261     12593       474     69144     70426    757216     19.48     12.36  --
2214.66/554.54	c  N dy   228   2210792       261     12593       474     61401     70426    520833     16.71     12.40  --
2214.66/554.56	c  S st   228   2210792       261     12593       474     61401     70426    520833     16.71     12.40  --
2215.46/554.70	c  S st   228   2211294       261     12593       477     61894     70425    528604     16.71     12.40  --
2215.46/554.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2215.46/554.70	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
2217.06/555.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      6 BRemN:      0 CBin:       0 P: 32.6M T:  1.59
2217.06/555.10	c Calc non-exist non-lernt bins v-fix:     0 done:    261 time:  0.01 s
2217.06/555.10	c Cache  BProp: 6 Set: 0 BXProp: 0 T: 0.00
2217.06/555.12	c Subs w/ non-existent bins:      0 time:  0.08 s
2217.06/555.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2217.06/555.14	c subs with bin:        4  lits-rem:        27  v-fix:    0  time:  0.04 s
2217.06/555.14	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
2222.25/556.42	c ORs :     25 avg-s:  2.7 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 10 avg s: 6.9 T:    0.07
2222.25/556.43	c lits-rem:      2645  cl-subs:     1189  v-elim:    182  v-fix:    0  time:  5.15 s
2222.25/556.43	c learnt bin added due to v-elim: 0
2222.25/556.43	c vivif2 --  cl tried    12590 cl shrink        0 lits rem          0 time: 0.01
2222.25/556.45	c vivif2 --  cl tried    60694 cl shrink        1 lits rem          1 time: 0.06
2222.66/556.52	c asymm  cl-useful: 0/499/12590 lits-rem:0 time: 0.28
2222.66/556.52	c Added XOR as norm:0
2222.66/556.52	c calculated reachability. Time: 0.00
2222.66/556.52	c  N dy   228   2211294       261     12590       471     60694     70412    515057     16.71     12.40  --
2953.66/739.58	c  N dy   229   2711294       243     12590       504    129761     70440   1573044     15.18     12.04  --
2954.06/739.64	c  S st   229   2711294       243     12590       504    129761     70440   1573044     15.18     12.04  --
2955.66/740.02	c  S st   229   2711799       252     12590       566    130357     70527   1581504     15.18     12.04  --
2955.66/740.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2955.66/740.03	c Cache  BProp: 9 Set: 0 BXProp: 1 T: 0.00
2958.85/740.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   14 Bin:      0 BRemL:      8 BRemN:     44 CBin:       0 P: 54.2M T:  3.40
2958.85/740.88	c Calc non-exist non-lernt bins v-fix:     0 done:    249 time:  0.01 s
2958.85/740.88	c Cache  BProp: 9 Set: 0 BXProp: 0 T: 0.00
2959.25/740.93	c Subs w/ non-existent bins:    415 time:  0.22 s
2960.05/741.18	c Replacing       15 vars Replaced     5645 lits Time:     0.97 s 
2960.45/741.21	c bin-w-bin subsume rem           15 bins  time:  0.00 s
2960.86/741.33	c subs with bin:      507  lits-rem:      4579  v-fix:    0  time:  0.49 s
2960.86/741.33	c Removed useless bin:       9  fixed:     0  bprops:   0.00M  time:  0.00 s
3013.19/754.44	c ORs :     24 avg-s:  2.5 cl-sh:   837 l-rem:   1437 b-add:      8 v-rep:   0 cl-rem: 87 avg s: 7.0 T:    0.25
3013.19/754.46	c lits-rem:     12204  cl-subs:    42866  v-elim:    154  v-fix:    0  time: 52.44 s
3013.19/754.46	c learnt bin added due to v-elim: 0
3013.19/754.46	c vivif2 --  cl tried     9336 cl shrink        1 lits rem          2 time: 0.01
3013.19/754.49	c vivif2 --  cl tried    75045 cl shrink      292 lits rem        294 time: 0.11
3013.60/754.58	c asymm  cl-useful: 0/454/9336 lits-rem:0 time: 0.35
3013.60/754.58	c calculated reachability. Time: 0.00
3013.60/754.58	c  N dy   229   2711799       234      9336       255     75042     51161    791408     15.18     12.04  --
3013.60/754.58	c  F st   229   2711799       234      9336       255     75042     51161    791408     15.18     12.04  --
3015.98/755.19	c Decided on static restart strategy
3873.63/969.82	c  N dy   236   3211801       234      9336       255    119712     51161   1436025     17.25     12.01  --
3873.63/969.88	c  S st   236   3211801       234      9336       255    119712     51161   1436025     17.25     12.01  --
3873.63/969.88	c Finding binary XORs  T:     0.00 s  found:       2
3875.25/970.22	c  S st   236   3212302       237      9336       273    120244     51181   1443506     17.25     12.01  --
3875.25/970.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
3875.25/970.23	c Cache  BProp: 9 Set: 0 BXProp: 0 T: 0.00
3878.82/971.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      3 BRemN:      3 CBin:       0 P: 55.9M T:  3.60
3878.82/971.13	c Calc non-exist non-lernt bins v-fix:     0 done:    237 time:  0.01 s
3878.82/971.13	c Cache  BProp: 9 Set: 0 BXProp: 0 T: 0.00
3878.82/971.18	c Subs w/ non-existent bins:     21 time:  0.20 s
3878.82/971.19	c Replacing        2 vars Replaced       41 lits Time:     0.03 s 
3879.24/971.22	c bin-w-bin subsume rem            9 bins  time:  0.00 s
3879.24/971.25	c subs with bin:       72  lits-rem:       175  v-fix:    0  time:  0.12 s
3879.24/971.25	c Removed useless bin:       0  fixed:     0  bprops:   0.00M  time:  0.00 s
3914.79/980.15	c ORs :     24 avg-s:  2.5 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 23 avg s: 7.7 T:    0.28
3917.17/980.76	c Added 3 vars  tried: 80000 time: 2.43
3918.78/981.11	c ORs :      3 avg-s:  0.0 cl-sh: 13109 l-rem:  13109 b-add:      6 v-rep:   0 cl-rem: 8 avg s: 7.8 T:    3.83
3918.78/981.14	c lits-rem:      7804  cl-subs:    25684  v-elim:    150  v-fix:    0  time: 39.51 s
3918.78/981.14	c learnt bin added due to v-elim: 0
3918.78/981.14	c vivif2 --  cl tried     9330 cl shrink        0 lits rem          0 time: 0.01
3918.78/981.18	c vivif2 --  cl tried    94445 cl shrink        0 lits rem          0 time: 0.14
3919.19/981.26	c asymm  cl-useful: 1/402/9330 lits-rem:1 time: 0.34
3919.19/981.27	c calculated reachability. Time: 0.00
3919.19/981.27	c  N dy   236   3212302       238      9330       256     94445     51124   1049268     17.25     12.01  --

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-3257577-1304034062/watcher-3257577-1304034062 -o /tmp/evaluation-result-3257577-1304034062/solver-3257577-1304034062 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3257577-1304034062.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.36 7.87 7.63 1/175 13840
/proc/meminfo: memFree=24813716/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=50016 CPUtime=0 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 821 0 0 0 0 0 0 0 23 0 1 0 495822437 51216384 752 33554432000 4194304 4797429 140736065164400 18446744073709551615 212039316165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13840/statm: 12504 757 348 148 0 7433 0

[startup+0.077057 s]
/proc/loadavg: 7.36 7.87 7.63 1/175 13840
/proc/meminfo: memFree=24813716/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=56948 CPUtime=0.06 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 4367 0 0 0 6 0 0 0 23 0 1 0 495822437 58314752 3570 33554432000 4194304 4797429 140736065164400 18446744073709551615 212039316165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13840/statm: 14237 3571 349 148 0 9166 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 56948

[startup+0.10105 s]
/proc/loadavg: 7.36 7.87 7.63 1/175 13840
/proc/meminfo: memFree=24813716/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=59136 CPUtime=0.09 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 5517 0 0 0 9 0 0 0 23 0 1 0 495822437 60555264 4504 33554432000 4194304 4797429 140736065164400 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/13840/statm: 14784 4508 349 148 0 9713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59136

[startup+0.300977 s]
/proc/loadavg: 7.36 7.87 7.63 1/175 13840
/proc/meminfo: memFree=24813716/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=689536 CPUtime=0.83 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 10351 0 0 0 82 1 0 0 25 0 4 0 495822437 706084864 5997 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 172384 5997 402 148 0 167313 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 689536

[startup+0.700908 s]
/proc/loadavg: 7.36 7.87 7.63 1/175 13840
/proc/meminfo: memFree=24813716/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=691436 CPUtime=2.43 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 12185 0 0 0 241 2 0 0 25 0 4 0 495822437 708030464 7749 33554432000 4194304 4797429 140736065164400 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 172859 7749 420 148 0 167788 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 691436

[startup+1.50076 s]
/proc/loadavg: 7.36 7.87 7.63 10/184 13875
/proc/meminfo: memFree=24721572/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=692276 CPUtime=5.62 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 13622 0 0 0 560 2 0 0 25 0 4 0 495822437 708890624 8540 33554432000 4194304 4797429 140736065164400 18446744073709551615 4425015 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 173069 8540 419 148 0 167998 0
[pid=13840/tid=13842] ppid=13838 vsize=692276 CPUtime=1.36 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 1745 0 0 0 136 0 0 0 25 0 4 0 495822449 708890624 8540 33554432000 4194304 4797429 140736065164400 18446744073709551615 4523968 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=692276 CPUtime=1.37 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 1699 0 0 0 137 0 0 0 19 0 4 0 495822449 708890624 8540 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524081 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=692276 CPUtime=1.37 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 1604 0 0 0 137 0 0 0 19 0 4 0 495822449 708890624 8540 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 692276

[startup+3.10048 s]
/proc/loadavg: 7.36 7.87 7.63 9/184 13875
/proc/meminfo: memFree=24700876/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=695336 CPUtime=12.02 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 14654 0 0 0 1199 3 0 0 25 0 4 0 495822437 712024064 9547 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429003 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 173834 9547 420 148 0 168763 0
[pid=13840/tid=13842] ppid=13838 vsize=695336 CPUtime=2.96 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 1821 0 0 0 296 0 0 0 25 0 4 0 495822449 712024064 9547 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=695336 CPUtime=2.97 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 1782 0 0 0 297 0 0 0 25 0 4 0 495822449 712024064 9547 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=695336 CPUtime=2.97 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 1656 0 0 0 297 0 0 0 24 0 4 0 495822449 712024064 9547 33554432000 4194304 4797429 140736065164400 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 695336

[startup+6.30091 s]
/proc/loadavg: 7.41 7.87 7.64 9/184 13875
/proc/meminfo: memFree=24694124/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=697964 CPUtime=24.8 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 16433 0 0 0 2477 3 0 0 25 0 4 0 495822437 714715136 10626 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424732 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 174491 10626 423 148 0 169420 0
[pid=13840/tid=13842] ppid=13838 vsize=697964 CPUtime=6.14 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 2013 0 0 0 614 0 0 0 25 0 4 0 495822449 714715136 10626 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=697964 CPUtime=6.17 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 1880 0 0 0 617 0 0 0 25 0 4 0 495822449 714715136 10626 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=697964 CPUtime=6.17 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 1795 0 0 0 617 0 0 0 25 0 4 0 495822449 714715136 10626 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.8
Current children cumulated vsize (KiB) 697964

[startup+12.7008 s]
/proc/loadavg: 7.46 7.87 7.64 9/184 13875
/proc/meminfo: memFree=24680748/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=701184 CPUtime=50.37 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 20591 0 0 0 5033 4 0 0 25 0 4 0 495822437 718012416 11450 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524288 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 175296 11450 423 148 0 170225 0
[pid=13840/tid=13842] ppid=13838 vsize=701184 CPUtime=12.5 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 2577 0 0 0 1250 0 0 0 25 0 4 0 495822449 718012416 11450 33554432000 4194304 4797429 140736065164400 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=701184 CPUtime=12.57 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 2444 0 0 0 1257 0 0 0 25 0 4 0 495822449 718012416 11450 33554432000 4194304 4797429 140736065164400 18446744073709551615 4430094 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=701184 CPUtime=12.57 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 2528 0 0 0 1257 0 0 0 25 0 4 0 495822449 718012416 11450 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524374 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 701184

[startup+25.5005 s]
/proc/loadavg: 7.58 7.88 7.64 9/184 13875
/proc/meminfo: memFree=24674784/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=703532 CPUtime=101.49 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 25145 0 0 0 10144 5 0 0 25 0 4 0 495822437 720416768 13401 33554432000 4194304 4797429 140736065164400 18446744073709551615 4387603 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 175883 13401 423 148 0 170812 0
[pid=13840/tid=13842] ppid=13838 vsize=703532 CPUtime=25.23 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 3075 0 0 0 2523 0 0 0 25 0 4 0 495822449 720416768 13401 33554432000 4194304 4797429 140736065164400 18446744073709551615 4523996 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=703532 CPUtime=25.37 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 2998 0 0 0 2537 0 0 0 25 0 4 0 495822449 720416768 13401 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=703532 CPUtime=25.37 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 2899 0 0 0 2537 0 0 0 25 0 4 0 495822449 720416768 13401 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 703532

[startup+51.1009 s]
/proc/loadavg: 7.72 7.89 7.65 9/184 13876
/proc/meminfo: memFree=24653536/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=710344 CPUtime=203.75 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 35064 0 0 0 20366 9 0 0 25 0 4 0 495822437 727392256 15737 33554432000 4194304 4797429 140736065164400 18446744073709551615 4358575 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 177586 15737 423 148 0 172515 0
[pid=13840/tid=13842] ppid=13838 vsize=710344 CPUtime=50.69 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 3962 0 0 0 5068 1 0 0 25 0 4 0 495822449 727392256 15737 33554432000 4194304 4797429 140736065164400 18446744073709551615 4523986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=710344 CPUtime=50.97 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 3941 0 0 0 5096 1 0 0 25 0 4 0 495822449 727392256 15737 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=710344 CPUtime=50.97 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 3897 0 0 0 5096 1 0 0 25 0 4 0 495822449 727392256 15737 33554432000 4194304 4797429 140736065164400 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 710344

[startup+102.307 s]
/proc/loadavg: 7.91 7.92 7.67 9/184 13877
/proc/meminfo: memFree=24637632/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=717736 CPUtime=408.3 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 50443 0 0 0 40815 15 0 0 25 0 4 0 495822437 734961664 17561 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 179434 17561 424 148 0 174363 0
[pid=13840/tid=13842] ppid=13838 vsize=717736 CPUtime=101.61 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 5298 0 0 0 10160 1 0 0 25 0 4 0 495822449 734961664 17561 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524378 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=717736 CPUtime=102.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 5503 0 0 0 10216 2 0 0 25 0 4 0 495822449 734961664 17561 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=717736 CPUtime=102.17 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 5332 0 0 0 10216 1 0 0 25 0 4 0 495822449 734961664 17561 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429150 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.3
Current children cumulated vsize (KiB) 717736

[startup+162.301 s]
/proc/loadavg: 8.11 7.97 7.70 9/184 13879
/proc/meminfo: memFree=24606476/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=725392 CPUtime=647.95 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 63248 0 0 0 64774 21 0 0 25 0 4 0 495822437 742801408 21067 33554432000 4194304 4797429 140736065164400 18446744073709551615 4425630 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 181348 21067 443 148 0 176277 0
[pid=13840/tid=13842] ppid=13838 vsize=725392 CPUtime=161.29 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 6634 0 0 0 16127 2 0 0 25 0 4 0 495822449 742801408 21067 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=725392 CPUtime=162.17 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 6811 0 0 0 16215 2 0 0 25 0 4 0 495822449 742801408 21067 33554432000 4194304 4797429 140736065164400 18446744073709551615 4642109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=725392 CPUtime=162.17 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 6456 0 0 0 16215 2 0 0 25 0 4 0 495822449 742801408 21067 33554432000 4194304 4797429 140736065164400 18446744073709551615 4430024 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 647.95
Current children cumulated vsize (KiB) 725392

[startup+222.3 s]
/proc/loadavg: 8.22 8.02 7.74 9/184 13880
/proc/meminfo: memFree=24581252/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=725808 CPUtime=887.62 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 75950 0 0 0 88736 26 0 0 25 0 4 0 495822437 743227392 21317 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424842 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 181452 21317 443 148 0 176381 0
[pid=13840/tid=13842] ppid=13838 vsize=725808 CPUtime=220.96 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 8129 0 0 0 22093 3 0 0 25 0 4 0 495822449 743227392 21317 33554432000 4194304 4797429 140736065164400 18446744073709551615 4520295 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=725808 CPUtime=222.16 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 8185 0 0 0 22214 2 0 0 25 0 4 0 495822449 743227392 21317 33554432000 4194304 4797429 140736065164400 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=725808 CPUtime=222.17 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 7979 0 0 0 22214 3 0 0 25 0 4 0 495822449 743227392 21317 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 887.62
Current children cumulated vsize (KiB) 725808

[startup+282.301 s]

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

[pid=13840] ppid=13838 vsize=744268 CPUtime=2565.4 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 144269 0 0 0 256479 61 0 0 25 0 4 0 495822437 762130432 29139 33554432000 4194304 4797429 140736065164400 18446744073709551615 4422906 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 186067 29139 429 148 0 180996 0
[pid=13840/tid=13842] ppid=13838 vsize=744268 CPUtime=638.68 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 15692 0 0 0 63861 7 0 0 25 0 4 0 495822449 762130432 29139 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=744268 CPUtime=642.19 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 16074 0 0 0 64213 6 0 0 25 0 4 0 495822449 762130432 29139 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=744268 CPUtime=642.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 16025 0 0 0 64210 9 0 0 25 0 4 0 495822449 762130432 29139 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2565.4
Current children cumulated vsize (KiB) 744268

[startup+702.301 s]
/proc/loadavg: 8.05 8.02 7.84 9/184 13893
/proc/meminfo: memFree=24509516/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=744380 CPUtime=2805.06 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 152296 0 0 0 280441 65 0 0 25 0 4 0 495822437 762245120 29493 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 186095 29493 429 148 0 181024 0
[pid=13840/tid=13842] ppid=13838 vsize=744380 CPUtime=698.35 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 16632 0 0 0 69827 8 0 0 25 0 4 0 495822449 762245120 29493 33554432000 4194304 4797429 140736065164400 18446744073709551615 4654897 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=744380 CPUtime=702.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 17239 0 0 0 70212 6 0 0 25 0 4 0 495822449 762245120 29493 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=744380 CPUtime=702.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 16983 0 0 0 70210 9 0 0 25 0 4 0 495822449 762245120 29493 33554432000 4194304 4797429 140736065164400 18446744073709551615 4346189 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.06
Current children cumulated vsize (KiB) 744380

[startup+762.307 s]
/proc/loadavg: 8.06 8.03 7.85 9/184 13895
/proc/meminfo: memFree=24497428/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=748984 CPUtime=3044.77 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 158646 0 0 0 304408 69 0 0 25 0 4 0 495822437 766959616 31829 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 187246 31829 423 148 0 182175 0
[pid=13840/tid=13842] ppid=13838 vsize=748984 CPUtime=758.03 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 17787 0 0 0 75794 9 0 0 25 0 4 0 495822449 766959616 31829 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=748984 CPUtime=762.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 17874 0 0 0 76212 6 0 0 25 0 4 0 495822449 766959616 31829 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=748984 CPUtime=762.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 17486 0 0 0 76210 9 0 0 25 0 4 0 495822449 766959616 31829 33554432000 4194304 4797429 140736065164400 18446744073709551615 4345232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3044.77
Current children cumulated vsize (KiB) 748984

[startup+822.301 s]
/proc/loadavg: 8.02 8.02 7.85 9/184 13896
/proc/meminfo: memFree=24498992/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=749764 CPUtime=3284.42 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 166022 0 0 0 328370 72 0 0 25 0 4 0 495822437 767758336 31101 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 187441 31101 423 148 0 182370 0
[pid=13840/tid=13842] ppid=13838 vsize=749764 CPUtime=817.71 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 18337 0 0 0 81761 10 0 0 25 0 4 0 495822449 767758336 31101 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524592 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=749764 CPUtime=822.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 18916 0 0 0 82211 7 0 0 25 0 4 0 495822449 767758336 31101 33554432000 4194304 4797429 140736065164400 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=749764 CPUtime=822.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 18445 0 0 0 82209 10 0 0 25 0 4 0 495822449 767758336 31101 33554432000 4194304 4797429 140736065164400 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.42
Current children cumulated vsize (KiB) 749764

[startup+882.3 s]
/proc/loadavg: 8.01 8.02 7.86 9/184 13898
/proc/meminfo: memFree=24479732/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=753736 CPUtime=3524.1 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 174337 0 0 0 352334 76 0 0 25 0 4 0 495822437 771825664 31649 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 188434 31649 423 148 0 183363 0
[pid=13840/tid=13842] ppid=13838 vsize=753736 CPUtime=877.38 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 19421 0 0 0 87727 11 0 0 25 0 4 0 495822449 771825664 31649 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=753736 CPUtime=882.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 20088 0 0 0 88210 8 0 0 25 0 4 0 495822449 771825664 31649 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=753736 CPUtime=882.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 19350 0 0 0 88209 10 0 0 25 0 4 0 495822449 771825664 31649 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.1
Current children cumulated vsize (KiB) 753736

[startup+942.301 s]
/proc/loadavg: 8.11 8.04 7.88 9/184 13900
/proc/meminfo: memFree=24469996/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=755660 CPUtime=3763.78 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 180951 0 0 0 376299 79 0 0 25 0 4 0 495822437 773795840 33007 33554432000 4194304 4797429 140736065164400 18446744073709551615 4351609 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 188915 33007 423 148 0 183844 0
[pid=13840/tid=13842] ppid=13838 vsize=755660 CPUtime=937.05 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 20332 0 0 0 93694 11 0 0 25 0 4 0 495822449 773795840 33007 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=755660 CPUtime=942.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 21009 0 0 0 94210 8 0 0 25 0 4 0 495822449 773795840 33007 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=755660 CPUtime=942.2 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 20342 0 0 0 94209 11 0 0 25 0 4 0 495822449 773795840 33007 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3763.78
Current children cumulated vsize (KiB) 755660

[startup+1002.3 s]
/proc/loadavg: 8.08 8.05 7.89 9/184 13901
/proc/meminfo: memFree=24480872/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=759716 CPUtime=4003.45 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 187748 0 0 0 400263 82 0 0 25 0 4 0 495822437 777949184 33571 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 189929 33571 423 148 0 184858 0
[pid=13840/tid=13842] ppid=13838 vsize=759716 CPUtime=996.73 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 21318 0 0 0 99661 12 0 0 25 0 4 0 495822449 777949184 33571 33554432000 4194304 4797429 140736065164400 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=759716 CPUtime=1002.19 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 22029 0 0 0 100210 9 0 0 25 0 4 0 495822449 777949184 33571 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=759716 CPUtime=1002.19 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 21451 0 0 0 100208 11 0 0 25 0 4 0 495822449 777949184 33571 33554432000 4194304 4797429 140736065164400 18446744073709551615 4428966 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.45
Current children cumulated vsize (KiB) 759716

[startup+1062.3 s]
/proc/loadavg: 8.06 8.05 7.90 9/184 13903
/proc/meminfo: memFree=24468308/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=759828 CPUtime=4243.13 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 194388 0 0 0 424228 85 0 0 25 0 4 0 495822437 778063872 34381 33554432000 4194304 4797429 140736065164400 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 189957 34381 423 148 0 184886 0
[pid=13840/tid=13842] ppid=13838 vsize=759828 CPUtime=1056.4 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 21865 0 0 0 105628 12 0 0 25 0 4 0 495822449 778063872 34381 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=759828 CPUtime=1062.18 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 22544 0 0 0 106209 9 0 0 25 0 4 0 495822449 778063872 34381 33554432000 4194304 4797429 140736065164400 18446744073709551615 4567984 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=759828 CPUtime=1062.2 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 22002 0 0 0 106208 12 0 0 25 0 4 0 495822449 778063872 34381 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.13
Current children cumulated vsize (KiB) 759828

[startup+1122.3 s]
/proc/loadavg: 8.13 8.07 7.91 9/184 13904
/proc/meminfo: memFree=24468492/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=760452 CPUtime=4482.81 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 200974 0 0 0 448193 88 0 0 25 0 4 0 495822437 778702848 34925 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424846 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 190113 34925 423 148 0 185042 0
[pid=13840/tid=13842] ppid=13838 vsize=760452 CPUtime=1116.08 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 22967 0 0 0 111595 13 0 0 25 0 4 0 495822449 778702848 34925 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=760452 CPUtime=1122.19 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 23661 0 0 0 112209 10 0 0 25 0 4 0 495822449 778702848 34925 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=760452 CPUtime=1122.2 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 22901 0 0 0 112208 12 0 0 25 0 4 0 495822449 778702848 34925 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568062 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4482.81
Current children cumulated vsize (KiB) 760452

[startup+1182.3 s]
/proc/loadavg: 8.19 8.09 7.93 9/184 13906
/proc/meminfo: memFree=24465728/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=762528 CPUtime=4722.49 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 206760 0 0 0 472159 90 0 0 25 0 4 0 495822437 780828672 35689 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 190632 35689 423 148 0 185561 0
[pid=13840/tid=13842] ppid=13838 vsize=762528 CPUtime=1175.75 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 23918 0 0 0 117562 13 0 0 25 0 4 0 495822449 780828672 35689 33554432000 4194304 4797429 140736065164400 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=762528 CPUtime=1182.19 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 24748 0 0 0 118209 10 0 0 25 0 4 0 495822449 780828672 35689 33554432000 4194304 4797429 140736065164400 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=762528 CPUtime=1182.2 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 23332 0 0 0 118208 12 0 0 25 0 4 0 495822449 780828672 35689 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.49
Current children cumulated vsize (KiB) 762528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.8 s]
/proc/loadavg: 8.13 8.08 7.93 9/184 13916
/proc/meminfo: memFree=24458516/32951124 swapFree=67111524/67111528
[pid=13840] ppid=13838 vsize=762628 CPUtime=4800.4 cores=1,3,5,7
/proc/13840/stat : 13840 (techdemo) R 13838 13840 13269 0 -1 4202496 210021 0 0 0 479948 92 0 0 25 0 4 0 495822437 780931072 35195 33554432000 4194304 4797429 140736065164400 18446744073709551615 4424610 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13840/statm: 190657 35195 423 148 0 185586 0
[pid=13840/tid=13842] ppid=13838 vsize=762628 CPUtime=1195.14 cores=1,3,5,7
/proc/13840/task/13842/stat : 13842 (techdemo) R 13838 13840 13269 0 -1 4202560 24104 0 0 0 119501 13 0 0 25 0 4 0 495822449 780931072 35195 33554432000 4194304 4797429 140736065164400 18446744073709551615 4496298 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13840/tid=13843] ppid=13838 vsize=762628 CPUtime=1201.69 cores=1,3,5,7
/proc/13840/task/13843/stat : 13843 (techdemo) R 13838 13840 13269 0 -1 4202560 24957 0 0 0 120159 10 0 0 25 0 4 0 495822449 780931072 35195 33554432000 4194304 4797429 140736065164400 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13840/tid=13844] ppid=13838 vsize=762628 CPUtime=1201.71 cores=1,3,5,7
/proc/13840/task/13844/stat : 13844 (techdemo) R 13838 13840 13269 0 -1 4202560 23993 0 0 0 120158 13 0 0 25 0 4 0 495822449 780931072 35195 33554432000 4194304 4797429 140736065164400 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.4
Current children cumulated vsize (KiB) 762628

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.44
CPU user time (s): 4799.5
CPU system time (s): 0.932858
CPU usage (%): 399.431
Max. virtual memory (cumulated for all children) (KiB): 872404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.5
system time used= 0.932858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210022
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= 530
involuntary context switches= 30461

runsolver used 1.9747 second user time and 4.5953 second system time

The end

Launcher Data 

Begin job on node146 at 2011-04-29 01:41:02
IDJOB=3257577
IDBENCH=71150
IDSOLVER=1584
FILE ID=node146/3257577-1304034062
RUNJOBID= node146-1304032857-13751
PBS_JOBID= 13170306
Free space on /tmp= 72984 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3257577-1304034062/watcher-3257577-1304034062 -o /tmp/evaluation-result-3257577-1304034062/solver-3257577-1304034062 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3257577-1304034062.cnf

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

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=274767669

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24813996 kB
Buffers:       1631572 kB
Cached:        5922808 kB
SwapCached:          4 kB
Active:        1227560 kB
Inactive:      6391916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24813996 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            9380 kB
Writeback:           0 kB
AnonPages:       65244 kB
Mapped:          15076 kB
Slab:           452624 kB
PageTables:       4276 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   218188 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= 72976 MiB
End job on node146 at 2011-04-29 02:01:06