Trace number 3281466

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.16 1224.9

General information on the benchmark

NameSAT_RACE08/Q1/
SAT_dat.k85.cnf
MD5SUMdce41996d9c5153aa0c253fa128d227c
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark43.2814
Satisfiable
(Un)Satisfiability was proved
Number of variables181484
Number of clauses890298
Sum of the clauses size2349692
Maximum clause length19
Minimum clause length1
Number of clauses of size 1771
Number of clauses of size 2667172
Number of clauses of size 3144951
Number of clauses of size 424791
Number of clauses of size 510950
Number of clauses of size over 541663

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-3281466-1304032657.cnf'
0.00/0.03	c -- header says num vars:         181484
0.00/0.03	c -- header says num clauses:      890298
1.49/1.59	c -- clauses added:            0 learnts,       890298 normals,            0 xors
1.49/1.59	c -- vars added     181484
1.49/1.59	c Parsing time:  1.43 s
1.49/1.60	c  N st     0         0    181484    222355    666308         0   2336082         0   no data   no data  --
1.99/1.79	c asymm  cl-useful: 70/1175/210966 lits-rem:198 time: 0.71
20.37/7.08	c Flit:   121 Blit:   1746 bXBeca:    0 bXProp: 14988 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 20.92
20.37/7.12	c Cleaning up after failed var search:     0.16 s 
20.37/7.36	c Calc non-exist non-lernt bins v-fix:     0 done:  30221 time:  0.90 s
20.37/7.36	c Cache  BProp: 0 Set: 0 BXProp: 529 T: 0.01
20.37/7.39	c Subs w/ non-existent bins:     24 time:  0.09 s
20.37/7.52	c Replacing    15518 vars Replaced   499598 lits Time:     0.49 s 
20.37/7.72	c bin-w-bin subsume rem        10767 bins  time:  0.24 s
20.37/7.86	c subs with bin:       87  lits-rem:      2869  v-fix:    0  time:  0.57 s
20.37/8.01	c Removed useless bin:    1532  fixed:     0  bprops:  10.00M  time:  0.60 s
30.10/8.89	c lits-rem:        70  cl-subs:     2123  v-elim:  52054  v-fix:    0  time:  3.08 s
30.10/8.89	c learnt bin added due to v-elim: 0
30.50/8.93	c Finding binary XORs  T:     0.15 s  found:     731
30.50/8.99	c Replacing      731 vars Replaced    33844 lits Time:     0.27 s 
31.30/9.19	c Finding non-binary XORs:     0.53 s (found:   11706, avg size: 3.0)
31.30/9.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:  5898 time:   0.23
31.71/9.27	c Replacing     2948 vars Replaced    41655 lits Time:     0.30 s 
32.10/9.32	c Calc default polars -  time:   0.12 s pos:   45661 undec:   81576 neg:   54247
32.10/9.32	c =========================================================================================
32.10/9.32	c types(t): F = full restart, N = normal restart
32.10/9.32	c types(t): S = simplification begin/end, E = solution found
32.10/9.32	c restart types(rt): st = static, dy = dynamic
32.10/9.32	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
32.10/9.32	c  B st     0         0    100429    165783    471711         0   1902273         0   no data   no data  --
34.09/9.88	c Decided on dynamic restart strategy
35.69/10.24	c  N dy    21      4083    100407    165783    471939      3757   1902266     56226     12.80      6.28  --
38.89/11.07	c  N dy    51      8124    100352    165783    472175      7467   1902263    111631     15.70      6.22  --
42.51/11.94	c  N dy    81     12249    100338    165783    473157     16987   1902265    189833     16.55      6.38  --
46.90/13.01	c  N dy   111     16372    100328    165783    473292     20877   1902260    256223     16.06      6.51  --
50.90/14.02	c  N dy   141     20420    100296    165783    473475     12529   1902259     63865     16.03      6.57  --
53.89/14.89	c  N dy   171     24444    100296    165783    473651     16288   1902257    127968     15.79      6.65  --
57.44/15.92	c  N dy   201     28523    100280    165783    473824     20097   1902253    191605     16.25      6.69  --
58.35/16.28	c  S st   212     30000    100276    165783    473872     21498   1902253    215911     16.06      6.70  --
59.54/16.66	c  S st   212     30503    100272    165783    473996     21851   1902253    220256     16.06      6.70  --
59.84/16.71	c x-sub:  2942 x-cut:      0 vfix:      0 v-elim:      0 locsubst:   156 time:   0.14
72.01/20.70	c Flit:    66 Blit:    382 bXBeca:    0 bXProp:  839 Bin:  22981 BRemL:   1668 BRemN:    373 CBin:       0 P: 60.0M T: 11.05
72.01/20.71	c Cleaning up after failed var search:     0.00 s 
72.60/20.94	c Calc non-exist non-lernt bins v-fix:     0 done:  30214 time:  0.68 s
72.60/20.95	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
72.60/20.99	c Subs w/ non-existent bins:    813 time:  0.13 s
75.00/21.71	c Replacing      952 vars Replaced    54714 lits Time:     2.08 s 
76.18/22.13	c bin-w-bin subsume rem         2308 bins  time:  0.43 s
77.38/22.52	c subs with bin:     3492  lits-rem:     23668  v-fix:    0  time:  1.10 s
78.60/22.91	c Removed useless bin:    4010  fixed:     0  bprops:  10.00M  time:  1.16 s
94.37/28.08	c lits-rem:      3353  cl-subs:    11034  v-elim:  42219  v-fix:    0  time: 15.46 s
94.37/28.08	c learnt bin added due to v-elim: 0
95.27/28.31	c asymm  cl-useful: 47/1778/198312 lits-rem:72 time: 0.67
95.57/28.44	c  N dy   212     30503     79716    198312    400475     10768   1888452    107542     16.06      6.70  --
95.86/28.54	c  F st   212     30503     79716    198312    400475     10768   1888452    107542     16.06      6.70  --
99.75/29.82	c Decided on dynamic restart strategy
100.95/30.24	c  N dy   233     34641     79715    198312    400582     14696   1888451    181752     15.63      6.85  --
106.34/32.03	c  N dy   264     38765     79681    198312    445966     32629   1892900    368747     13.92      6.85  --
117.09/35.41	c  N dy   294     42892     79679    198312    459951     38610   1893903    474370     19.96      6.91  --
120.08/36.41	c  S st   316     45755     79677    198312    460009     41341   1893901    520694     14.38      6.94  --
121.88/37.09	c  S st   316     46256     79675    198312    460048     41798   1893901    526109     14.38      6.94  --
122.49/37.24	c x-sub:    77 x-cut:      0 vfix:      0 v-elim:    129 locsubst:   110 time:   0.46
136.29/41.65	c Flit:    28 Blit:      3 bXBeca:    0 bXProp: 2016 Bin:  14788 BRemL:  10349 BRemN:   1274 CBin:       0 P: 60.0M T: 12.73
137.54/42.03	c Calc non-exist non-lernt bins v-fix:     0 done:  30154 time:  1.02 s
137.54/42.04	c Cache  BProp: 0 Set: 0 BXProp: 188 T: 0.01
137.88/42.13	c Subs w/ non-existent bins:   2128 time:  0.25 s
138.22/42.26	c Replacing     2284 vars Replaced   180009 lits Time:     0.37 s 
138.86/42.40	c bin-w-bin subsume rem        11555 bins  time:  0.14 s
139.50/42.68	c subs with bin:     8767  lits-rem:     54361  v-fix:    0  time:  0.77 s
139.80/42.79	c Removed useless bin:    3893  fixed:     0  bprops:   4.28M  time:  0.34 s
142.48/43.65	c lits-rem:      2040  cl-subs:    18972  v-elim:  16425  v-fix:    0  time:  2.58 s
142.48/43.65	c learnt bin added due to v-elim: 0
142.79/43.78	c asymm  cl-useful: 7/1688/188787 lits-rem:7 time: 0.38
143.10/43.80	c  N dy   316     46256     75450    188787    431685     24372   1790461    369333     14.38      6.94  --
145.50/44.62	c  N dy   346     50304     75450    188787    431760     28230   1790460    429143     17.55      6.96  --
148.79/45.72	c  N dy   376     54370     75450    188787    431831     32109   1790457    492537     14.36      6.96  --
152.09/46.83	c  N dy   406     58462     75450    188787    431905     36029   1790457    555977     16.01      6.97  --
156.77/48.32	c  N dy   436     62532     75450    188787    431989     39903   1790457    616977     14.66      6.98  --
169.01/52.29	c  N dy   466     66598     75450    188787    432096     43768   1790456    690095     15.51      7.01  --
171.37/52.96	c  S st   487     69385     75450    188787    432136     23501   1790456    261262     17.19      7.01  --
172.04/53.18	c Finding binary XORs  T:     0.09 s  found:     492
172.94/53.41	c  S st   487     69886     75444    188746    432063     23950   1790114    265745     17.19      7.01  --
172.94/53.45	c x-sub:    62 x-cut:      0 vfix:      0 v-elim:     97 locsubst:   192 time:   0.14
184.71/57.22	c Flit:    56 Blit:     12 bXBeca:    0 bXProp: 1075 Bin:  13634 BRemL:   4514 BRemN:   2195 CBin:       0 P: 60.0M T: 11.55
186.36/57.71	c Calc non-exist non-lernt bins v-fix:     0 done:  30261 time:  1.20 s
186.36/57.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.01
186.67/57.80	c Subs w/ non-existent bins:    510 time:  0.26 s
186.97/57.90	c Replacing     1653 vars Replaced    96752 lits Time:     0.29 s 
187.27/58.02	c bin-w-bin subsume rem         6793 bins  time:  0.15 s
187.58/58.19	c subs with bin:     1235  lits-rem:      8848  v-fix:    0  time:  0.51 s
187.86/58.29	c Removed useless bin:     958  fixed:     0  bprops:   3.69M  time:  0.30 s
196.34/60.98	c ORs :  26670 avg-s:  6.5 cl-sh: 13741 l-rem:  22535 b-add:   3553 v-rep: 1461 cl-rem: 1805 avg s: 3.7 T:    7.01
288.73/92.84	c Added 0 vars  tried: 80000 time: 52.48
288.73/92.84	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:   52.49
288.73/92.84	c lits-rem:       544  cl-subs:     4348  v-elim:  13599  v-fix:    0  time: 60.96 s
288.73/92.84	c learnt bin added due to v-elim: 0
288.73/92.84	c asymm  cl-useful: 22/1374/182839 lits-rem:31 time: 0.38
288.73/92.84	c  N dy   487     69886     73276    182839    429049     21183   1724279    253742     17.19      7.01  --
288.73/92.84	c  F st   487     69886     73276    182839    429049     21183   1724279    253742     17.19      7.01  --
288.73/92.84	c Replacing     1461 vars Replaced    93065 lits Time:     0.19 s 
288.73/92.84	c Decided on dynamic restart strategy
288.73/92.84	c  N dy   511     74363     71813    182760    523652     64782   1740942    615293     16.25      7.02  --
288.73/92.84	c  N dy   547     79191     71811    182760    523745     69421   1740937    683508     15.06      7.00  --
290.93/93.50	c  N dy   585     84324     71811    182760    523834     74349   1740937    753496     14.79      6.97  --
295.13/94.95	c  N dy   626     89807     71811    182760    523926     79635   1740935    834773     13.69      6.96  --
299.02/96.20	c  N dy   669     95629     71811    182760    524050     51633   1740934    495989     18.27      6.94  --
302.45/97.39	c  N dy   715    101802     71811    182760    524197     57489   1740930    578048     14.19      6.90  --
304.92/98.14	c  S st   738    104829     71811    182760    524248     60397   1740930    622938     18.76      6.90  --
306.42/98.69	c  S st   738    105330     71811    182760    524298     60845   1740930    627084     18.76      6.90  --
306.73/98.74	c x-sub:    98 x-cut:      0 vfix:      0 v-elim:      9 locsubst:   584 time:   0.17
324.88/104.44	c Flit:     3 Blit:      4 bXBeca:    0 bXProp: 3720 Bin:   9358 BRemL:  18411 BRemN:   5534 CBin:       0 P: 60.0M T: 15.60
326.56/104.90	c Calc non-exist non-lernt bins v-fix:     0 done:  30022 time:  1.29 s
326.56/104.91	c Cache  BProp: 0 Set: 0 BXProp: 1070 T: 0.03
326.90/105.05	c Subs w/ non-existent bins:   5735 time:  0.46 s
327.30/105.19	c Replacing     5095 vars Replaced   355056 lits Time:     0.54 s 
328.11/105.36	c bin-w-bin subsume rem        33689 bins  time:  0.27 s
329.30/105.62	c subs with bin:     6139  lits-rem:     29303  v-fix:    0  time:  1.05 s
329.70/105.72	c Removed useless bin:   10006  fixed:     0  bprops:   2.67M  time:  0.38 s
341.29/108.68	c ORs :  32068 avg-s:  6.5 cl-sh: 14302 l-rem:  35841 b-add:   2542 v-rep: 482 cl-rem: 2446 avg s: 3.2 T:    8.49
341.70/108.77	c lits-rem:      1419  cl-subs:    20537  v-elim:  14090  v-fix:    0  time: 12.16 s
341.70/108.77	c learnt bin added due to v-elim: 0
342.48/108.92	c asymm  cl-useful: 2963/3164/173258 lits-rem:16006 time: 0.61
342.48/108.94	c  N dy   738    105330     65598    173258    446933     36087   1531824    446040     18.76      6.90  --
347.67/110.20	c Finding binary XORs  T:     0.13 s  found:    1205
347.67/110.27	c Replacing     1687 vars Replaced    81625 lits Time:     0.29 s 
348.47/110.49	c  N dy   788    112074     63908    173027    468153     49184   1525440    611400     16.93      6.90  --
354.88/112.08	c  N dy   842    119337     63908    173027    468285     56150   1525438    720362     15.85      6.91  --
362.05/113.86	c  N dy   900    127069     63908    173027    468436     63556   1525438    844076     13.87      6.93  --
369.23/115.65	c  N dy   960    135267     63908    173027    468575     71413   1525436    977129     16.95      6.94  --
376.45/117.47	c  N dy  1025    144006     63908    173027    468758     42592   1525435    504579     11.12      6.96  --
384.42/119.44	c  N dy  1093    153252     63908    173027    468948     51448   1525432    641346     14.52      6.97  --
388.42/120.41	c  S st  1128    157996     63908    173027    469024     55990   1525429    717036     14.16      6.97  --
390.03/120.85	c  S st  1128    158496     63908    173027    469073     56438   1525429    721136     14.16      6.97  --
390.03/120.89	c x-sub:   546 x-cut:      0 vfix:      0 v-elim:     33 locsubst:   182 time:   0.19
390.40/120.90	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.03
407.97/125.33	c Flit:     5 Blit:      1 bXBeca:    0 bXProp:  436 Bin:   8755 BRemL:  11280 BRemN:   3233 CBin:       0 P: 60.0M T: 17.63
408.77/125.55	c Calc non-exist non-lernt bins v-fix:     0 done:  30552 time:  0.85 s
408.77/125.56	c Cache  BProp: 1 Set: 0 BXProp: 0 T: 0.06
409.57/125.77	c Subs w/ non-existent bins:   1685 time:  0.83 s
409.97/125.88	c Replacing      524 vars Replaced    31369 lits Time:     0.41 s 
410.77/126.03	c bin-w-bin subsume rem        16796 bins  time:  0.25 s
411.58/126.29	c subs with bin:     3190  lits-rem:     40738  v-fix:    0  time:  1.06 s
411.99/126.38	c Removed useless bin:    2817  fixed:     0  bprops:   2.35M  time:  0.32 s
424.35/129.44	c ORs :  32169 avg-s:  5.4 cl-sh:  7101 l-rem:  13352 b-add:    773 v-rep:  44 cl-rem: 845 avg s: 3.1 T:    9.04
425.17/129.61	c lits-rem:      2480  cl-subs:    12562  v-elim:  11688  v-fix:    0  time: 12.90 s
425.17/129.61	c learnt bin added due to v-elim: 0
425.94/129.81	c vivif2 --  cl tried   169834 cl shrink     9394 lits rem      20412 time: 0.79
425.94/129.89	c vivif2 --  cl tried    42287 cl shrink     6996 lits rem      20000 time: 0.34
426.75/130.08	c asymm  cl-useful: 1548/2784/168534 lits-rem:8162 time: 0.76
427.15/130.18	c calculated reachability. Time: 0.29
427.15/130.18	c  N dy  1128    158496     62702    168531    440763     41811   1432797    559743     14.16      6.97  --
438.73/133.05	c  N dy  1207    168675     62696    168531    475385     57138   1435629    762919     13.35      6.88  --
453.11/136.67	c  N dy  1291    179501     62692    168531    505097     42254   1437191    571237     13.20      6.79  --
466.67/140.03	c  N dy  1380    190972     62691    168531    505357     53354   1437186    711410     12.14      6.70  --
471.46/141.26	c Finding binary XORs  T:     0.88 s  found:     964
471.86/141.33	c Replacing     1008 vars Replaced    52145 lits Time:     0.30 s 
483.43/144.20	c  N dy  1475    203273     61615    167786    499718     42783   1430018    549006     10.86      6.63  --
497.82/147.87	c  N dy  1575    216297     61613    167786    500001     55391   1430013    711031     17.41      6.56  --
515.39/152.26	c  N dy  1681    230121     61612    167786    500315     46319   1430011    573706     12.30      6.50  --
524.57/154.53	c  S st  1741    237745     61612    167786    500464     53707   1430010    665079     13.82      6.47  --
526.19/154.95	c  S st  1741    238245     61612    167786    500510     54160   1430010    669239     13.82      6.47  --
526.56/155.00	c x-sub:   110 x-cut:      0 vfix:      0 v-elim:      6 locsubst:   220 time:   0.20
526.56/155.01	c Cache  BProp: 32 Set: 6 BXProp: 2 T: 0.05
544.93/159.62	c Flit:     6 Blit:      3 bXBeca:    0 bXProp:  292 Bin:   7591 BRemL:  19222 BRemN:   2767 CBin:       0 P: 60.0M T: 18.36
545.73/159.87	c Calc non-exist non-lernt bins v-fix:     0 done:  30425 time:  1.00 s
545.73/159.89	c Cache  BProp: 35 Set: 0 BXProp: 0 T: 0.08
546.93/160.14	c Subs w/ non-existent bins:   1934 time:  1.00 s
547.33/160.25	c Replacing      388 vars Replaced    17215 lits Time:     0.41 s 
548.15/160.41	c bin-w-bin subsume rem        11575 bins  time:  0.27 s
548.92/160.64	c subs with bin:     2953  lits-rem:      8887  v-fix:    0  time:  0.91 s
549.32/160.73	c Removed useless bin:    2930  fixed:     0  bprops:   2.15M  time:  0.34 s
562.51/164.02	c ORs :  34320 avg-s:  5.4 cl-sh:  3099 l-rem:   9509 b-add:    805 v-rep:  25 cl-rem: 465 avg s: 3.3 T:   10.01
562.91/164.11	c lits-rem:       463  cl-subs:     8051  v-elim:  10660  v-fix:    0  time: 13.50 s
562.91/164.11	c learnt bin added due to v-elim: 0
563.71/164.32	c vivif2 --  cl tried   165503 cl shrink     3067 lits rem       5460 time: 0.83
563.71/164.39	c vivif2 --  cl tried    43582 cl shrink     1663 lits rem       3026 time: 0.31
564.91/164.60	c asymm  cl-useful: 81/2071/164933 lits-rem:136 time: 0.82
565.32/164.71	c calculated reachability. Time: 0.33
565.32/164.71	c  N dy  1741    238245     60553    164932    466348     43159   1376339    569048     13.82      6.47  --
584.08/169.43	c  N dy  1860    253559     60552    164932    466681     57984   1376333    770032     13.17      6.41  --
604.44/174.58	c  N dy  1985    269776     60550    164932    466992     42880   1376325    549683      9.95      6.37  --
626.41/180.01	c  N dy  2117    287071     60548    164932    487598     62558   1377553    831103     14.80      6.33  --
642.78/184.10	c Finding binary XORs  T:     0.98 s  found:     668
642.78/184.17	c Replacing      693 vars Replaced    33142 lits Time:     0.27 s 
651.56/186.37	c  N dy  2260    305477     59795    164542    505385     57984   1374595    746675     13.38      6.28  --
680.72/193.62	c  N dy  2410    325043     59792    164542    519570     54029   1375434    679924     15.22      6.26  --
709.88/200.95	c  N dy  2564    345079     59777    164542    519885     73578   1375426    953026     11.44      6.23  --
728.27/205.57	c  S st  2658    357367     59777    164542    520071     58661   1375423    718160     13.66      6.22  --
730.24/206.05	c  S st  2658    357868     59777    164542    520111     59116   1375423    722505     13.66      6.22  --
730.64/206.10	c x-sub:   172 x-cut:      0 vfix:      0 v-elim:     15 locsubst:   199 time:   0.20
730.64/206.12	c Cache  BProp: 44 Set: 1 BXProp: 3 T: 0.08
751.41/211.30	c Flit:    25 Blit:     30 bXBeca:    0 bXProp:  383 Bin:  10440 BRemL:  26065 BRemN:   1503 CBin:       0 P: 60.0M T: 20.68
752.21/211.59	c Calc non-exist non-lernt bins v-fix:     0 done:  30438 time:  1.09 s
752.61/211.61	c Cache  BProp: 73 Set: 0 BXProp: 11 T: 0.10
753.81/211.91	c Subs w/ non-existent bins:   3557 time:  1.20 s
754.23/212.02	c Replacing      485 vars Replaced    23727 lits Time:     0.40 s 
754.63/212.18	c bin-w-bin subsume rem         9004 bins  time:  0.28 s
755.40/212.40	c subs with bin:     2988  lits-rem:      8132  v-fix:    0  time:  0.88 s
755.80/212.47	c Removed useless bin:    2140  fixed:     0  bprops:   1.85M  time:  0.31 s
770.59/216.10	c ORs :  38790 avg-s:  5.5 cl-sh:  4290 l-rem:   8270 b-add:   1598 v-rep:  63 cl-rem: 433 avg s: 3.3 T:   11.94
770.59/216.19	c lits-rem:       433  cl-subs:     5444  v-elim:   9102  v-fix:    0  time: 14.87 s
770.59/216.19	c learnt bin added due to v-elim: 0
771.80/216.43	c vivif2 --  cl tried   161457 cl shrink     2103 lits rem       6216 time: 0.94
772.20/216.54	c vivif2 --  cl tried    48821 cl shrink     1788 lits rem       3055 time: 0.44
772.98/216.77	c asymm  cl-useful: 83/1637/160823 lits-rem:136 time: 0.90
773.38/216.89	c calculated reachability. Time: 0.39
773.38/216.90	c  N dy  2658    357868     58897    160823    483249     48237   1329578    615617     13.66      6.22  --
801.34/223.88	c  N dy  2811    377895     58885    160823    483594     67765   1329576    878800     12.86      6.19  --
827.31/230.30	c Finding binary XORs  T:     1.10 s  found:     424
832.50/231.69	c  N dy  2965    398019     58853    160702    516149     57679   1329987    734322     13.23      6.16  --
862.45/239.15	c  N dy  3119    418152     58846    160702    516346     77456   1329986   1022686     15.75      6.15  --
892.81/246.79	c  N dy  3272    438224     58837    160702    528580     70507   1330981    881330     13.06      6.13  --
925.99/255.09	c  N dy  3425    458257     58831    160702    528816     60639   1330971    725813     12.92      6.11  --
957.13/262.90	c  N dy  3578    478334     58820    160702    529019     80354   1330965   1015502     15.76      6.11  --
990.69/271.25	c  N dy  3731    498401     58816    160702    529229     69159   1330958    825801     14.54      6.11  --
1017.06/277.86	c Finding binary XORs  T:     1.08 s  found:     700
1017.46/277.94	c Replacing     1189 vars Replaced    63685 lits Time:     0.33 s 
1025.05/279.87	c  N dy  3884    518445     57605    160290    544091     89853   1326157   1141801     16.47      6.10  --
1054.22/287.15	c  S st  4024    536803     57597    160290    544262     75259   1326155    907107     15.25      6.10  --
1056.22/287.68	c  S st  4024    537308     57596    160290    544286     75738   1326155    911907     15.25      6.10  --
1056.62/287.73	c x-sub:   335 x-cut:      0 vfix:      0 v-elim:     31 locsubst:   107 time:   0.22
1056.62/287.76	c Cache  BProp: 98 Set: 11 BXProp: 0 T: 0.09
1075.00/292.35	c Flit:     5 Blit:     12 bXBeca:    0 bXProp:  156 Bin:   7521 BRemL:  15011 BRemN:   1693 CBin:       0 P: 60.0M T: 18.31
1076.18/292.62	c Calc non-exist non-lernt bins v-fix:     0 done:  30359 time:  1.06 s
1076.18/292.64	c Cache  BProp: 110 Set: 0 BXProp: 0 T: 0.10
1077.38/292.99	c Subs w/ non-existent bins:   2565 time:  1.39 s
1077.78/293.09	c Replacing      205 vars Replaced     8458 lits Time:     0.39 s 
1078.58/293.26	c bin-w-bin subsume rem        11201 bins  time:  0.30 s
1079.80/293.53	c subs with bin:     3129  lits-rem:      9912  v-fix:    0  time:  1.09 s
1080.17/293.60	c Removed useless bin:    2451  fixed:     0  bprops:   1.59M  time:  0.29 s
1096.98/297.85	c ORs :  40865 avg-s:  5.7 cl-sh:  2762 l-rem:   5312 b-add:   1377 v-rep:  33 cl-rem: 300 avg s: 3.2 T:   13.33
1097.38/297.93	c lits-rem:       552  cl-subs:     6721  v-elim:   8243  v-fix:    0  time: 17.29 s
1097.38/297.93	c learnt bin added due to v-elim: 0
1098.16/298.16	c vivif2 --  cl tried   157593 cl shrink     1807 lits rem       2313 time: 0.91
1098.96/298.32	c vivif2 --  cl tried    64277 cl shrink     1849 lits rem       2819 time: 0.62
1099.76/298.54	c asymm  cl-useful: 111/978/157307 lits-rem:148 time: 0.88
1100.16/298.66	c calculated reachability. Time: 0.38
1100.16/298.66	c  N dy  4024    537308     57043    157307    513811     63963   1281891    805408     15.25      6.10  --
1100.16/298.66	c  F st  4024    537308     57043    157307    513811     63963   1281891    805408     15.25      6.10  --
1100.56/298.72	c Replacing       33 vars Replaced     1430 lits Time:     0.24 s 
1104.55/299.71	c Decided on dynamic restart strategy
1134.51/307.20	c  N dy  4169    557397     56994    157307    527127     84921   1282171   1126511     14.29      6.09  --
1166.88/315.37	c  N dy  4321    577478     56986    157307    527297     65212   1282167    807422     13.36      6.08  --
1200.42/323.74	c  N dy  4473    597489     56984    157307    537566     85999   1282509   1123137     15.71      6.08  --
1212.01/326.67	c Finding binary XORs  T:     1.14 s  found:     261
1236.38/332.77	c  N dy  4626    617513     56948    157196    546686     72555   1281153    900730     12.29      6.08  --
1270.74/341.32	c  N dy  4778    637623     56938    157196    557577     93240   1281450   1217242     10.48      6.08  --
1304.69/349.88	c  N dy  4931    657710     56930    157196    557726     78233   1281448    971104     13.46      6.08  --
1339.44/358.58	c  N dy  5082    677713     56928    157196    557859     97953   1281440   1271828     14.19      6.08  --
1375.39/367.50	c  N dy  5235    697731     56927    157196    558020     81953   1281429    996040     12.99      6.07  --
1413.75/377.17	c  N dy  5387    717895     56914    157196    569972    103266   1281997   1346879     17.09      6.08  --
1449.29/386.07	c  N dy  5540    737904     56913    157196    583723     87257   1282414   1058286     12.93      6.07  --
1464.87/389.92	c Finding binary XORs  T:     1.14 s  found:     321
1464.87/389.99	c Replacing      582 vars Replaced    37825 lits Time:     0.31 s 
1488.83/395.99	c  N dy  5692    757921     56316    156886    578065    106096   1278271   1351614     15.08      6.07  --
1527.60/405.69	c  N dy  5845    777994     56307    156886    578219     87363   1278269   1048828     17.08      6.07  --
1565.53/415.17	c  N dy  5997    798107     56302    156886    578337    107198   1278268   1361615     14.77      6.08  --
1581.51/419.15	c  S st  6057    805963     56285    156886    578381    114951   1278265   1482593     14.57      6.08  --
1583.91/419.75	c  S st  6057    806465     56285    156886    578400    115426   1278265   1487885     14.57      6.08  --
1584.31/419.81	c x-sub:   153 x-cut:      0 vfix:      0 v-elim:     15 locsubst:    44 time:   0.22
1584.31/419.83	c Cache  BProp: 296 Set: 9 BXProp: 1 T: 0.10
1602.30/424.34	c Flit:    12 Blit:     23 bXBeca:    0 bXProp:  157 Bin:   6581 BRemL:  13851 BRemN:   1664 CBin:       0 P: 60.0M T: 18.01
1603.48/424.63	c Calc non-exist non-lernt bins v-fix:     0 done:  30334 time:  1.11 s
1603.48/424.65	c Cache  BProp: 318 Set: 0 BXProp: 0 T: 0.11
1605.49/425.14	c Subs w/ non-existent bins:   1650 time:  1.94 s
1605.89/425.25	c Replacing      179 vars Replaced    11907 lits Time:     0.43 s 
1606.70/425.46	c bin-w-bin subsume rem         8692 bins  time:  0.32 s
1608.68/425.97	c subs with bin:     3186  lits-rem:      6381  v-fix:    0  time:  2.03 s
1609.07/426.03	c Removed useless bin:    1540  fixed:     0  bprops:   1.31M  time:  0.26 s
1629.45/431.15	c ORs :  40765 avg-s:  5.7 cl-sh:  1648 l-rem:   2679 b-add:    848 v-rep:   6 cl-rem: 143 avg s: 3.2 T:   13.65
1629.85/431.26	c lits-rem:      1713  cl-subs:     7862  v-elim:   7684  v-fix:    0  time: 20.88 s
1629.85/431.26	c learnt bin added due to v-elim: 0
1630.65/431.49	c vivif2 --  cl tried   154914 cl shrink     1413 lits rem       1766 time: 0.96
1632.25/431.84	c vivif2 --  cl tried   102882 cl shrink     3556 lits rem       6306 time: 1.36
1633.06/432.05	c asymm  cl-useful: 51/773/154707 lits-rem:57 time: 0.85
1633.47/432.18	c calculated reachability. Time: 0.40
1633.47/432.18	c  N dy  6057    806465     55810    154707    546021    102456   1247552   1322982     14.57      6.08  --
1674.99/442.57	c  N dy  6209    826584     55802    154707    572632     79421   1248294    979268     16.50      6.08  --
1712.54/451.93	c  N dy  6360    846632     55766    154707    572745     99202   1248290   1282815     16.45      6.08  --
1729.72/456.27	c Finding binary XORs  T:     1.17 s  found:     206
1753.26/462.18	c  N dy  6513    866759     55759    154562    570442     79161   1246311    939832     13.85      6.08  --
1790.01/471.36	c  N dy  6666    886841     55756    154562    579826     99674   1246573   1235027     15.89      6.07  --
1830.35/481.40	c  N dy  6820    906940     55754    154562    579947     79153   1246571    921124     14.01      6.07  --
1867.89/490.88	c  N dy  6971    927012     55746    154562    598379    100770   1247213   1253658     18.09      6.07  --
1910.63/501.56	c  N dy  7122    947017     55722    154562    598499    120525   1247210   1558982     16.03      6.07  --
1951.77/511.80	c  N dy  7275    967055     55702    154562    598607     98610   1247208   1193034     14.70      6.07  --
1993.74/522.32	c  N dy  7427    987145     55696    154562    607422    119420   1247555   1526739     16.41      6.07  --
1998.51/523.57	c Finding binary XORs  T:     1.17 s  found:     330
2037.67/533.31	c  N dy  7579   1007215     55668    154420    600069     96139   1244009   1128518     15.07      6.08  --
2080.80/544.20	c  N dy  7730   1027219     55624    154420    614012    117301   1244490   1464776     16.08      6.07  --
2128.34/556.05	c  N dy  7881   1047309     55621    154420    614112     93407   1244486   1064579     12.68      6.08  --
2168.29/566.01	c  N dy  8033   1067390     55611    154420    614215    113255   1244485   1355467     14.63      6.08  --
2214.63/577.63	c  N dy  8184   1087496     55606    154420    620783    133740   1244779   1680805     13.88      6.08  --
2259.37/588.86	c  N dy  8336   1107583     55590    154420    625702    109704   1244966   1279042     12.26      6.08  --
2280.94/594.25	c Finding binary XORs  T:     1.25 s  found:     271
2281.34/594.34	c Replacing      815 vars Replaced    61235 lits Time:     0.37 s 
2307.71/600.92	c  N dy  8489   1127694     54769    154078    623338    129010   1237975   1583801     16.25      6.08  --
2355.25/612.81	c  N dy  8640   1147764     54757    154078    623412    102180   1237972   1152017     15.04      6.08  --
2399.99/624.03	c  N dy  8793   1167845     54747    154078    623510    122060   1237971   1447363     13.17      6.08  --
2447.52/635.97	c  N dy  8943   1187885     54746    154078    627688    142585   1238334   1780687     17.13      6.08  --
2492.27/647.12	c  N dy  9095   1207979     54731    154078    635891    116607   1238690   1342453     13.94      6.08  --
2495.86/648.04	c  S st  9108   1209697     54731    154078    635901    118294   1238687   1368470     14.00      6.08  --
2498.26/648.62	c  S st  9108   1210199     54730    154078    635919    118773   1238687   1374527     14.00      6.08  --
2498.26/648.68	c x-sub:   151 x-cut:      0 vfix:      0 v-elim:     10 locsubst:    11 time:   0.23
2498.68/648.71	c Cache  BProp: 550 Set: 6 BXProp: 14 T: 0.11
2521.44/654.45	c Flit:    10 Blit:      9 bXBeca:    0 bXProp:  108 Bin:   5102 BRemL:  29722 BRemN:   1344 CBin:       0 P: 60.0M T: 22.90
2522.64/654.76	c Calc non-exist non-lernt bins v-fix:     0 done:  30284 time:  1.22 s
2522.64/654.79	c Cache  BProp: 554 Set: 0 BXProp: 35 T: 0.12
2525.05/655.34	c Subs w/ non-existent bins:   2194 time:  2.19 s
2525.45/655.46	c Replacing      161 vars Replaced    16450 lits Time:     0.46 s 
2526.23/655.67	c bin-w-bin subsume rem        11914 bins  time:  0.38 s
2527.83/656.06	c subs with bin:     4539  lits-rem:      6563  v-fix:    0  time:  1.56 s
2528.23/656.13	c Removed useless bin:    3059  fixed:     0  bprops:   1.13M  time:  0.27 s
2548.20/661.15	c ORs :  39855 avg-s:  5.7 cl-sh:  1837 l-rem:   3490 b-add:    825 v-rep:   8 cl-rem: 191 avg s: 3.1 T:   13.71
2594.14/672.62	c Added 0 vars  tried: 80000 time: 45.79
2594.14/672.62	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:   45.80
2594.54/672.73	c lits-rem:      1206  cl-subs:     7476  v-elim:   7294  v-fix:    0  time: 66.31 s
2594.54/672.73	c learnt bin added due to v-elim: 0
2595.35/672.97	c vivif2 --  cl tried   151625 cl shrink      976 lits rem       1458 time: 0.97
2596.93/673.31	c vivif2 --  cl tried   105964 cl shrink     2801 lits rem       4339 time: 1.34
2597.73/673.53	c asymm  cl-useful: 66/1150/151453 lits-rem:105 time: 0.89
2598.13/673.66	c calculated reachability. Time: 0.41
2598.13/673.67	c  N dy  9108   1210199     54309    151448    587325    105389   1201947   1226422     14.00      6.08  --
2644.10/685.13	c  N dy  9259   1230313     54300    151448    591701    125747   1202227   1561660     17.07      6.09  --
2692.02/697.12	c  N dy  9408   1250327     54299    151448    595829    145956   1202441   1921962     18.04      6.10  --
2732.35/707.29	c Finding binary XORs  T:     1.27 s  found:     188
2737.14/708.43	c  N dy  9559   1270353     54294    151365    597559    109455   1202031   1275194     14.72      6.10  --
2782.29/719.71	c  N dy  9710   1290480     54289    151365    597666    129339   1202028   1598935     16.04      6.10  --
2829.83/731.69	c  N dy  9860   1310567     54288    151365    606620    100661   1202243   1120959     14.55      6.11  --
2871.37/742.02	c  N dy 10009   1330583     54281    151365    606698    120477   1202242   1429955     18.33      6.11  --
2916.53/753.37	c  N dy 10159   1350622     54276    151365    613282    141129   1202454   1776473     19.61      6.11  --
2961.26/764.57	c  N dy 10309   1370689     54274    151365    613369    111269   1202452   1255223     15.18      6.12  --
3004.79/775.47	c  N dy 10460   1390821     54273    151365    613442    131201   1202450   1564597     15.74      6.12  --
3051.53/787.17	c  N dy 10608   1410845     54272    151365    617691    151850   1202815   1930462     19.96      6.13  --
3097.07/798.57	c  N dy 10758   1430846     54247    151365    620406    121244   1202990   1373797     14.98      6.13  --
3133.02/807.58	c Finding binary XORs  T:     1.28 s  found:     239
3146.60/810.90	c  N dy 10908   1450910     54228    151258    623848    141260   1200637   1702010     14.98      6.13  --
3197.76/823.79	c  N dy 11057   1470976     54216    151258    623911    109089   1200637   1170719     14.79      6.14  --
3242.08/834.89	c  N dy 11207   1491076     54216    151258    629980    129476   1200781   1492748     17.12      6.14  --
3288.42/846.48	c  N dy 11356   1511205     54211    151258    630053    149395   1200779   1829633     15.10      6.14  --
3339.55/859.21	c  N dy 11506   1531261     54186    151258    641931    117698   1201162   1292722     17.72      6.15  --
3384.69/870.51	c  N dy 11655   1551283     54181    151258    641994    137549   1201160   1618273     18.39      6.15  --
3434.22/882.94	c  N dy 11805   1571305     54175    151258    642080    157348   1201160   1960001     17.63      6.15  --
3482.15/894.98	c  N dy 11955   1591354     54172    151258    642149    123485   1201158   1349695     16.73      6.16  --
3527.32/906.26	c  N dy 12103   1611427     54169    151258    647801    144077   1201447   1682217     15.04      6.16  --
3547.67/911.39	c Finding binary XORs  T:     1.33 s  found:     257
3548.07/911.49	c Replacing      692 vars Replaced    56368 lits Time:     0.40 s 
3580.42/919.59	c  N dy 12251   1631440     53467    150894    647494    163733   1195866   2023407     15.61      6.16  --
3629.16/931.78	c  N dy 12400   1651502     53465    150894    651680    128072   1195942   1405731     15.92      6.17  --
3674.70/943.15	c  N dy 12549   1671598     53463    150894    651737    147961   1195939   1746907     17.95      6.17  --
3725.05/955.77	c  N dy 12697   1691609     53462    150894    656427    168148   1196088   2102777     19.22      6.18  --
3770.96/967.25	c  S st 12836   1710200     53459    150894    661149    130915   1196221   1428086     16.07      6.18  --
3772.98/967.78	c  S st 12836   1710700     53459    150894    661153    131409   1196221   1434386     16.07      6.18  --
3773.38/967.84	c x-sub:    98 x-cut:      0 vfix:      0 v-elim:     13 locsubst:     4 time:   0.22
3773.38/967.87	c Cache  BProp: 749 Set: 12 BXProp: 10 T: 0.12
3794.55/973.15	c Flit:     3 Blit:      1 bXBeca:    0 bXProp:   77 Bin:   4825 BRemL:  18494 BRemN:   1558 CBin:       0 P: 60.0M T: 21.11
3795.74/973.44	c Calc non-exist non-lernt bins v-fix:     0 done:  30335 time:  1.10 s
3795.74/973.47	c Cache  BProp: 746 Set: 0 BXProp: 18 T: 0.12
3798.14/974.02	c Subs w/ non-existent bins:   1909 time:  2.20 s
3798.54/974.13	c Replacing      106 vars Replaced    10990 lits Time:     0.44 s 
3799.35/974.34	c bin-w-bin subsume rem        10083 bins  time:  0.40 s
3800.53/974.67	c subs with bin:     4030  lits-rem:      4535  v-fix:    0  time:  1.34 s
3800.93/974.73	c Removed useless bin:    2671  fixed:     0  bprops:   1.06M  time:  0.24 s
3820.11/979.58	c ORs :  38819 avg-s:  5.6 cl-sh:  1476 l-rem:   2848 b-add:    620 v-rep:  12 cl-rem: 108 avg s: 3.2 T:   13.79
3820.51/979.69	c lits-rem:       960  cl-subs:     7132  v-elim:   6949  v-fix:    0  time: 19.83 s
3820.51/979.69	c learnt bin added due to v-elim: 0
3821.72/979.95	c vivif2 --  cl tried   148756 cl shrink      787 lits rem       1040 time: 0.99
3823.30/980.32	c vivif2 --  cl tried   119801 cl shrink     2112 lits rem       3157 time: 1.52
3824.10/980.55	c asymm  cl-useful: 54/1126/148548 lits-rem:92 time: 0.89
3824.50/980.68	c calculated reachability. Time: 0.42
3824.50/980.69	c  N dy 12836   1710700     53134    148545    628094    119434   1167804   1324524     16.07      6.18  --
3872.04/992.55	c  N dy 12985   1730792     53128    148545    632787    139779   1167967   1668740     23.23      6.18  --
3921.57/1004.96	c  N dy 13133   1750829     53127    148545    632853    159639   1167966   1998621     16.95      6.18  --
3963.51/1015.44	c Finding binary XORs  T:     1.36 s  found:      78
3974.30/1018.10	c  N dy 13281   1770932     53126    148517    636598    179701   1167686   2350415     18.94      6.19  --
4019.06/1029.37	c  N dy 13429   1790937     53126    148517    636658    134277   1167683   1554970     15.84      6.18  --
4067.40/1041.44	c  N dy 13577   1810942     53126    148517    640880    154326   1167799   1896108     17.51      6.19  --
4120.14/1054.66	c  N dy 13726   1831060     53119    148517    640944    174266   1167799   2247418     19.01      6.19  --
4166.85/1066.36	c  N dy 13875   1851133     53116    148517    645084    136863   1167962   1567383     17.23      6.19  --
4215.60/1078.58	c  N dy 14024   1871266     53112    148517    645155    156805   1167960   1901987     16.70      6.19  --
4268.32/1091.71	c  N dy 14173   1891338     53112    148517    652446    177282   1168187   2266508     18.11      6.20  --
4315.47/1103.55	c  N dy 14323   1911403     53110    148517    652517    138586   1168184   1567618     16.63      6.20  --
4366.21/1116.26	c  N dy 14474   1931414     53103    148517    652585    158393   1168184   1894230     17.80      6.20  --
4384.19/1120.76	c Finding binary XORs  T:     1.32 s  found:     144
4422.53/1130.37	c  N dy 14623   1951440     53088    148426    659309    178134   1167213   2259896     15.74      6.20  --
4472.45/1142.81	c  N dy 14772   1971468     53081    148426    669205    139070   1167403   1567367     17.10      6.20  --
4522.39/1155.38	c  N dy 14921   1991594     53073    148426    669264    158998   1167402   1891614     16.70      6.20  --
4576.32/1168.89	c  N dy 15069   2011705     53052    148426    669329    178903   1167401   2245728     17.43      6.21  --
4627.85/1181.79	c  N dy 15217   2031747     53052    148426    674503    138321   1167503   1528587     15.65      6.21  --
4677.78/1194.25	c  N dy 15367   2051799     53027    148426    681413    158533   1167681   1872650     18.15      6.21  --
4732.51/1207.99	c  N dy 15516   2071865     53020    148426    686323    178887   1167810   2234100     17.45      6.21  --
4786.44/1221.41	c  N dy 15665   2091927     53011    148426    686384    137260   1167810   1486525     14.09      6.21  --

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.74 5.61 6.92 2/172 18506
/proc/meminfo: memFree=25211368/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=21608 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 706 0 0 0 0 0 0 0 21 0 1 0 514865432 22126592 645 33554432000 4194304 4797429 140734807037040 18446744073709551615 47160673381569 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 5402 645 330 148 0 331 0

[startup+0.073529 s]
/proc/loadavg: 3.74 5.61 6.92 2/172 18506
/proc/meminfo: memFree=25211368/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=61508 CPUtime=0.06 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 3854 0 0 0 6 0 0 0 21 0 1 0 514865432 62984192 3347 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664469189 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 15377 3348 350 148 0 10306 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 61508

[startup+0.100511 s]
/proc/loadavg: 3.74 5.61 6.92 2/172 18506
/proc/meminfo: memFree=25211368/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=71916 CPUtime=0.09 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 6627 0 0 0 8 1 0 0 21 0 1 0 514865432 73641984 5187 33554432000 4194304 4797429 140734807037040 18446744073709551615 4365814 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 17979 5191 351 148 0 12908 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 71916

[startup+0.300478 s]
/proc/loadavg: 3.74 5.61 6.92 2/172 18506
/proc/meminfo: memFree=25211368/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=132904 CPUtime=0.29 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 23340 0 0 0 26 3 0 0 22 0 1 0 514865432 136093696 18128 33554432000 4194304 4797429 140734807037040 18446744073709551615 4417469 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 33226 18128 351 148 0 28155 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 132904

[startup+0.700405 s]
/proc/loadavg: 3.74 5.61 6.92 2/172 18506
/proc/meminfo: memFree=25211368/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=240520 CPUtime=0.69 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 55834 0 0 0 62 7 0 0 24 0 1 0 514865432 246292480 41331 33554432000 4194304 4797429 140734807037040 18446744073709551615 4366925 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 60130 41332 351 148 0 55059 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 240520

[startup+1.50027 s]
/proc/loadavg: 3.74 5.61 6.92 3/173 18507
/proc/meminfo: memFree=24935460/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=454392 CPUtime=1.49 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 118199 0 0 0 134 15 0 0 25 0 1 0 514865432 465297408 88841 33554432000 4194304 4797429 140734807037040 18446744073709551615 4366550 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/18506/statm: 113598 88841 351 148 0 108527 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 454392

[startup+3.10094 s]
/proc/loadavg: 3.84 5.60 6.91 6/176 18510
/proc/meminfo: memFree=24734816/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1049520 CPUtime=7.59 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 134980 0 0 0 739 20 0 0 20 0 4 0 514865432 1074708480 99896 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427384 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18506/statm: 262380 99896 385 148 0 257309 0
[pid=18506/tid=18508] ppid=18504 vsize=1049520 CPUtime=1.49 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 3003 0 0 0 149 0 0 0 20 0 4 0 514865592 1074708480 99896 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428564 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1049520 CPUtime=1.49 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 3599 0 0 0 148 1 0 0 20 0 4 0 514865592 1074708480 99896 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1049520 CPUtime=1.48 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 3814 0 0 0 148 0 0 0 19 0 4 0 514865592 1074708480 99896 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 1049520

[startup+6.30039 s]
/proc/loadavg: 3.84 5.60 6.91 6/176 18510
/proc/meminfo: memFree=24607216/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1057968 CPUtime=20.37 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 137081 0 0 0 2016 21 0 0 25 0 4 0 514865432 1083359232 101997 33554432000 4194304 4797429 140734807037040 18446744073709551615 4430106 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18506/statm: 264492 101997 385 148 0 259421 0
[pid=18506/tid=18508] ppid=18504 vsize=1057968 CPUtime=4.69 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 3563 0 0 0 468 1 0 0 25 0 4 0 514865592 1083359232 101997 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1057968 CPUtime=4.69 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 4158 0 0 0 468 1 0 0 25 0 4 0 514865592 1083359232 101997 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1057968 CPUtime=4.67 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 4254 0 0 0 467 0 0 0 25 0 4 0 514865592 1083359232 101997 33554432000 4194304 4797429 140734807037040 18446744073709551615 4242465 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 20.37
Current children cumulated vsize (KiB) 1057968

[startup+12.7003 s]
/proc/loadavg: 4.26 5.66 6.92 5/175 18511
/proc/meminfo: memFree=24162828/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1405988 CPUtime=45.68 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 229858 0 0 0 4503 65 0 0 25 0 4 0 514865432 1439731712 191955 33554432000 4194304 4797429 140734807037040 18446744073709551615 4331610 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 351497 191955 475 148 0 346426 0
[pid=18506/tid=18508] ppid=18504 vsize=1405988 CPUtime=11.02 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 23197 0 0 0 1089 13 0 0 25 0 4 0 514865592 1439731712 191955 33554432000 4194304 4797429 140734807037040 18446744073709551615 4422876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1405988 CPUtime=11.02 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 27627 0 0 0 1088 14 0 0 25 0 4 0 514865592 1439731712 191955 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1405988 CPUtime=10.97 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 24686 0 0 0 1087 10 0 0 25 0 4 0 514865592 1439731712 191955 33554432000 4194304 4797429 140734807037040 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 45.68
Current children cumulated vsize (KiB) 1405988

[startup+25.5011 s]
/proc/loadavg: 5.32 5.82 6.95 6/179 18517
/proc/meminfo: memFree=22719736/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1566144 CPUtime=86.51 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 395347 0 0 0 8418 233 0 0 25 0 4 0 514865432 1603731456 227052 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664913439 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18506/statm: 391536 227052 477 148 0 386465 0
[pid=18506/tid=18508] ppid=18504 vsize=1566144 CPUtime=21.04 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) S 18504 18506 18108 0 -1 4202560 78092 0 0 0 1998 106 0 0 25 0 4 0 514865592 1603731456 227052 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664913390 0 0 4096 2 18446604471138621568 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1566144 CPUtime=20.99 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) S 18504 18506 18108 0 -1 4202560 75130 0 0 0 2038 61 0 0 18 0 4 0 514865592 1603731456 227052 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664913390 0 0 4096 2 18446604471138621568 0 0 -1 3 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1566144 CPUtime=21.38 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 74858 0 0 0 2110 28 0 0 18 0 4 0 514865592 1603731456 227052 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664913390 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 86.51
Current children cumulated vsize (KiB) 1566144

[startup+51.1006 s]
/proc/loadavg: 7.01 6.17 7.04 10/182 18520
/proc/meminfo: memFree=19232356/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1720400 CPUtime=165.67 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 515973 0 0 0 15951 616 0 0 25 0 4 0 514865432 1761689600 260232 33554432000 4194304 4797429 140734807037040 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/18506/statm: 430100 260232 479 148 0 425029 0
[pid=18506/tid=18508] ppid=18504 vsize=1720400 CPUtime=41.41 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 93383 0 0 0 3926 215 0 0 19 0 4 0 514865592 1761689600 260232 33554432000 4194304 4797429 140734807037040 18446744073709551615 4524384 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1720400 CPUtime=43.92 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 119466 0 0 0 4238 154 0 0 25 0 4 0 514865592 1761689600 260232 33554432000 4194304 4797429 140734807037040 18446744073709551615 4415778 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1720400 CPUtime=40.69 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 85356 0 0 0 3951 118 0 0 18 0 4 0 514865592 1761689600 260232 33554432000 4194304 4797429 140734807037040 18446744073709551615 4567988 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 165.67
Current children cumulated vsize (KiB) 1720400

[startup+102.301 s]
/proc/loadavg: 9.67 7.02 7.28 9/182 18522
/proc/meminfo: memFree=18675736/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=1974620 CPUtime=318 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 596325 0 0 0 29443 2357 0 0 18 0 4 0 514865432 2022010880 333786 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427914 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/18506/statm: 493655 333786 480 148 0 488584 0
[pid=18506/tid=18508] ppid=18504 vsize=1974620 CPUtime=69.54 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 106966 0 0 0 6295 659 0 0 25 0 4 0 514865592 2022010880 333786 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=1974620 CPUtime=82.67 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 147430 0 0 0 7637 630 0 0 18 0 4 0 514865592 2022010880 333786 33554432000 4194304 4797429 140734807037040 18446744073709551615 4642210 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=1974620 CPUtime=84.29 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 115545 0 0 0 7579 850 0 0 18 0 4 0 514865592 2022010880 333786 33554432000 4194304 4797429 140734807037040 18446744073709551615 274664913439 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 318
Current children cumulated vsize (KiB) 1974620

[startup+162.3 s]
/proc/loadavg: 8.71 7.24 7.34 9/182 18523
/proc/meminfo: memFree=18378456/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2174924 CPUtime=555.72 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 691095 0 0 0 53053 2519 0 0 25 0 4 0 514865432 2227122176 390125 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 543731 390125 480 148 0 538660 0
[pid=18506/tid=18508] ppid=18504 vsize=2174924 CPUtime=128.86 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 125336 0 0 0 12198 688 0 0 25 0 4 0 514865592 2227122176 390125 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428023 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2174924 CPUtime=142.29 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 174005 0 0 0 13566 663 0 0 25 0 4 0 514865592 2227122176 390125 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2174924 CPUtime=143.69 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 136014 0 0 0 13447 922 0 0 25 0 4 0 514865592 2227122176 390125 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428416 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 555.72
Current children cumulated vsize (KiB) 2174924

[startup+222.301 s]
/proc/loadavg: 8.26 7.38 7.38 9/182 18525
/proc/meminfo: memFree=18167068/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2280024 CPUtime=795.34 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 718162 0 0 0 77007 2527 0 0 25 0 4 0 514865432 2334744576 405543 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424123 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 570006 405543 480 148 0 564935 0
[pid=18506/tid=18508] ppid=18504 vsize=2280024 CPUtime=188.86 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 130233 0 0 0 18196 690 0 0 25 0 4 0 514865592 2334744576 405543 33554432000 4194304 4797429 140734807037040 18446744073709551615 4360302 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2280024 CPUtime=201.97 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 177797 0 0 0 19533 664 0 0 25 0 4 0 514865592 2334744576 405543 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2280024 CPUtime=203.64 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 142496 0 0 0 19440 924 0 0 25 0 4 0 514865592 2334744576 405543 33554432000 4194304 4797429 140734807037040 18446744073709551615 4642194 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 795.34
Current children cumulated vsize (KiB) 2280024

[startup+282.301 s]
/proc/loadavg: 7.73 7.39 7.38 7/182 18526
/proc/meminfo: memFree=17928572/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2295908 CPUtime=1035.05 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 766590 0 0 0 100966 2539 0 0 25 0 4 0 514865432 2351009792 414854 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 573977 414854 480 148 0 568906 0
[pid=18506/tid=18508] ppid=18504 vsize=2295908 CPUtime=248.86 cores=1,3,5,7

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

[pid=18506] ppid=18504 vsize=2365636 CPUtime=2473.09 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 889497 0 0 0 244736 2573 0 0 25 0 4 0 514865432 2422411264 444780 33554432000 4194304 4797429 140734807037040 18446744073709551615 4422918 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 591409 444780 480 148 0 586338 0
[pid=18506/tid=18508] ppid=18504 vsize=2365636 CPUtime=608.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 180200 0 0 0 60185 700 0 0 25 0 4 0 514865592 2422411264 444780 33554432000 4194304 4797429 140734807037040 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2365636 CPUtime=619.82 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 201057 0 0 0 61314 668 0 0 25 0 4 0 514865592 2422411264 444780 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428900 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2365636 CPUtime=623.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 185058 0 0 0 61420 937 0 0 25 0 4 0 514865592 2422411264 444780 33554432000 4194304 4797429 140734807037040 18446744073709551615 4225985 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2473.09
Current children cumulated vsize (KiB) 2365636

[startup+702.301 s]
/proc/loadavg: 8.06 7.44 7.29 9/182 18568
/proc/meminfo: memFree=21840676/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2382176 CPUtime=2712.78 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 902758 0 0 0 268701 2577 0 0 25 0 4 0 514865432 2439348224 445791 33554432000 4194304 4797429 140734807037040 18446744073709551615 4423002 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 595544 445791 480 148 0 590473 0
[pid=18506/tid=18508] ppid=18504 vsize=2382176 CPUtime=668.84 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 181102 0 0 0 66184 700 0 0 25 0 4 0 514865592 2439348224 445791 33554432000 4194304 4797429 140734807037040 18446744073709551615 4429121 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2382176 CPUtime=679.52 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 206015 0 0 0 67282 670 0 0 25 0 4 0 514865592 2439348224 445791 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2382176 CPUtime=683.56 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 187201 0 0 0 67419 937 0 0 25 0 4 0 514865592 2439348224 445791 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2712.78
Current children cumulated vsize (KiB) 2382176

[startup+762.301 s]
/proc/loadavg: 8.07 7.56 7.34 9/182 18569
/proc/meminfo: memFree=21855272/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2386220 CPUtime=2952.47 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 911551 0 0 0 292666 2581 0 0 25 0 4 0 514865432 2443489280 442222 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 596555 442222 480 148 0 591484 0
[pid=18506/tid=18508] ppid=18504 vsize=2386220 CPUtime=728.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 181334 0 0 0 72184 701 0 0 25 0 4 0 514865592 2443489280 442222 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427317 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2386220 CPUtime=739.19 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 207092 0 0 0 73249 670 0 0 25 0 4 0 514865592 2443489280 442222 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2386220 CPUtime=743.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 189376 0 0 0 73419 938 0 0 25 0 4 0 514865592 2443489280 442222 33554432000 4194304 4797429 140734807037040 18446744073709551615 4429171 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2952.47
Current children cumulated vsize (KiB) 2386220

[startup+822.3 s]
/proc/loadavg: 8.02 7.63 7.38 9/182 18571
/proc/meminfo: memFree=21848540/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2391908 CPUtime=3192.14 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 917328 0 0 0 316631 2583 0 0 25 0 4 0 514865432 2449313792 445142 33554432000 4194304 4797429 140734807037040 18446744073709551615 4423684 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 597977 445142 480 148 0 592906 0
[pid=18506/tid=18508] ppid=18504 vsize=2391908 CPUtime=788.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 181671 0 0 0 78184 701 0 0 25 0 4 0 514865592 2449313792 445142 33554432000 4194304 4797429 140734807037040 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2391908 CPUtime=798.87 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 207422 0 0 0 79217 670 0 0 25 0 4 0 514865592 2449313792 445142 33554432000 4194304 4797429 140734807037040 18446744073709551615 4429125 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2391908 CPUtime=803.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 189924 0 0 0 79419 938 0 0 25 0 4 0 514865592 2449313792 445142 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424963 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3192.14
Current children cumulated vsize (KiB) 2391908

[startup+882.301 s]
/proc/loadavg: 8.05 7.71 7.42 9/182 18572
/proc/meminfo: memFree=21823972/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2400120 CPUtime=3431.82 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 928936 0 0 0 340597 2585 0 0 25 0 4 0 514865432 2457722880 449022 33554432000 4194304 4797429 140734807037040 18446744073709551615 4426003 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 600030 449022 480 148 0 594959 0
[pid=18506/tid=18508] ppid=18504 vsize=2400120 CPUtime=848.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 182801 0 0 0 84184 701 0 0 25 0 4 0 514865592 2457722880 449022 33554432000 4194304 4797429 140734807037040 18446744073709551615 4346527 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2400120 CPUtime=858.56 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 208105 0 0 0 85185 671 0 0 25 0 4 0 514865592 2457722880 449022 33554432000 4194304 4797429 140734807037040 18446744073709551615 4238940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2400120 CPUtime=863.56 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 191708 0 0 0 85418 938 0 0 25 0 4 0 514865592 2457722880 449022 33554432000 4194304 4797429 140734807037040 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3431.82
Current children cumulated vsize (KiB) 2400120

[startup+942.301 s]
/proc/loadavg: 8.10 7.79 7.46 9/182 18574
/proc/meminfo: memFree=21836488/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2407096 CPUtime=3671.5 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 937362 0 0 0 364561 2589 0 0 25 0 4 0 514865432 2464866304 445461 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 601774 445461 480 148 0 596703 0
[pid=18506/tid=18508] ppid=18504 vsize=2407096 CPUtime=908.84 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 184302 0 0 0 90183 701 0 0 25 0 4 0 514865592 2464866304 445461 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2407096 CPUtime=918.23 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 208228 0 0 0 91152 671 0 0 25 0 4 0 514865592 2464866304 445461 33554432000 4194304 4797429 140734807037040 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2407096 CPUtime=923.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 191925 0 0 0 91418 939 0 0 25 0 4 0 514865592 2464866304 445461 33554432000 4194304 4797429 140734807037040 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3671.5
Current children cumulated vsize (KiB) 2407096

[startup+1002.3 s]
/proc/loadavg: 8.11 7.85 7.50 9/182 18576
/proc/meminfo: memFree=21807084/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2477724 CPUtime=3911.18 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 947272 0 0 0 388526 2592 0 0 25 0 4 0 514865432 2537189376 449060 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424383 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 619431 449060 480 148 0 614360 0
[pid=18506/tid=18508] ppid=18504 vsize=2477724 CPUtime=968.84 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 185671 0 0 0 96183 701 0 0 25 0 4 0 514865592 2537189376 449060 33554432000 4194304 4797429 140734807037040 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2477724 CPUtime=977.91 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 210203 0 0 0 97119 672 0 0 25 0 4 0 514865592 2537189376 449060 33554432000 4194304 4797429 140734807037040 18446744073709551615 4647959 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2477724 CPUtime=983.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 193587 0 0 0 97418 939 0 0 25 0 4 0 514865592 2537189376 449060 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3911.18
Current children cumulated vsize (KiB) 2477724

[startup+1062.3 s]
/proc/loadavg: 8.17 7.92 7.55 9/182 18577
/proc/meminfo: memFree=21804804/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2481872 CPUtime=4150.89 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 958456 0 0 0 412494 2595 0 0 25 0 4 0 514865432 2541436928 449627 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424194 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 620468 449627 480 148 0 615397 0
[pid=18506/tid=18508] ppid=18504 vsize=2481872 CPUtime=1028.86 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 186250 0 0 0 102184 702 0 0 25 0 4 0 514865592 2541436928 449627 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2481872 CPUtime=1037.61 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 212342 0 0 0 103088 673 0 0 25 0 4 0 514865592 2541436928 449627 33554432000 4194304 4797429 140734807037040 18446744073709551615 4346796 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2481872 CPUtime=1043.58 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 195857 0 0 0 103418 940 0 0 25 0 4 0 514865592 2541436928 449627 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4150.89
Current children cumulated vsize (KiB) 2481872

[startup+1122.3 s]
/proc/loadavg: 8.14 7.95 7.58 9/182 18579
/proc/meminfo: memFree=21778872/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2552956 CPUtime=4390.56 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 966695 0 0 0 436458 2598 0 0 25 0 4 0 514865432 2614226944 451905 33554432000 4194304 4797429 140734807037040 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 638239 451905 480 148 0 633168 0
[pid=18506/tid=18508] ppid=18504 vsize=2552956 CPUtime=1088.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 186823 0 0 0 108183 702 0 0 25 0 4 0 514865592 2614226944 451905 33554432000 4194304 4797429 140734807037040 18446744073709551615 4428576 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2552956 CPUtime=1097.28 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 214132 0 0 0 109055 673 0 0 25 0 4 0 514865592 2614226944 451905 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2552956 CPUtime=1103.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 196887 0 0 0 109417 940 0 0 25 0 4 0 514865592 2614226944 451905 33554432000 4194304 4797429 140734807037040 18446744073709551615 4520291 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4390.56
Current children cumulated vsize (KiB) 2552956

[startup+1182.31 s]
/proc/loadavg: 8.16 7.99 7.61 9/182 18580
/proc/meminfo: memFree=21773028/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2558140 CPUtime=4630.27 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 980672 0 0 0 460425 2602 0 0 25 0 4 0 514865432 2619535360 453359 33554432000 4194304 4797429 140734807037040 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 639535 453359 480 148 0 634464 0
[pid=18506/tid=18508] ppid=18504 vsize=2558140 CPUtime=1148.85 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 187813 0 0 0 114183 702 0 0 25 0 4 0 514865592 2619535360 453359 33554432000 4194304 4797429 140734807037040 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2558140 CPUtime=1156.97 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 217952 0 0 0 115023 674 0 0 25 0 4 0 514865592 2619535360 453359 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427379 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2558140 CPUtime=1163.57 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 199276 0 0 0 115417 940 0 0 25 0 4 0 514865592 2619535360 453359 33554432000 4194304 4797429 140734807037040 18446744073709551615 4423098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4630.27
Current children cumulated vsize (KiB) 2558140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1224.8 s]
/proc/loadavg: 8.08 7.99 7.63 9/182 18582
/proc/meminfo: memFree=21758504/32951132 swapFree=67111524/67111528
[pid=18506] ppid=18504 vsize=2564100 CPUtime=4800.04 cores=1,3,5,7
/proc/18506/stat : 18506 (techdemo) R 18504 18506 18108 0 -1 4202496 989259 0 0 0 477400 2604 0 0 25 0 4 0 514865432 2625638400 454949 33554432000 4194304 4797429 140734807037040 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/18506/statm: 641025 454949 480 148 0 635954 0
[pid=18506/tid=18508] ppid=18504 vsize=2564100 CPUtime=1191.35 cores=1,3,5,7
/proc/18506/task/18508/stat : 18508 (techdemo) R 18504 18506 18108 0 -1 4202560 188488 0 0 0 118433 702 0 0 25 0 4 0 514865592 2625638400 454949 33554432000 4194304 4797429 140734807037040 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=18506/tid=18509] ppid=18504 vsize=2564100 CPUtime=1199.25 cores=1,3,5,7
/proc/18506/task/18509/stat : 18509 (techdemo) R 18504 18506 18108 0 -1 4202560 218388 0 0 0 119250 675 0 0 25 0 4 0 514865592 2625638400 454949 33554432000 4194304 4797429 140734807037040 18446744073709551615 4430173 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=18506/tid=18510] ppid=18504 vsize=2564100 CPUtime=1206.08 cores=1,3,5,7
/proc/18506/task/18510/stat : 18510 (techdemo) R 18504 18506 18108 0 -1 4202560 202597 0 0 0 119667 941 0 0 25 0 4 0 514865592 2625638400 454949 33554432000 4194304 4797429 140734807037040 18446744073709551615 4427384 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 2564100

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1224.9
CPU time (s): 4800.16
CPU user time (s): 4774.03
CPU system time (s): 26.133
CPU usage (%): 391.883
Max. virtual memory (cumulated for all children) (KiB): 2677788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4774.03
system time used= 26.133
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 989259
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= 42306
involuntary context switches= 20835

runsolver used 1.89471 second user time and 4.46632 second system time

The end

Launcher Data 

Begin job on node131 at 2011-04-29 01:17:38
IDJOB=3281466
IDBENCH=53034
IDSOLVER=1584
FILE ID=node131/3281466-1304032657
RUNJOBID= node131-1304032657-18493
PBS_JOBID= 13170321
Free space on /tmp= 71336 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT_RACE08/Q1/SAT_dat.k85.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281466-1304032657/watcher-3281466-1304032657 -o /tmp/evaluation-result-3281466-1304032657/solver-3281466-1304032657 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3281466-1304032657.cnf

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

MD5SUM BENCH= dce41996d9c5153aa0c253fa128d227c
RANDOM SEED=985092753

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      25211400 kB
Buffers:        934424 kB
Cached:        6247472 kB
SwapCached:          4 kB
Active:         190168 kB
Inactive:      7061644 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      25211400 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           60804 kB
Writeback:           0 kB
AnonPages:       69464 kB
Mapped:          14688 kB
Slab:           423900 kB
PageTables:       4928 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS:   191960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71348 MiB
End job on node131 at 2011-04-29 01:38:05