Trace number 3250887

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.28 1202.03

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
MD5SUMf34a5dd1cdce70a322dd395bcb5f1303
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables2548
Number of clauses582679
Sum of the clauses size1167806
Maximum clause length52
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2582629
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

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-3250887-1304183097.cnf'
0.00/0.00	c -- header says num vars:           2548
0.00/0.00	c -- header says num clauses:      582679
0.39/0.43	c -- clauses added:            0 learnts,       582679 normals,            0 xors
0.39/0.43	c -- vars added       2548
0.39/0.43	c Parsing time:  0.41 s
0.39/0.43	c  N st     0         0      2548        50    582629         0   1167806         0   no data   no data  --
0.39/0.43	c asymm  cl-useful: 0/50/50 lits-rem:0 time: 0.00
2.34/0.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  2.9M T:  0.57
2.34/0.93	c Calc non-exist non-lernt bins v-fix:     0 done:   2548 time:  0.22 s
2.34/0.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.34/0.93	c Subs w/ non-existent bins:      0 time:  0.00 s
2.34/0.93	c bin-w-bin subsume rem            0 bins  time:  0.39 s
2.34/0.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.40 s
2.34/0.93	c Removed useless bin:       0  fixed:     0  bprops:   2.34M  time:  0.23 s
3.89/1.34	c lits-rem:        58  cl-subs:        0  v-elim:   1648  v-fix:    0  time:  0.66 s
3.89/1.34	c learnt bin added due to v-elim: 0
3.89/1.34	c Finding binary XORs  T:     0.05 s  found:       0
3.89/1.34	c Finding non-binary XORs:     0.07 s (found:       0, avg size: nan)
3.89/1.34	c calculated reachability. Time: 0.01
3.89/1.34	c Calc default polars -  time:   0.02 s pos:       0 undec:      50 neg:    2498
3.89/1.34	c =========================================================================================
3.89/1.34	c types(t): F = full restart, N = normal restart
3.89/1.34	c types(t): S = simplification begin/end, E = solution found
3.89/1.34	c restart types(rt): st = static, dy = dynamic
3.89/1.34	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
3.89/1.34	c  B st     0         0      2498      8429    571702         0   1630847         0   no data   no data  --
5.07/1.62	c Decided on static restart strategy
7.07/2.18	c  N dy    21      4109      2498      8429    571702      4033   1630847    423357    119.21     11.79  --
11.46/3.25	c  N dy    51      8112      2498      8429    571702      5491   1630840    513880    123.28     11.77  --
15.84/4.36	c  N dy    80     12113      2498      8429    571702      5219   1630839    428722    107.75     12.14  --
20.24/5.47	c  N dy   109     16142      2498      8429    571702      9107   1630834    962429    202.31     12.06  --
26.63/7.06	c  N dy   139     20247      2498      8429    571702      7642   1630833    979543    332.19     13.30  --
33.82/8.83	c  N dy   167     24251      2498      8429    571702     11430   1630832   1880341    236.71     13.39  --
40.61/10.58	c  N dy   196     28297      2498      8429    571702      8793   1630830    987023     97.26     13.37  --
43.82/11.36	c  S st   209     30000      2498      8429    571702     10431   1630830   1258147    162.53     13.43  --
44.60/11.59	c  S st   209     30503      2498      8429    571702     10931   1630830   1326412    162.53     13.43  --
44.99/11.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
44.99/11.60	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
65.79/16.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 20.94
66.16/16.91	c Calc non-exist non-lernt bins v-fix:     0 done:   2498 time:  0.24 s
66.16/16.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
66.16/16.94	c Subs w/ non-existent bins:      0 time:  0.13 s
66.56/17.08	c bin-w-bin subsume rem            0 bins  time:  0.39 s
72.16/18.45	c subs with bin:        0  lits-rem:       931  v-fix:    0  time:  5.47 s
72.56/18.50	c Removed useless bin:       0  fixed:     0  bprops:   2.30M  time:  0.22 s
79.75/20.34	c lits-rem:      4239  cl-subs:     1301  v-elim:   2498  v-fix:    0  time:  7.33 s
79.75/20.34	c learnt bin added due to v-elim: 0
79.75/20.37	c vivif2 --  cl tried     8429 cl shrink     7010 lits rem     105402 time: 0.12
79.75/20.39	c vivif2 --  cl tried     9630 cl shrink        0 lits rem          0 time: 0.09
80.95/20.68	c asymm  cl-useful: 157/705/8429 lits-rem:256 time: 1.14
80.95/20.69	c calculated reachability. Time: 0.02
80.95/20.69	c  N dy   209     30503      2498      8429    571702      9630   1519553   1163156    162.53     13.43  --
80.95/20.69	c  F st   209     30503      2498      8429    571702      9630   1519553   1163156    162.53     13.43  --
84.15/21.45	c Decided on static restart strategy
88.14/22.43	c  N dy   229     34579      2498      8429    571702     13531   1519552   1964710    186.13     13.54  --
94.93/24.18	c  N dy   258     38638      2498      8429    571702      9872   1519552   1041283    115.13     13.58  --
100.55/25.52	c  N dy   287     42696      2498      8429    571702     13761   1519552   1348192    103.58     13.58  --
106.11/26.95	c  S st   309     45754      2498      8429    571702     16688   1519552   1638944    105.26     13.45  --
106.91/27.12	c  S st   309     46254      2498      8429    571702     17185   1519552   1695127    105.26     13.45  --
106.91/27.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
106.91/27.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.49/31.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 17.54
124.49/31.59	c Calc non-exist non-lernt bins v-fix:     0 done:   2498 time:  0.24 s
124.49/31.59	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
124.89/31.63	c Subs w/ non-existent bins:      0 time:  0.20 s
125.29/31.77	c bin-w-bin subsume rem            0 bins  time:  0.39 s
131.71/33.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.12 s
131.71/33.36	c Removed useless bin:       0  fixed:     0  bprops:   2.30M  time:  0.22 s
140.50/35.54	c lits-rem:      1902  cl-subs:     1559  v-elim:   2498  v-fix:    0  time:  8.71 s
140.50/35.54	c learnt bin added due to v-elim: 0
140.50/35.55	c vivif2 --  cl tried     8429 cl shrink        0 lits rem          0 time: 0.03
140.50/35.59	c vivif2 --  cl tried    15626 cl shrink        0 lits rem          0 time: 0.15
141.67/35.85	c asymm  cl-useful: 49/468/8429 lits-rem:63 time: 1.04
141.67/35.86	c calculated reachability. Time: 0.01
141.67/35.86	c  N dy   309     46254      2498      8429    571702     15626   1518950   1533022    105.26     13.45  --
147.26/37.24	c  N dy   338     50339      2498      8429    571702     10999   1518950   1319675    277.65     13.66  --
154.04/38.99	c  N dy   367     54424      2498      8429    571702     14925   1518950   2173495    223.96     13.93  --
164.04/41.43	c  N dy   396     58534      2498      8429    571702     18860   1518950   2767237     91.43     14.05  --
170.42/43.03	c  N dy   425     62621      2498      8429    571702     13165   1518950   1393347     88.03     14.02  --
177.22/44.77	c  N dy   453     66651      2498      8429    571702     17058   1518950   2007304    198.11     14.07  --
183.62/46.40	c  S st   472     69381      2498      8429    571702     19675   1518950   2492159    169.53     14.03  --
184.81/46.64	c  S st   472     69883      2498      8429    571702     20176   1518950   2549613    169.53     14.03  --
184.81/46.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
184.81/46.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
207.17/52.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 22.47
207.57/52.34	c Calc non-exist non-lernt bins v-fix:     0 done:   2498 time:  0.24 s
207.57/52.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
207.57/52.40	c Subs w/ non-existent bins:      0 time:  0.22 s
208.37/52.55	c bin-w-bin subsume rem            0 bins  time:  0.39 s
214.37/54.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.94 s
214.37/54.10	c Removed useless bin:       0  fixed:     0  bprops:   2.30M  time:  0.22 s
232.36/58.53	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.96
257.10/64.75	c Added 26 vars  tried: 80000 time: 24.84
257.90/64.93	c ORs :     26 avg-s:  0.0 cl-sh: 28334 l-rem:  28334 b-add:     52 v-rep:   0 cl-rem: 0 avg s: nan T:   25.56
257.90/64.96	c lits-rem:      2742  cl-subs:     1638  v-elim:   2498  v-fix:    0  time: 43.40 s
257.90/64.96	c learnt bin added due to v-elim: 0
257.90/64.97	c vivif2 --  cl tried     8455 cl shrink        0 lits rem          0 time: 0.03
258.30/65.01	c vivif2 --  cl tried    18538 cl shrink        0 lits rem          0 time: 0.18
259.12/65.21	c asymm  cl-useful: 0/604/8455 lits-rem:0 time: 0.79
259.12/65.23	c calculated reachability. Time: 0.01
259.12/65.23	c  N dy   472     69883      2524      8455    571754     18538   1517598   2246257    169.53     14.03  --
259.12/65.23	c  F st   472     69883      2524      8455    571754     18538   1517598   2246257    169.53     14.03  --
262.70/66.14	c Decided on static restart strategy
266.69/67.12	c  N dy   496     74443      2524      8455    571758     12419   1517598   1156126     97.83     13.95  --
272.68/68.67	c  N dy   530     79244      2524      8455    571763     17027   1517598   1570080    148.34     13.84  --
280.70/70.63	c  N dy   566     84377      2524      8455    571763     21998   1517597   2360436    100.29     13.84  --
288.27/72.59	c  N dy   604     89837      2524      8455    571763     15704   1517597   1360850    105.83     13.89  --
297.85/74.98	c  N dy   643     95609      2524      8455    571763     21215   1517597   1869971    114.76     13.81  --
307.83/77.45	c  N dy   685    101734      2524      8455    571765     14600   1517597   1280733    134.94     13.87  --
312.23/78.51	c  S st   708    104825      2524      8455    571769     17627   1517597   1608577    134.62     13.92  --
312.63/78.68	c  S st   708    105327      2524      8455    571774     18122   1517597   1676858    134.62     13.92  --
312.63/78.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
312.63/78.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
330.20/83.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3747 BRemL:     39 BRemN:      0 CBin:       0 P: 60.0M T: 17.57
330.60/83.16	c Calc non-exist non-lernt bins v-fix:     0 done:   2524 time:  0.25 s
330.60/83.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
331.00/83.21	c Subs w/ non-existent bins:      0 time:  0.22 s
331.40/83.35	c bin-w-bin subsume rem            0 bins  time:  0.40 s
337.81/84.91	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  6.23 s
337.81/84.95	c Removed useless bin:       0  fixed:     0  bprops:   1.58M  time:  0.17 s
348.58/87.62	c ORs :     69 avg-s:  2.0 cl-sh:     1 l-rem:      1 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    0.76
348.58/87.64	c lits-rem:       937  cl-subs:     1744  v-elim:   3607  v-fix:    0  time: 10.75 s
348.58/87.64	c learnt bin added due to v-elim: 0
348.58/87.66	c vivif2 --  cl tried     9943 cl shrink      578 lits rem        578 time: 0.04
348.98/87.71	c vivif2 --  cl tried    16378 cl shrink      805 lits rem       1054 time: 0.20
349.78/87.96	c asymm  cl-useful: 0/162/9365 lits-rem:0 time: 1.04
349.78/87.98	c calculated reachability. Time: 0.01
349.78/87.98	c  N dy   708    105327      2521      9365    574556     16378   1518441   1483398    134.62     13.92  --
361.36/90.90	c  N dy   757    112200      2521      9365    574556     23089   1518441   2535803    138.09     14.08  --
374.15/94.08	c  N dy   808    119399      2521      9365    574556     16576   1518441   1470899    151.21     14.04  --
385.74/96.93	c  N dy   863    127084      2521      9365    574556     24041   1518441   2208285    123.69     13.89  --
398.91/100.30	c  N dy   920    135237      2521      9365    574557     17423   1518441   1650164    152.84     13.86  --
420.08/105.51	c  N dy   981    143992      2521      9365    574558     25937   1518441   2596538     77.96     13.80  --
441.25/110.88	c  N dy  1046    153268      2521      9365    574558     19396   1518441   1634466    150.05     13.75  --
448.44/112.67	c  S st  1080    157991      2521      9365    574558     23989   1518441   2180487     96.28     13.71  --
449.24/112.86	c  S st  1080    158495      2521      9365    574558     24492   1518441   2269847     96.28     13.71  --
449.24/112.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
449.24/112.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.21/117.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1262 BRemL:     14 BRemN:    577 CBin:       0 P: 60.0M T: 19.73
469.21/117.88	c Calc non-exist non-lernt bins v-fix:     0 done:   2521 time:  0.26 s
469.21/117.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
469.63/117.95	c Subs w/ non-existent bins:      0 time:  0.28 s
470.41/118.11	c bin-w-bin subsume rem          444 bins  time:  0.41 s
476.00/119.59	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  5.91 s
476.40/119.62	c Removed useless bin:       0  fixed:     0  bprops:   1.37M  time:  0.16 s
489.18/122.87	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.23
489.59/122.90	c lits-rem:       804  cl-subs:     1911  v-elim:   2489  v-fix:    0  time: 13.07 s
489.59/122.90	c learnt bin added due to v-elim: 0
489.59/122.91	c vivif2 --  cl tried     9365 cl shrink        4 lits rem          5 time: 0.04
489.59/122.97	c vivif2 --  cl tried    22581 cl shrink      690 lits rem        916 time: 0.25
490.79/123.27	c asymm  cl-useful: 0/112/9361 lits-rem:0 time: 1.19
490.79/123.28	c calculated reachability. Time: 0.01
490.79/123.28	c  N dy  1080    158495      2521      9361    574789     22581   1517234   2068658     96.28     13.71  --
507.55/127.45	c  N dy  1152    168642      2521      9361    574795     32445   1517234   3207088    142.22     13.77  --
522.76/131.26	c  N dy  1229    179501      2521      9361    574795     26538   1517234   2580270    143.19     13.86  --
542.31/136.12	c  N dy  1311    191014      2521      9361    574795     20232   1517234   1698619    101.40     13.93  --
558.69/140.22	c  N dy  1398    203212      2521      9361    574795     32072   1517234   2955049    104.67     13.92  --
581.85/146.05	c  N dy  1490    216263      2521      9361    574795     26291   1517234   2576576    124.28     13.95  --
607.82/152.59	c  N dy  1588    230112      2605      9361    588302     23034   1521370   1673552    157.66     13.97  --
621.01/155.84	c  S st  1642    237742      2605      9361    588302     30453   1521370   2658574    137.96     13.98  --
621.81/156.07	c  S st  1642    238244      2605      9361    588302     30953   1521370   2737777    137.96     13.98  --
621.81/156.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
621.81/156.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.17/161.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1891 BRemL:    168 BRemN:   1368 CBin:       0 P: 60.0M T: 20.29
642.57/161.23	c Calc non-exist non-lernt bins v-fix:     0 done:   2605 time:  0.26 s
642.57/161.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
642.97/161.32	c Subs w/ non-existent bins:   1916 time:  0.34 s
643.37/161.48	c bin-w-bin subsume rem         1170 bins  time:  0.42 s
650.18/163.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.78 s
650.56/163.21	c Removed useless bin:     323  fixed:     0  bprops:   0.82M  time:  0.12 s
663.74/166.52	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 10 avg s: 3.0 T:    1.20
663.74/166.55	c lits-rem:       396  cl-subs:     1565  v-elim:   2489  v-fix:    0  time: 13.35 s
663.74/166.55	c learnt bin added due to v-elim: 0
663.74/166.56	c vivif2 --  cl tried     9361 cl shrink        0 lits rem          0 time: 0.04
664.14/166.63	c vivif2 --  cl tried    27462 cl shrink       14 lits rem         15 time: 0.26
665.34/166.92	c asymm  cl-useful: 0/108/9361 lits-rem:0 time: 1.18
665.34/166.94	c calculated reachability. Time: 0.01
665.34/166.94	c  N dy  1642    238244      2605      9361    587177     27449   1517975   2502447    137.96     13.98  --
694.13/174.14	c  N dy  1749    253474      2605      9361    587177     21484   1517975   1538363    131.51     13.97  --
724.48/181.76	c  N dy  1860    269706      2605      9361    588367     37466   1518099   3544664    114.13     13.98  --
754.82/189.36	c  N dy  1981    286982      2605      9361    588367     32547   1518099   3267099    237.23     14.21  --
797.16/199.92	c  N dy  2111    305358      2605      9361    588375     27951   1518098   2362830    152.64     14.38  --
839.51/210.54	c  N dy  2249    324872      2605      9361    588375     23555   1518098   1530993    121.64     14.45  --
871.86/218.65	c  N dy  2389    344925      2605      9361    588375     43007   1518098   4092286    126.07     14.47  --
893.03/223.92	c  S st  2476    357366      2605      9361    588375     30760   1518098   2353689    144.41     14.45  --
893.43/224.09	c  S st  2476    357867      2605      9361    588375     31260   1518098   2401048    144.41     14.45  --
893.83/224.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
893.83/224.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
910.61/228.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:     34 BRemN:   1762 CBin:       0 P: 60.0M T: 16.95
911.01/228.41	c Calc non-exist non-lernt bins v-fix:     0 done:   2605 time:  0.26 s
911.01/228.41	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
911.41/228.50	c Subs w/ non-existent bins:     62 time:  0.34 s
911.81/228.65	c bin-w-bin subsume rem           74 bins  time:  0.41 s
917.00/229.99	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  5.35 s
917.40/230.02	c Removed useless bin:      29  fixed:     0  bprops:   0.81M  time:  0.11 s
927.78/232.67	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    1.19
928.18/232.70	c lits-rem:       298  cl-subs:     1310  v-elim:   2489  v-fix:    0  time: 10.70 s
928.18/232.70	c learnt bin added due to v-elim: 0
928.18/232.71	c vivif2 --  cl tried     9361 cl shrink        0 lits rem          0 time: 0.04
928.18/232.78	c vivif2 --  cl tried    29882 cl shrink       84 lits rem         84 time: 0.27
929.38/233.04	c asymm  cl-useful: 0/134/9361 lits-rem:0 time: 1.06
929.38/233.06	c calculated reachability. Time: 0.01
929.38/233.06	c  N dy  2476    357867      2605      9361    586560     29798   1514504   2241837    144.41     14.45  --
966.55/242.32	c  N dy  2619    377982      2690      9361    599463     53320   1517608   5599742    233.38     14.62  --
1002.48/251.37	c  N dy  2761    397984      2690      9361    599463     45640   1517608   4366045    218.30     14.76  --
1044.02/261.74	c  N dy  2903    418063      2690      9361    601695     37863   1517608   3155017    127.20     14.84  --
1086.37/272.39	c  N dy  3044    438073      2690      9361    601695     29637   1517608   1690608    126.82     14.90  --
1120.34/280.81	c  N dy  3183    458090      2746      9361    604983     50486   1518782   4417612    130.32     14.89  --
1153.07/289.02	c  N dy  3326    478099      2746      9361    604983     40820   1518782   2972561     77.63     14.92  --
1201.00/301.10	c  N dy  3469    498207      2746      9361    604983     30770   1518782   1671430    174.30     15.05  --
1212.99/304.07	c Finding binary XORs  T:     0.05 s  found:       9
1234.59/309.45	c  N dy  3610    518314      2746      9361    604983     50241   1518782   4034045     98.26     15.02  --
1267.32/317.62	c  S st  3741    536800      2746      9361    611608     38480   1519790   2608544    169.95     15.05  --
1268.12/317.83	c  S st  3741    537301      2746      9361    611608     38979   1519789   2674462    169.95     15.05  --
1268.12/317.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
1268.12/317.85	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1289.29/323.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      1 BRemL:    815 BRemN:   1763 CBin:       0 P: 60.0M T: 21.15
1289.69/323.22	c Calc non-exist non-lernt bins v-fix:     0 done:   2746 time:  0.28 s
1289.69/323.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1290.09/323.32	c Subs w/ non-existent bins:   2352 time:  0.42 s
1290.09/323.34	c Replacing        9 vars Replaced       72 lits Time:     0.09 s 
1290.89/323.51	c bin-w-bin subsume rem         1561 bins  time:  0.42 s
1296.47/324.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.71 s
1296.47/324.97	c Removed useless bin:     183  fixed:     0  bprops:   0.76M  time:  0.11 s
1312.05/328.89	c ORs :     69 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 3.0 T:    1.08
1330.43/333.45	c Added 28 vars  tried: 80000 time: 18.21
1330.84/333.59	c ORs :     28 avg-s:  0.0 cl-sh: 25351 l-rem:  25351 b-add:     56 v-rep:   0 cl-rem: 17 avg s: 3.0 T:   18.76
1331.24/333.62	c lits-rem:       741  cl-subs:     1455  v-elim:   2489  v-fix:    0  time: 34.56 s
1331.24/333.62	c learnt bin added due to v-elim: 0
1331.24/333.63	c vivif2 --  cl tried     9386 cl shrink        0 lits rem          0 time: 0.04
1331.62/333.71	c vivif2 --  cl tried    35156 cl shrink       20 lits rem         20 time: 0.31
1332.82/334.00	c asymm  cl-useful: 0/123/9386 lits-rem:0 time: 1.15
1332.82/334.02	c calculated reachability. Time: 0.01
1332.82/334.02	c  N dy  3741    537301      2765      9386    607343     35136   1514090   2419046    169.95     15.05  --
1332.82/334.02	c  F st  3741    537301      2765      9386    607343     35136   1514090   2419046    169.95     15.05  --
1336.01/334.88	c Decided on static restart strategy
1373.17/344.18	c  N dy  3873    557355      2765      9386    607350     54579   1514090   5041510    128.08     15.06  --
1408.72/353.07	c  N dy  4014    577408      2765      9386    607357     43754   1514090   3334682    145.29     15.04  --
1449.06/363.18	c  N dy  4154    597474      2765      9386    607371     63111   1514090   5863935    130.21     15.01  --
1481.81/371.37	c  N dy  4296    617586      2765      9386    607377     50994   1514090   4117701    171.25     14.99  --
1530.54/383.56	c  N dy  4436    637697      2765      9386    607382     37717   1514088   2223390     98.55     15.00  --
1564.50/392.00	c  N dy  4577    657808      2765      9386    612550     57132   1514088   4466056    119.48     14.96  --
1605.25/402.26	c  N dy  4720    677888      2765      9386    612550     42842   1514087   2972091    182.74     14.97  --
1653.58/414.34	c  N dy  4860    697919      2778      9386    613978     62149   1514138   5313261     90.74     14.99  --
1692.72/424.15	c  N dy  4999    717988      2778      9386    613978     46758   1514138   3304067    140.30     14.98  --
1745.45/437.38	c  N dy  5138    738071      2778      9386    613978     66042   1514137   5912329    146.26     15.05  --
1789.39/448.36	c  N dy  5279    758088      2778      9386    614574     49767   1514136   3682381    109.42     15.06  --
1842.12/461.50	c  N dy  5419    778116      2798      9386    617165     69732   1514608   6287478     87.21     15.05  --
1878.87/470.77	c  N dy  5560    798232      2798      9386    617165     52121   1514606   3594014    111.93     15.01  --
1893.27/474.39	c  S st  5615    805951      2798      9386    617165     59605   1514606   4540682    206.69     15.01  --
1894.45/474.63	c  S st  5615    806453      2798      9386    617165     60106   1514606   4600847    206.69     15.01  --
1894.45/474.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1894.45/474.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1916.82/480.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    337 BRemL:    557 BRemN:   2054 CBin:       0 P: 60.1M T: 22.22
1916.82/480.28	c Calc non-exist non-lernt bins v-fix:     0 done:   2798 time:  0.28 s
1916.82/480.28	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
1917.62/480.45	c Subs w/ non-existent bins:    190 time:  0.66 s
1918.02/480.52	c Replacing        3 vars Replaced     5809 lits Time:     0.28 s 
1918.81/480.73	c bin-w-bin subsume rem          227 bins  time:  0.43 s
1925.20/482.35	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  6.45 s
1925.20/482.37	c Removed useless bin:      41  fixed:     0  bprops:   0.74M  time:  0.11 s
1969.14/493.38	c ORs :    139 avg-s:  2.0 cl-sh:    34 l-rem:     34 b-add:      0 v-rep:   0 cl-rem: 21 avg s: 3.0 T:    1.30
1969.54/493.43	c lits-rem:       189  cl-subs:     6652  v-elim:   4072  v-fix:    0  time: 44.17 s
1969.54/493.43	c learnt bin added due to v-elim: 0
1969.54/493.45	c vivif2 --  cl tried    12022 cl shrink      764 lits rem        764 time: 0.06
1969.94/493.58	c vivif2 --  cl tried    53264 cl shrink      447 lits rem       1093 time: 0.54
1971.14/493.89	c asymm  cl-useful: 0/98/11258 lits-rem:0 time: 1.22
1971.54/493.90	c calculated reachability. Time: 0.01
1971.54/493.90	c  N dy  5615    806453      2790     11258    612587     53263   1512203   3875661    206.69     15.01  --
2021.87/506.55	c  N dy  5754    826469      2804     11258    614420     73237   1512567   6455074     71.32     15.04  --
2059.02/515.85	c  N dy  5894    846518      2804     11258    614420     54600   1512567   3687589     80.42     15.02  --
2100.56/526.22	c  N dy  6033    866616      2804     11258    614420     73884   1512567   5482638     81.69     14.97  --
2136.92/535.30	c  N dy  6173    886709      2804     11258    615391     54626   1512567   3719377    153.31     14.93  --
2178.87/545.81	c  N dy  6313    906834      2804     11258    615391     74096   1512567   6103695    132.22     14.92  --
2221.60/556.54	c  N dy  6453    926933      2804     11258    615395     53844   1512567   3761108     88.36     14.94  --
2269.93/568.61	c  N dy  6593    947001      2804     11258    615395     73129   1512567   5679298    111.81     14.93  --
2310.69/578.86	c  N dy  6734    967063      2804     11258    615395     52021   1512566   3151940    174.61     14.94  --
2349.82/588.63	c  N dy  6872    987152      2804     11258    615395     71268   1512566   4943731     69.85     14.90  --
2391.36/599.09	c  N dy  7009   1007212      2804     11258    615395     49115   1512566   2749925    119.72     14.89  --
2427.71/608.18	c  N dy  7149   1027232      2804     11258    615395     68403   1512565   4687372    106.66     14.86  --
2468.46/618.32	c  N dy  7290   1047361      2804     11258    615395     45413   1512563   2396285    124.86     14.84  --
2510.80/628.94	c  N dy  7431   1067496      2804     11258    615395     64738   1512563   4707949     62.87     14.87  --
2567.52/643.12	c  N dy  7570   1087541      2804     11258    615395     83912   1512563   6830127    144.03     14.88  --
2609.89/653.78	c  N dy  7711   1107640      2804     11258    615395     59972   1512563   3741579     92.99     14.86  --
2651.01/664.08	c  N dy  7850   1127655      2804     11258    615395     79254   1512563   5668746     92.83     14.86  --
2688.16/673.35	c  N dy  7990   1147706      2804     11258    615395     54439   1512563   3095956     85.91     14.84  --
2726.10/682.82	c  N dy  8130   1167771      2804     11258    615395     73795   1512563   5022231     94.34     14.81  --
2766.44/692.98	c  N dy  8271   1187794      2804     11258    615395     47778   1512563   2344685     89.59     14.78  --
2800.80/701.55	c  N dy  8412   1207832      2804     11258    615395     67060   1512563   4305287     93.78     14.77  --
2805.59/702.78	c  S st  8426   1209680      2804     11258    615395     68845   1512563   4469914     79.50     14.76  --
2806.79/703.09	c  S st  8426   1210182      2804     11258    615395     69346   1512563   4526734     79.50     14.76  --
2807.21/703.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
2807.21/703.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2829.17/708.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bin:      0 BRemL:    471 BRemN:   1727 CBin:       0 P: 60.0M T: 21.94
2829.17/708.68	c Calc non-exist non-lernt bins v-fix:     0 done:   2804 time:  0.28 s
2829.17/708.68	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2829.95/708.88	c Subs w/ non-existent bins:    154 time:  0.83 s
2830.35/708.91	c Replacing        1 vars Replaced       10 lits Time:     0.11 s 
2831.15/709.12	c bin-w-bin subsume rem          817 bins  time:  0.43 s
2837.55/710.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.37 s
2837.55/710.74	c Removed useless bin:      31  fixed:     0  bprops:   0.74M  time:  0.11 s
2875.09/720.15	c ORs :    139 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    1.65
2893.07/724.64	c Added 29 vars  tried: 80000 time: 17.95
2893.87/724.88	c ORs :     29 avg-s:  0.0 cl-sh: 34798 l-rem:  34798 b-add:     58 v-rep:   0 cl-rem: 49 avg s: 13.8 T:   18.90
2894.27/724.94	c lits-rem:       399  cl-subs:     6260  v-elim:   2477  v-fix:    0  time: 56.71 s
2894.27/724.94	c learnt bin added due to v-elim: 0
2894.27/724.95	c vivif2 --  cl tried    11255 cl shrink        0 lits rem          0 time: 0.05
2895.09/725.11	c vivif2 --  cl tried    62914 cl shrink      252 lits rem        402 time: 0.64
2895.86/725.34	c asymm  cl-useful: 0/294/11255 lits-rem:0 time: 0.89
2895.86/725.35	c calculated reachability. Time: 0.02
2895.86/725.35	c  N dy  8426   1210182      2832     11255    612406     62913   1506157   4049136     79.50     14.76  --
2936.60/735.54	c  N dy  8563   1230245      2832     11255    612426     82505   1506157   7082838    129.49     14.96  --
2957.01/740.61	c Finding binary XORs  T:     0.06 s  found:       0
2972.16/744.48	c  N dy  8698   1250300      2832     11255    612426     55599   1506155   3886471    164.83     15.09  --
3022.91/757.12	c  N dy  8832   1270442      2832     11255    612430     74871   1506155   7506844    180.84     15.29  --
3108.38/778.54	c  N dy  8963   1290518      2832     11255    612430     46990   1506155   2321603    149.59     15.45  --
3147.92/788.46	c  N dy  9096   1310629      2832     11255    612431     66110   1506155   5614758    160.98     15.62  --
3217.83/805.97	c  N dy  9228   1330678      2840     11255    618852     85445   1506191   8701590    163.44     15.71  --
3285.73/822.96	c  N dy  9362   1350699      2840     11255    618852     56867   1506191   4212422    175.89     15.79  --
3348.44/838.68	c  N dy  9495   1370804      2840     11255    618852     76093   1506191   7894993    188.52     16.05  --
3411.16/854.37	c  N dy  9630   1390922      2840     11255    619119     95549   1506191  10987956    208.24     16.09  --
3461.09/866.88	c  N dy  9764   1410969      2844     11255    619429     65761   1506207   5818155    219.06     16.29  --
3541.00/886.81	c  N dy  9896   1431092      2844     11255    619429     84956   1506207   9634018    196.38     16.46  --
3629.66/909.07	c  N dy 10027   1451148      2844     11255    619593     54317   1506207   3356944    142.41     16.58  --
3682.38/922.29	c  N dy 10159   1471222      2844     11255    619593     73488   1506206   6664891    208.58     16.70  --
3765.09/942.96	c  N dy 10291   1491351      2874     11255    622750     92879   1506326  10335152    232.84     16.85  --
3824.19/957.79	c  N dy 10424   1511361      2874     11255    622750     61272   1506326   4324545    165.25     16.94  --
3895.69/975.61	c  N dy 10556   1531448      2874     11255    623496     80520   1506326   7990505    200.59     17.15  --
3976.41/995.84	c  N dy 10690   1551574      2874     11255    623496     99986   1506326  11592630    192.99     17.28  --
4034.69/1010.46	c  N dy 10824   1571661      2874     11255    623497     67428   1506326   5629789    214.39     17.44  --
4117.02/1031.07	c  N dy 10957   1591803      2874     11255    623497     86808   1506326   9168556    199.00     17.65  --
4184.12/1047.83	c  N dy 11092   1611904      2874     11255    623497     53400   1506326   2871665    184.00     17.70  --
4238.46/1061.45	c  N dy 11225   1631973      2874     11255    623497     72666   1506326   6480359    199.84     17.93  --
4307.98/1078.88	c  N dy 11360   1652026      2874     11255    623497     92124   1506326  10371303    225.01     18.04  --
4373.10/1095.17	c  N dy 11493   1672124      2874     11255    623497     57558   1506325   3585487    224.35     18.04  --
4424.67/1108.01	c  N dy 11627   1692215      2874     11255    623497     77004   1506324   7285848    183.86     18.08  --
4498.98/1126.65	c  S st 11748   1710182      2874     11255    623497     94359   1506324  10563174    195.33     18.10  --
4501.76/1127.36	c  S st 11748   1710683      2874     11255    623497     94858   1506324  10634666    195.33     18.10  --
4501.76/1127.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
4501.76/1127.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4536.12/1135.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    680 BRemN:    173 CBin:       0 P: 60.1M T: 34.29
4536.52/1136.05	c Calc non-exist non-lernt bins v-fix:     0 done:   2874 time:  0.29 s
4536.52/1136.05	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4537.72/1136.30	c Subs w/ non-existent bins:      0 time:  1.00 s
4537.72/1136.34	c Replacing        1 vars Replaced       16 lits Time:     0.17 s 
4538.94/1136.69	c bin-w-bin subsume rem            3 bins  time:  0.43 s
4547.32/1138.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  8.23 s
4547.32/1138.78	c Removed useless bin:       2  fixed:     0  bprops:   0.72M  time:  0.11 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-3250887-1304183097/watcher-3250887-1304183097 -o /tmp/evaluation-result-3250887-1304183097/solver-3250887-1304183097 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250887-1304183097.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: 8.28 8.00 7.96 5/180 10698
/proc/meminfo: memFree=20711048/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=52272 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 1321 0 0 0 0 0 0 0 25 0 1 0 529907472 53526528 1256 33554432000 4194304 4797429 140735559287856 18446744073709551615 4366078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10698/statm: 13068 1260 347 148 0 7997 0

[startup+0.0144551 s]
/proc/loadavg: 8.28 8.00 7.96 5/180 10698
/proc/meminfo: memFree=20711048/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=54876 CPUtime=0 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 1906 0 0 0 0 0 0 0 25 0 1 0 529907472 56193024 1775 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10698/statm: 13719 1779 348 148 0 8648 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 54876

[startup+0.100484 s]
/proc/loadavg: 8.28 8.00 7.96 5/180 10698
/proc/meminfo: memFree=20711048/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=65040 CPUtime=0.09 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 4436 0 0 0 9 0 0 0 25 0 1 0 529907472 66600960 4306 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687336133 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10698/statm: 16260 4309 348 148 0 11189 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65040

[startup+0.300448 s]
/proc/loadavg: 8.28 8.00 7.96 5/180 10698
/proc/meminfo: memFree=20711048/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=87808 CPUtime=0.28 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 10143 0 0 0 27 1 0 0 25 0 1 0 529907472 89915392 10012 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687333567 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/10698/statm: 21952 10012 348 148 0 16881 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 87808

[startup+0.918845 s]
/proc/loadavg: 8.28 8.00 7.96 5/180 10698
/proc/meminfo: memFree=20711048/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=730092 CPUtime=2.34 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 21427 0 0 0 230 4 0 0 18 0 4 0 529907472 747614208 21259 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687371970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 182523 21260 399 148 0 177452 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 730092

[startup+1.50119 s]
/proc/loadavg: 8.28 8.00 7.96 10/184 10702
/proc/meminfo: memFree=20604860/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=732308 CPUtime=4.67 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 27884 0 0 0 461 6 0 0 18 0 4 0 529907472 749883392 27659 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 183077 27659 409 148 0 178006 0
[pid=10698/tid=10700] ppid=10696 vsize=732308 CPUtime=1.04 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 3675 0 0 0 104 0 0 0 19 0 4 0 529907515 749883392 27659 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=732308 CPUtime=1.05 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 3773 0 0 0 104 1 0 0 18 0 4 0 529907515 749883392 27659 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=732308 CPUtime=1.06 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 3738 0 0 0 105 1 0 0 19 0 4 0 529907515 749883392 27660 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687371963 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 732308

[startup+3.1009 s]
/proc/loadavg: 8.28 8.00 7.96 9/184 10702
/proc/meminfo: memFree=20591840/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=749372 CPUtime=11.06 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 35469 0 0 0 1098 8 0 0 21 0 4 0 529907472 767356928 29649 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 187343 29649 412 148 0 182272 0
[pid=10698/tid=10700] ppid=10696 vsize=749372 CPUtime=2.63 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 5669 0 0 0 262 1 0 0 22 0 4 0 529907515 767356928 29649 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424868 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=749372 CPUtime=2.66 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 6021 0 0 0 264 2 0 0 21 0 4 0 529907515 767356928 29649 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=749372 CPUtime=2.65 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 5399 0 0 0 264 1 0 0 22 0 4 0 529907515 767356928 29649 33554432000 4194304 4797429 140735559287856 18446744073709551615 4351725 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 749372

[startup+6.30031 s]
/proc/loadavg: 8.26 8.00 7.96 9/184 10702
/proc/meminfo: memFree=20574584/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=753152 CPUtime=23.83 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 43350 0 0 0 2373 10 0 0 25 0 4 0 529907472 771227648 34357 33554432000 4194304 4797429 140735559287856 18446744073709551615 4341181 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 188288 34357 415 148 0 183217 0
[pid=10698/tid=10700] ppid=10696 vsize=753152 CPUtime=5.82 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 7122 0 0 0 580 2 0 0 25 0 4 0 529907515 771227648 34357 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=753152 CPUtime=5.85 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 7545 0 0 0 583 2 0 0 25 0 4 0 529907515 771227648 34357 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=753152 CPUtime=5.85 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 6715 0 0 0 583 2 0 0 25 0 4 0 529907515 771227648 34357 33554432000 4194304 4797429 140735559287856 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.83
Current children cumulated vsize (KiB) 753152

[startup+12.7011 s]
/proc/loadavg: 8.24 8.00 7.96 9/184 10702
/proc/meminfo: memFree=20539848/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=756876 CPUtime=49.4 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 54822 0 0 0 4926 14 0 0 25 0 4 0 529907472 775041024 43127 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429107 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 189219 43127 416 148 0 184148 0
[pid=10698/tid=10700] ppid=10696 vsize=756876 CPUtime=12.18 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 9560 0 0 0 1216 2 0 0 25 0 4 0 529907515 775041024 43127 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=756876 CPUtime=12.25 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 10257 0 0 0 1222 3 0 0 25 0 4 0 529907515 775041024 43127 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=756876 CPUtime=12.25 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 8861 0 0 0 1222 3 0 0 25 0 4 0 529907515 775041024 43127 33554432000 4194304 4797429 140735559287856 18446744073709551615 4427203 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.4
Current children cumulated vsize (KiB) 756876

[startup+25.5008 s]
/proc/loadavg: 8.18 8.00 7.96 9/184 10702
/proc/meminfo: memFree=20530516/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=768756 CPUtime=100.55 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 64496 0 0 0 10039 16 0 0 25 0 4 0 529907472 787206144 45423 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 192189 45423 416 148 0 187118 0
[pid=10698/tid=10700] ppid=10696 vsize=768756 CPUtime=24.91 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 11360 0 0 0 2489 2 0 0 25 0 4 0 529907515 787206144 45423 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=768756 CPUtime=25.06 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 11051 0 0 0 2503 3 0 0 25 0 4 0 529907515 787206144 45423 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=768756 CPUtime=25.05 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 10035 0 0 0 2502 3 0 0 25 0 4 0 529907515 787206144 45423 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 100.55
Current children cumulated vsize (KiB) 768756

[startup+51.1012 s]
/proc/loadavg: 8.12 8.00 7.96 9/184 10703
/proc/meminfo: memFree=20514216/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=775944 CPUtime=202.78 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 76401 0 0 0 20259 19 0 0 25 0 4 0 529907472 794566656 49485 33554432000 4194304 4797429 140735559287856 18446744073709551615 4428900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 193986 49485 418 148 0 188915 0
[pid=10698/tid=10700] ppid=10696 vsize=775944 CPUtime=50.38 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 12170 0 0 0 5035 3 0 0 25 0 4 0 529907515 794566656 49485 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=775944 CPUtime=50.64 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 12845 0 0 0 5061 3 0 0 25 0 4 0 529907515 794566656 49485 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=775944 CPUtime=50.64 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 11136 0 0 0 5061 3 0 0 25 0 4 0 529907515 794566656 49485 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.78
Current children cumulated vsize (KiB) 775944

[startup+102.301 s]
/proc/loadavg: 8.13 8.03 7.97 9/184 10704
/proc/meminfo: memFree=20497320/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=787532 CPUtime=407.3 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 102168 0 0 0 40703 27 0 0 25 0 4 0 529907472 806432768 53851 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 196883 53851 420 148 0 191812 0
[pid=10698/tid=10700] ppid=10696 vsize=787532 CPUtime=101.3 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 14961 0 0 0 10127 3 0 0 25 0 4 0 529907515 806432768 53851 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=787532 CPUtime=101.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 15588 0 0 0 10180 4 0 0 25 0 4 0 529907515 806432768 53851 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687371921 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=787532 CPUtime=101.85 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 13881 0 0 0 10180 5 0 0 25 0 4 0 529907515 806432768 53851 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 407.3
Current children cumulated vsize (KiB) 787532

[startup+162.301 s]
/proc/loadavg: 8.12 8.05 7.98 9/184 10706
/proc/meminfo: memFree=20480684/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=796036 CPUtime=646.96 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 134611 0 0 0 64658 38 0 0 25 0 4 0 529907472 815140864 57131 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520280 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 199009 57131 419 148 0 193938 0
[pid=10698/tid=10700] ppid=10696 vsize=796036 CPUtime=160.97 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 18108 0 0 0 16093 4 0 0 25 0 4 0 529907515 815140864 57131 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=796036 CPUtime=161.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 18495 0 0 0 16179 5 0 0 25 0 4 0 529907515 815140864 57131 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=796036 CPUtime=161.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 18008 0 0 0 16178 6 0 0 25 0 4 0 529907515 815140864 57131 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.96
Current children cumulated vsize (KiB) 796036

[startup+222.301 s]
/proc/loadavg: 8.19 8.08 8.00 9/184 10708
/proc/meminfo: memFree=20459776/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=799884 CPUtime=886.64 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 168355 0 0 0 88615 49 0 0 25 0 4 0 529907472 819081216 59292 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687372043 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 199971 59293 421 148 0 194900 0
[pid=10698/tid=10700] ppid=10696 vsize=799884 CPUtime=220.65 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 20923 0 0 0 22060 5 0 0 25 0 4 0 529907515 819081216 59293 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=799884 CPUtime=221.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 21041 0 0 0 22179 5 0 0 25 0 4 0 529907515 819081216 59293 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=799884 CPUtime=221.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 19488 0 0 0 22178 6 0 0 25 0 4 0 529907515 819081216 59293 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524596 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.64
Current children cumulated vsize (KiB) 799884

[startup+282.301 s]

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

[pid=10698] ppid=10696 vsize=825028 CPUtime=2803.99 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 372728 0 0 0 280282 117 0 0 25 0 4 0 529907472 844828672 74164 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 206257 74164 421 148 0 201186 0
[pid=10698/tid=10700] ppid=10696 vsize=825028 CPUtime=698.04 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 37883 0 0 0 69793 11 0 0 25 0 4 0 529907515 844828672 74164 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=825028 CPUtime=701.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 35608 0 0 0 70174 10 0 0 25 0 4 0 529907515 844828672 74164 33554432000 4194304 4797429 140735559287856 18446744073709551615 4558664 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=825028 CPUtime=701.83 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 37379 0 0 0 70171 12 0 0 25 0 4 0 529907515 844828672 74164 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.99
Current children cumulated vsize (KiB) 825028

[startup+762.301 s]
/proc/loadavg: 8.08 8.08 8.01 9/184 10722
/proc/meminfo: memFree=20256248/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=828632 CPUtime=3043.67 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 391789 0 0 0 304243 124 0 0 25 0 4 0 529907472 848519168 80846 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 207158 80846 421 148 0 202087 0
[pid=10698/tid=10700] ppid=10696 vsize=828632 CPUtime=757.72 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 40646 0 0 0 75760 12 0 0 25 0 4 0 529907515 848519168 80846 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=828632 CPUtime=761.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 36600 0 0 0 76174 10 0 0 25 0 4 0 529907515 848519168 80846 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=828632 CPUtime=761.83 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 38554 0 0 0 76171 12 0 0 25 0 4 0 529907515 848519168 80846 33554432000 4194304 4797429 140735559287856 18446744073709551615 4423635 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.67
Current children cumulated vsize (KiB) 828632

[startup+822.301 s]
/proc/loadavg: 8.03 8.07 8.01 9/184 10724
/proc/meminfo: memFree=20274872/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=836356 CPUtime=3283.33 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 417331 0 0 0 328201 132 0 0 25 0 4 0 529907472 856428544 76051 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 209089 76051 421 148 0 204018 0
[pid=10698/tid=10700] ppid=10696 vsize=836356 CPUtime=817.39 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 42846 0 0 0 81726 13 0 0 25 0 4 0 529907515 856428544 76051 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=836356 CPUtime=821.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 38690 0 0 0 82173 11 0 0 25 0 4 0 529907515 856428544 76051 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=836356 CPUtime=821.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 41043 0 0 0 82171 13 0 0 25 0 4 0 529907515 856428544 76051 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3283.33
Current children cumulated vsize (KiB) 836356

[startup+882.301 s]
/proc/loadavg: 8.05 8.06 8.01 9/184 10725
/proc/meminfo: memFree=20241416/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=837568 CPUtime=3523.01 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 437638 0 0 0 352161 140 0 0 25 0 4 0 529907472 857669632 84545 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 209392 84545 421 148 0 204321 0
[pid=10698/tid=10700] ppid=10696 vsize=837568 CPUtime=877.07 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 44093 0 0 0 87694 13 0 0 25 0 4 0 529907515 857669632 84545 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=837568 CPUtime=881.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 39687 0 0 0 88173 11 0 0 25 0 4 0 529907515 857669632 84546 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=837568 CPUtime=881.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 42366 0 0 0 88170 14 0 0 25 0 4 0 529907515 857669632 84546 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3523.01
Current children cumulated vsize (KiB) 837568

[startup+942.301 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 10727
/proc/meminfo: memFree=20233084/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=840784 CPUtime=3762.68 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 458306 0 0 0 376120 148 0 0 25 0 4 0 529907472 860962816 86591 33554432000 4194304 4797429 140735559287856 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 210196 86591 421 148 0 205125 0
[pid=10698/tid=10700] ppid=10696 vsize=840784 CPUtime=936.74 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 45474 0 0 0 93660 14 0 0 25 0 4 0 529907515 860962816 86591 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=840784 CPUtime=941.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 41561 0 0 0 94172 12 0 0 25 0 4 0 529907515 860962816 86591 33554432000 4194304 4797429 140735559287856 18446744073709551615 4430012 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=840784 CPUtime=941.83 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 44995 0 0 0 94169 14 0 0 25 0 4 0 529907515 860962816 86591 33554432000 4194304 4797429 140735559287856 18446744073709551615 212687371921 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.68
Current children cumulated vsize (KiB) 840784

[startup+1002.3 s]
/proc/loadavg: 8.05 8.06 8.00 9/184 10728
/proc/meminfo: memFree=20251580/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=846228 CPUtime=4002.36 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 481550 0 0 0 400079 157 0 0 25 0 4 0 529907472 866537472 81573 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 211557 81573 421 148 0 206486 0
[pid=10698/tid=10700] ppid=10696 vsize=846228 CPUtime=996.42 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 47951 0 0 0 99628 14 0 0 25 0 4 0 529907515 866537472 81573 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=846228 CPUtime=1001.85 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 42589 0 0 0 100172 13 0 0 25 0 4 0 529907515 866537472 81573 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=846228 CPUtime=1001.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 46184 0 0 0 100170 14 0 0 25 0 4 0 529907515 866537472 81573 33554432000 4194304 4797429 140735559287856 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4002.36
Current children cumulated vsize (KiB) 846228

[startup+1062.3 s]
/proc/loadavg: 5.75 7.43 7.79 5/175 10748
/proc/meminfo: memFree=24007716/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=847588 CPUtime=4242.06 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 505038 0 0 0 424040 166 0 0 25 0 4 0 529907472 867930112 85304 33554432000 4194304 4797429 140735559287856 18446744073709551615 4354704 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 211897 85304 421 148 0 206826 0
[pid=10698/tid=10700] ppid=10696 vsize=847588 CPUtime=1056.13 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 49104 0 0 0 105599 14 0 0 25 0 4 0 529907515 867930112 85304 33554432000 4194304 4797429 140735559287856 18446744073709551615 4415808 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=847588 CPUtime=1061.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 44615 0 0 0 106171 13 0 0 25 0 4 0 529907515 867930112 85304 33554432000 4194304 4797429 140735559287856 18446744073709551615 4424977 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=847588 CPUtime=1061.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 49225 0 0 0 106168 16 0 0 25 0 4 0 529907515 867930112 85304 33554432000 4194304 4797429 140735559287856 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4242.06
Current children cumulated vsize (KiB) 847588

[startup+1122.31 s]
/proc/loadavg: 4.68 6.82 7.56 5/175 10750
/proc/meminfo: memFree=23988292/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=848348 CPUtime=4481.8 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 527145 0 0 0 448006 174 0 0 25 0 4 0 529907472 868708352 89897 33554432000 4194304 4797429 140735559287856 18446744073709551615 4358819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 212087 89897 421 148 0 207016 0
[pid=10698/tid=10700] ppid=10696 vsize=848348 CPUtime=1115.86 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 52066 0 0 0 111571 15 0 0 25 0 4 0 529907515 868708352 89897 33554432000 4194304 4797429 140735559287856 18446744073709551615 4520411 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=848348 CPUtime=1121.85 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 45608 0 0 0 112171 14 0 0 25 0 4 0 529907515 868708352 89897 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=848348 CPUtime=1121.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 50308 0 0 0 112168 16 0 0 25 0 4 0 529907515 868708352 89897 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524480 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.8
Current children cumulated vsize (KiB) 848348

[startup+1182.3 s]
/proc/loadavg: 4.25 6.30 7.33 5/175 10751
/proc/meminfo: memFree=23953224/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=884104 CPUtime=4721.5 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 542505 0 0 0 471971 179 0 0 25 0 4 0 529907472 905322496 98536 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 221026 98536 421 148 0 215955 0
[pid=10698/tid=10700] ppid=10696 vsize=884104 CPUtime=1175.58 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 53612 0 0 0 117542 16 0 0 25 0 4 0 529907515 905322496 98536 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=884104 CPUtime=1181.84 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 47751 0 0 0 118169 15 0 0 25 0 4 0 529907515 905322496 98536 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524464 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=884104 CPUtime=1181.84 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 53020 0 0 0 118167 17 0 0 25 0 4 0 529907515 905322496 98536 33554432000 4194304 4797429 140735559287856 18446744073709551615 4430000 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4721.5
Current children cumulated vsize (KiB) 884104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202 s]
/proc/loadavg: 4.24 6.17 7.26 5/175 10752
/proc/meminfo: memFree=23948864/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=884104 CPUtime=4800.22 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 543719 0 0 0 479842 180 0 0 25 0 4 0 529907472 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 221026 99741 421 148 0 215955 0
[pid=10698/tid=10700] ppid=10696 vsize=884104 CPUtime=1195.18 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 54042 0 0 0 119502 16 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=884104 CPUtime=1201.55 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 48169 0 0 0 120140 15 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=884104 CPUtime=1201.55 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 53386 0 0 0 120137 18 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 884104

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

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

[startup+1202 s]
/proc/loadavg: 4.24 6.17 7.26 5/175 10752
/proc/meminfo: memFree=23948864/32951124 swapFree=67111524/67111528
[pid=10698] ppid=10696 vsize=884104 CPUtime=4800.22 cores=0,2,4,6
/proc/10698/stat : 10698 (techdemo) R 10696 10698 10191 0 -1 4202496 543719 0 0 0 479842 180 0 0 25 0 4 0 529907472 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4568105 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/10698/statm: 221026 99741 421 148 0 215955 0
[pid=10698/tid=10700] ppid=10696 vsize=884104 CPUtime=1195.18 cores=0,2,4,6
/proc/10698/task/10700/stat : 10700 (techdemo) R 10696 10698 10191 0 -1 4202560 54042 0 0 0 119502 16 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10698/tid=10701] ppid=10696 vsize=884104 CPUtime=1201.55 cores=0,2,4,6
/proc/10698/task/10701/stat : 10701 (techdemo) R 10696 10698 10191 0 -1 4202560 48169 0 0 0 120140 15 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10698/tid=10702] ppid=10696 vsize=884104 CPUtime=1201.55 cores=0,2,4,6
/proc/10698/task/10702/stat : 10702 (techdemo) R 10696 10698 10191 0 -1 4202560 53386 0 0 0 120137 18 0 0 25 0 4 0 529907515 905322496 99741 33554432000 4194304 4797429 140735559287856 18446744073709551615 4524493 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.22
Current children cumulated vsize (KiB) 884104

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.03
CPU time (s): 4800.28
CPU user time (s): 4798.45
CPU system time (s): 1.82572
CPU usage (%): 399.347
Max. virtual memory (cumulated for all children) (KiB): 941972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.45
system time used= 1.82572
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 543719
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= 1560
involuntary context switches= 22490

runsolver used 1.80872 second user time and 4.6203 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-30 19:04:57
IDJOB=3250887
IDBENCH=88204
IDSOLVER=1584
FILE ID=node139/3250887-1304183097
RUNJOBID= node139-1304181688-10505
PBS_JOBID= 13172444
Free space on /tmp= 72664 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m52-q918.75-n50-p30-s52376212.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250887-1304183097/watcher-3250887-1304183097 -o /tmp/evaluation-result-3250887-1304183097/solver-3250887-1304183097 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250887-1304183097.cnf

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

MD5SUM BENCH= f34a5dd1cdce70a322dd395bcb5f1303
RANDOM SEED=367508972

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20711328 kB
Buffers:       2065952 kB
Cached:        6188500 kB
SwapCached:          4 kB
Active:        4901080 kB
Inactive:      6811488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20711328 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:          214384 kB
Writeback:           0 kB
AnonPages:     3457876 kB
Mapped:          15744 kB
Slab:           455228 kB
PageTables:      11764 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4454784 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= 72884 MiB
End job on node139 at 2011-04-30 19:25:01