Trace number 3172537

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.19 1201.93

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf
MD5SUMa93695501183427990f531672c9572d2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark86.7978
Satisfiable
(Un)Satisfiability was proved
Number of variables24998
Number of clauses105000
Sum of the clauses size315000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3105000
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3172537-1304060465.cnf'
0.00/0.00	c -- header says num vars:          24998
0.00/0.00	c -- header says num clauses:      105000
0.29/0.30	c -- clauses added:            0 learnts,       105000 normals,            0 xors
0.29/0.30	c -- vars added      24998
0.29/0.30	c Parsing time:  0.28 s
0.29/0.38	c  N st     0         0     24998    105000         0         0    315000         0   no data   no data  --
0.29/0.38	c asymm  cl-useful: 0/105000/105000 lits-rem:0 time: 0.31
1.06/0.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.1M T:  0.32
1.06/0.50	c Calc non-exist non-lernt bins v-fix:     0 done:  24998 time:  0.04 s
1.06/0.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.06/0.50	c Subs w/ non-existent bins:      0 time:  0.02 s
1.06/0.58	c bin-w-bin subsume rem            0 bins  time:  0.03 s
1.06/0.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1.06/0.58	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2.63/0.92	c lits-rem:         0  cl-subs:        0  v-elim:   1533  v-fix:    0  time:  1.18 s
2.63/0.92	c learnt bin added due to v-elim: 0
2.63/0.92	c Finding binary XORs  T:     0.02 s  found:       0
5.82/1.72	c Finding non-binary XORs:     0.26 s (found:       0, avg size: nan)
5.82/1.72	c calculated reachability. Time: 0.00
5.82/1.72	c Calc default polars -  time:   0.03 s pos:   11077 undec:    3011 neg:   10910
5.82/1.72	c =========================================================================================
5.82/1.72	c types(t): F = full restart, N = normal restart
5.82/1.72	c types(t): S = simplification begin/end, E = solution found
5.82/1.72	c restart types(rt): st = static, dy = dynamic
5.82/1.72	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
5.82/1.72	c  B st     0         0     24112    103839         0         0    316421         0   no data   no data  --
5.82/1.72	c Decided on dynamic restart strategy
8.21/2.37	c  N dy    20      4057     24112    103839         0      4056    316421    801189    161.32    133.13  --
14.61/3.91	c  N dy    49      8139     24112    103839         0      8137    316421   1589478    189.78    133.96  --
20.18/5.33	c  N dy    77     12160     24112    103839         0     12157    316421   2330227    173.81    131.44  --
26.16/6.84	c  N dy   105     16173     24112    103839         0     16169    316421   3070327    186.46    130.27  --
32.96/8.57	c  N dy   134     20278     24112    103839         0     10275    316421    572713    179.97    129.98  --
39.74/10.28	c  N dy   163     24377     24112    103839         0     14374    316421   1370360    189.40    130.48  --
46.14/11.84	c  N dy   191     28423     24112    103839         0     18419    316421   2186076    207.43    131.19  --
49.33/12.67	c  S st   203     30001     24112    103839         0     19996    316421   2491764    197.18    131.35  --
50.13/12.87	c  S st   203     30502     24112    103839         0     20497    316421   2566845    197.18    131.35  --
50.13/12.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
50.13/12.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.35/13.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  1.11
51.35/13.18	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.04 s
51.35/13.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
51.75/13.21	c Subs w/ non-existent bins:      0 time:  0.11 s
52.52/13.44	c bin-w-bin subsume rem            0 bins  time:  0.04 s
52.52/13.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
52.52/13.45	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
78.89/20.00	c lits-rem:         0  cl-subs:     1354  v-elim:    383  v-fix:    0  time: 26.14 s
78.89/20.00	c learnt bin added due to v-elim: 0
78.89/20.01	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.04
78.89/20.04	c vivif2 --  cl tried    19143 cl shrink        0 lits rem          0 time: 0.12
80.08/20.31	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.09
80.08/20.32	c calculated reachability. Time: 0.00
80.08/20.32	c  N dy   203     30502     24112    103839         0     19143    316421   2451296    197.18    131.35  --
80.08/20.32	c  F st   203     30502     24112    103839         0     19143    316421   2451296    197.18    131.35  --
83.68/21.23	c Decided on dynamic restart strategy
87.27/22.11	c  N dy   223     34597     24112    103839         0     23237    316421   3327237    199.47    132.28  --
94.07/23.86	c  N dy   252     38647     24112    103839         0     27287    316421   4027964    174.41    131.14  --
101.26/25.68	c  N dy   280     42665     24112    103839         0     15807    316421    714734    185.62    131.00  --
106.46/26.90	c  S st   303     45753     24112    103839         0     18895    316421   1249332    169.60    130.20  --
107.26/27.11	c  S st   303     46255     24112    103839         0     19397    316421   1328761    169.60    130.20  --
107.26/27.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
107.26/27.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.06/27.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.9M T:  0.89
108.06/27.36	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
108.06/27.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
108.06/27.38	c Subs w/ non-existent bins:      0 time:  0.07 s
108.47/27.47	c bin-w-bin subsume rem            0 bins  time:  0.03 s
108.47/27.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
108.47/27.49	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
122.43/30.90	c lits-rem:         4  cl-subs:      550  v-elim:    383  v-fix:    0  time: 13.61 s
122.43/30.90	c learnt bin added due to v-elim: 0
122.43/30.91	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.05
122.43/30.93	c vivif2 --  cl tried    18847 cl shrink        0 lits rem          0 time: 0.07
123.23/31.15	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 0.89
123.23/31.16	c calculated reachability. Time: 0.00
123.23/31.16	c  N dy   303     46255     24112    103839         0     18847    316421   1288510    169.60    130.20  --
130.44/32.97	c  N dy   332     50399     24112    103839         0     22991    316421   2067975    198.53    130.06  --
136.81/34.56	c  N dy   360     54403     24112    103839         0     26994    316421   2818908    179.34    130.01  --
143.62/36.28	c  N dy   389     58537     24112    103839         0     31127    316421   3615563    207.28    130.16  --
151.59/38.21	c  N dy   418     62661     24112    103839         0     35250    316421   4389591    193.28    130.00  --
159.18/40.16	c  N dy   447     66792     24112    103839         0     20632    316421   1003319    188.06    130.14  --
164.37/41.48	c  S st   465     69382     24112    103839         0     23222    316421   1553790    204.53    130.70  --
165.58/41.71	c  S st   465     69884     24112    103839         0     23724    316421   1622882    204.53    130.70  --
165.58/41.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
165.58/41.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.36/41.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.0M T:  0.99
166.36/41.99	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
166.36/41.99	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
166.76/42.01	c Subs w/ non-existent bins:      0 time:  0.09 s
167.16/42.13	c bin-w-bin subsume rem            0 bins  time:  0.04 s
167.16/42.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
167.16/42.15	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
181.55/45.76	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
189.14/47.66	c Added 0 vars  tried: 80000 time: 7.58
189.14/47.66	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:    7.58
189.54/47.71	c lits-rem:         2  cl-subs:      814  v-elim:    383  v-fix:    0  time: 22.22 s
189.54/47.71	c learnt bin added due to v-elim: 0
189.54/47.73	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.05
189.54/47.75	c vivif2 --  cl tried    22910 cl shrink        0 lits rem          0 time: 0.09
190.74/48.00	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 0.99
190.74/48.01	c calculated reachability. Time: 0.01
190.74/48.01	c  N dy   465     69884     24112    103839         0     22910    316421   1553999    204.53    130.70  --
190.74/48.01	c  F st   465     69884     24112    103839         0     22910    316421   1553999    204.53    130.70  --
194.33/48.98	c Decided on dynamic restart strategy
198.72/50.08	c  N dy   488     74388     24112    103839         0     27413    316421   2444519    188.36    130.77  --
207.91/52.31	c  N dy   522     79232     24112    103839         0     32257    316421   3385201    180.19    130.95  --
216.70/54.59	c  N dy   558     84357     24112    103839         0     37381    316421   4392074    198.20    131.14  --
227.10/57.17	c  N dy   596     89810     24112    103839         0     21961    316421    819189    190.33    131.10  --
237.47/59.77	c  N dy   637     95556     24112    103839         0     27707    316421   1904946    177.94    130.96  --
249.07/62.68	c  N dy   680    101763     24112    103839         0     33914    316421   3108434    195.25    131.00  --
256.25/64.48	c  S st   702    104826     24112    103839         0     36977    316421   3689008    204.20    130.97  --
257.45/64.74	c  S st   702    105330     24112    103839         0     37481    316421   3766116    204.20    130.97  --
257.45/64.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
257.45/64.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.04/65.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.5M T:  1.52
259.04/65.15	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
259.04/65.15	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
259.04/65.20	c Subs w/ non-existent bins:      0 time:  0.16 s
260.24/65.46	c bin-w-bin subsume rem            0 bins  time:  0.04 s
260.24/65.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
260.24/65.48	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
338.13/84.98	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
338.53/85.07	c lits-rem:         0  cl-subs:     1375  v-elim:    383  v-fix:    0  time: 78.23 s
338.53/85.07	c learnt bin added due to v-elim: 0
338.53/85.08	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.04
338.93/85.13	c vivif2 --  cl tried    36106 cl shrink        0 lits rem          0 time: 0.18
340.53/85.50	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.51
340.53/85.51	c calculated reachability. Time: 0.01
340.53/85.51	c  N dy   702    105330     24112    103839         0     36106    316421   3623563    204.20    130.97  --
352.51/88.55	c  N dy   750    112128     24112    103839         0     42904    316421   4916372    186.40    130.90  --
365.30/91.71	c  N dy   801    119371     24112    103839         0     27712    316421   1560994    183.25    130.70  --
378.48/95.05	c  N dy   855    127016     24112    103839         0     35355    316421   3023067    176.49    130.65  --
393.67/98.84	c  N dy   913    135253     24112    103839         0     43592    316421   4640945    184.75    130.85  --
409.65/102.86	c  N dy   974    143939     24112    103839         0     28562    316421   1476733    177.60    130.76  --
425.61/106.83	c  N dy  1039    153156     24112    103839         0     37775    316421   3201020    199.87    130.61  --
436.41/109.53	c  S st  1073    157996     24112    103839         0     42614    316421   4109116    183.23    130.56  --
437.21/109.79	c  S st  1073    158499     24112    103839         0     43117    316421   4179836    183.23    130.56  --
437.61/109.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
437.61/109.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.20/110.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.7M T:  1.64
439.20/110.23	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
439.20/110.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
439.20/110.27	c Subs w/ non-existent bins:      0 time:  0.16 s
440.39/110.52	c bin-w-bin subsume rem            0 bins  time:  0.04 s
440.39/110.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
440.39/110.54	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
563.83/141.41	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
564.23/141.51	c lits-rem:         0  cl-subs:     1655  v-elim:    383  v-fix:    0  time: 123.69 s
564.23/141.51	c learnt bin added due to v-elim: 0
564.23/141.52	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.05
564.23/141.58	c vivif2 --  cl tried    41462 cl shrink        0 lits rem          0 time: 0.22
566.22/142.02	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.76
566.22/142.03	c calculated reachability. Time: 0.00
566.22/142.03	c  N dy  1073    158499     24112    103839         0     41462    316421   4034998    183.23    130.56  --
586.20/147.02	c  N dy  1145    168686     24112    103839         0     26792    316421    899993    189.12    130.62  --
605.78/151.95	c  N dy  1221    179507     24112    103839         0     37611    316421   3015270    217.48    130.73  --
628.54/157.68	c  N dy  1301    190979     24112    103839         0     49083    316421   5182218    193.20    130.66  --
651.71/163.41	c  N dy  1387    203271     24112    103839         0     35447    316421   2350469    197.89    130.74  --
677.28/169.89	c  N dy  1479    216328     24112    103839         0     48503    316421   4788258    172.21    130.58  --
704.04/176.51	c  N dy  1576    230212     24112    103839         0     35424    316421   2060371    194.65    130.57  --
719.64/180.43	c  S st  1629    237748     24112    103839         0     42959    316421   3500232    192.93    130.56  --
720.42/180.69	c  S st  1629    238250     24112    103839         0     43461    316421   3578109    192.93    130.56  --
720.82/180.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
720.82/180.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
722.42/181.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  1.9M T:  1.64
722.42/181.13	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
722.42/181.13	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
722.42/181.17	c Subs w/ non-existent bins:      0 time:  0.15 s
723.63/181.41	c bin-w-bin subsume rem            0 bins  time:  0.03 s
723.63/181.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
723.63/181.43	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
802.31/201.15	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.01
802.73/201.24	c lits-rem:         0  cl-subs:     2081  v-elim:    383  v-fix:    0  time: 79.10 s
802.73/201.24	c learnt bin added due to v-elim: 0
802.73/201.25	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.04
802.73/201.29	c vivif2 --  cl tried    41380 cl shrink        0 lits rem          0 time: 0.18
804.31/201.68	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.55
804.31/201.69	c calculated reachability. Time: 0.00
804.31/201.69	c  N dy  1629    238250     24112    103839         0     41380    316421   3439294    192.93    130.56  --
833.89/209.04	c  N dy  1737    253580     24112    103839         0     28730    316421    636414    210.34    130.60  --
863.43/216.41	c  N dy  1851    269883     24112    103839         0     45029    316421   3790483    181.28    130.65  --
896.58/224.72	c  N dy  1971    287139     24112    103839         0     33296    316421   1298304    196.70    130.73  --
931.33/233.48	c  N dy  2099    305464     24112    103839         0     51616    316421   4908896    189.69    131.00  --
969.70/243.05	c  N dy  2235    324966     24112    103839         0     41125    316421   2610696    190.80    131.10  --
1010.82/253.36	c  N dy  2375    345081     24112    103839         0     61236    316421   6595522    196.44    131.34  --
1035.19/259.48	c  S st  2461    357377     24112    103839         0     42538    316421   2677178    177.10    131.37  --
1036.39/259.75	c  S st  2461    357879     24112    103839         0     43040    316421   2755788    177.10    131.37  --
1036.39/259.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1036.39/259.77	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1037.99/260.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.3M T:  1.62
1037.99/260.19	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
1037.99/260.19	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1038.39/260.22	c Subs w/ non-existent bins:      0 time:  0.14 s
1039.19/260.41	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1039.19/260.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1039.19/260.43	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1072.74/268.83	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1082.33/271.21	c Added 0 vars  tried: 80000 time: 9.52
1082.33/271.21	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:    9.52
1082.33/271.29	c lits-rem:         0  cl-subs:     2207  v-elim:    383  v-fix:    0  time: 43.38 s
1082.33/271.29	c learnt bin added due to v-elim: 0
1082.73/271.30	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.06
1082.73/271.34	c vivif2 --  cl tried    40833 cl shrink        0 lits rem          0 time: 0.15
1083.94/271.69	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.40
1084.35/271.70	c calculated reachability. Time: 0.00
1084.35/271.70	c  N dy  2461    357879     24112    103839         0     40833    316421   2645059    177.10    131.37  --
1126.27/282.23	c  N dy  2600    377967     24112    103839         0     60920    316421   6553357    183.71    131.44  --
1166.62/292.39	c  N dy  2740    398070     24112    103839         0     49024    316421   3804215    183.64    131.56  --
1208.55/302.87	c  N dy  2881    418149     24112    103839         0     36106    316421   1025614    186.68    131.47  --
1248.90/312.96	c  N dy  3021    438172     24112    103839         0     56125    316421   4909777    192.62    131.49  --
1289.66/323.17	c  N dy  3161    458182     24112    103839         0     42138    316421   2004558    207.97    131.56  --
1328.81/332.90	c  N dy  3302    478282     24112    103839         0     62237    316421   5968890    204.22    131.63  --
1366.75/342.45	c  N dy  3443    498294     24112    103839         0     47251    316421   2756791    202.41    131.53  --
1406.30/352.35	c  N dy  3584    518385     24112    103839         0     67339    316421   6680970    217.33    131.57  --
1443.85/361.77	c  S st  3714    536820     24112    103839         0     49778    316421   3123826    193.51    131.64  --
1445.05/362.06	c  S st  3714    537322     24112    103839         0     50280    316421   3202603    193.51    131.64  --
1445.05/362.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1445.05/362.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1447.05/362.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  3.4M T:  2.01
1447.45/362.60	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
1447.45/362.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1447.45/362.63	c Subs w/ non-existent bins:      0 time:  0.15 s
1448.24/362.85	c bin-w-bin subsume rem            0 bins  time:  0.04 s
1448.24/362.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
1448.24/362.87	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s
1511.36/378.60	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
1511.36/378.69	c lits-rem:         0  cl-subs:     2945  v-elim:    383  v-fix:    0  time: 63.18 s
1511.36/378.69	c learnt bin added due to v-elim: 0
1511.76/378.70	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.05
1511.76/378.74	c vivif2 --  cl tried    47335 cl shrink        0 lits rem          0 time: 0.17
1513.36/379.12	c asymm  cl-useful: 0/103839/103839 lits-rem:0 time: 1.52
1513.36/379.13	c calculated reachability. Time: 0.00
1513.36/379.13	c  N dy  3714    537322     24112    103839         0     47335    316421   3053082    193.51    131.64  --
1513.36/379.13	c  F st  3714    537322     24112    103839         0     47335    316421   3053082    193.51    131.64  --
1517.75/380.24	c Decided on dynamic restart strategy
1555.30/389.68	c  N dy  3846    557376     24112    103839         0     67384    316421   7044939    219.10    131.79  --
1596.85/400.06	c  N dy  3987    577485     24112    103839         0     50495    316421   3082702    209.77    131.85  --
1640.79/411.09	c  N dy  4127    597506     24112    103839         0     70515    316421   6890193    182.28    131.78  --
1683.13/421.63	c  N dy  4267    617531     24112    103839         0     52545    316421   3290681    220.58    131.83  --
1726.27/432.49	c  N dy  4406    637532     24112    103839         0     72544    316421   7179216    181.73    131.85  --
1770.61/443.58	c  N dy  4547    657657     24112    103839         0     53670    316421   3341486    196.04    131.93  --
1814.15/454.48	c  N dy  4688    677772     24112    103839         0     73780    316421   7221698    192.99    131.92  --
1858.49/465.53	c  N dy  4830    697892     24112    103839         0     53903    316421   3109622    197.22    131.90  --
1902.43/476.58	c  N dy  4970    717996     24112    103839         0     74005    316421   7013692    206.03    131.93  --
1946.38/487.53	c  N dy  5110    738016     24112    103839         0     53028    316421   2793566    198.39    131.89  --
1989.54/498.31	c  N dy  5251    758097     24112    103839         0     73106    316421   6681306    188.67    131.91  --
2031.06/508.72	c  N dy  5391    778165     24112    103839         0     51178    316421   2221923    189.60    131.96  --
2072.21/519.02	c  N dy  5530    798262     24112    103839         0     71273    316421   6199230    214.03    132.03  --
2091.79/523.97	c  S st  5584    805983     24112    103839         0     78991    316421   7678088    207.85    132.03  --
2093.38/524.31	c  S st  5584    806486     24112    103839         0     79494    316421   7747448    207.85    132.03  --
2093.38/524.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2093.38/524.33	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2096.58/525.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  6.1M T:  3.43
2096.98/525.21	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
2096.98/525.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2096.98/525.28	c Subs w/ non-existent bins:      0 time:  0.29 s
2098.99/525.74	c bin-w-bin subsume rem            0 bins  time:  0.04 s
2098.99/525.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
2098.99/525.76	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
2617.89/655.67	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
2645.83/662.60	c Added 0 vars  tried: 80000 time: 27.67
2645.83/662.60	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:   27.67
2646.23/662.75	c lits-rem:         0  cl-subs:     4405  v-elim:    383  v-fix:    0  time: 547.17 s
2646.23/662.75	c learnt bin added due to v-elim: 0
2646.23/662.76	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.04
2646.63/662.86	c vivif2 --  cl tried    75089 cl shrink        0 lits rem          0 time: 0.38
2648.65/663.39	c asymm  cl-useful: 0/77298/103839 lits-rem:0 time: 2.11
2649.03/663.40	c calculated reachability. Time: 0.00
2649.03/663.40	c  N dy  5584    806486     24112    103839         0     75089    316421   7393455    207.85    132.03  --
2692.19/674.25	c  N dy  5724    826592     24112    103839         0     52198    316421   2243371    194.71    132.04  --
2732.51/684.36	c  N dy  5864    846676     24112    103839         0     72279    316421   6119352    188.38    132.03  --
2776.08/695.24	c  N dy  6004    866793     24112    103839         0     48401    316421   1355822    199.06    132.08  --
2817.60/705.65	c  N dy  6145    886857     24112    103839         0     68463    316421   5209654    181.97    132.05  --
2863.15/717.10	c  N dy  6285    906955     24112    103839         0     88557    316421   9197284    199.05    132.13  --
2905.89/727.70	c  N dy  6426    927001     24112    103839         0     63607    316421   4081770    206.03    132.13  --
2951.03/739.09	c  N dy  6566    947017     24112    103839         0     83622    316421   8002123    194.06    132.15  --
2996.16/750.39	c  N dy  6707    967111     24112    103839         0     57720    316421   2706452    186.30    132.08  --
3040.90/761.58	c  N dy  6848    987240     24112    103839         0     77845    316421   6575049    183.97    132.07  --
3089.24/773.60	c  N dy  6989   1007320     24112    103839         0     50927    316421   1247500    200.68    132.07  --
3133.98/784.81	c  N dy  7130   1027381     24112    103839         0     70984    316421   5148817    203.03    132.10  --
3181.11/796.66	c  N dy  7271   1047424     24112    103839         0     91024    316421   9071722    199.76    132.12  --
3227.85/808.31	c  N dy  7412   1067532     24112    103839         0     63138    316421   3501333    207.84    132.15  --
3273.38/819.73	c  N dy  7552   1087561     24112    103839         0     83164    316421   7387608    194.31    132.15  --
3323.32/832.27	c  N dy  7692   1107666     24112    103839         0     54274    316421   1573807    209.56    132.22  --
3367.66/843.39	c  N dy  7832   1127765     24112    103839         0     74371    316421   5490987    191.51    132.24  --
3416.79/855.66	c  N dy  7973   1147907     24112    103839         0     94508    316421   9443801    204.49    132.26  --
3461.94/866.90	c  N dy  8114   1168035     24112    103839         0     64639    316421   3353089    207.99    132.29  --
3505.87/877.93	c  N dy  8253   1188079     24112    103839         0     84678    316421   7315834    197.10    132.33  --
3552.21/889.52	c  N dy  8393   1208183     24112    103839         0     53788    316421   1022670    199.96    132.40  --
3555.41/890.34	c  S st  8404   1209729     24112    103839         0     55334    316421   1316408    174.92    132.41  --
3556.61/890.61	c  S st  8404   1210234     24112    103839         0     55839    316421   1394739    174.92    132.41  --
3556.61/890.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3556.61/890.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3558.61/891.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.3M T:  2.25
3559.01/891.20	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
3559.01/891.20	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3559.01/891.22	c Subs w/ non-existent bins:      0 time:  0.09 s
3559.41/891.33	c bin-w-bin subsume rem            0 bins  time:  0.04 s
3559.41/891.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
3559.41/891.35	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.04 s
3573.39/894.89	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.02
3573.79/894.95	c lits-rem:         7  cl-subs:     3618  v-elim:    383  v-fix:    0  time: 14.37 s
3573.79/894.95	c learnt bin added due to v-elim: 0
3573.79/894.96	c vivif2 --  cl tried   103839 cl shrink        0 lits rem          0 time: 0.05
3573.79/894.98	c vivif2 --  cl tried    52221 cl shrink        0 lits rem          0 time: 0.08
3574.19/895.06	c asymm  cl-useful: 0/26541/103839 lits-rem:0 time: 0.33
3574.19/895.07	c calculated reachability. Time: 0.01
3574.19/895.07	c  N dy  8404   1210234     24112    103839         0     52221    316421   1329342    174.92    132.41  --
3616.13/905.51	c  N dy  8544   1230293     24112    103839         0     72279    316421   5179259    204.25    132.39  --
3662.06/917.08	c  N dy  8684   1250428     24112    103839         0     92409    316421   9047196    186.62    132.39  --
3709.20/928.82	c  N dy  8824   1270471     24112    103839         0     60457    316421   2125327    179.52    132.41  --
3753.94/940.06	c  N dy  8964   1290474     24112    103839         0     80456    316421   6040419    207.11    132.41  --
3804.67/952.76	c  N dy  9104   1310605     24112    103839         0    100584    316421   9972240    184.72    132.43  --
3851.81/964.60	c  N dy  9244   1330653     24112    103839         0     67639    316421   3419111    200.62    132.44  --
3899.74/976.59	c  N dy  9385   1350750     24112    103839         0     87731    316421   7382431    195.45    132.46  --
3952.47/989.76	c  N dy  9524   1370762     24112    103839         0    107740    316421  11314367    176.98    132.49  --
3998.01/1001.14	c  N dy  9665   1390829     24112    103839         0     73812    316421   4323625    182.16    132.48  --
4047.14/1013.43	c  N dy  9805   1410850     24112    103839         0     93831    316421   8216237    193.17    132.47  --
4099.47/1026.56	c  N dy  9946   1430969     24112    103839         0     58958    316421   1272189    182.69    132.49  --
4145.01/1037.90	c  N dy 10086   1450985     24112    103839         0     78972    316421   5202093    202.88    132.51  --
4196.14/1050.74	c  N dy 10226   1471111     24112    103839         0     99096    316421   9139754    214.18    132.50  --
4247.26/1063.55	c  N dy 10366   1491201     24112    103839         0     63188    316421   1914028    201.77    132.49  --
4294.80/1075.49	c  N dy 10506   1511221     24112    103839         0     83204    316421   5826365    197.37    132.50  --
4346.33/1088.35	c  N dy 10646   1531278     24112    103839         0    103258    316421   9828965    232.27    132.55  --
4392.69/1099.97	c  N dy 10786   1551353     24112    103839         0     66341    316421   2344495    180.79    132.53  --
4435.82/1110.72	c  N dy 10925   1571367     24112    103839         0     86353    316421   6299959    201.60    132.54  --
4483.75/1122.72	c  N dy 11066   1591490     24112    103839         0    106476    316421  10219718    207.77    132.54  --
4531.28/1134.61	c  N dy 11206   1611543     24112    103839         0     68531    316421   2597057    212.97    132.56  --
4576.03/1145.88	c  N dy 11347   1631670     24112    103839         0     88653    316421   6457876    181.28    132.54  --
4626.75/1158.53	c  N dy 11487   1651739     24112    103839         0    108719    316421  10443105    174.22    132.58  --
4675.49/1170.78	c  N dy 11627   1671851     24112    103839         0     69835    316421   2645193    187.09    132.60  --
4723.42/1182.77	c  N dy 11767   1691922     24112    103839         0     89904    316421   6663240    190.86    132.64  --
4774.97/1195.63	c  S st 11896   1710234     24112    103839         0    108213    316421  10210311    193.94    132.64  --
4776.55/1196.04	c  S st 11896   1710738     24112    103839         0    108717    316421  10281921    193.94    132.64  --
4776.55/1196.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
4776.55/1196.06	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4782.14/1197.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 13.5M T:  5.52
4782.14/1197.46	c Calc non-exist non-lernt bins v-fix:     0 done:  24112 time:  0.05 s
4782.14/1197.46	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4782.54/1197.55	c Subs w/ non-existent bins:      0 time:  0.37 s
4785.34/1198.21	c bin-w-bin subsume rem            0 bins  time:  0.04 s
4785.34/1198.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.03 s
4785.34/1198.23	c Removed useless bin:       0  fixed:     0  bprops:   0.10M  time:  0.05 s

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3172537-1304060465/watcher-3172537-1304060465 -o /tmp/evaluation-result-3172537-1304060465/solver-3172537-1304060465 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172537-1304060465.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.78 7.97 7.52 5/180 31760
/proc/meminfo: memFree=24856624/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=24544 CPUtime=0 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 1407 0 0 0 0 0 0 0 25 0 1 0 596276995 25133056 1347 33554432000 4194304 4797429 140735979722528 18446744073709551615 252457762927 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/31760/statm: 6178 1356 341 148 0 1107 0

[startup+0.0401759 s]
/proc/loadavg: 7.78 7.97 7.52 5/180 31760
/proc/meminfo: memFree=24856624/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=84740 CPUtime=0.03 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 10288 0 0 0 2 1 0 0 25 0 1 0 596276995 86773760 7037 33554432000 4194304 4797429 140735979722528 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/31760/statm: 21185 7042 348 148 0 16114 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 84740

[startup+0.101164 s]
/proc/loadavg: 7.78 7.97 7.52 5/180 31760
/proc/meminfo: memFree=24856624/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=95320 CPUtime=0.09 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 14307 0 0 0 8 1 0 0 25 0 1 0 596276995 97607680 10964 33554432000 4194304 4797429 140735979722528 18446744073709551615 4629040 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/31760/statm: 23830 10965 348 148 0 18759 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 95320

[startup+0.301128 s]
/proc/loadavg: 7.78 7.97 7.52 5/180 31760
/proc/meminfo: memFree=24856624/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=112724 CPUtime=0.29 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 20241 0 0 0 27 2 0 0 25 0 1 0 596276995 115429376 16590 33554432000 4194304 4797429 140735979722528 18446744073709551615 4621912 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/31760/statm: 28181 16590 348 148 0 23110 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112724

[startup+0.701015 s]
/proc/loadavg: 7.78 7.97 7.52 5/180 31760
/proc/meminfo: memFree=24856624/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=819852 CPUtime=1.83 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 30935 0 0 0 174 9 0 0 18 0 4 0 596276995 839528448 25193 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 204963 25193 398 148 0 199892 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 819852

[startup+1.50087 s]
/proc/loadavg: 7.78 7.97 7.52 10/184 31764
/proc/meminfo: memFree=24734088/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=826164 CPUtime=5.02 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 35477 0 0 0 491 11 0 0 18 0 4 0 596276995 845991936 28937 33554432000 4194304 4797429 140735979722528 18446744073709551615 4424460 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 206541 28937 410 148 0 201470 0
[pid=31760/tid=31762] ppid=31758 vsize=826164 CPUtime=1.17 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 4162 0 0 0 115 2 0 0 19 0 4 0 596277026 845991936 28937 33554432000 4194304 4797429 140735979722528 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=826164 CPUtime=1.17 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 3772 0 0 0 115 2 0 0 19 0 4 0 596277026 845991936 28937 33554432000 4194304 4797429 140735979722528 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=826164 CPUtime=1.18 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 3060 0 0 0 117 1 0 0 19 0 4 0 596277026 845991936 28937 33554432000 4194304 4797429 140735979722528 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 826164

[startup+3.10057 s]
/proc/loadavg: 7.78 7.97 7.52 9/184 31764
/proc/meminfo: memFree=24724132/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=828236 CPUtime=11.41 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 39293 0 0 0 1128 13 0 0 21 0 4 0 596276995 848113664 32735 33554432000 4194304 4797429 140735979722528 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 207059 32735 412 148 0 201988 0
[pid=31760/tid=31762] ppid=31758 vsize=828236 CPUtime=2.77 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 5129 0 0 0 274 3 0 0 22 0 4 0 596277026 848113664 32735 33554432000 4194304 4797429 140735979722528 18446744073709551615 4425001 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=828236 CPUtime=2.77 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 4714 0 0 0 274 3 0 0 22 0 4 0 596277026 848113664 32735 33554432000 4194304 4797429 140735979722528 18446744073709551615 4424579 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=828236 CPUtime=2.77 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 4019 0 0 0 276 1 0 0 22 0 4 0 596277026 848113664 32735 33554432000 4194304 4797429 140735979722528 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.41
Current children cumulated vsize (KiB) 828236

[startup+6.30097 s]
/proc/loadavg: 7.88 7.99 7.53 9/184 31764
/proc/meminfo: memFree=24659280/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=846408 CPUtime=24.17 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 52218 0 0 0 2397 20 0 0 25 0 4 0 596276995 866721792 45632 33554432000 4194304 4797429 140735979722528 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 211602 45632 416 148 0 206531 0
[pid=31760/tid=31762] ppid=31758 vsize=846408 CPUtime=5.96 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 8511 0 0 0 591 5 0 0 19 0 4 0 596277026 866721792 45632 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=846408 CPUtime=5.94 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 8069 0 0 0 588 6 0 0 19 0 4 0 596277026 866721792 45632 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=846408 CPUtime=5.97 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 8027 0 0 0 595 2 0 0 19 0 4 0 596277026 866721792 45632 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.17
Current children cumulated vsize (KiB) 846408

[startup+12.7008 s]
/proc/loadavg: 7.89 7.99 7.53 9/184 31764
/proc/meminfo: memFree=24640992/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=852596 CPUtime=49.73 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 60808 0 0 0 4950 23 0 0 25 0 4 0 596276995 873058304 47888 33554432000 4194304 4797429 140735979722528 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 213149 47888 417 148 0 208078 0
[pid=31760/tid=31762] ppid=31758 vsize=852596 CPUtime=12.36 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 9787 0 0 0 1230 6 0 0 25 0 4 0 596277026 873058304 47888 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=852596 CPUtime=12.29 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 9454 0 0 0 1223 6 0 0 25 0 4 0 596277026 873058304 47888 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=852596 CPUtime=12.37 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 9104 0 0 0 1235 2 0 0 25 0 4 0 596277026 873058304 47888 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524092 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.73
Current children cumulated vsize (KiB) 852596

[startup+25.5004 s]
/proc/loadavg: 7.99 8.00 7.55 9/184 31764
/proc/meminfo: memFree=24594244/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=858064 CPUtime=100.85 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 69168 0 0 0 10058 27 0 0 25 0 4 0 596276995 878657536 55707 33554432000 4194304 4797429 140735979722528 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 214516 55707 419 148 0 209445 0
[pid=31760/tid=31762] ppid=31758 vsize=858064 CPUtime=25.16 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 10860 0 0 0 2509 7 0 0 25 0 4 0 596277026 878657536 55707 33554432000 4194304 4797429 140735979722528 18446744073709551615 4430241 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=858064 CPUtime=25.03 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 10222 0 0 0 2496 7 0 0 25 0 4 0 596277026 878657536 55707 33554432000 4194304 4797429 140735979722528 18446744073709551615 4656595 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=858064 CPUtime=25.17 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 10032 0 0 0 2514 3 0 0 25 0 4 0 596277026 878657536 55707 33554432000 4194304 4797429 140735979722528 18446744073709551615 4356191 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.85
Current children cumulated vsize (KiB) 858064

[startup+51.1006 s]
/proc/loadavg: 7.99 8.00 7.56 9/184 31765
/proc/meminfo: memFree=24557492/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=867952 CPUtime=203.12 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 85695 0 0 0 20279 33 0 0 25 0 4 0 596276995 888782848 60449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4354716 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 216988 60449 420 148 0 211917 0
[pid=31760/tid=31762] ppid=31758 vsize=867952 CPUtime=50.76 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 12920 0 0 0 5069 7 0 0 25 0 4 0 596277026 888782848 60449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=867952 CPUtime=50.48 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 12449 0 0 0 5041 7 0 0 25 0 4 0 596277026 888782848 60449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=867952 CPUtime=50.77 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 11411 0 0 0 5073 4 0 0 25 0 4 0 596277026 888782848 60449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.12
Current children cumulated vsize (KiB) 867952

[startup+102.306 s]
/proc/loadavg: 8.09 8.03 7.59 9/184 31766
/proc/meminfo: memFree=24537144/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=890048 CPUtime=407.66 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 117944 0 0 0 40720 46 0 0 25 0 4 0 596276995 911409152 62309 33554432000 4194304 4797429 140735979722528 18446744073709551615 4415712 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 222512 62309 427 148 0 217441 0
[pid=31760/tid=31762] ppid=31758 vsize=890048 CPUtime=101.97 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 16904 0 0 0 10188 9 0 0 25 0 4 0 596277026 911409152 62309 33554432000 4194304 4797429 140735979722528 18446744073709551615 4567765 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=890048 CPUtime=101.42 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 16745 0 0 0 10133 9 0 0 25 0 4 0 596277026 911409152 62309 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=890048 CPUtime=101.98 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 15467 0 0 0 10192 6 0 0 25 0 4 0 596277026 911409152 62309 33554432000 4194304 4797429 140735979722528 18446744073709551615 4387526 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.66
Current children cumulated vsize (KiB) 890048

[startup+162.301 s]
/proc/loadavg: 8.07 8.03 7.62 9/184 31768
/proc/meminfo: memFree=24476732/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=902616 CPUtime=647.32 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 141054 0 0 0 64675 57 0 0 25 0 4 0 596276995 924278784 72449 33554432000 4194304 4797429 140735979722528 18446744073709551615 252457762571 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 225654 72449 420 148 0 220583 0
[pid=31760/tid=31762] ppid=31758 vsize=902616 CPUtime=161.96 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 19655 0 0 0 16186 10 0 0 25 0 4 0 596277026 924278784 72449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=902616 CPUtime=161.1 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 19221 0 0 0 16100 10 0 0 25 0 4 0 596277026 924278784 72449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=902616 CPUtime=161.98 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 17812 0 0 0 16191 7 0 0 25 0 4 0 596277026 924278784 72449 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.32
Current children cumulated vsize (KiB) 902616

[startup+222.301 s]
/proc/loadavg: 8.08 8.04 7.64 9/184 31770
/proc/meminfo: memFree=24448308/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=907388 CPUtime=886.99 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 171958 0 0 0 88631 68 0 0 25 0 4 0 596276995 929165312 76929 33554432000 4194304 4797429 140735979722528 18446744073709551615 4423080 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 226847 76929 420 148 0 221776 0
[pid=31760/tid=31762] ppid=31758 vsize=907388 CPUtime=221.97 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 23577 0 0 0 22184 13 0 0 25 0 4 0 596277026 929165312 76929 33554432000 4194304 4797429 140735979722528 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=907388 CPUtime=220.77 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 23606 0 0 0 22066 11 0 0 25 0 4 0 596277026 929165312 76929 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=907388 CPUtime=221.98 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 20985 0 0 0 22190 8 0 0 25 0 4 0 596277026 929165312 76929 33554432000 4194304 4797429 140735979722528 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.99
Current children cumulated vsize (KiB) 907388

[startup+282.301 s]

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

[pid=31760] ppid=31758 vsize=952248 CPUtime=2804.42 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 366757 0 0 0 280288 154 0 0 25 0 4 0 596276995 975101952 90831 33554432000 4194304 4797429 140735979722528 18446744073709551615 4354704 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 238062 90832 420 148 0 232991 0
[pid=31760/tid=31762] ppid=31758 vsize=952248 CPUtime=701.97 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 40911 0 0 0 70178 19 0 0 25 0 4 0 596277026 975101952 90832 33554432000 4194304 4797429 140735979722528 18446744073709551615 252457762571 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=952248 CPUtime=698.19 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 40877 0 0 0 69803 16 0 0 25 0 4 0 596277026 975101952 90832 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=952248 CPUtime=701.99 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 37118 0 0 0 70182 17 0 0 25 0 4 0 596277026 975101952 90832 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.42
Current children cumulated vsize (KiB) 952248

[startup+762.306 s]
/proc/loadavg: 8.16 8.11 7.83 9/184 31784
/proc/meminfo: memFree=24252524/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=958280 CPUtime=3044.12 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 395404 0 0 0 304243 169 0 0 25 0 4 0 596276995 981278720 98593 33554432000 4194304 4797429 140735979722528 18446744073709551615 4424462 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 239570 98593 420 148 0 234499 0
[pid=31760/tid=31762] ppid=31758 vsize=958280 CPUtime=761.99 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 43351 0 0 0 76178 21 0 0 25 0 4 0 596277026 981278720 98593 33554432000 4194304 4797429 140735979722528 18446744073709551615 4567816 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=958280 CPUtime=757.87 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 42224 0 0 0 75770 17 0 0 25 0 4 0 596277026 981278720 98593 33554432000 4194304 4797429 140735979722528 18446744073709551615 4559048 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=958280 CPUtime=762 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 38389 0 0 0 76182 18 0 0 25 0 4 0 596277026 981278720 98593 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3044.12
Current children cumulated vsize (KiB) 958280

[startup+822.3 s]
/proc/loadavg: 8.11 8.10 7.84 9/184 31786
/proc/meminfo: memFree=24231048/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=960624 CPUtime=3283.78 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 421614 0 0 0 328194 184 0 0 25 0 4 0 596276995 983678976 102865 33554432000 4194304 4797429 140735979722528 18446744073709551615 4355096 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 240156 102865 420 148 0 235085 0
[pid=31760/tid=31762] ppid=31758 vsize=960624 CPUtime=821.98 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 44906 0 0 0 82177 21 0 0 25 0 4 0 596277026 983678976 102865 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=960624 CPUtime=817.55 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 43119 0 0 0 81737 18 0 0 25 0 4 0 596277026 983678976 102865 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=960624 CPUtime=822 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 39254 0 0 0 82181 19 0 0 25 0 4 0 596277026 983678976 102865 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.78
Current children cumulated vsize (KiB) 960624

[startup+882.301 s]
/proc/loadavg: 8.09 8.09 7.86 9/184 31787
/proc/meminfo: memFree=24248892/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=963460 CPUtime=3523.45 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 452927 0 0 0 352147 198 0 0 25 0 4 0 596276995 986583040 97273 33554432000 4194304 4797429 140735979722528 18446744073709551615 252457762571 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 240865 97273 420 148 0 235794 0
[pid=31760/tid=31762] ppid=31758 vsize=963460 CPUtime=881.98 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 47493 0 0 0 88176 22 0 0 25 0 4 0 596277026 986583040 97273 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=963460 CPUtime=877.22 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 45505 0 0 0 87703 19 0 0 25 0 4 0 596277026 986583040 97273 33554432000 4194304 4797429 140735979722528 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=963460 CPUtime=881.99 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 42414 0 0 0 88180 19 0 0 25 0 4 0 596277026 986583040 97273 33554432000 4194304 4797429 140735979722528 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.45
Current children cumulated vsize (KiB) 963460

[startup+942.301 s]
/proc/loadavg: 8.14 8.10 7.87 9/184 31789
/proc/meminfo: memFree=24243900/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=965164 CPUtime=3763.13 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 480939 0 0 0 376099 214 0 0 25 0 4 0 596276995 988327936 100301 33554432000 4194304 4797429 140735979722528 18446744073709551615 4425692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 241291 100301 420 148 0 236220 0
[pid=31760/tid=31762] ppid=31758 vsize=965164 CPUtime=941.98 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 49873 0 0 0 94176 22 0 0 25 0 4 0 596277026 988327936 100301 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=965164 CPUtime=936.91 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 47868 0 0 0 93670 21 0 0 25 0 4 0 596277026 988327936 100301 33554432000 4194304 4797429 140735979722528 18446744073709551615 4429080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=965164 CPUtime=942 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 43985 0 0 0 94179 21 0 0 25 0 4 0 596277026 988327936 100301 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3763.13
Current children cumulated vsize (KiB) 965164

[startup+1002.3 s]
/proc/loadavg: 8.11 8.10 7.88 9/184 31790
/proc/meminfo: memFree=24214860/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=974448 CPUtime=4002.8 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 506983 0 0 0 400053 227 0 0 25 0 4 0 596276995 997834752 101920 33554432000 4194304 4797429 140735979722528 18446744073709551615 4425094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 243612 101920 420 148 0 238541 0
[pid=31760/tid=31762] ppid=31758 vsize=974448 CPUtime=1001.98 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 51826 0 0 0 100175 23 0 0 25 0 4 0 596277026 997834752 101920 33554432000 4194304 4797429 140735979722528 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=974448 CPUtime=996.58 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 49517 0 0 0 99637 21 0 0 25 0 4 0 596277026 997834752 101920 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=974448 CPUtime=1002 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 44770 0 0 0 100179 21 0 0 25 0 4 0 596277026 997834752 101920 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.8
Current children cumulated vsize (KiB) 974448

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 7.89 9/184 31792
/proc/meminfo: memFree=24227356/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=978232 CPUtime=4242.48 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 531356 0 0 0 424008 240 0 0 25 0 4 0 596276995 1001709568 101326 33554432000 4194304 4797429 140735979722528 18446744073709551615 4413859 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 244558 101326 420 148 0 239487 0
[pid=31760/tid=31762] ppid=31758 vsize=978232 CPUtime=1061.99 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 53494 0 0 0 106175 24 0 0 25 0 4 0 596277026 1001709568 101326 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=978232 CPUtime=1056.25 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 50111 0 0 0 105604 21 0 0 25 0 4 0 596277026 1001709568 101326 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=978232 CPUtime=1062 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 45394 0 0 0 106179 21 0 0 25 0 4 0 596277026 1001709568 101326 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.48
Current children cumulated vsize (KiB) 978232

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 7.91 9/184 31794
/proc/meminfo: memFree=24198072/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=979200 CPUtime=4482.14 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 562867 0 0 0 447959 255 0 0 25 0 4 0 596276995 1002700800 104011 33554432000 4194304 4797429 140735979722528 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 244800 104011 420 148 0 239729 0
[pid=31760/tid=31762] ppid=31758 vsize=979200 CPUtime=1121.99 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 56491 0 0 0 112174 25 0 0 25 0 4 0 596277026 1002700800 104011 33554432000 4194304 4797429 140735979722528 18446744073709551615 4429083 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=979200 CPUtime=1115.93 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 53956 0 0 0 111571 22 0 0 25 0 4 0 596277026 1002700800 104011 33554432000 4194304 4797429 140735979722528 18446744073709551615 4524204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=979200 CPUtime=1122.01 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 48708 0 0 0 112178 23 0 0 25 0 4 0 596277026 1002700800 104011 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4482.14
Current children cumulated vsize (KiB) 979200

[startup+1182.3 s]
/proc/loadavg: 8.07 8.08 7.91 9/184 31795
/proc/meminfo: memFree=24189752/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=979244 CPUtime=4721.83 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 590192 0 0 0 471911 272 0 0 25 0 4 0 596276995 1002745856 104538 33554432000 4194304 4797429 140735979722528 18446744073709551615 4354716 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 244811 104538 420 148 0 239740 0
[pid=31760/tid=31762] ppid=31758 vsize=979244 CPUtime=1181.99 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 58249 0 0 0 118173 26 0 0 25 0 4 0 596277026 1002745856 104538 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=979244 CPUtime=1175.61 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 56302 0 0 0 117537 24 0 0 25 0 4 0 596277026 1002745856 104538 33554432000 4194304 4797429 140735979722528 18446744073709551615 4501900 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=979244 CPUtime=1182.01 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 50077 0 0 0 118177 24 0 0 25 0 4 0 596277026 1002745856 104538 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568105 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.83
Current children cumulated vsize (KiB) 979244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.9 s]
/proc/loadavg: 8.13 8.09 7.92 5/179 31797
/proc/meminfo: memFree=24422412/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=1044780 CPUtime=4800.14 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 599046 0 0 0 479738 276 0 0 25 0 4 0 596276995 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 261195 113198 420 148 0 256124 0
[pid=31760/tid=31762] ppid=31758 vsize=1044780 CPUtime=1201.6 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 58618 0 0 0 120134 26 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=1044780 CPUtime=1195.1 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 56548 0 0 0 119486 24 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=1044780 CPUtime=1201.61 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 50354 0 0 0 120137 24 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 1044780

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

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

[startup+1201.9 s]
/proc/loadavg: 8.13 8.09 7.92 5/179 31797
/proc/meminfo: memFree=24422412/32951124 swapFree=67111348/67111528
[pid=31760] ppid=31758 vsize=1044780 CPUtime=4800.14 cores=0,2,4,6
/proc/31760/stat : 31760 (techdemo) R 31758 31760 31616 0 -1 4202496 599046 0 0 0 479738 276 0 0 25 0 4 0 596276995 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31760/statm: 261195 113198 420 148 0 256124 0
[pid=31760/tid=31762] ppid=31758 vsize=1044780 CPUtime=1201.6 cores=0,2,4,6
/proc/31760/task/31762/stat : 31762 (techdemo) R 31758 31760 31616 0 -1 4202560 58618 0 0 0 120134 26 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31760/tid=31763] ppid=31758 vsize=1044780 CPUtime=1195.1 cores=0,2,4,6
/proc/31760/task/31763/stat : 31763 (techdemo) R 31758 31760 31616 0 -1 4202560 56548 0 0 0 119486 24 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31760/tid=31764] ppid=31758 vsize=1044780 CPUtime=1201.61 cores=0,2,4,6
/proc/31760/task/31764/stat : 31764 (techdemo) R 31758 31760 31616 0 -1 4202560 50354 0 0 0 120137 24 0 0 25 0 4 0 596277026 1069854720 113198 33554432000 4194304 4797429 140735979722528 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 1044780

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.93
CPU time (s): 4800.19
CPU user time (s): 4797.4
CPU system time (s): 2.78558
CPU usage (%): 399.372
Max. virtual memory (cumulated for all children) (KiB): 1085276

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

runsolver used 1.9717 second user time and 4.55231 second system time

The end

Launcher Data 

Begin job on node111 at 2011-04-29 09:01:05
IDJOB=3172537
IDBENCH=82555
IDSOLVER=1584
FILE ID=node111/3172537-1304060465
RUNJOBID= node111-1304059260-31634
PBS_JOBID= 13170444
Free space on /tmp= 70888 MiB

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

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

MD5SUM BENCH= a93695501183427990f531672c9572d2
RANDOM SEED=341552792

node111.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.849
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.69
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.849
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	: 5428.12
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.849
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.849
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.849
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.849
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.849
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.67
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.849
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:      24856780 kB
Buffers:       1271704 kB
Cached:        6250080 kB
SwapCached:        124 kB
Active:        3100460 kB
Inactive:      4505820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24856780 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           17860 kB
Writeback:          40 kB
AnonPages:       84588 kB
Mapped:          15588 kB
Slab:           425140 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   678848 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= 70888 MiB
End job on node111 at 2011-04-29 09:21:09