Trace number 3261405

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.72

General information on the benchmark

Namecrafted/skvortsov/battleship/
battleship-12-23-sat.cnf
MD5SUM80263d3bb0d20781a1cc41611bb23ae3
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004999
Satisfiable
(Un)Satisfiability was proved
Number of variables276
Number of clauses1662
Sum of the clauses size6348
Maximum clause length23
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21518
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5144

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-3261405-1304131448.cnf'
0.00/0.00	c -- header says num vars:            276
0.00/0.00	c -- header says num clauses:        1662
0.00/0.00	c -- clauses added:            0 learnts,         1662 normals,            0 xors
0.00/0.00	c -- vars added        276
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       276       144      1518         0      6348         0   no data   no data  --
0.00/0.00	c asymm  cl-useful: 0/144/144 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  0.0M T:  0.00
0.00/0.01	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
0.00/0.01	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
0.00/0.01	c Subs w/ non-existent bins:      0 time:  0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:    184  v-fix:    0  time:  0.00 s
0.00/0.01	c learnt bin added due to v-elim: 0
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:       0 undec:       0 neg:     276
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
0.00/0.01	c  B st     0         0       276       144      1518         0      6348         0   no data   no data  --
2.77/0.75	c Decided on static restart strategy
2.77/0.75	c  N dy    21      4106       276       144      1518      4017      6348    369835     99.15     29.88  --
2.77/0.75	c  N dy    51      8154       276       144      1518      5526      6348    415247     82.96     29.42  --
4.77/1.25	c  N dy    81     12218       276       144      1518      5345      6348    349463     78.94     29.09  --
6.76/1.75	c  N dy   111     16302       276       144      1518      9334      6348    693048     80.23     28.90  --
9.56/2.43	c  N dy   141     20383       276       144      1518      7812      6348    537566    106.59     28.86  --
12.36/3.20	c  N dy   170     24385       276       144      1518     11742      6348    888354     86.85     28.84  --
15.15/3.86	c  N dy   200     28428       276       144      1518      9033      6348    630520     91.64     28.95  --
16.35/4.18	c  S st   212     30000       276       144      1518     10567      6348    762764     91.06     28.89  --
16.75/4.21	c  S st   212     30500       276       144      1518     11063      6348    802945     91.06     28.89  --
16.75/4.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  7.0M T:  0.84
17.57/4.43	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
17.57/4.43	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
17.57/4.43	c Subs w/ non-existent bins:      0 time:  0.02 s
17.57/4.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
21.14/5.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  3.52 s
21.14/5.33	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
35.93/9.03	c lits-rem:        50  cl-subs:     1474  v-elim:    276  v-fix:    0  time: 14.80 s
35.93/9.03	c learnt bin added due to v-elim: 0
35.93/9.03	c vivif2 --  cl tried      144 cl shrink        0 lits rem          0 time: 0.00
35.93/9.04	c vivif2 --  cl tried     9589 cl shrink        0 lits rem          0 time: 0.02
36.33/9.14	c asymm  cl-useful: 0/144/144 lits-rem:0 time: 0.43
36.33/9.14	c calculated reachability. Time: 0.00
36.33/9.14	c  N dy   212     30500       276       144      1518      9589      6348    713947     91.06     28.89  --
36.33/9.14	c  F st   212     30500       276       144      1518      9589      6348    713947     91.06     28.89  --
36.73/9.27	c Decided on static restart strategy
37.53/9.46	c  N dy   233     34620       276       144      1518     13590      6348   1059350     86.53     29.00  --
39.14/9.86	c  N dy   263     38663       276       144      1518      9866      6348    646142     80.36     28.93  --
41.52/10.40	c  N dy   293     42720       276       144      1518     13853      6348    976074     85.06     28.97  --
43.93/11.05	c  S st   316     45750       276       144      1518     16814      6348   1234875     92.66     28.95  --
44.31/11.11	c  S st   316     46252       276       144      1518     17315      6348   1279663     92.66     28.95  --
44.31/11.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
44.31/11.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.31/11.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 14.8M T:  2.11
46.31/11.64	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
46.31/11.64	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
46.31/11.65	c Subs w/ non-existent bins:      0 time:  0.03 s
46.31/11.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
52.33/13.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.90 s
52.33/13.14	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
71.08/17.84	c lits-rem:        26  cl-subs:     1348  v-elim:    276  v-fix:    0  time: 18.76 s
71.08/17.84	c learnt bin added due to v-elim: 0
71.08/17.84	c vivif2 --  cl tried      144 cl shrink        0 lits rem          0 time: 0.00
71.08/17.85	c vivif2 --  cl tried    15967 cl shrink        0 lits rem          0 time: 0.04
71.88/18.00	c asymm  cl-useful: 0/144/144 lits-rem:0 time: 0.61
71.88/18.00	c calculated reachability. Time: 0.00
71.88/18.00	c  N dy   316     46252       276       144      1518     15967      6348   1184702     92.66     28.95  --
73.08/18.35	c  N dy   346     50317       276       144      1518     11211      6348    740532     81.44     28.92  --
75.47/18.90	c  N dy   376     54452       276       144      1518     15246      6348   1119948    100.47     29.07  --
78.69/19.72	c  N dy   406     58569       276       144      1518     19250      6348   1532983    108.19     29.26  --
80.27/20.18	c  N dy   435     62633       276       144      1518     13379      6348    995234    116.69     29.41  --
83.49/20.97	c  N dy   463     66654       276       144      1518     17185      6348   1425133    100.16     29.64  --
87.06/21.85	c  S st   482     69378       276       144      1518     19712      6348   1725564    120.25     29.72  --
87.06/21.90	c  S st   482     69880       276       144      1518     20210      6348   1766121    120.25     29.72  --
87.06/21.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
87.06/21.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.28/23.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 30.0M T:  4.81
92.28/23.11	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
92.28/23.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
92.28/23.12	c Subs w/ non-existent bins:      0 time:  0.04 s
92.28/23.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
98.65/24.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.34 s
98.65/24.73	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
120.22/30.17	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.00
200.91/50.32	c Added 3 vars  tried: 80000 time: 80.48
202.50/50.73	c ORs :      3 avg-s:  0.0 cl-sh: 30453 l-rem:  30453 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:   82.13
202.50/50.75	c lits-rem:       150  cl-subs:     1295  v-elim:    276  v-fix:    0  time: 103.94 s
202.50/50.75	c learnt bin added due to v-elim: 0
202.50/50.75	c vivif2 --  cl tried      147 cl shrink        0 lits rem          0 time: 0.00
202.50/50.76	c vivif2 --  cl tried    18915 cl shrink        0 lits rem          0 time: 0.06
202.90/50.83	c asymm  cl-useful: 0/147/147 lits-rem:0 time: 0.27
202.90/50.83	c calculated reachability. Time: 0.00
202.90/50.83	c  N dy   482     69880       279       147      1524     18915      6333   1608278    120.25     29.72  --
202.90/50.83	c  F st   482     69880       279       147      1524     18915      6333   1608278    120.25     29.72  --
203.71/51.02	c Decided on static restart strategy
204.50/51.21	c  N dy   506     74416       279       147      1524     12752      6333    851306     81.37     29.75  --
206.52/51.72	c  N dy   541     79169       279       147      1524     17408      6333   1226885     92.05     29.70  --
210.51/52.71	c  N dy   579     84286       279       147      1524     22436      6333   1638456     85.52     29.63  --
212.89/53.40	c  N dy   618     89667       279       147      1524     16043      6333   1014736     84.25     29.61  --
217.68/54.51	c  N dy   660     95423       279       147      1524     21666      6333   1480964     91.24     29.66  --
222.08/55.62	c  N dy   705    101624       279       147      1524     15087      6333    905607     91.29     29.60  --
224.10/56.12	c  S st   729    104820       279       147      1524     18169      6333   1150993     74.63     29.59  --
224.10/56.18	c  S st   729    105322       279       147      1524     18667      6333   1191435     74.63     29.59  --
224.10/56.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
224.10/56.18	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.68/57.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 29.8M T:  3.63
227.68/57.09	c Calc non-exist non-lernt bins v-fix:     0 done:    279 time:  0.00 s
227.68/57.09	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
227.68/57.10	c Subs w/ non-existent bins:      0 time:  0.03 s
228.09/57.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
233.26/58.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.17 s
233.26/58.41	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
250.46/62.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.00
250.46/62.77	c lits-rem:        82  cl-subs:     2022  v-elim:    276  v-fix:    0  time: 17.43 s
250.46/62.77	c learnt bin added due to v-elim: 0
250.46/62.77	c vivif2 --  cl tried      174 cl shrink        0 lits rem          0 time: 0.00
250.46/62.78	c vivif2 --  cl tried    16645 cl shrink        0 lits rem          0 time: 0.04
250.84/62.87	c asymm  cl-useful: 0/174/174 lits-rem:0 time: 0.33
250.84/62.87	c calculated reachability. Time: 0.00
250.84/62.87	c  N dy   729    105322       276       174      1491     16645      6351   1065680     74.63     29.59  --
254.04/63.66	c  N dy   779    112148       276       174      1491     23321      6351   1641336     87.53     29.52  --
258.43/64.78	c  N dy   832    119390       276       174      1491     16803      6351   1023108     95.21     29.49  --
263.64/66.09	c  N dy   888    127035       276       174      1491     24285      6351   1664686     83.48     29.47  --
270.82/67.81	c  N dy   948    135204       276       174      1491     17632      6351   1086764     78.50     29.41  --
277.61/69.55	c  N dy  1012    143877       276       174      1491     26154      6351   1816654     93.71     29.36  --
286.39/71.75	c  N dy  1080    153116       276       174      1491     19540      6351   1130263     78.57     29.29  --
291.19/72.91	c  S st  1116    157983       276       174      1491     24286      6351   1506134     72.55     29.28  --
291.19/72.97	c  S st  1116    158487       276       174      1491     24787      6351   1547683     72.55     29.28  --
291.19/72.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
291.19/72.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
297.19/74.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 48.4M T:  6.05
297.19/74.49	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
297.19/74.49	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
297.59/74.50	c Subs w/ non-existent bins:      0 time:  0.04 s
297.59/74.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
304.38/76.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.72 s
304.38/76.21	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
325.95/81.61	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.00
325.95/81.63	c lits-rem:        77  cl-subs:     1821  v-elim:    273  v-fix:    0  time: 21.66 s
325.95/81.63	c learnt bin added due to v-elim: 0
325.95/81.63	c vivif2 --  cl tried      174 cl shrink        0 lits rem          0 time: 0.00
325.95/81.64	c vivif2 --  cl tried    22966 cl shrink        0 lits rem          0 time: 0.05
326.35/81.78	c asymm  cl-useful: 0/174/174 lits-rem:0 time: 0.56
326.35/81.78	c calculated reachability. Time: 0.00
326.35/81.78	c  N dy  1116    158487       276       174      1491     22966      6351   1437934     72.55     29.28  --
333.56/83.50	c  N dy  1190    168620       276       174      1491     32800      6351   2232811     89.60     29.28  --
340.73/85.31	c  N dy  1269    179441       276       174      1491     26776      6351   1675512     74.17     29.28  --
353.91/88.62	c  N dy  1353    190951       276       174      1491     20455      6351   1143793     84.25     29.22  --
365.10/91.45	c  N dy  1442    203160       276       174      1491     32391      6351   2134627     87.28     29.16  --
378.68/94.80	c  N dy  1537    216232       276       174      1491     26655      6351   1620195     85.98     29.11  --
396.66/99.33	c  N dy  1638    230125       276       174      1491     20676      6351   1094914     70.16     29.06  --
403.87/101.13	c  S st  1694    237730       276       174      1491     28079      6351   1688939     82.26     29.03  --
404.27/101.21	c  S st  1694    238231       276       174      1491     28577      6351   1732073     82.26     29.03  --
404.27/101.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
404.27/101.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
411.84/103.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.4M T:  7.70
411.84/103.14	c Calc non-exist non-lernt bins v-fix:     0 done:    276 time:  0.00 s
411.84/103.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
411.84/103.15	c Subs w/ non-existent bins:      0 time:  0.05 s
411.84/103.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
419.03/104.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.92 s
419.03/104.91	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
448.60/112.31	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.00
448.60/112.33	c lits-rem:        71  cl-subs:     1993  v-elim:    273  v-fix:    0  time: 29.62 s
448.60/112.33	c learnt bin added due to v-elim: 0
448.60/112.33	c vivif2 --  cl tried      174 cl shrink        0 lits rem          0 time: 0.00
448.60/112.34	c vivif2 --  cl tried    26584 cl shrink        0 lits rem          0 time: 0.06
449.40/112.51	c asymm  cl-useful: 0/174/174 lits-rem:0 time: 0.66
449.40/112.51	c calculated reachability. Time: 0.00
449.40/112.51	c  N dy  1694    238231       276       174      1491     26584      6351   1616806     82.26     29.03  --
461.00/115.49	c  N dy  1805    253461       276       174      1491     20992      6351   1119678     88.98     29.02  --
474.96/118.91	c  N dy  1925    269761       276       174      1491     36990      6351   2518324     95.34     29.02  --
492.53/123.36	c  N dy  2051    287086       288       174      1515     32521      6399   2093331     89.24     29.01  --
515.71/129.16	c  N dy  2185    305480       288       174      1515     28026      6399   1690598     90.54     28.98  --
541.67/135.68	c  N dy  2328    325067       288       174      1515     23639      6399   1215495     85.06     28.98  --
565.65/141.66	c  N dy  2474    345098       288       174      1515     43254      6399   2874870     83.78     28.97  --
582.43/145.89	c  S st  2563    357346       288       174      1515     30776      6399   1774982     83.10     28.96  --
582.83/145.97	c  S st  2563    357849       288       174      1515     31274      6399   1816013     83.10     28.96  --
582.83/145.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
582.83/145.98	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
590.41/147.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T:  7.37
590.41/147.82	c Calc non-exist non-lernt bins v-fix:     0 done:    288 time:  0.00 s
590.41/147.82	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
590.41/147.84	c Subs w/ non-existent bins:      0 time:  0.06 s
590.41/147.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
596.81/149.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.54 s
596.81/149.50	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
621.17/155.57	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.00
621.17/155.59	c lits-rem:        20  cl-subs:     1674  v-elim:    273  v-fix:    0  time: 24.33 s
621.17/155.59	c learnt bin added due to v-elim: 0
621.17/155.59	c vivif2 --  cl tried      174 cl shrink        0 lits rem          0 time: 0.00
621.57/155.61	c vivif2 --  cl tried    29600 cl shrink        0 lits rem          0 time: 0.07
622.37/155.80	c asymm  cl-useful: 0/99/174 lits-rem:0 time: 0.79
622.37/155.81	c calculated reachability. Time: 0.00
622.37/155.81	c  N dy  2563    357849       288       174      1515     29600      6399   1718976     83.10     28.96  --
638.35/159.86	c  N dy  2709    377879       288       174      1515     49127      6399   3379110     86.01     28.95  --
656.33/164.33	c  N dy  2855    397920       288       174      1515     43238      6399   2784207     89.16     28.92  --
679.10/170.00	c  N dy  3001    417958       288       174      1515     36455      6399   2154817     81.53     28.91  --
707.49/177.16	c  N dy  3146    438011       288       174      1515     28695      6399   1443352     73.86     28.91  --
728.24/182.34	c  N dy  3291    458013       288       174      1515     48250      6399   3058031     86.17     28.89  --
755.01/189.02	c  N dy  3437    478117       288       174      1515     39620      6399   2309166     82.15     28.88  --
786.58/196.93	c  N dy  3583    498158       300       174      1543     29919      6449   1474707     79.47     28.87  --
810.13/202.80	c  N dy  3728    518271       300       174      1543     49657      6449   3090717     77.65     28.84  --
838.50/209.90	c  S st  3862    536774       300       174      1543     37409      6449   2070659     82.03     28.83  --
838.50/209.99	c  S st  3862    537277       300       174      1543     37909      6449   2112127     82.03     28.83  --
838.50/210.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
838.50/210.00	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
846.49/211.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      1 BRemL:      0 BRemN:      0 CBin:       0 P: 60.3M T:  7.59
846.49/211.90	c Calc non-exist non-lernt bins v-fix:     0 done:    300 time:  0.00 s
846.49/211.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
846.49/211.92	c Subs w/ non-existent bins:      0 time:  0.07 s
846.89/212.04	c Replacing        2 vars Replaced    14153 lits Time:     0.49 s 
846.89/212.07	c bin-w-bin subsume rem            3 bins  time:  0.00 s
853.68/213.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.79 s
853.68/213.77	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
888.43/222.45	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.00
888.43/222.48	c lits-rem:        23  cl-subs:     2124  v-elim:    273  v-fix:    0  time: 34.77 s
888.43/222.48	c learnt bin added due to v-elim: 0
888.43/222.48	c vivif2 --  cl tried      174 cl shrink        0 lits rem          0 time: 0.00
888.83/222.50	c vivif2 --  cl tried    35785 cl shrink        0 lits rem          0 time: 0.09
889.63/222.70	c asymm  cl-useful: 0/139/174 lits-rem:0 time: 0.80
889.63/222.70	c calculated reachability. Time: 0.00
889.63/222.70	c  N dy  3862    537277       298       174      1535     35785      6439   1992574     82.03     28.83  --
889.63/222.70	c  F st  3862    537277       298       174      1535     35785      6439   1992574     82.03     28.83  --
890.43/222.98	c Decided on static restart strategy
907.61/227.29	c  N dy  3999    557388       298       174      1535     55451      6439   3714647     81.24     28.86  --
929.58/232.78	c  N dy  4144    577390       298       174      1535     43694      6439   2622717     81.99     28.88  --
960.34/240.48	c  N dy  4290    597467       298       174      1535     63316      6439   4329707     87.38     28.92  --
980.32/245.41	c  N dy  4436    617593       298       174      1535     50715      6439   3148275     83.72     28.93  --
1013.08/253.61	c  N dy  4581    637645       298       174      1535     37096      6439   1972163     87.85     28.95  --
1037.85/259.85	c  N dy  4726    657732       298       174      1535     56707      6439   3652907     86.61     28.98  --
1067.43/267.23	c  N dy  4871    677789       298       174      1535     42097      6439   2335382     71.26     28.98  --
1095.36/274.20	c  N dy  5015    697844       298       174      1535     61713      6439   3980030     81.33     28.98  --
1122.94/281.12	c  N dy  5162    717978       310       174      1571     46403      6497   2652963     89.08     28.99  --
1154.89/289.10	c  N dy  5307    737993       310       174      1571     65971      6497   4290854     77.48     29.00  --
1181.67/295.82	c  N dy  5452    757996       310       174      1571     49217      6497   2875001     85.33     28.99  --
1215.61/304.35	c  N dy  5597    778114       310       174      1571     68780      6497   4469434     80.23     29.00  --
1245.57/311.81	c  N dy  5743    798183       310       174      1571     51270      6497   2986804     79.54     29.00  --
1257.16/314.70	c  S st  5799    805915       310       174      1573     58861      6499   3617487     84.99     29.00  --
1257.56/314.84	c  S st  5799    806416       310       174      1573     59359      6499   3658377     84.99     29.00  --
1257.56/314.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
1257.56/314.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1266.35/317.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.2M T:  8.70
1266.35/317.03	c Calc non-exist non-lernt bins v-fix:     0 done:    310 time:  0.00 s
1266.35/317.03	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1266.35/317.06	c Subs w/ non-existent bins:      0 time:  0.12 s
1267.95/317.48	c Replacing        4 vars Replaced    20169 lits Time:     1.66 s 
1268.34/317.53	c bin-w-bin subsume rem            7 bins  time:  0.00 s
1275.94/319.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.81 s
1275.94/319.49	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
1627.47/407.45	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.00
1753.71/439.04	c Added 4 vars  tried: 80000 time: 126.21
1757.72/440.08	c ORs :      4 avg-s:  0.0 cl-sh: 34589 l-rem:  34589 b-add:      8 v-rep:   0 cl-rem: 4 avg s: 24.2 T:  130.34
1758.10/440.12	c lits-rem:        34  cl-subs:     3738  v-elim:    273  v-fix:    0  time: 481.86 s
1758.10/440.12	c learnt bin added due to v-elim: 0
1758.10/440.12	c vivif2 --  cl tried      178 cl shrink        0 lits rem          0 time: 0.00
1758.10/440.15	c vivif2 --  cl tried    55617 cl shrink        0 lits rem          0 time: 0.14
1758.90/440.36	c asymm  cl-useful: 0/119/178 lits-rem:0 time: 0.81
1758.90/440.36	c calculated reachability. Time: 0.00
1758.90/440.36	c  N dy  5799    806416       310       178      1559     55617      6487   3389010     84.99     29.00  --
1787.66/447.54	c  N dy  5944    826440       310       178      1559     75284      6487   5086908     82.05     29.01  --
1810.46/453.24	c  N dy  6089    846538       310       178      1559     56734      6487   3439583     81.44     29.03  --
1850.78/463.30	c  N dy  6234    866624       310       178      1561     76363      6487   5072426     84.70     29.04  --
1876.37/469.72	c  N dy  6379    886658       310       178      1561     56890      6487   3412307     91.19     29.04  --
1917.49/480.05	c  N dy  6524    906741       310       178      1561     76595      6487   5055412     80.79     29.05  --
1947.05/487.46	c  N dy  6670    926836       310       178      1569     56173      6487   3328952     82.81     29.05  --
1989.00/497.90	c  N dy  6815    946847       310       178      1569     75763      6487   4914475     80.25     29.05  --
2022.56/506.35	c  N dy  6961    966943       310       178      1569     54313      6487   3141821     87.77     29.06  --
2062.91/516.47	c  N dy  7106    986996       310       178      1569     73899      6487   4714117     86.42     29.05  --
2105.25/527.05	c  N dy  7251   1007049       310       178      1569     51467      6487   2882784     84.21     29.04  --
2142.41/536.38	c  N dy  7396   1027051       326       178      1616     71240      6565   4498884     81.44     29.04  --
2189.54/548.16	c  N dy  7541   1047167       326       178      1616     47739      6565   2548876     82.03     29.04  --
2221.91/556.28	c  N dy  7686   1067220       326       178      1616     67385      6565   4120419     80.05     29.04  --
2271.45/568.63	c  N dy  7831   1087255       326       178      1616     86988      6565   5675429     80.85     29.03  --
2301.80/576.26	c  N dy  7976   1107347       326       178      1616     62539      6565   3732052     83.83     29.03  --
2349.73/588.22	c  N dy  8120   1127431       330       178      1628     82260      6581   5312705     81.60     29.03  --
2390.50/598.41	c  N dy  8264   1147444       330       178      1628     56836      6581   3267658     81.17     29.02  --
2432.83/609.07	c  N dy  8408   1167495       330       178      1628     76483      6581   4834781     83.93     29.02  --
2487.95/622.89	c  N dy  8552   1187601       330       178      1636     50098      6589   2665024     78.53     29.02  --
2524.29/631.99	c  N dy  8697   1207679       330       178      1636     69701      6589   4201509     76.83     29.01  --
2529.90/633.37	c  S st  8711   1209625       330       178      1636     71605      6589   4361751     87.85     29.01  --
2530.71/633.54	c  S st  8711   1210131       330       178      1636     72108      6589   4400102     87.85     29.01  --
2530.71/633.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
2530.71/633.55	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
2539.90/635.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:      0 BRemL:      2 BRemN:      2 CBin:       0 P: 60.1M T:  9.15
2539.90/635.84	c Calc non-exist non-lernt bins v-fix:     0 done:    330 time:  0.01 s
2539.90/635.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2539.90/635.88	c Subs w/ non-existent bins:      0 time:  0.15 s
2540.28/635.90	c Replacing        8 vars Replaced      389 lits Time:     0.06 s 
2540.28/635.96	c bin-w-bin subsume rem           13 bins  time:  0.00 s
2548.29/637.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.09 s
2548.29/637.99	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 s
2966.50/742.68	c ORs :      6 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 30.0 T:    0.02
2966.90/742.73	c lits-rem:        37  cl-subs:     4362  v-elim:    270  v-fix:    0  time: 418.36 s
2966.90/742.73	c learnt bin added due to v-elim: 0
2966.90/742.73	c vivif2 --  cl tried      178 cl shrink        0 lits rem          0 time: 0.00
2966.90/742.77	c vivif2 --  cl tried    67745 cl shrink        0 lits rem          0 time: 0.18
2967.70/743.00	c asymm  cl-useful: 0/66/178 lits-rem:0 time: 0.89
2968.10/743.00	c calculated reachability. Time: 0.00
2968.10/743.00	c  N dy  8711   1210131       322       178      1593     67745      6535   4128865     87.85     29.01  --
2993.68/749.48	c  N dy  8856   1230200       338       178      1644     87851      6617   5813992     87.86     29.01  --
3020.84/756.22	c  N dy  9001   1250245       338       178      1644     60291      6617   3515819     87.90     29.01  --
3060.79/766.27	c  N dy  9145   1270247       338       178      1644     79840      6617   5132664     82.74     29.01  --
3108.33/778.13	c  N dy  9290   1290376       338       178      1644     51509      6617   2674564     87.64     29.01  --
3135.09/784.82	c  N dy  9436   1310474       338       178      1644     71217      6617   4334831     88.23     29.01  --
3183.44/796.95	c  N dy  9582   1330597       338       178      1644     90961      6617   5974874     83.27     29.00  --
3219.79/806.00	c  N dy  9726   1350609       338       178      1644     61527      6617   3418653     84.29     29.00  --
3255.34/814.94	c  N dy  9871   1370743       338       178      1644     81255      6617   5041002     85.47     28.99  --
3308.90/828.33	c  N dy 10016   1390799       338       178      1644     50908      6617   2472884     87.09     28.99  --
3334.04/834.66	c  N dy 10162   1410917       338       178      1644     70619      6617   4122739     83.45     28.98  --
3377.19/845.47	c  N dy 10307   1430920       338       178      1644     90218      6617   5761441     83.78     28.97  --
3424.72/857.35	c  N dy 10451   1451048       338       178      1644     58966      6617   3065981     87.25     28.97  --
3461.08/866.45	c  N dy 10596   1471108       338       178      1644     78567      6617   4660645     79.19     28.96  --
3519.42/881.10	c  N dy 10741   1491130       338       178      1644     98165      6617   6265447     82.87     28.96  --
3556.96/890.41	c  N dy 10885   1511138       338       178      1644     65878      6617   3560645     85.47     28.96  --
3598.52/900.86	c  N dy 11030   1531180       338       178      1644     85523      6617   5141051     84.00     28.95  --
3658.03/915.78	c  N dy 11175   1551299       338       178      1644    105193      6617   6705049     80.11     28.95  --
3687.99/923.28	c  N dy 11320   1571368       338       178      1644     72019      6617   4007738     81.98     28.94  --
3737.14/935.53	c  N dy 11465   1591403       338       178      1644     91659      6617   5606849     84.29     28.94  --
3795.06/950.02	c  N dy 11611   1611477       338       178      1644     57437      6617   2774076     82.95     28.94  --
3827.82/958.28	c  N dy 11756   1631567       338       178      1644     77107      6617   4369110     82.61     28.93  --
3881.75/971.76	c  N dy 11901   1651626       338       178      1644     96733      6617   5947374     86.64     28.92  --
3939.68/986.28	c  N dy 12046   1671697       338       178      1644     61572      6617   3057070     79.67     28.91  --
3979.63/996.29	c  N dy 12191   1691813       338       178      1644     81253      6617   4610172     86.38     28.91  --
4035.16/1010.11	c  S st 12323   1710132       338       178      1644     99128      6617   6037437     82.52     28.90  --
4035.96/1010.32	c  S st 12323   1710632       338       178      1644     99626      6617   6078536     82.52     28.90  --
4035.96/1010.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4035.96/1010.34	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4045.54/1012.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 61.2M T:  9.60
4045.54/1012.74	c Calc non-exist non-lernt bins v-fix:     0 done:    338 time:  0.01 s
4045.54/1012.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4045.54/1012.80	c Subs w/ non-existent bins:      0 time:  0.21 s
4045.94/1012.82	c Replacing        5 vars Replaced      138 lits Time:     0.08 s 
4046.34/1012.91	c bin-w-bin subsume rem            9 bins  time:  0.00 s
4054.32/1014.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.15 s
4054.32/1014.95	c Removed useless bin:       0  fixed:     0  bprops:   0.01M  time:  0.00 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-3261405-1304131448/watcher-3261405-1304131448 -o /tmp/evaluation-result-3261405-1304131448/solver-3261405-1304131448 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3261405-1304131448.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: 6.85 7.82 7.77 2/173 12044
/proc/meminfo: memFree=30982692/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=81152 CPUtime=0 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 685 0 0 0 0 0 0 0 25 0 4 0 524745251 83099648 620 33554432000 4194304 4797429 140733468133344 18446744073709551615 47853527539680 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 20288 620 362 148 0 15217 0
[pid=12044/tid=12045] ppid=12042 vsize=81152 CPUtime=0 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524745252 83099648 620 33554432000 4194304 4797429 140733468133344 18446744073709551615 47853527549878 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=81152 CPUtime=0 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524745252 83099648 620 33554432000 4194304 4797429 140733468133344 18446744073709551615 4670936 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=81152 CPUtime=0 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524745252 83099648 620 33554432000 4194304 4797429 140733468133344 18446744073709551615 4670936 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.0839909 s]
/proc/loadavg: 6.85 7.82 7.77 2/173 12044
/proc/meminfo: memFree=30982692/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=672276 CPUtime=0.3 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 1673 0 0 0 30 0 0 0 18 0 4 0 524745251 688410624 1573 33554432000 4194304 4797429 140733468133344 18446744073709551615 230808862402 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 168069 1573 409 148 0 162998 0
[pid=12044/tid=12045] ppid=12042 vsize=672276 CPUtime=0.07 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 251 0 0 0 7 0 0 0 25 0 4 0 524745252 688410624 1573 33554432000 4194304 4797429 140733468133344 18446744073709551615 230809270766 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=672276 CPUtime=0.07 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 239 0 0 0 7 0 0 0 18 0 4 0 524745252 688410624 1573 33554432000 4194304 4797429 140733468133344 18446744073709551615 230808862360 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=672276 CPUtime=0.07 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 246 0 0 0 7 0 0 0 18 0 4 0 524745252 688410624 1573 33554432000 4194304 4797429 140733468133344 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 672276

[startup+0.107544 s]
/proc/loadavg: 6.85 7.82 7.77 2/173 12044
/proc/meminfo: memFree=30982692/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=672540 CPUtime=0.4 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 1882 0 0 0 40 0 0 0 18 0 4 0 524745251 688680960 1777 33554432000 4194304 4797429 140733468133344 18446744073709551615 230808831512 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 168135 1777 409 148 0 163064 0
[pid=12044/tid=12045] ppid=12042 vsize=672540 CPUtime=0.09 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 319 0 0 0 9 0 0 0 25 0 4 0 524745252 688680960 1777 33554432000 4194304 4797429 140733468133344 18446744073709551615 4387372 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=672540 CPUtime=0.09 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 287 0 0 0 9 0 0 0 18 0 4 0 524745252 688680960 1777 33554432000 4194304 4797429 140733468133344 18446744073709551615 4422918 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=672540 CPUtime=0.09 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 4 0 524745252 688680960 1778 33554432000 4194304 4797429 140733468133344 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 672540

[startup+0.30051 s]
/proc/loadavg: 6.85 7.82 7.77 2/173 12044
/proc/meminfo: memFree=30982692/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=674264 CPUtime=1.17 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 3269 0 0 0 117 0 0 0 18 0 4 0 524745251 690446336 3154 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 168566 3154 409 148 0 163495 0
[pid=12044/tid=12045] ppid=12042 vsize=674264 CPUtime=0.29 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 664 0 0 0 29 0 0 0 25 0 4 0 524745252 690446336 3155 33554432000 4194304 4797429 140733468133344 18446744073709551615 4415661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=674264 CPUtime=0.29 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 651 0 0 0 29 0 0 0 18 0 4 0 524745252 690446336 3155 33554432000 4194304 4797429 140733468133344 18446744073709551615 4425051 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=674264 CPUtime=0.28 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 628 0 0 0 28 0 0 0 18 0 4 0 524745252 690446336 3155 33554432000 4194304 4797429 140733468133344 18446744073709551615 230809270815 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 674264

[startup+0.700438 s]
/proc/loadavg: 6.85 7.82 7.77 2/173 12044
/proc/meminfo: memFree=30982692/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=679464 CPUtime=2.77 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 5867 0 0 0 276 1 0 0 18 0 4 0 524745251 695771136 3982 33554432000 4194304 4797429 140733468133344 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 169866 3982 410 148 0 164795 0
[pid=12044/tid=12045] ppid=12042 vsize=679464 CPUtime=0.68 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 1359 0 0 0 68 0 0 0 25 0 4 0 524745252 695771136 3982 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=679464 CPUtime=0.69 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 1245 0 0 0 69 0 0 0 18 0 4 0 524745252 695771136 3982 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424987 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=679464 CPUtime=0.68 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 1313 0 0 0 68 0 0 0 18 0 4 0 524745252 695771136 3983 33554432000 4194304 4797429 140733468133344 18446744073709551615 230808862353 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 679464

[startup+1.50029 s]
/proc/loadavg: 6.78 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30933612/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=685656 CPUtime=5.97 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 10355 0 0 0 595 2 0 0 20 0 4 0 524745251 702111744 7793 33554432000 4194304 4797429 140733468133344 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 171414 7793 413 148 0 166343 0
[pid=12044/tid=12045] ppid=12042 vsize=685656 CPUtime=1.48 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 2505 0 0 0 148 0 0 0 25 0 4 0 524745252 702111744 7793 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=685656 CPUtime=1.48 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 2399 0 0 0 148 0 0 0 20 0 4 0 524745252 702111744 7793 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520284 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=685656 CPUtime=1.48 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 2534 0 0 0 148 0 0 0 20 0 4 0 524745252 702111744 7793 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 685656

[startup+3.101 s]
/proc/loadavg: 6.78 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30908688/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=687300 CPUtime=12.36 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 11901 0 0 0 1233 3 0 0 25 0 4 0 524745251 703795200 8476 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 171825 8476 414 148 0 166754 0
[pid=12044/tid=12045] ppid=12042 vsize=687300 CPUtime=3.07 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 2553 0 0 0 307 0 0 0 25 0 4 0 524745252 703795200 8476 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=687300 CPUtime=3.08 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 2439 0 0 0 308 0 0 0 25 0 4 0 524745252 703795200 8476 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524536 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=687300 CPUtime=3.09 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 2582 0 0 0 308 1 0 0 25 0 4 0 524745252 703795200 8476 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 687300

[startup+6.30041 s]
/proc/loadavg: 6.88 7.79 7.76 9/184 12056
/proc/meminfo: memFree=30899708/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=690548 CPUtime=25.14 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 16272 0 0 0 2511 3 0 0 25 0 4 0 524745251 707121152 9569 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524484 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 172637 9569 417 148 0 167566 0
[pid=12044/tid=12045] ppid=12042 vsize=690548 CPUtime=6.25 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 3135 0 0 0 625 0 0 0 25 0 4 0 524745252 707121152 9569 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=690548 CPUtime=6.28 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 3202 0 0 0 628 0 0 0 25 0 4 0 524745252 707121152 9569 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=690548 CPUtime=6.28 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 3149 0 0 0 627 1 0 0 25 0 4 0 524745252 707121152 9569 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 690548

[startup+12.7002 s]
/proc/loadavg: 6.97 7.80 7.76 9/184 12057
/proc/meminfo: memFree=30878988/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=695228 CPUtime=50.71 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 20967 0 0 0 5066 5 0 0 25 0 4 0 524745251 711913472 12925 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 173807 12925 417 148 0 168736 0
[pid=12044/tid=12045] ppid=12042 vsize=695228 CPUtime=12.62 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 3762 0 0 0 1262 0 0 0 25 0 4 0 524745252 711913472 12925 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=695228 CPUtime=12.69 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 3721 0 0 0 1268 1 0 0 25 0 4 0 524745252 711913472 12925 33554432000 4194304 4797429 140733468133344 18446744073709551615 4430038 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=695228 CPUtime=12.68 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 3618 0 0 0 1267 1 0 0 25 0 4 0 524745252 711913472 12925 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 695228

[startup+25.5009 s]
/proc/loadavg: 7.19 7.81 7.76 9/184 12057
/proc/meminfo: memFree=30851780/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=701940 CPUtime=101.84 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 29599 0 0 0 10177 7 0 0 25 0 4 0 524745251 718786560 15880 33554432000 4194304 4797429 140733468133344 18446744073709551615 4506608 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 175485 15880 417 148 0 170414 0
[pid=12044/tid=12045] ppid=12042 vsize=701940 CPUtime=25.36 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 4790 0 0 0 2535 1 0 0 25 0 4 0 524745252 718786560 15880 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=701940 CPUtime=25.48 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 4673 0 0 0 2547 1 0 0 25 0 4 0 524745252 718786560 15880 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=701940 CPUtime=25.49 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 4778 0 0 0 2547 2 0 0 25 0 4 0 524745252 718786560 15880 33554432000 4194304 4797429 140733468133344 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 701940

[startup+51.1002 s]
/proc/loadavg: 7.54 7.84 7.77 9/184 12058
/proc/meminfo: memFree=30826728/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=707448 CPUtime=204.1 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 34331 0 0 0 20402 8 0 0 25 0 4 0 524745251 724426752 17511 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424868 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 176862 17511 419 148 0 171791 0
[pid=12044/tid=12045] ppid=12042 vsize=707448 CPUtime=50.82 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 5849 0 0 0 5081 1 0 0 25 0 4 0 524745252 724426752 17511 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=707448 CPUtime=51.08 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 6230 0 0 0 5107 1 0 0 25 0 4 0 524745252 724426752 17511 33554432000 4194304 4797429 140733468133344 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=707448 CPUtime=51.08 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 5689 0 0 0 5106 2 0 0 25 0 4 0 524745252 724426752 17511 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 707448

[startup+102.307 s]
/proc/loadavg: 7.92 7.89 7.79 9/184 12059
/proc/meminfo: memFree=30792696/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=718472 CPUtime=408.66 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 62835 0 0 0 40852 14 0 0 25 0 4 0 524745251 735715328 21378 33554432000 4194304 4797429 140733468133344 18446744073709551615 4429080 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 179618 21378 419 148 0 174547 0
[pid=12044/tid=12045] ppid=12042 vsize=718472 CPUtime=101.77 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 7290 0 0 0 10176 1 0 0 25 0 4 0 524745252 735715328 21378 33554432000 4194304 4797429 140733468133344 18446744073709551615 4495571 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=718472 CPUtime=102.28 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 8175 0 0 0 10227 1 0 0 25 0 4 0 524745252 735715328 21378 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=718472 CPUtime=102.29 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 7825 0 0 0 10227 2 0 0 25 0 4 0 524745252 735715328 21378 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 718472

[startup+162.301 s]

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

[pid=12044] ppid=12042 vsize=774608 CPUtime=2805.52 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 245585 0 0 0 280481 71 0 0 25 0 4 0 524745251 793198592 47583 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 193652 47583 421 148 0 188581 0
[pid=12044/tid=12045] ppid=12042 vsize=774608 CPUtime=698.65 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 21159 0 0 0 69859 6 0 0 25 0 4 0 524745252 793198592 47583 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524360 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=774608 CPUtime=702.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 24910 0 0 0 70224 6 0 0 25 0 4 0 524745252 793198592 47583 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=774608 CPUtime=702.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 20916 0 0 0 70224 6 0 0 25 0 4 0 524745252 793198592 47583 33554432000 4194304 4797429 140733468133344 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.52
Current children cumulated vsize (KiB) 774608

[startup+762.307 s]
/proc/loadavg: 8.01 8.03 7.91 9/184 12077
/proc/meminfo: memFree=30572640/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=778832 CPUtime=3045.23 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 257335 0 0 0 304449 74 0 0 25 0 4 0 524745251 797523968 48283 33554432000 4194304 4797429 140733468133344 18446744073709551615 4351618 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 194708 48283 421 148 0 189637 0
[pid=12044/tid=12045] ppid=12042 vsize=778832 CPUtime=758.33 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 22819 0 0 0 75827 6 0 0 25 0 4 0 524745252 797523968 48283 33554432000 4194304 4797429 140733468133344 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=778832 CPUtime=762.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 25621 0 0 0 76224 6 0 0 25 0 4 0 524745252 797523968 48283 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=778832 CPUtime=762.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 22622 0 0 0 76224 6 0 0 25 0 4 0 524745252 797523968 48283 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.23
Current children cumulated vsize (KiB) 778832

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 12078
/proc/meminfo: memFree=30553512/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=781904 CPUtime=3284.91 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 277056 0 0 0 328411 80 0 0 25 0 4 0 524745251 800669696 50518 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424659 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 195476 50518 421 148 0 190405 0
[pid=12044/tid=12045] ppid=12042 vsize=781904 CPUtime=818.04 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 23734 0 0 0 81797 7 0 0 25 0 4 0 524745252 800669696 50518 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=781904 CPUtime=822.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 27318 0 0 0 82224 6 0 0 25 0 4 0 524745252 800669696 50518 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=781904 CPUtime=822.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 24156 0 0 0 82223 7 0 0 25 0 4 0 524745252 800669696 50518 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.91
Current children cumulated vsize (KiB) 781904

[startup+882.301 s]
/proc/loadavg: 8.04 8.03 7.92 9/184 12080
/proc/meminfo: memFree=30540800/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=785060 CPUtime=3524.59 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 294520 0 0 0 352374 85 0 0 25 0 4 0 524745251 803901440 52587 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 196265 52587 421 148 0 191194 0
[pid=12044/tid=12045] ppid=12042 vsize=785060 CPUtime=877.72 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 25013 0 0 0 87765 7 0 0 25 0 4 0 524745252 803901440 52587 33554432000 4194304 4797429 140733468133344 18446744073709551615 4430004 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=785060 CPUtime=882.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 28146 0 0 0 88223 7 0 0 25 0 4 0 524745252 803901440 52587 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=785060 CPUtime=882.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 24982 0 0 0 88223 7 0 0 25 0 4 0 524745252 803901440 52587 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.59
Current children cumulated vsize (KiB) 785060

[startup+942.301 s]
/proc/loadavg: 8.08 8.05 7.93 9/184 12081
/proc/meminfo: memFree=30523760/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=789680 CPUtime=3764.3 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 313244 0 0 0 376339 91 0 0 25 0 4 0 524745251 808632320 53456 33554432000 4194304 4797429 140733468133344 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 197420 53456 421 148 0 192349 0
[pid=12044/tid=12045] ppid=12042 vsize=789680 CPUtime=937.43 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 25933 0 0 0 93736 7 0 0 25 0 4 0 524745252 808632320 53456 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524489 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=789680 CPUtime=942.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 29951 0 0 0 94223 7 0 0 25 0 4 0 524745252 808632320 53456 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=789680 CPUtime=942.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 26724 0 0 0 94223 7 0 0 25 0 4 0 524745252 808632320 53456 33554432000 4194304 4797429 140733468133344 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.3
Current children cumulated vsize (KiB) 789680

[startup+1002.3 s]
/proc/loadavg: 8.25 8.10 7.95 9/184 12083
/proc/meminfo: memFree=30520868/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=793028 CPUtime=4004 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 329540 0 0 0 400303 97 0 0 25 0 4 0 524745251 812060672 53552 33554432000 4194304 4797429 140733468133344 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 198257 53552 421 148 0 193186 0
[pid=12044/tid=12045] ppid=12042 vsize=793028 CPUtime=997.13 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 27292 0 0 0 99705 8 0 0 25 0 4 0 524745252 812060672 53552 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=793028 CPUtime=1002.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 30537 0 0 0 100222 8 0 0 25 0 4 0 524745252 812060672 53552 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524088 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=793028 CPUtime=1002.3 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 27371 0 0 0 100223 7 0 0 25 0 4 0 524745252 812060672 53552 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4004
Current children cumulated vsize (KiB) 793028

[startup+1062.3 s]
/proc/loadavg: 8.22 8.11 7.96 9/184 12094
/proc/meminfo: memFree=30488704/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=797020 CPUtime=4243.66 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 338178 0 0 0 424267 99 0 0 25 0 4 0 524745251 816148480 57884 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568009 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 199255 57884 421 148 0 194184 0
[pid=12044/tid=12045] ppid=12042 vsize=797020 CPUtime=1056.8 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 28110 0 0 0 105672 8 0 0 25 0 4 0 524745252 816148480 57884 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=797020 CPUtime=1062.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 32250 0 0 0 106221 9 0 0 25 0 4 0 524745252 816148480 57884 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=797020 CPUtime=1062.31 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 29050 0 0 0 106223 8 0 0 25 0 4 0 524745252 816148480 57884 33554432000 4194304 4797429 140733468133344 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.66
Current children cumulated vsize (KiB) 797020

[startup+1122.3 s]
/proc/loadavg: 8.15 8.10 7.97 9/184 12095
/proc/meminfo: memFree=30476404/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=798412 CPUtime=4483.34 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 340303 0 0 0 448234 100 0 0 25 0 4 0 524745251 817573888 59974 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 199603 59974 421 148 0 194532 0
[pid=12044/tid=12045] ppid=12042 vsize=798412 CPUtime=1116.48 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 28907 0 0 0 111640 8 0 0 25 0 4 0 524745252 817573888 59974 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=798412 CPUtime=1122.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 32949 0 0 0 112221 9 0 0 25 0 4 0 524745252 817573888 59974 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=798412 CPUtime=1122.31 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 29679 0 0 0 112223 8 0 0 25 0 4 0 524745252 817573888 59974 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.34
Current children cumulated vsize (KiB) 798412

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 7.98 9/184 12097
/proc/meminfo: memFree=30477984/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=799092 CPUtime=4723.02 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 345643 0 0 0 472200 102 0 0 25 0 4 0 524745251 818270208 58682 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 199773 58682 421 148 0 194702 0
[pid=12044/tid=12045] ppid=12042 vsize=799092 CPUtime=1176.16 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 30527 0 0 0 117608 8 0 0 25 0 4 0 524745252 818270208 58682 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=799092 CPUtime=1182.3 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 34879 0 0 0 118220 10 0 0 25 0 4 0 524745252 818270208 58682 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=799092 CPUtime=1182.31 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 31469 0 0 0 118222 9 0 0 25 0 4 0 524745252 818270208 58682 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4723.02
Current children cumulated vsize (KiB) 799092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.29 8.14 7.99 10/185 12100
/proc/meminfo: memFree=30457476/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=799252 CPUtime=4800.15 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 346351 0 0 0 479912 103 0 0 25 0 4 0 524745251 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 199813 59382 421 148 0 194742 0
[pid=12044/tid=12045] ppid=12042 vsize=799252 CPUtime=1195.24 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 30776 0 0 0 119515 9 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=799252 CPUtime=1201.71 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 35113 0 0 0 120161 10 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=799252 CPUtime=1201.55 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 31694 0 0 0 120146 9 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 799252

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

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

[startup+1201.7 s]
/proc/loadavg: 8.29 8.14 7.99 10/185 12100
/proc/meminfo: memFree=30457476/32951124 swapFree=67111448/67111528
[pid=12044] ppid=12042 vsize=799252 CPUtime=4800.15 cores=0,2,4,6
/proc/12044/stat : 12044 (techdemo) R 12042 12044 12011 0 -1 4202496 346351 0 0 0 479912 103 0 0 25 0 4 0 524745251 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4568098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/12044/statm: 199813 59382 421 148 0 194742 0
[pid=12044/tid=12045] ppid=12042 vsize=799252 CPUtime=1195.24 cores=0,2,4,6
/proc/12044/task/12045/stat : 12045 (techdemo) R 12042 12044 12011 0 -1 4202560 30776 0 0 0 119515 9 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=12044/tid=12046] ppid=12042 vsize=799252 CPUtime=1201.71 cores=0,2,4,6
/proc/12044/task/12046/stat : 12046 (techdemo) R 12042 12044 12011 0 -1 4202560 35113 0 0 0 120161 10 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=12044/tid=12047] ppid=12042 vsize=799252 CPUtime=1201.55 cores=0,2,4,6
/proc/12044/task/12047/stat : 12047 (techdemo) R 12042 12044 12011 0 -1 4202560 31694 0 0 0 120146 9 0 0 25 0 4 0 524745252 818434048 59382 33554432000 4194304 4797429 140733468133344 18446744073709551615 4520256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.15
Current children cumulated vsize (KiB) 799252

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.72
CPU time (s): 4800.19
CPU user time (s): 4799.15
CPU system time (s): 1.04384
CPU usage (%): 399.442
Max. virtual memory (cumulated for all children) (KiB): 905960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4799.15
system time used= 1.04384
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 346351
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= 276
involuntary context switches= 23947

runsolver used 1.92571 second user time and 4.35634 second system time

The end

Launcher Data 

Begin job on node104 at 2011-04-30 04:44:08
IDJOB=3261405
IDBENCH=83226
IDSOLVER=1584
FILE ID=node104/3261405-1304131448
RUNJOBID= node104-1304131448-12029
PBS_JOBID= 13170795
Free space on /tmp= 72544 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/skvortsov/battleship/battleship-12-23-sat.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3261405-1304131448/watcher-3261405-1304131448 -o /tmp/evaluation-result-3261405-1304131448/solver-3261405-1304131448 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3261405-1304131448.cnf

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

MD5SUM BENCH= 80263d3bb0d20781a1cc41611bb23ae3
RANDOM SEED=327806508

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30984080 kB
Buffers:        395904 kB
Cached:        1095448 kB
SwapCached:         80 kB
Active:         152132 kB
Inactive:      1403648 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30984080 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            7968 kB
Writeback:           0 kB
AnonPages:       63980 kB
Mapped:          14324 kB
Slab:           344980 kB
PageTables:       5388 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   185260 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= 72528 MiB
End job on node104 at 2011-04-30 05:04:12