Trace number 3285376

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.24 1202.26

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
MD5SUM3c5c73741ba21d5f39c7f436ba834743
Bench CategoryAPPLICATION (applications 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 variables95456
Number of clauses483561
Sum of the clauses size1149911
Maximum clause length63
Minimum clause length1
Number of clauses of size 1211
Number of clauses of size 2477300
Number of clauses of size 31500
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54550

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-3285376-1304040384.cnf'
0.00/0.00	c -- header says num vars:          95456
0.00/0.00	c -- header says num clauses:      483561
0.59/0.61	c -- clauses added:            0 learnts,       483561 normals,            0 xors
0.59/0.61	c -- vars added      95456
0.59/0.61	c Parsing time:  0.54 s
0.59/0.61	c  N st     0         0     95456      4690    271717         0    628948         0   no data   no data  --
0.94/0.78	c asymm  cl-useful: 20/260/4569 lits-rem:224 time: 0.67
14.11/4.03	c Flit:   815 Blit:    767 bXBeca:    0 bXProp:  535 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 12.96
14.11/4.04	c Cleaning up after failed var search:     0.04 s 
17.28/4.81	c Calc non-exist non-lernt bins v-fix:     0 done:  21180 time:  2.85 s
17.28/4.81	c Cache  BProp: 0 Set: 0 BXProp: 90 T: 0.02
17.28/4.81	c Subs w/ non-existent bins:      0 time:  0.01 s
17.28/4.83	c Replacing      626 vars Replaced    23072 lits Time:     0.06 s 
17.28/4.86	c bin-w-bin subsume rem         3519 bins  time:  0.07 s
17.68/4.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.21 s
18.08/5.01	c Removed useless bin:    3114  fixed:     0  bprops:  10.00M  time:  0.37 s
18.08/5.04	c lits-rem:         0  cl-subs:      432  v-elim:  21415  v-fix:    0  time:  0.14 s
18.08/5.04	c learnt bin added due to v-elim: 0
18.08/5.05	c Finding binary XORs  T:     0.04 s  found:     242
18.08/5.07	c Replacing      242 vars Replaced    12376 lits Time:     0.05 s 
18.08/5.08	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
18.08/5.08	c Calc default polars -  time:   0.02 s pos:    2750 undec:   74714 neg:   17992
18.08/5.08	c =========================================================================================
18.08/5.08	c types(t): F = full restart, N = normal restart
18.08/5.08	c types(t): S = simplification begin/end, E = solution found
18.08/5.08	c restart types(rt): st = static, dy = dynamic
18.08/5.08	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
18.08/5.08	c  B st     0         0     42590      3899    173650         0    419488         0   no data   no data  --
27.27/7.39	c Decided on dynamic restart strategy
37.28/9.87	c  N dy    19      4058     42569      3899    173676      3709    419488   1441447    550.20     36.12  --
50.46/13.18	c  N dy    46      8164     42562      3899    173708      5241    419488   1366954    509.37     33.63  --
72.02/18.58	c  N dy    73     12299     42517      3899    176701      5225    425180   1040745    475.36     33.98  --
93.59/23.92	c  N dy   101     16423     42492      3899    176755      9064    425180   2471019    318.90     30.35  --
117.15/29.87	c  N dy   129     20563     42437      3899    176796      7703    425180   1394707    438.43     29.30  --
147.53/37.43	c  N dy   156     24679     42411      3899    176818     11554    425180   3182314    499.86     27.93  --
177.46/44.95	c  N dy   183     28779     42382      3899    176853      8994    425180   1905947    591.50     27.47  --
185.46/46.92	c  S st   192     30001     42375      3899    176855     10165    425180   2339267    328.64     27.54  --
187.45/47.42	c  S st   192     30503     42375      3899    251052     12919    514160   2562470    328.64     27.54  --
187.45/47.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
187.45/47.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
212.61/53.72	c Flit:    29 Blit:     45 bXBeca:    0 bXProp:    8 Bin:   1929 BRemL:   1046 BRemN:   2346 CBin:       0 P: 60.0M T: 24.97
217.01/54.81	c Calc non-exist non-lernt bins v-fix:     0 done:  18041 time:  4.27 s
217.01/54.82	c Cache  BProp: 45 Set: 0 BXProp: 22 T: 0.04
217.42/54.94	c Subs w/ non-existent bins:    272 time:  0.46 s
217.42/54.97	c Replacing       31 vars Replaced     2676 lits Time:     0.13 s 
218.20/55.10	c bin-w-bin subsume rem         1742 bins  time:  0.09 s
224.19/56.63	c subs with bin:       33  lits-rem:     10285  v-fix:    0  time:  6.12 s
224.59/56.74	c Removed useless bin:   20767  fixed:     0  bprops:  10.00M  time:  0.41 s
231.38/58.49	c lits-rem:      2553  cl-subs:     5086  v-elim:  16296  v-fix:    0  time:  6.99 s
231.38/58.49	c learnt bin added due to v-elim: 0
231.78/58.51	c vivif2 --  cl tried     4997 cl shrink     1008 lits rem      19893 time: 0.09
232.18/58.61	c vivif2 --  cl tried     7352 cl shrink     5112 lits rem     373956 time: 0.41
233.38/58.92	c asymm  cl-useful: 41/262/4920 lits-rem:409 time: 1.24
233.78/59.09	c calculated reachability. Time: 0.65
233.78/59.09	c  N dy   192     30503     27001      4920    202365      6817    429476    595824    328.64     27.54  --
233.78/59.09	c  F st   192     30503     27001      4920    202365      6817    429476    595824    328.64     27.54  --
236.58/59.75	c Decided on dynamic restart strategy
239.80/60.57	c  N dy   212     34526     26998      4920    202412     10675    429424   1338468    238.00     25.71  --
246.56/62.25	c  N dy   241     38618     26948      4920    207996     15021    431758   1906263    172.15     23.93  --
251.76/63.53	c Finding binary XORs  T:     2.38 s  found:      13
254.95/64.39	c  N dy   270     42645     26817      4901    206091     10472    427438    669058    152.46     22.53  --
259.34/65.40	c  S st   293     45754     26811      4901    206122     13476    427438    956720    148.38     21.57  --
260.14/65.61	c  S st   293     46260     26811      4901    206128     13975    427438   1032704    148.38     21.57  --
260.14/65.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
260.14/65.63	c Cache  BProp: 63 Set: 8 BXProp: 1 T: 0.04
281.71/71.05	c Flit:    15 Blit:     48 bXBeca:    0 bXProp:    0 Bin:   1387 BRemL:    376 BRemN:   2169 CBin:       0 P: 60.0M T: 21.60
286.51/72.20	c Calc non-exist non-lernt bins v-fix:    27 done:  16836 time:  4.57 s
286.51/72.22	c Cache  BProp: 145 Set: 10 BXProp: 0 T: 0.04
287.31/72.41	c Subs w/ non-existent bins:    239 time:  0.76 s
287.31/72.44	c Replacing       14 vars Replaced     1806 lits Time:     0.13 s 
287.72/72.51	c bin-w-bin subsume rem        12459 bins  time:  0.10 s
293.30/73.90	c subs with bin:       61  lits-rem:      1995  v-fix:    0  time:  5.54 s
293.70/74.00	c Removed useless bin:    8936  fixed:     0  bprops:  10.00M  time:  0.42 s
298.49/75.26	c lits-rem:      1434  cl-subs:     1441  v-elim:   2065  v-fix:    0  time:  5.04 s
298.49/75.26	c learnt bin added due to v-elim: 0
298.49/75.28	c vivif2 --  cl tried     4815 cl shrink      289 lits rem       1591 time: 0.08
299.29/75.48	c vivif2 --  cl tried    12447 cl shrink     1925 lits rem      43591 time: 0.77
300.50/75.77	c asymm  cl-useful: 0/228/4776 lits-rem:0 time: 1.17
301.31/76.00	c calculated reachability. Time: 0.88
301.69/76.00	c  N dy   293     46260     25827      4776    181618     12332    372956    758800    148.38     21.57  --
307.28/77.41	c  N dy   322     50299     25824      4776    181672     16218    372956   1198615     84.84     20.62  --
312.87/78.88	c  N dy   351     54349     25816      4776    181760     11207    372956    517264     75.48     19.70  --
317.67/80.06	c  N dy   380     58411     25799      4776    181815     15134    372956    942341    107.84     18.96  --
322.87/81.37	c  N dy   409     62459     25792      4776    181866     19017    372956   1277098     88.61     18.28  --
327.28/82.42	c  N dy   438     66526     25769      4776    181926     13207    372956    556292     83.89     17.63  --
331.25/83.48	c  S st   459     69390     25765      4776    181965     15993    372956    887668     74.99     17.28  --
332.07/83.68	c  S st   459     69893     25763      4776    181973     16481    372956    935174     74.99     17.28  --
332.07/83.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
332.44/83.70	c Cache  BProp: 121 Set: 8 BXProp: 0 T: 0.04
353.64/89.08	c Flit:    47 Blit:    165 bXBeca:    0 bXProp:    4 Bin:   1992 BRemL:   1202 BRemN:   1760 CBin:       0 P: 60.0M T: 21.40
353.64/89.09	c Cleaning up after failed var search:     0.04 s 
358.81/90.36	c Calc non-exist non-lernt bins v-fix:    13 done:  14714 time:  5.08 s
358.81/90.37	c Cache  BProp: 303 Set: 2 BXProp: 0 T: 0.04
360.01/90.62	c Subs w/ non-existent bins:     21 time:  0.98 s
360.01/90.64	c Replacing        4 vars Replaced      735 lits Time:     0.11 s 
360.41/90.70	c bin-w-bin subsume rem         1156 bins  time:  0.07 s
365.61/92.08	c subs with bin:      116  lits-rem:       558  v-fix:    0  time:  5.53 s
366.01/92.20	c Removed useless bin:    7873  fixed:     0  bprops:  10.00M  time:  0.44 s
390.38/98.24	c ORs :  30501 avg-s: 24.1 cl-sh:   673 l-rem:   4945 b-add:     51 v-rep:  10 cl-rem: 0 avg s: nan T:   16.15
398.37/100.27	c Added 8 vars  tried: 80000 time: 8.09
398.37/100.28	c ORs :      8 avg-s:  0.0 cl-sh:   744 l-rem:    744 b-add:     16 v-rep:   0 cl-rem: 0 avg s: nan T:    8.11
398.77/100.32	c lits-rem:       890  cl-subs:     1064  v-elim:   2436  v-fix:    0  time: 32.44 s
398.77/100.32	c learnt bin added due to v-elim: 0
398.77/100.34	c vivif2 --  cl tried     4758 cl shrink      152 lits rem        431 time: 0.09
399.56/100.59	c vivif2 --  cl tried    15052 cl shrink     1416 lits rem      35098 time: 0.99
400.76/100.85	c asymm  cl-useful: 37/254/4734 lits-rem:424 time: 1.02
401.98/101.11	c calculated reachability. Time: 1.02
401.98/101.11	c  N dy   459     69893     23944      4723    167984     15007    342253    771536     74.99     17.28  --
401.98/101.11	c  F st   459     69893     23944      4723    167984     15007    342253    771536     74.99     17.28  --
401.98/101.13	c Replacing       10 vars Replaced     1454 lits Time:     0.06 s 
405.16/101.97	c Decided on dynamic restart strategy
410.77/103.30	c  N dy   482     74377     23901      4723    176925     19479    345677   1240971    157.54     16.81  --
419.55/105.56	c  N dy   516     79157     23717      4723    176994     13392    345677    492543    169.57     16.34  --
428.75/107.81	c  N dy   552     84251     23713      4723    177050     18343    345677    929302     77.01     15.84  --
439.91/110.66	c  N dy   591     89729     23710      4723    177125     11991    345677    295987    112.05     15.38  --
447.49/112.58	c  N dy   633     95512     23670      4723    183537     17848    349033    689367    109.01     14.92  --
458.28/115.21	c  N dy   677    101653     23660      4723    183603     23818    349033   1173137     62.11     14.50  --
463.90/116.67	c  S st   700    104841     23658      4723    183626     14177    349033    385738     74.62     14.30  --
465.08/116.90	c  S st   700    105345     23658      4723    183632     14669    349033    430657     74.62     14.30  --
465.08/116.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
465.08/116.92	c Cache  BProp: 289 Set: 8 BXProp: 2 T: 0.04
484.25/121.78	c Flit:   106 Blit:     47 bXBeca:    0 bXProp:    6 Bin:   1454 BRemL:    287 BRemN:    304 CBin:       0 P: 60.0M T: 19.39
484.25/121.79	c Cleaning up after failed var search:     0.03 s 
489.04/122.92	c Calc non-exist non-lernt bins v-fix:     0 done:  17700 time:  4.51 s
489.04/122.93	c Cache  BProp: 308 Set: 0 BXProp: 4 T: 0.04
489.86/123.16	c Subs w/ non-existent bins:    104 time:  0.90 s
489.86/123.18	c Replacing       12 vars Replaced     1787 lits Time:     0.07 s 
490.26/123.22	c bin-w-bin subsume rem          630 bins  time:  0.08 s
493.84/124.17	c subs with bin:      148  lits-rem:       653  v-fix:    0  time:  3.81 s
494.25/124.29	c Removed useless bin:    4831  fixed:     0  bprops:  10.00M  time:  0.49 s
522.99/131.49	c ORs :  42534 avg-s: 24.7 cl-sh:   153 l-rem:   1358 b-add:     21 v-rep:   7 cl-rem: 0 avg s: nan T:   25.95
523.39/131.52	c lits-rem:       493  cl-subs:      751  v-elim:   2234  v-fix:    0  time: 28.87 s
523.39/131.52	c learnt bin added due to v-elim: 0
523.39/131.55	c vivif2 --  cl tried     4673 cl shrink      209 lits rem        651 time: 0.09
524.20/131.76	c vivif2 --  cl tried    13549 cl shrink      853 lits rem      11524 time: 0.87
525.01/131.97	c asymm  cl-useful: 58/488/4640 lits-rem:61 time: 0.81
526.19/132.24	c calculated reachability. Time: 1.09
526.19/132.25	c  N dy   700    105345     21553      4640    166118     13522    317707    363237     74.62     14.30  --
531.78/133.66	c Finding binary XORs  T:     3.69 s  found:       1
542.58/136.38	c  N dy   748    112077     21519      4640    172726     20256    318931    869066     57.52     13.91  --
558.94/140.49	c  N dy   799    119245     21497      4640    172808     27206    318931   1434338     75.49     13.62  --
572.13/143.71	c  N dy   854    126947     21488      4640    172888     20934    318931    771144     63.70     13.26  --
589.31/148.04	c  N dy   912    135143     21483      4640    172940     28915    318931   1400988    109.59     13.00  --
604.88/151.95	c  N dy   973    143868     21321      4640    173003     22768    318931    881238     73.06     12.69  --
624.05/156.79	c  N dy  1039    153105     21317      4640    173058     16160    318931    275732     44.02     12.45  --
631.64/158.63	c  S st  1075    158018     21316      4640    173108     20938    318931    552332     47.08     12.30  --
632.44/158.87	c  S st  1075    158519     21316      4640    173110     21436    318931    587909     47.08     12.30  --
632.44/158.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
632.44/158.89	c Cache  BProp: 310 Set: 11 BXProp: 0 T: 0.04
651.62/163.66	c Flit:    38 Blit:     34 bXBeca:    0 bXProp:   15 Bin:   1723 BRemL:    263 BRemN:    178 CBin:       0 P: 60.0M T: 19.01
656.83/164.98	c Calc non-exist non-lernt bins v-fix:     1 done:  17263 time:  5.22 s
656.83/164.99	c Cache  BProp: 343 Set: 0 BXProp: 5 T: 0.04
658.41/165.35	c Subs w/ non-existent bins:    287 time:  1.41 s
658.41/165.37	c Replacing       28 vars Replaced     4775 lits Time:     0.11 s 
658.81/165.42	c bin-w-bin subsume rem          382 bins  time:  0.08 s
662.80/166.41	c subs with bin:      222  lits-rem:       923  v-fix:    0  time:  3.96 s
663.20/166.53	c Removed useless bin:    1425  fixed:     0  bprops:  10.00M  time:  0.49 s
696.77/174.96	c ORs :  46884 avg-s: 25.2 cl-sh:    87 l-rem:    896 b-add:     18 v-rep:   7 cl-rem: 0 avg s: nan T:   28.51
696.77/174.99	c lits-rem:      1003  cl-subs:     1170  v-elim:    848  v-fix:    0  time: 33.77 s
696.77/174.99	c learnt bin added due to v-elim: 0
697.15/175.01	c vivif2 --  cl tried     4532 cl shrink       61 lits rem        430 time: 0.09
698.35/175.35	c vivif2 --  cl tried    19578 cl shrink      878 lits rem       8311 time: 1.34
699.15/175.54	c asymm  cl-useful: 8/391/4499 lits-rem:10 time: 0.78
700.35/175.83	c calculated reachability. Time: 1.13
700.35/175.83	c  N dy  1075    158519     20893      4499    165828     19536    304819    500937     47.08     12.30  --
722.74/181.42	c  N dy  1147    168701     20604      4454    167582     29509    299356   1257416     66.84     12.07  --
744.30/186.87	c  N dy  1225    179591     20593      4454    172307     23682    299746    662172     68.39     11.81  --
768.66/192.90	c  N dy  1307    191171     20585      4454    172381     34963    299746   1439621     51.45     11.64  --
783.45/196.63	c Finding binary XORs  T:     4.01 s  found:      16
792.63/198.98	c  N dy  1394    203415     20533      4449    171556     29262    298204    864882     88.02     11.40  --
817.00/205.07	c  N dy  1486    216488     20521      4449    171632     23466    298204    505979     96.33     11.20  --
842.97/211.59	c  N dy  1585    230371     20519      4449    175913     37201    298520   1358011     79.57     11.06  --
857.35/215.10	c  S st  1638    237779     20438      4449    175953     24798    298520    533552     59.56     10.95  --
858.15/215.38	c  S st  1638    238284     20438      4449    175953     25302    298520    573114     59.56     10.95  --
858.15/215.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
858.55/215.41	c Cache  BProp: 395 Set: 1 BXProp: 0 T: 0.04
877.32/220.18	c Flit:    87 Blit:     28 bXBeca:    0 bXProp:   18 Bin:   2322 BRemL:   1268 BRemN:    588 CBin:       0 P: 60.0M T: 19.06
877.32/220.19	c Cleaning up after failed var search:     0.04 s 
882.51/221.45	c Calc non-exist non-lernt bins v-fix:     0 done:  17339 time:  5.03 s
882.51/221.46	c Cache  BProp: 413 Set: 0 BXProp: 1 T: 0.04
884.11/221.84	c Subs w/ non-existent bins:    423 time:  1.49 s
884.11/221.86	c Replacing       42 vars Replaced     5628 lits Time:     0.07 s 
884.51/221.90	c bin-w-bin subsume rem          180 bins  time:  0.08 s
888.51/222.94	c subs with bin:      345  lits-rem:       794  v-fix:    0  time:  4.17 s
888.91/223.07	c Removed useless bin:     903  fixed:     0  bprops:  10.00M  time:  0.50 s
923.65/231.70	c ORs :  48427 avg-s: 26.0 cl-sh:   127 l-rem:    927 b-add:     20 v-rep:   3 cl-rem: 0 avg s: nan T:   27.96
923.65/231.73	c lits-rem:      1693  cl-subs:      847  v-elim:    891  v-fix:    0  time: 34.60 s
923.65/231.73	c learnt bin added due to v-elim: 0
923.65/231.75	c vivif2 --  cl tried     4189 cl shrink       34 lits rem        136 time: 0.09
925.27/232.14	c vivif2 --  cl tried    23642 cl shrink      766 lits rem       7900 time: 1.55
926.05/232.35	c asymm  cl-useful: 10/894/4182 lits-rem:18 time: 0.84
927.25/232.65	c calculated reachability. Time: 1.18
927.25/232.66	c  N dy  1638    238284     19889      4182    168409     23575    285842    512898     59.56     10.95  --
960.43/240.96	c  N dy  1746    253545     19873      4182    172005     38531    286018   1331971     82.65     10.75  --
990.78/248.50	c  N dy  1861    269800     19821      4182    172084     34016    286017    965053     41.45     10.59  --
1021.94/256.34	c  N dy  1985    287077     19814      4182    177819     29488    286235    582510     42.35     10.42  --
1038.30/260.48	c Finding binary XORs  T:     4.05 s  found:       6
1056.28/264.96	c  N dy  2116    305456     19684      4160    174416     24712    282274    348929     32.66     10.25  --
1090.24/273.46	c  N dy  2256    325014     19668      4160    174500     43841    282274   1270211     39.37     10.08  --
1126.19/282.47	c  N dy  2400    345122     19637      4160    174592     40015    282274   1010404     37.59      9.93  --
1149.76/288.30	c  S st  2488    357427     19633      4160    178721     27656    282394    438677     51.99      9.87  --
1150.16/288.49	c  S st  2488    357931     19633      4160    178727     28147    282394    457396     51.99      9.87  --
1150.56/288.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
1150.56/288.51	c Cache  BProp: 387 Set: 0 BXProp: 0 T: 0.04
1168.93/293.19	c Flit:    27 Blit:     10 bXBeca:    0 bXProp:    2 Bin:   4495 BRemL:   2212 BRemN:    784 CBin:       0 P: 60.0M T: 18.67
1174.12/294.45	c Calc non-exist non-lernt bins v-fix:     0 done:  17566 time:  5.03 s
1174.12/294.46	c Cache  BProp: 395 Set: 0 BXProp: 4 T: 0.04
1176.12/294.90	c Subs w/ non-existent bins:    250 time:  1.74 s
1176.12/294.92	c Replacing       15 vars Replaced     1839 lits Time:     0.10 s 
1176.12/294.96	c bin-w-bin subsume rem          111 bins  time:  0.08 s
1178.92/295.60	c subs with bin:      361  lits-rem:       605  v-fix:    0  time:  2.54 s
1179.31/295.72	c Removed useless bin:     383  fixed:     0  bprops:   8.61M  time:  0.47 s
1211.68/303.89	c ORs :  47712 avg-s: 25.9 cl-sh:    43 l-rem:    561 b-add:      5 v-rep:   0 cl-rem: 0 avg s: nan T:   28.16
1212.07/303.92	c lits-rem:      1114  cl-subs:      723  v-elim:    685  v-fix:    0  time: 32.77 s
1212.07/303.92	c learnt bin added due to v-elim: 0
1212.07/303.95	c vivif2 --  cl tried     4023 cl shrink       22 lits rem        163 time: 0.08
1213.67/304.37	c vivif2 --  cl tried    26759 cl shrink      312 lits rem       2809 time: 1.71
1214.47/304.56	c asymm  cl-useful: 43/1068/4019 lits-rem:131 time: 0.75
1215.67/304.86	c calculated reachability. Time: 1.17
1215.67/304.87	c  N dy  2488    357931     19324      3979    174643     26731    274653    426252     51.99      9.87  --
1267.61/317.90	c  N dy  2629    378031     19283      3979    178677     46488    274769   1919112     68.97      9.80  --
1299.55/325.80	c Finding binary XORs  T:     4.08 s  found:       2
1317.94/330.48	c  N dy  2770    398061     19195      3971    178313     40579    272235   1162821    101.25      9.71  --
1360.29/341.01	c  N dy  2912    418113     19188      3971    178394     33791    272235    704825     65.12      9.62  --
1405.42/352.36	c  N dy  3053    438181     19163      3971    178464     53468    272235   1858165     54.38      9.57  --
1449.35/363.32	c  N dy  3194    458188     19151      3971    181666     45739    272327   1394761     78.00      9.51  --
1492.50/374.15	c  N dy  3336    478273     19149      3971    181714     36987    272327    782000     55.85      9.45  --
1514.87/379.75	c Finding binary XORs  T:     4.04 s  found:       5
1546.83/387.70	c  N dy  3477    498354     19130      3966    201831     56738    271260   2095812     91.94      9.43  --
1587.17/397.83	c  N dy  3618    518459     19127      3966    201868     46901    271260   1276220     49.96      9.39  --
1627.52/407.96	c  S st  3748    536897     19117      3966    201912     34521    271260    529222     50.86      9.34  --
1628.34/408.19	c  S st  3748    537397     19117      3966    201914     35013    271260    548747     50.86      9.34  --
1628.71/408.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
1628.71/408.22	c Cache  BProp: 402 Set: 3 BXProp: 0 T: 0.04
1649.10/413.32	c Flit:    11 Blit:      6 bXBeca:    0 bXProp:    1 Bin:   1811 BRemL:   3125 BRemN:    812 CBin:       0 P: 60.0M T: 20.36
1653.89/414.55	c Calc non-exist non-lernt bins v-fix:     0 done:  17700 time:  4.90 s
1653.89/414.56	c Cache  BProp: 408 Set: 0 BXProp: 1 T: 0.04
1655.89/415.09	c Subs w/ non-existent bins:    208 time:  2.15 s
1656.29/415.12	c Replacing        9 vars Replaced      995 lits Time:     0.10 s 
1656.29/415.17	c bin-w-bin subsume rem          121 bins  time:  0.10 s
1658.70/415.79	c subs with bin:      598  lits-rem:       807  v-fix:    0  time:  2.47 s
1659.10/415.85	c Removed useless bin:     348  fixed:     0  bprops:   4.45M  time:  0.27 s
1693.03/424.35	c ORs :  46661 avg-s: 25.7 cl-sh:    54 l-rem:    618 b-add:      6 v-rep:   0 cl-rem: 0 avg s: nan T:   28.07
1693.03/424.38	c lits-rem:      1163  cl-subs:      713  v-elim:    672  v-fix:    0  time: 34.06 s
1693.03/424.38	c learnt bin added due to v-elim: 0
1693.43/424.40	c vivif2 --  cl tried     4037 cl shrink       15 lits rem        211 time: 0.09
1695.43/424.97	c vivif2 --  cl tried    33485 cl shrink      227 lits rem       1215 time: 2.26
1696.23/425.17	c asymm  cl-useful: 11/390/4033 lits-rem:12 time: 0.82
1697.43/425.47	c calculated reachability. Time: 1.15
1697.43/425.47	c  N dy  3748    537397     18949      4033    196999     33463    266967    511716     50.86      9.34  --
1697.43/425.47	c  F st  3748    537397     18949      4033    196999     33463    266967    511716     50.86      9.34  --
1702.22/426.61	c Decided on dynamic restart strategy
1737.37/435.48	c  N dy  3880    557420     18924      4033    203940     53046    267043   1604523     38.18      9.29  --
1779.72/446.04	c  N dy  4021    577422     18920      4033    210531     41375    267105    875001     45.85      9.24  --
1804.88/452.32	c Finding binary XORs  T:     3.92 s  found:       4
1829.25/458.49	c  N dy  4161    597485     18890      4029    208690     60784    265891   1994824     66.76      9.22  --
1868.80/468.30	c  N dy  4304    617604     18887      4029    209708     48238    265915   1180842     59.34      9.18  --
1913.56/479.55	c  N dy  4445    637656     18876      4029    209736     34569    265915    471613     69.58      9.15  --
1953.89/489.66	c  N dy  4587    657683     18871      4029    209772     54262    265915   1536266     55.09      9.11  --
1998.63/500.83	c  N dy  4727    677757     18868      4029    217745     39677    266073    651874     57.99      9.08  --
2038.57/510.80	c  N dy  4868    697892     18855      4029    217770     59491    266073   1711426     48.80      9.05  --
2082.11/521.71	c  N dy  5007    717914     18853      4029    217797     43732    266073    896146     64.90      9.03  --
2124.48/532.37	c  N dy  5148    737961     18850      4029    217822     63420    266073   1878917     30.88      9.01  --
2163.21/542.08	c Finding binary XORs  T:     3.90 s  found:       1
2172.81/544.45	c  N dy  5288    758016     18819      4022    220789     46557    264578   1062883     47.02      8.99  --
2219.13/556.00	c  N dy  5429    778126     18804      4022    224692     66324    264738   2189295     62.63      8.96  --
2259.48/566.13	c  N dy  5570    798170     18796      4022    224716     48656    264738   1048578     53.28      8.95  --
2277.86/570.76	c  S st  5626    806096     18782      4022    231694     56485    264822   1486539     56.52      8.94  --
2279.45/571.15	c  S st  5626    806599     18782      4022    231695     56985    264822   1521888     56.52      8.94  --
2279.45/571.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
2279.45/571.17	c Cache  BProp: 476 Set: 3 BXProp: 0 T: 0.04
2302.62/576.96	c Flit:    35 Blit:      0 bXBeca:    0 bXProp:    2 Bin:   1397 BRemL:   5652 BRemN:    708 CBin:       0 P: 60.0M T: 23.10
2307.82/578.27	c Calc non-exist non-lernt bins v-fix:     0 done:  17929 time:  5.22 s
2307.82/578.28	c Cache  BProp: 476 Set: 0 BXProp: 0 T: 0.04
2311.41/579.18	c Subs w/ non-existent bins:    135 time:  3.59 s
2311.81/579.21	c Replacing        7 vars Replaced     2358 lits Time:     0.14 s 
2312.21/579.30	c bin-w-bin subsume rem          131 bins  time:  0.12 s
2317.82/580.74	c subs with bin:      233  lits-rem:       361  v-fix:    0  time:  5.75 s
2318.22/580.81	c Removed useless bin:     226  fixed:     0  bprops:   3.74M  time:  0.28 s
2352.15/589.35	c ORs :  45743 avg-s: 25.5 cl-sh:    90 l-rem:   1085 b-add:      1 v-rep:   0 cl-rem: 1 avg s: 3.0 T:   25.85
2362.94/592.07	c Added 6 vars  tried: 80000 time: 10.82
2362.94/592.07	c ORs :      6 avg-s:  0.0 cl-sh:   458 l-rem:    458 b-add:     12 v-rep:   0 cl-rem: 21 avg s: 3.0 T:   10.85
2363.34/592.12	c lits-rem:      2309  cl-subs:     1761  v-elim:    596  v-fix:    0  time: 45.17 s
2363.34/592.12	c learnt bin added due to v-elim: 0
2363.34/592.14	c vivif2 --  cl tried     3990 cl shrink       21 lits rem        102 time: 0.08
2367.33/593.10	c vivif2 --  cl tried    54726 cl shrink     1331 lits rem      29885 time: 3.83
2368.53/593.41	c asymm  cl-useful: 1/206/3985 lits-rem:1 time: 1.24
2369.33/593.69	c calculated reachability. Time: 1.10
2369.33/593.69	c  N dy  5626    806599     18622      3985    222265     54610    260790   1367457     56.52      8.94  --
2421.66/606.76	c  N dy  5766    826624     18594      3985    224150     74271    260792   2424387     49.40      8.92  --
2461.61/616.72	c  N dy  5907    846751     18587      3985    226538     55773    260800   1335883     60.58      8.89  --
2503.55/627.27	c  N dy  6048    866879     18517      3985    226576     75555    260800   2259306     39.75      8.88  --
2543.90/637.37	c  N dy  6190    886952     18514      3985    228820     56067    260822   1370336     43.64      8.86  --
2551.49/639.22	c Finding binary XORs  T:     3.88 s  found:       0
2593.44/649.75	c  N dy  6330    907087     18502      3981    224779     75547    258489   2381717     37.70      8.85  --
2632.18/659.44	c  N dy  6472    927135     18435      3981    224811     54993    258489   1177155     73.97      8.83  --
2670.13/668.93	c  N dy  6613    947201     18435      3981    227953     74783    258553   2098540     62.78      8.81  --
2708.48/678.51	c  N dy  6754    967264     18429      3981    232864     53244    258709    990637     46.27      8.79  --
2744.83/687.68	c  N dy  6895    987285     18428      3981    232896     72923    258709   1841627     39.32      8.77  --
2783.99/697.42	c  N dy  7037   1007390     18425      3981    232912     50379    258709    880124     45.19      8.75  --
2823.55/707.38	c  N dy  7177   1027518     18420      3981    232935     70106    258709   1854150     50.64      8.74  --
2863.87/717.45	c  N dy  7317   1047605     18419      3981    232959     46791    258709    668586     54.45      8.73  --
2891.03/724.28	c Finding binary XORs  T:     3.87 s  found:       2
2903.01/727.20	c  N dy  7459   1067654     18416      3969    238339     66064    257128   1550690     41.05      8.71  --
2943.36/737.31	c  N dy  7600   1087765     18411      3969    240337     85842    257196   2442295     36.94      8.71  --
2978.12/746.03	c  N dy  7742   1107848     18320      3969    240351     61768    257196   1280370     64.01      8.69  --
3015.67/755.43	c  N dy  7883   1127884     18319      3969    240369     81470    257196   2148064     54.83      8.67  --
3055.22/765.32	c  N dy  8023   1147938     18318      3969    240390     56497    257196    974936     44.56      8.66  --
3091.58/774.41	c  N dy  8164   1168061     18318      3969    240409     76287    257196   1889057     55.32      8.65  --
3138.31/786.10	c  N dy  8305   1188181     18318      3969    244528     50578    257276    672577     54.26      8.65  --
3169.06/793.87	c  N dy  8447   1208246     18316      3969    244546     70320    257276   1462799     52.52      8.63  --
3173.05/794.81	c  S st  8459   1209899     18316      3969    244548     71944    257276   1539859     56.67      8.63  --
3174.25/795.10	c  S st  8459   1210400     18316      3969    244548     72437    257276   1570073     56.67      8.63  --
3174.25/795.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3174.25/795.13	c Cache  BProp: 530 Set: 1 BXProp: 2 T: 0.04
3197.42/800.94	c Flit:     4 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1327 BRemL:   3433 BRemN:   1010 CBin:       0 P: 60.2M T: 23.20
3203.01/802.31	c Calc non-exist non-lernt bins v-fix:     0 done:  18092 time:  5.46 s
3203.01/802.32	c Cache  BProp: 527 Set: 0 BXProp: 0 T: 0.04
3207.81/803.56	c Subs w/ non-existent bins:     43 time:  4.93 s
3207.81/803.59	c Replacing        4 vars Replaced     1030 lits Time:     0.14 s 
3208.21/803.69	c bin-w-bin subsume rem          203 bins  time:  0.14 s
3214.22/805.16	c subs with bin:      672  lits-rem:       727  v-fix:    0  time:  5.86 s
3214.62/805.22	c Removed useless bin:     350  fixed:     0  bprops:   3.26M  time:  0.24 s
3248.55/813.78	c ORs :  44649 avg-s: 25.2 cl-sh:   162 l-rem:   2160 b-add:      4 v-rep:   0 cl-rem: 3 avg s: 3.0 T:   26.01
3248.95/813.83	c lits-rem:      1764  cl-subs:     2295  v-elim:    613  v-fix:    0  time: 34.41 s
3248.95/813.83	c learnt bin added due to v-elim: 0
3248.95/813.85	c vivif2 --  cl tried     3894 cl shrink        4 lits rem          4 time: 0.08
3254.17/815.16	c vivif2 --  cl tried    69277 cl shrink     1192 lits rem      19760 time: 5.23
3254.94/815.39	c asymm  cl-useful: 7/273/3892 lits-rem:31 time: 0.92
3256.14/815.67	c calculated reachability. Time: 1.08
3256.14/815.67	c  N dy  8459   1210400     18134      3891    236811     69153    252111   1440290     56.67      8.63  --
3299.29/826.45	c  N dy  8599   1230487     18122      3891    241163     88888    252189   2394559     59.33      8.62  --
3314.46/830.29	c Finding binary XORs  T:     3.73 s  found:       2
3344.83/837.81	c  N dy  8740   1250629     18062      3884    236742     60587    250120   1088308     40.61      8.60  --
3383.98/847.68	c  N dy  8882   1270711     18059      3884    236764     80361    250120   1958787     36.00      8.59  --
3427.11/858.42	c  N dy  9023   1290869     18020      3884    240148     52880    250152    672324     42.12      8.58  --
3461.07/866.92	c  N dy  9164   1310893     17912      3884    240165     72576    250152   1486036     29.39      8.56  --
3502.21/877.21	c  N dy  9304   1330992     17910      3884    240189     92376    250152   2382788     48.84      8.56  --
3540.56/886.83	c  N dy  9445   1351024     17907      3884    240214     63583    250152   1082421     50.74      8.55  --
3577.71/896.12	c  N dy  9587   1371138     17907      3884    244276     83398    250202   1915172     37.35      8.54  --
3621.65/907.12	c  N dy  9727   1391147     17897      3884    244300    103074    250202   2778481     49.83      8.53  --
3655.61/915.63	c  N dy  9870   1411238     17896      3884    244323     73449    250202   1443638     74.04      8.52  --
3696.74/925.91	c  N dy 10011   1431298     17893      3884    247296     93226    250346   2355737     42.73      8.52  --
3737.88/936.26	c Finding binary XORs  T:     3.73 s  found:       3
3742.28/937.35	c  N dy 10151   1451403     17889      3869    241294     61952    246623    900600     41.33      8.51  --
3777.84/946.20	c  N dy 10293   1471505     17889      3869    241317     81773    246623   1758739     31.01      8.50  --
3822.58/957.46	c  N dy 10434   1491647     17879      3869    244709    101703    246829   2682933     36.57      8.50  --
3862.12/967.35	c  N dy 10575   1511751     17878      3869    244724     69321    246829   1135880     62.62      8.50  --
3898.07/976.39	c  N dy 10716   1531851     17875      3869    244747     89097    246829   1964337     29.31      8.49  --
3942.42/987.47	c  N dy 10856   1551918     17874      3869    244765    108855    246829   2838933     43.37      8.48  --
3975.96/995.84	c  N dy 10998   1572033     17871      3869    247831     76349    246893   1335385     53.87      8.47  --
4015.52/1005.76	c  N dy 11139   1592058     17868      3869    247852     96057    246893   2180828     55.67      8.46  --
4058.28/1016.45	c  N dy 11280   1612129     17863      3869    254386     62587    246949    724437     42.84      8.46  --
4096.61/1026.02	c Finding binary XORs  T:     3.77 s  found:       2
4097.82/1026.38	c  N dy 11420   1632190     17861      3868    253035     82067    246306   1634090     29.25      8.45  --
4139.75/1036.89	c  N dy 11559   1652285     17859      3868    253067    101735    246306   2456986     37.83      8.45  --
4181.31/1047.27	c  N dy 11699   1672401     17859      3868    253085     66775    246306    872323     49.22      8.44  --
4221.23/1057.27	c  N dy 11840   1692538     17859      3868    253100     86527    246306   1810065     56.05      8.44  --
4260.40/1067.04	c  S st 11965   1710401     17857      3868    253118    104065    246306   2587259     39.69      8.43  --
4262.38/1067.57	c  S st 11965   1710902     17856      3868    254707    104566    246354   2622827     39.69      8.43  --
4262.38/1067.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4262.78/1067.60	c Cache  BProp: 553 Set: 4 BXProp: 0 T: 0.05
4286.36/1073.53	c Flit:     1 Blit:      6 bXBeca:    0 bXProp:    0 Bin:   1147 BRemL:   5247 BRemN:    897 CBin:       0 P: 60.0M T: 23.70
4291.16/1074.75	c Calc non-exist non-lernt bins v-fix:     0 done:  17841 time:  4.87 s
4291.16/1074.77	c Cache  BProp: 559 Set: 0 BXProp: 0 T: 0.04
4298.33/1076.53	c Subs w/ non-existent bins:     78 time:  7.06 s
4298.33/1076.58	c Replacing        7 vars Replaced     3309 lits Time:     0.17 s 
4299.13/1076.71	c bin-w-bin subsume rem          190 bins  time:  0.15 s
4305.12/1078.22	c subs with bin:      497  lits-rem:       405  v-fix:    0  time:  6.02 s
4305.12/1078.28	c Removed useless bin:     283  fixed:     0  bprops:   3.00M  time:  0.24 s
4347.46/1088.81	c ORs :  43343 avg-s: 24.9 cl-sh:   749 l-rem:   9675 b-add:      5 v-rep:   0 cl-rem: 4 avg s: 3.2 T:   25.15
4356.67/1091.12	c Added 9 vars  tried: 80000 time: 9.15
4356.67/1091.12	c ORs :      9 avg-s:  0.0 cl-sh:   717 l-rem:    717 b-add:     18 v-rep:   0 cl-rem: 13 avg s: 3.0 T:    9.18
4356.67/1091.20	c lits-rem:      1234  cl-subs:     3775  v-elim:    599  v-fix:    0  time: 51.60 s
4356.67/1091.20	c learnt bin added due to v-elim: 0
4357.07/1091.22	c vivif2 --  cl tried     3909 cl shrink        5 lits rem          9 time: 0.08
4364.64/1093.12	c vivif2 --  cl tried   100056 cl shrink     2116 lits rem      39435 time: 7.60
4365.45/1093.34	c asymm  cl-useful: 17/241/3908 lits-rem:18 time: 0.86
4366.63/1093.61	c calculated reachability. Time: 1.03
4366.63/1093.61	c  N dy 11965   1710902     17703      3908    247115     99869    243259   2389831     39.69      8.43  --
4416.56/1106.10	c  N dy 12105   1730993     17693      3908    251901     63743    243265    714145     40.14      8.43  --
4452.12/1115.02	c  N dy 12247   1751023     17676      3908    251934     83418    243265   1644695     57.95      8.42  --
4496.85/1126.29	c  N dy 12387   1771150     17671      3908    251964    103173    243265   2548465     55.83      8.41  --
4541.99/1137.51	c  N dy 12528   1791290     17664      3908    257346     66858    243321    766308     28.72      8.41  --
4575.95/1146.06	c Finding binary XORs  T:     3.63 s  found:       2
4579.94/1147.06	c  N dy 12670   1811346     17653      3906    254843     86142    242290   1546254     40.17      8.40  --
4619.09/1156.86	c  N dy 12811   1831405     17650      3906    257120    105880    242299   2328781     44.47      8.39  --
4662.63/1167.79	c  N dy 12952   1851493     17647      3906    257137     68197    242299    769657     36.78      8.39  --
4694.19/1175.61	c  N dy 13094   1871535     17646      3906    257146     87956    242299   1571178     45.13      8.38  --
4731.74/1185.06	c  N dy 13236   1891625     17615      3906    257179    107691    242299   2384267     48.78      8.37  --
4774.50/1195.71	c  N dy 13376   1911683     17614      3906    257197     69283    242299    742067     25.84      8.37  --

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

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

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


[startup+0 s]
/proc/loadavg: 7.85 7.94 7.88 5/180 27441
/proc/meminfo: memFree=13461868/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=24092 CPUtime=0 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 1309 0 0 0 0 0 0 0 25 0 1 0 515637221 24670208 1248 33554432000 4194304 4797429 140737194994112 18446744073709551615 4366078 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27441/statm: 6023 1254 346 148 0 952 0

[startup+0.023198 s]
/proc/loadavg: 7.85 7.94 7.88 5/180 27441
/proc/meminfo: memFree=13461868/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=31340 CPUtime=0.01 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 3069 0 0 0 1 0 0 0 25 0 1 0 515637221 32092160 2585 33554432000 4194304 4797429 140737194994112 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27441/statm: 7835 2592 347 148 0 2764 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 31340

[startup+0.100187 s]
/proc/loadavg: 7.85 7.94 7.88 5/180 27441
/proc/meminfo: memFree=13461868/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=88680 CPUtime=0.09 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 11425 0 0 0 8 1 0 0 25 0 1 0 515637221 90808320 8215 33554432000 4194304 4797429 140737194994112 18446744073709551615 235594524809 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27441/statm: 22170 8215 350 148 0 17099 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 88680

[startup+0.300151 s]
/proc/loadavg: 7.85 7.94 7.88 5/180 27441
/proc/meminfo: memFree=13461868/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=145084 CPUtime=0.29 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 27616 0 0 0 25 4 0 0 25 0 1 0 515637221 148566016 20771 33554432000 4194304 4797429 140737194994112 18446744073709551615 4365820 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/27441/statm: 36271 20776 350 148 0 31200 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 145084

[startup+0.701083 s]
/proc/loadavg: 7.85 7.94 7.88 5/180 27441
/proc/meminfo: memFree=13461868/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=464196 CPUtime=0.94 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 55454 0 0 0 87 7 0 0 25 0 4 0 515637221 475336704 41329 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 116049 41329 376 148 0 110978 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 464196

[startup+1.50094 s]
/proc/loadavg: 7.85 7.94 7.88 9/184 27445
/proc/meminfo: memFree=13288856/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=863816 CPUtime=4.13 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 57903 0 0 0 406 7 0 0 25 0 4 0 515637221 884547584 43395 33554432000 4194304 4797429 140737194994112 18446744073709551615 4430173 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 215954 43395 384 148 0 210883 0
[pid=27441/tid=27443] ppid=27439 vsize=863816 CPUtime=0.87 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 667 0 0 0 87 0 0 0 25 0 4 0 515637282 884547584 43395 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=863816 CPUtime=0.88 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 673 0 0 0 88 0 0 0 25 0 4 0 515637282 884547584 43395 33554432000 4194304 4797429 140737194994112 18446744073709551615 4242448 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=863816 CPUtime=0.88 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 627 0 0 0 88 0 0 0 25 0 4 0 515637282 884547584 43395 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 863816

[startup+3.10066 s]
/proc/loadavg: 7.85 7.94 7.88 9/184 27445
/proc/meminfo: memFree=13287120/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=864212 CPUtime=10.52 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 58057 0 0 0 1045 7 0 0 25 0 4 0 515637221 884953088 43549 33554432000 4194304 4797429 140737194994112 18446744073709551615 4428355 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 216053 43549 384 148 0 210982 0
[pid=27441/tid=27443] ppid=27439 vsize=864212 CPUtime=2.46 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 706 0 0 0 246 0 0 0 25 0 4 0 515637282 884953088 43549 33554432000 4194304 4797429 140737194994112 18446744073709551615 4428413 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=864212 CPUtime=2.48 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 701 0 0 0 248 0 0 0 25 0 4 0 515637282 884953088 43549 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=864212 CPUtime=2.48 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 660 0 0 0 248 0 0 0 25 0 4 0 515637282 884953088 43549 33554432000 4194304 4797429 140737194994112 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 10.52
Current children cumulated vsize (KiB) 864212

[startup+6.3011 s]
/proc/loadavg: 7.86 7.94 7.88 9/184 27445
/proc/meminfo: memFree=12911916/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=1194092 CPUtime=23.28 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 152299 0 0 0 2302 26 0 0 20 0 4 0 515637221 1222750208 136922 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 298523 136922 413 148 0 293452 0
[pid=27441/tid=27443] ppid=27439 vsize=1194092 CPUtime=5.65 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 14908 0 0 0 563 2 0 0 20 0 4 0 515637282 1222750208 136922 33554432000 4194304 4797429 140737194994112 18446744073709551615 4387460 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=1194092 CPUtime=5.66 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 25211 0 0 0 562 4 0 0 20 0 4 0 515637282 1222750208 136922 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341480 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=1194092 CPUtime=5.66 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 30457 0 0 0 561 5 0 0 20 0 4 0 515637282 1222750208 136922 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341440 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.28
Current children cumulated vsize (KiB) 1194092

[startup+12.701 s]
/proc/loadavg: 7.95 7.96 7.88 9/184 27445
/proc/meminfo: memFree=12822716/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=1207980 CPUtime=48.85 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 165204 0 0 0 4857 28 0 0 25 0 4 0 515637221 1236971520 143929 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 301995 143929 415 148 0 296924 0
[pid=27441/tid=27443] ppid=27439 vsize=1207980 CPUtime=12.01 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 16369 0 0 0 1199 2 0 0 25 0 4 0 515637282 1236971520 143929 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=1207980 CPUtime=12.06 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 28056 0 0 0 1201 5 0 0 25 0 4 0 515637282 1236971520 143929 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341278 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=1207980 CPUtime=12.06 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 33858 0 0 0 1200 6 0 0 25 0 4 0 515637282 1236971520 143929 33554432000 4194304 4797429 140737194994112 18446744073709551615 4413516 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 48.85
Current children cumulated vsize (KiB) 1207980

[startup+25.5007 s]
/proc/loadavg: 7.96 7.96 7.88 9/184 27446
/proc/meminfo: memFree=12543328/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=1481492 CPUtime=99.97 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 228784 0 0 0 9959 38 0 0 25 0 4 0 515637221 1517047808 201319 33554432000 4194304 4797429 140737194994112 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 370373 201319 418 148 0 365302 0
[pid=27441/tid=27443] ppid=27439 vsize=1481492 CPUtime=24.74 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 29846 0 0 0 2470 4 0 0 25 0 4 0 515637282 1517047808 201319 33554432000 4194304 4797429 140737194994112 18446744073709551615 4241734 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=1481492 CPUtime=24.87 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 54218 0 0 0 2478 9 0 0 25 0 4 0 515637282 1517047808 201319 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427245 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=1481492 CPUtime=24.86 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 53155 0 0 0 2476 10 0 0 25 0 4 0 515637282 1517047808 201319 33554432000 4194304 4797429 140737194994112 18446744073709551615 4236512 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (KiB) 1481492

[startup+51.1002 s]
/proc/loadavg: 8.03 7.98 7.89 9/184 27446
/proc/meminfo: memFree=11303028/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=2797896 CPUtime=202.22 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 495903 0 0 0 20139 83 0 0 25 0 4 0 515637221 2865045504 459279 33554432000 4194304 4797429 140737194994112 18446744073709551615 4428025 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/27441/statm: 699474 459279 419 148 0 694403 0
[pid=27441/tid=27443] ppid=27439 vsize=2797896 CPUtime=50.21 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 110246 0 0 0 5005 16 0 0 25 0 4 0 515637282 2865045504 459279 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427922 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=2797896 CPUtime=50.46 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 140157 0 0 0 5022 24 0 0 25 0 4 0 515637282 2865045504 459279 33554432000 4194304 4797429 140737194994112 18446744073709551615 4643186 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=2797896 CPUtime=50.46 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 130741 0 0 0 5022 24 0 0 25 0 4 0 515637282 2865045504 459279 33554432000 4194304 4797429 140737194994112 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 202.22
Current children cumulated vsize (KiB) 2797896

[startup+102.306 s]
/proc/loadavg: 8.07 7.99 7.90 9/184 27448
/proc/meminfo: memFree=9993220/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4052080 CPUtime=406.78 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 755910 0 0 0 40553 125 0 0 25 0 4 0 515637221 4149329920 695951 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352317 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1013020 695951 422 148 0 1007949 0
[pid=27441/tid=27443] ppid=27439 vsize=4052080 CPUtime=101.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 170092 0 0 0 10115 25 0 0 25 0 4 0 515637282 4149329920 695951 33554432000 4194304 4797429 140737194994112 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4052080 CPUtime=101.66 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 211052 0 0 0 10132 34 0 0 25 0 4 0 515637282 4149329920 695951 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4052080 CPUtime=101.65 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 189639 0 0 0 10132 33 0 0 25 0 4 0 515637282 4149329920 695951 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 406.78
Current children cumulated vsize (KiB) 4052080

[startup+162.301 s]
/proc/loadavg: 8.02 7.99 7.91 9/184 27449
/proc/meminfo: memFree=9378256/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4331300 CPUtime=646.43 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 827229 0 0 0 64504 139 0 0 25 0 4 0 515637221 4435251200 754984 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427848 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1082825 754984 422 148 0 1077754 0
[pid=27441/tid=27443] ppid=27439 vsize=4331300 CPUtime=161.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 187563 0 0 0 16112 28 0 0 25 0 4 0 515637282 4435251200 754984 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4331300 CPUtime=161.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 218995 0 0 0 16129 36 0 0 25 0 4 0 515637282 4435251200 754984 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4331300 CPUtime=161.63 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 198285 0 0 0 16129 34 0 0 25 0 4 0 515637282 4435251200 754984 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531999 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 646.43
Current children cumulated vsize (KiB) 4331300

[startup+222.301 s]
/proc/loadavg: 8.01 7.99 7.91 9/184 27451
/proc/meminfo: memFree=9099224/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4332968 CPUtime=886.11 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 846073 0 0 0 88466 145 0 0 25 0 4 0 515637221 4436959232 763731 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520392 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1083242 763731 422 148 0 1078171 0
[pid=27441/tid=27443] ppid=27439 vsize=4332968 CPUtime=221.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 190525 0 0 0 22112 28 0 0 25 0 4 0 515637282 4436959232 763731 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4332968 CPUtime=221.66 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 221203 0 0 0 22129 37 0 0 25 0 4 0 515637282 4436959232 763731 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4332968 CPUtime=221.63 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 201559 0 0 0 22128 35 0 0 25 0 4 0 515637282 4436959232 763731 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 886.11
Current children cumulated vsize (KiB) 4332968

[startup+282.301 s]

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

Current children cumulated CPU time (s) 2563.89
Current children cumulated vsize (KiB) 4399384

[startup+702.301 s]
/proc/loadavg: 8.11 8.07 7.96 9/184 27464
/proc/meminfo: memFree=6829216/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4399412 CPUtime=2803.55 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 933318 0 0 0 280170 185 0 0 25 0 4 0 515637221 4504997888 777721 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352591 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1099853 777721 426 148 0 1094782 0
[pid=27441/tid=27443] ppid=27439 vsize=4399412 CPUtime=701.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 195859 0 0 0 70110 31 0 0 25 0 4 0 515637282 4504997888 777721 33554432000 4194304 4797429 140737194994112 18446744073709551615 4359985 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4399412 CPUtime=701.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 234349 0 0 0 70123 42 0 0 25 0 4 0 515637282 4504997888 777721 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4399412 CPUtime=701.57 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 220034 0 0 0 70117 40 0 0 25 0 4 0 515637282 4504997888 777721 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2803.55
Current children cumulated vsize (KiB) 4399412

[startup+762.306 s]
/proc/loadavg: 8.09 8.07 7.96 9/184 27465
/proc/meminfo: memFree=6633116/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4399584 CPUtime=3043.25 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 941955 0 0 0 304135 190 0 0 25 0 4 0 515637221 4505174016 776835 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352362 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1099896 776835 426 148 0 1094825 0
[pid=27441/tid=27443] ppid=27439 vsize=4399584 CPUtime=761.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 196429 0 0 0 76110 31 0 0 25 0 4 0 515637282 4505174016 776835 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531871 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4399584 CPUtime=761.66 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 234882 0 0 0 76124 42 0 0 25 0 4 0 515637282 4505174016 776835 33554432000 4194304 4797429 140737194994112 18446744073709551615 4642256 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4399584 CPUtime=761.57 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 220490 0 0 0 76117 40 0 0 25 0 4 0 515637282 4505174016 776835 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3043.25
Current children cumulated vsize (KiB) 4399584

[startup+822.301 s]
/proc/loadavg: 8.09 8.07 7.97 9/184 27467
/proc/meminfo: memFree=6436768/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4402188 CPUtime=3282.91 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 961842 0 0 0 328094 197 0 0 25 0 4 0 515637221 4507840512 779844 33554432000 4194304 4797429 140737194994112 18446744073709551615 4341286 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1100547 779844 427 148 0 1095476 0
[pid=27441/tid=27443] ppid=27439 vsize=4402188 CPUtime=821.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 210821 0 0 0 82108 33 0 0 25 0 4 0 515637282 4507840512 779844 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427262 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4402188 CPUtime=821.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 235429 0 0 0 82122 43 0 0 25 0 4 0 515637282 4507840512 779844 33554432000 4194304 4797429 140737194994112 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4402188 CPUtime=821.57 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 220973 0 0 0 82116 41 0 0 25 0 4 0 515637282 4507840512 779844 33554432000 4194304 4797429 140737194994112 18446744073709551615 4648004 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3282.91
Current children cumulated vsize (KiB) 4402188

[startup+882.301 s]
/proc/loadavg: 8.03 8.05 7.97 9/184 27499
/proc/meminfo: memFree=16362072/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4402316 CPUtime=3522.58 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 970048 0 0 0 352056 202 0 0 25 0 4 0 515637221 4507971584 778694 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352353 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1100579 778694 427 148 0 1095508 0
[pid=27441/tid=27443] ppid=27439 vsize=4402316 CPUtime=881.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 211359 0 0 0 88107 33 0 0 25 0 4 0 515637282 4507971584 778694 33554432000 4194304 4797429 140737194994112 18446744073709551615 235594522631 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4402316 CPUtime=881.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 235884 0 0 0 88122 43 0 0 25 0 4 0 515637282 4507971584 778694 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4402316 CPUtime=881.56 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 221407 0 0 0 88115 41 0 0 25 0 4 0 515637282 4507971584 778694 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427200 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3522.58
Current children cumulated vsize (KiB) 4402316

[startup+942.301 s]
/proc/loadavg: 8.01 8.04 7.97 9/184 27501
/proc/meminfo: memFree=14587352/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4402484 CPUtime=3762.25 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 978008 0 0 0 376019 206 0 0 25 0 4 0 515637221 4508143616 779918 33554432000 4194304 4797429 140737194994112 18446744073709551615 4395266 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1100621 779918 428 148 0 1095550 0
[pid=27441/tid=27443] ppid=27439 vsize=4402484 CPUtime=941.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 211779 0 0 0 94106 34 0 0 25 0 4 0 515637282 4508143616 779918 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427299 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4402484 CPUtime=941.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 236622 0 0 0 94121 44 0 0 25 0 4 0 515637282 4508143616 779918 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4402484 CPUtime=941.55 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 221634 0 0 0 94114 41 0 0 25 0 4 0 515637282 4508143616 779918 33554432000 4194304 4797429 140737194994112 18446744073709551615 4508748 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3762.25
Current children cumulated vsize (KiB) 4402484

[startup+1002.3 s]
/proc/loadavg: 8.00 8.03 7.97 9/184 27503
/proc/meminfo: memFree=12176308/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4402592 CPUtime=4001.94 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 985764 0 0 0 399983 211 0 0 25 0 4 0 515637221 4508254208 780710 33554432000 4194304 4797429 140737194994112 18446744073709551615 4389576 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1100648 780710 428 148 0 1095577 0
[pid=27441/tid=27443] ppid=27439 vsize=4402592 CPUtime=1001.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 212144 0 0 0 100106 35 0 0 25 0 4 0 515637282 4508254208 780710 33554432000 4194304 4797429 140737194994112 18446744073709551615 4520192 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4402592 CPUtime=1001.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 237026 0 0 0 100121 44 0 0 25 0 4 0 515637282 4508254208 780710 33554432000 4194304 4797429 140737194994112 18446744073709551615 4557682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4402592 CPUtime=1001.55 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 222201 0 0 0 100114 41 0 0 25 0 4 0 515637282 4508254208 780710 33554432000 4194304 4797429 140737194994112 18446744073709551615 4681087 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4001.94
Current children cumulated vsize (KiB) 4402592

[startup+1062.3 s]
/proc/loadavg: 8.03 8.04 7.97 9/184 27504
/proc/meminfo: memFree=10999528/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4402748 CPUtime=4241.6 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 993521 0 0 0 423946 214 0 0 25 0 4 0 515637221 4508413952 781417 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352376 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1100687 781417 428 148 0 1095616 0
[pid=27441/tid=27443] ppid=27439 vsize=4402748 CPUtime=1061.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 212704 0 0 0 106106 35 0 0 25 0 4 0 515637282 4508413952 781417 33554432000 4194304 4797429 140737194994112 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4402748 CPUtime=1061.66 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 237504 0 0 0 106121 45 0 0 25 0 4 0 515637282 4508413952 781417 33554432000 4194304 4797429 140737194994112 18446744073709551615 4346600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4402748 CPUtime=1061.54 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 222615 0 0 0 106112 42 0 0 25 0 4 0 515637282 4508413952 781417 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429177 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4241.6
Current children cumulated vsize (KiB) 4402748

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.98 9/184 27506
/proc/meminfo: memFree=10206752/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4405704 CPUtime=4481.28 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 999391 0 0 0 447910 218 0 0 25 0 4 0 515637221 4511440896 781537 33554432000 4194304 4797429 140737194994112 18446744073709551615 4424779 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1101426 781537 428 148 0 1096355 0
[pid=27441/tid=27443] ppid=27439 vsize=4405704 CPUtime=1121.41 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 213167 0 0 0 112105 36 0 0 25 0 4 0 515637282 4511440896 781537 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4405704 CPUtime=1121.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 238061 0 0 0 112120 45 0 0 25 0 4 0 515637282 4511440896 781537 33554432000 4194304 4797429 140737194994112 18446744073709551615 4241631 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4405704 CPUtime=1121.54 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 223203 0 0 0 112112 42 0 0 25 0 4 0 515637282 4511440896 781537 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4481.28
Current children cumulated vsize (KiB) 4405704

[startup+1182.3 s]
/proc/loadavg: 8.04 8.04 7.98 9/184 27507
/proc/meminfo: memFree=9645976/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4405744 CPUtime=4720.95 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 1014016 0 0 0 471871 224 0 0 25 0 4 0 515637221 4511481856 782896 33554432000 4194304 4797429 140737194994112 18446744073709551615 4424216 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1101436 782896 428 148 0 1096365 0
[pid=27441/tid=27443] ppid=27439 vsize=4405744 CPUtime=1181.4 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 220693 0 0 0 118103 37 0 0 25 0 4 0 515637282 4511481856 782896 33554432000 4194304 4797429 140737194994112 18446744073709551615 4352317 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4405744 CPUtime=1181.65 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 238436 0 0 0 118120 45 0 0 25 0 4 0 515637282 4511481856 782896 33554432000 4194304 4797429 140737194994112 18446744073709551615 4427942 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4405744 CPUtime=1181.54 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 223604 0 0 0 118111 43 0 0 25 0 4 0 515637282 4511481856 782896 33554432000 4194304 4797429 140737194994112 18446744073709551615 4241682 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4720.95
Current children cumulated vsize (KiB) 4405744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.1 s]
/proc/loadavg: 8.03 8.04 7.98 9/184 27508
/proc/meminfo: memFree=9468272/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=4405804 CPUtime=4800.05 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4202496 1016716 0 0 0 479779 226 0 0 25 0 4 0 515637221 4511543296 782491 33554432000 4194304 4797429 140737194994112 18446744073709551615 4424987 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/27441/statm: 1101451 782491 428 148 0 1096380 0
[pid=27441/tid=27443] ppid=27439 vsize=4405804 CPUtime=1201.22 cores=0,2,4,6
/proc/27441/task/27443/stat : 27443 (techdemo) R 27439 27441 27293 0 -1 4202560 220840 0 0 0 120084 38 0 0 25 0 4 0 515637282 4511543296 782491 33554432000 4194304 4797429 140737194994112 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=27441/tid=27444] ppid=27439 vsize=4405804 CPUtime=1201.46 cores=0,2,4,6
/proc/27441/task/27444/stat : 27444 (techdemo) R 27439 27441 27293 0 -1 4202560 238550 0 0 0 120100 46 0 0 25 0 4 0 515637282 4511543296 782491 33554432000 4194304 4797429 140737194994112 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=27441/tid=27445] ppid=27439 vsize=4405804 CPUtime=1201.34 cores=0,2,4,6
/proc/27441/task/27445/stat : 27445 (techdemo) R 27439 27441 27293 0 -1 4202560 223731 0 0 0 120091 43 0 0 25 0 4 0 515637282 4511543296 782491 33554432000 4194304 4797429 140737194994112 18446744073709551615 4642984 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.05
Current children cumulated vsize (KiB) 4405804

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

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

[startup+1202.21 s]
/proc/loadavg: 8.03 8.04 7.98 6/182 27509
/proc/meminfo: memFree=11529772/32950928 swapFree=67111524/67111528
[pid=27441] ppid=27439 vsize=0 CPUtime=4800.18 cores=0,2,4,6
/proc/27441/stat : 27441 (techdemo) R 27439 27441 27293 0 -1 4203524 1016717 0 0 0 479781 237 0 0 25 0 1 0 515637221 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/27441/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.26
CPU time (s): 4800.24
CPU user time (s): 4797.82
CPU system time (s): 2.41763
CPU usage (%): 399.267
Max. virtual memory (cumulated for all children) (KiB): 4572184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.41763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1016717
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= 9990
involuntary context switches= 22624

runsolver used 2.03269 second user time and 4.34134 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 03:26:25
IDJOB=3285376
IDBENCH=82381
IDSOLVER=1584
FILE ID=node120/3285376-1304040384
RUNJOBID= node120-1304039838-27311
PBS_JOBID= 13170379
Free space on /tmp= 72032 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.025-NOTKNOWN.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285376-1304040384/watcher-3285376-1304040384 -o /tmp/evaluation-result-3285376-1304040384/solver-3285376-1304040384 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3285376-1304040384.cnf

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

MD5SUM BENCH= 3c5c73741ba21d5f39c7f436ba834743
RANDOM SEED=123050926

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      13462032 kB
Buffers:       2387380 kB
Cached:        9621532 kB
SwapCached:          4 kB
Active:        9254452 kB
Inactive:      9643400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      13462032 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           15936 kB
Writeback:           0 kB
AnonPages:     6888696 kB
Mapped:          15812 kB
Slab:           510140 kB
PageTables:      21200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  8940448 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= 72040 MiB
End job on node120 at 2011-04-29 03:46:29