Trace number 3250843

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.37 1202.44

General information on the benchmark

Namecrafted/anton/SRHD-SGI/
srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
MD5SUM472b10ce0a2683d9355981037eea091e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark7.17391
Satisfiable
(Un)Satisfiability was proved
Number of variables3672
Number of clauses1163952
Sum of the clauses size2331456
Maximum clause length62
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21163892
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 560

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-3250843-1304183060.cnf'
0.00/0.00	c -- header says num vars:           3672
0.00/0.00	c -- header says num clauses:     1163952
0.79/0.89	c -- clauses added:            0 learnts,      1163952 normals,            0 xors
0.79/0.89	c -- vars added       3672
0.79/0.89	c Parsing time:  0.85 s
0.89/0.90	c  N st     0         0      3672        60   1163892         0   2331456         0   no data   no data  --
0.89/0.90	c asymm  cl-useful: 0/60/60 lits-rem:0 time: 0.00
2.08/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.6M T:  1.15
2.47/1.32	c Calc non-exist non-lernt bins v-fix:     0 done:   3672 time:  0.44 s
2.47/1.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2.47/1.32	c Subs w/ non-existent bins:      0 time:  0.00 s
3.27/1.52	c bin-w-bin subsume rem            0 bins  time:  0.80 s
4.07/1.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.85 s
4.47/1.85	c Removed useless bin:       0  fixed:     0  bprops:   4.67M  time:  0.46 s
6.47/2.34	c lits-rem:         0  cl-subs:        0  v-elim:   2388  v-fix:    0  time:  1.93 s
6.47/2.34	c learnt bin added due to v-elim: 0
6.47/2.37	c Finding binary XORs  T:     0.11 s  found:       0
6.86/2.44	c Finding non-binary XORs:     0.18 s (found:       0, avg size: nan)
6.86/2.44	c calculated reachability. Time: 0.02
6.86/2.45	c Calc default polars -  time:   0.04 s pos:       0 undec:      60 neg:    3612
6.86/2.45	c =========================================================================================
6.86/2.45	c types(t): F = full restart, N = normal restart
6.86/2.45	c types(t): S = simplification begin/end, E = solution found
6.86/2.45	c restart types(rt): st = static, dy = dynamic
6.86/2.45	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
6.86/2.45	c  B st     0         0      3612     19291   1140989         0   3563256         0   no data   no data  --
10.86/3.40	c Decided on static restart strategy
15.65/4.69	c  N dy    20      4082      3612     19291   1140989      3948   3563253    696121    203.90     16.87  --
22.84/6.46	c  N dy    50      8152      3612     19291   1140989      5476   3563253    576472    126.83     15.06  --
29.23/8.00	c  N dy    80     12273      3612     19291   1140989      5343   3563253    429680     89.87     14.54  --
36.02/9.77	c  N dy   109     16371      3612     19291   1140989      9294   3563253    878893    121.66     14.29  --
43.21/11.54	c  N dy   138     20457      3612     19291   1140989      7828   3563253    746456    142.98     14.85  --
49.62/13.11	c  N dy   167     24536      3612     19291   1140989     11785   3563253   1285649    147.50     14.72  --
56.39/14.80	c  N dy   196     28581      3612     19291   1140989      9091   3563253    764924    102.39     14.55  --
58.41/15.39	c  S st   206     30002      3612     19291   1140989     10446   3563253    886113     95.50     14.50  --
59.59/15.64	c  S st   206     30502      3612     19291   1140989     10945   3563253    938990     95.50     14.50  --
59.59/15.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
59.59/15.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
74.77/19.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.00
75.17/19.53	c Calc non-exist non-lernt bins v-fix:     0 done:   3612 time:  0.44 s
75.17/19.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
75.17/19.60	c Subs w/ non-existent bins:      0 time:  0.25 s
76.38/19.85	c bin-w-bin subsume rem            0 bins  time:  0.80 s
81.55/21.20	c subs with bin:        0  lits-rem:      2232  v-fix:    0  time:  5.39 s
82.35/21.31	c Removed useless bin:       0  fixed:     0  bprops:   4.58M  time:  0.44 s
86.74/22.49	c lits-rem:      3911  cl-subs:     1400  v-elim:   3612  v-fix:    0  time:  4.73 s
86.74/22.49	c learnt bin added due to v-elim: 0
87.14/22.59	c vivif2 --  cl tried    19291 cl shrink    17022 lits rem     294244 time: 0.40
87.54/22.62	c vivif2 --  cl tried     9545 cl shrink        0 lits rem          0 time: 0.12
88.34/22.83	c asymm  cl-useful: 148/910/19291 lits-rem:298 time: 0.82
88.34/22.86	c calculated reachability. Time: 0.02
88.34/22.86	c  N dy   206     30502      3612     19291   1140989      9545   3255261    816210     95.50     14.50  --
88.34/22.86	c  F st   206     30502      3612     19291   1140989      9545   3255261    816210     95.50     14.50  --
92.74/23.96	c Decided on static restart strategy
96.74/24.94	c  N dy   226     34616      3612     19291   1140989     13522   3255261   1305841    169.42     14.43  --
104.72/26.97	c  N dy   254     38738      3612     19291   1140989      9877   3255261    922710    184.25     14.63  --
113.91/29.29	c  N dy   281     42742      3612     19291   1140989     13689   3255261   1630088    180.34     14.82  --
122.30/31.39	c  S st   302     45753      3612     19291   1140989     16573   3255256   2231239    223.12     15.07  --
123.50/31.60	c  S st   302     46256      3612     19291   1140989     17074   3255256   2302721    223.12     15.07  --
123.50/31.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
123.50/31.63	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
139.47/35.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 15.96
139.87/35.74	c Calc non-exist non-lernt bins v-fix:     0 done:   3612 time:  0.46 s
139.87/35.74	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
140.27/35.83	c Subs w/ non-existent bins:      0 time:  0.34 s
141.48/36.10	c bin-w-bin subsume rem            0 bins  time:  0.82 s
147.46/37.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.03 s
147.86/37.73	c Removed useless bin:       0  fixed:     0  bprops:   4.58M  time:  0.45 s
157.85/40.21	c lits-rem:       833  cl-subs:     1585  v-elim:   3612  v-fix:    0  time:  9.93 s
157.85/40.21	c learnt bin added due to v-elim: 0
157.85/40.23	c vivif2 --  cl tried    19291 cl shrink        0 lits rem          0 time: 0.09
157.85/40.29	c vivif2 --  cl tried    15489 cl shrink        0 lits rem          0 time: 0.22
159.05/40.51	c asymm  cl-useful: 139/490/19291 lits-rem:237 time: 0.87
159.05/40.54	c calculated reachability. Time: 0.02
159.05/40.54	c  N dy   302     46256      3612     19291   1140989     15489   3254459   1988713    223.12     15.07  --
168.26/42.84	c  N dy   330     50324      3612     19291   1140989     10833   3254459    931866    105.10     15.09  --
175.43/44.64	c  N dy   358     54465      3612     19291   1140989     14802   3254459   1372289    109.56     15.16  --
183.82/46.78	c  N dy   386     58610      3612     19291   1140989     18767   3254459   1898809    164.13     15.29  --
191.40/48.60	c  N dy   414     62629      3612     19291   1140989     13096   3254459   1492240    175.24     15.59  --
198.60/50.45	c  N dy   442     66656      3612     19291   1140989     17014   3254459   2201331    249.29     15.80  --
204.58/51.97	c  S st   461     69385      3612     19291   1140989     19656   3254459   2600545    161.14     15.75  --
205.78/52.25	c  S st   461     69887      3612     19291   1140989     20153   3254459   2680361    161.14     15.75  --
205.78/52.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
205.78/52.28	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
222.96/56.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.1M T: 16.96
223.36/56.65	c Calc non-exist non-lernt bins v-fix:     0 done:   3612 time:  0.47 s
223.36/56.65	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
223.76/56.74	c Subs w/ non-existent bins:      0 time:  0.37 s
224.96/57.02	c bin-w-bin subsume rem            0 bins  time:  0.82 s
230.55/58.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.56 s
230.95/58.53	c Removed useless bin:       0  fixed:     0  bprops:   4.58M  time:  0.45 s
244.52/61.97	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:    2.90
266.89/67.58	c Added 37 vars  tried: 80000 time: 22.39
268.10/67.82	c ORs :     37 avg-s:  0.0 cl-sh: 39133 l-rem:  39133 b-add:     74 v-rep:   0 cl-rem: 0 avg s: nan T:   23.36
268.10/67.86	c lits-rem:       605  cl-subs:     1683  v-elim:   3612  v-fix:    0  time: 37.28 s
268.10/67.86	c learnt bin added due to v-elim: 0
268.10/67.89	c vivif2 --  cl tried    19328 cl shrink        0 lits rem          0 time: 0.10
268.50/67.95	c vivif2 --  cl tried    18470 cl shrink        0 lits rem          0 time: 0.25
269.32/68.16	c asymm  cl-useful: 0/421/19328 lits-rem:0 time: 0.84
269.32/68.19	c calculated reachability. Time: 0.02
269.32/68.19	c  N dy   461     69887      3649     19328   1141063     18470   3249130   2292104    161.14     15.75  --
269.32/68.19	c  F st   461     69887      3649     19328   1141063     18470   3249130   2292104    161.14     15.75  --
274.11/69.32	c Decided on static restart strategy
277.69/70.28	c  N dy   484     74348      3649     19328   1141065     12234   3249130   1122794    140.87     15.95  --
286.08/72.35	c  N dy   518     79237      3649     19328   1141066     17002   3249127   1897748    195.71     15.97  --
296.45/74.98	c  N dy   553     84359      3649     19328   1141066     21993   3249127   2625693    152.68     15.92  --
306.85/77.54	c  N dy   591     89818      3649     19328   1141070     15681   3249127   1503547    149.34     15.93  --
318.06/80.36	c  N dy   631     95590      3649     19328   1141077     21307   3249125   2405215    171.00     15.88  --
330.41/83.44	c  N dy   674    101770      3649     19328   1141078     14667   3249125   1307631    166.03     15.84  --
336.80/85.04	c  S st   696    104830      3649     19328   1141078     17643   3249125   1705303    121.90     15.78  --
337.60/85.29	c  S st   696    105330      3649     19328   1141078     18139   3249125   1759898    121.90     15.78  --
338.01/85.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
338.01/85.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
352.39/88.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   3610 BRemL:     18 BRemN:      0 CBin:       0 P: 60.0M T: 14.53
352.81/89.07	c Calc non-exist non-lernt bins v-fix:     0 done:   3649 time:  0.46 s
352.81/89.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
353.21/89.16	c Subs w/ non-existent bins:      0 time:  0.35 s
354.39/89.42	c bin-w-bin subsume rem            0 bins  time:  0.82 s
360.78/91.04	c subs with bin:        0  lits-rem:        20  v-fix:    0  time:  6.46 s
361.18/91.13	c Removed useless bin:       0  fixed:     0  bprops:   3.61M  time:  0.38 s
371.96/93.86	c ORs :    105 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 3 avg s: 3.0 T:    3.32
372.36/93.90	c lits-rem:       897  cl-subs:     1513  v-elim:   4633  v-fix:    0  time: 11.03 s
372.36/93.90	c learnt bin added due to v-elim: 0
372.36/93.93	c vivif2 --  cl tried    20466 cl shrink      624 lits rem        624 time: 0.11
372.36/93.99	c vivif2 --  cl tried    16626 cl shrink      622 lits rem        845 time: 0.25
373.16/94.17	c asymm  cl-useful: 0/397/19842 lits-rem:0 time: 0.73
373.56/94.20	c calculated reachability. Time: 0.03
373.56/94.20	c  N dy   696    105330      3647     19842   1144144     16626   3249092   1550818    121.90     15.78  --
386.33/97.40	c  N dy   743    112102      3647     19842   1144145     23247   3249092   2690454    190.90     15.90  --
402.71/101.50	c  N dy   793    119397      3647     19842   1144145     16723   3249092   1496295    127.19     15.94  --
420.28/105.95	c  N dy   845    127069      3647     19842   1144145     24155   3249092   2496355    120.06     15.94  --
440.69/111.10	c  N dy   901    135300      3647     19842   1144147     17543   3249090   1477189    117.52     16.01  --
465.43/117.28	c  N dy   959    144051      3647     19842   1144147     25766   3249090   2254554     79.43     15.94  --
486.60/122.59	c  N dy  1023    153331      3647     19842   1144147     19398   3249090   1726611    104.10     16.08  --
497.39/125.27	c  S st  1056    157996      3647     19842   1144149     23939   3249090   2398080    118.66     16.11  --
498.58/125.51	c  S st  1056    158498      3647     19842   1144149     24439   3249090   2469442    118.66     16.11  --
498.58/125.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
498.58/125.54	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
514.16/129.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   2063 BRemL:     14 BRemN:    624 CBin:       0 P: 60.0M T: 15.41
514.56/129.52	c Calc non-exist non-lernt bins v-fix:     0 done:   3647 time:  0.47 s
514.56/129.52	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
514.96/129.63	c Subs w/ non-existent bins:      0 time:  0.44 s
516.16/129.90	c bin-w-bin subsume rem          258 bins  time:  0.82 s
522.55/131.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  6.73 s
522.95/131.67	c Removed useless bin:       0  fixed:     0  bprops:   3.12M  time:  0.34 s
532.96/134.12	c ORs :    105 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    3.19
532.96/134.16	c lits-rem:       143  cl-subs:     2189  v-elim:   3600  v-fix:    0  time:  9.92 s
532.96/134.16	c learnt bin added due to v-elim: 0
532.96/134.18	c vivif2 --  cl tried    19842 cl shrink        0 lits rem          0 time: 0.10
533.36/134.27	c vivif2 --  cl tried    22250 cl shrink      805 lits rem       1092 time: 0.36
534.13/134.46	c asymm  cl-useful: 0/458/19842 lits-rem:0 time: 0.76
534.13/134.49	c calculated reachability. Time: 0.02
534.13/134.49	c  N dy  1056    158498      3647     19842   1145316     22250   3247742   2205635    118.66     16.11  --
562.89/141.65	c  N dy  1125    168713      3647     19842   1148592     32097   3247742   3320948    112.18     16.14  --
585.67/147.37	c  N dy  1199    179502      3766     19842   1163982     29064   3250286   2655154     92.05     16.01  --
611.23/153.78	c  N dy  1278    191008      3766     19842   1163982     21439   3250286   1734207    141.23     15.97  --
633.19/159.22	c  N dy  1364    203294      3766     19842   1163982     33422   3250286   3446501    114.83     15.95  --
659.16/165.73	c  N dy  1454    216275      3766     19842   1163982     26933   3250284   2751876    167.84     15.99  --
689.52/173.37	c  N dy  1550    230088      3766     19842   1163982     20543   3250284   1713532    183.21     16.04  --
706.29/177.56	c  S st  1603    237749      3766     19842   1163982     27956   3250284   2776955    143.38     16.03  --
707.49/177.81	c  S st  1603    238252      3766     19842   1163982     28456   3250284   2866269    143.38     16.03  --
707.49/177.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
707.49/177.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
723.07/181.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   5780 BRemL:    170 BRemN:    422 CBin:       0 P: 60.0M T: 15.52
723.47/181.85	c Calc non-exist non-lernt bins v-fix:     0 done:   3766 time:  0.48 s
723.47/181.85	c Cache  BProp: 0 Set: 0 BXProp: 2 T: 0.00
723.87/181.98	c Subs w/ non-existent bins:   1055 time:  0.52 s
724.27/182.01	c Replacing        2 vars Replaced       32 lits Time:     0.14 s 
725.47/182.30	c bin-w-bin subsume rem          260 bins  time:  0.84 s
731.08/183.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.84 s
731.46/183.82	c Removed useless bin:      52  fixed:     0  bprops:   1.67M  time:  0.22 s
742.25/186.55	c ORs :    105 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    3.18
742.65/186.60	c lits-rem:       228  cl-subs:     1470  v-elim:   3600  v-fix:    0  time: 11.09 s
742.65/186.60	c learnt bin added due to v-elim: 0
742.65/186.62	c vivif2 --  cl tried    19842 cl shrink        0 lits rem          0 time: 0.10
743.04/186.71	c vivif2 --  cl tried    25931 cl shrink       80 lits rem        112 time: 0.36
743.44/186.89	c asymm  cl-useful: 0/489/19842 lits-rem:0 time: 0.71
743.86/186.92	c calculated reachability. Time: 0.02
743.86/186.92	c  N dy  1603    238252      3764     19842   1168861     25924   3249200   2637057    143.38     16.03  --
773.80/194.41	c  N dy  1708    253481      3764     19842   1178568     20653   3249200   1752735    131.97     16.11  --
804.56/202.12	c  N dy  1820    269793      3764     19842   1178568     36342   3249200   4156582    167.37     16.18  --
835.72/209.96	c  N dy  1940    287068      3764     19842   1178568     32091   3249200   3477255    213.81     16.27  --
872.87/219.20	c  N dy  2067    305522      3829     19842   1188351     28307   3249994   2558414    199.58     16.37  --
912.82/229.27	c  N dy  2202    325113      3829     19842   1188351     23796   3249990   1817110    155.14     16.50  --
949.56/238.48	c  N dy  2342    345242      3829     19842   1188351     43332   3249990   4583182    152.06     16.51  --
974.33/244.65	c  S st  2427    357378      3829     19842   1188351     30717   3249990   2683010    155.94     16.50  --
975.53/244.90	c  S st  2427    357881      3829     19842   1188351     31219   3249989   2767627    155.94     16.50  --
975.53/244.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
975.53/244.93	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
991.10/248.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1604 BRemL:    119 BRemN:    872 CBin:       0 P: 60.0M T: 15.81
991.90/249.02	c Calc non-exist non-lernt bins v-fix:     0 done:   3829 time:  0.50 s
991.90/249.02	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
992.30/249.15	c Subs w/ non-existent bins:    267 time:  0.52 s
993.50/249.44	c bin-w-bin subsume rem           51 bins  time:  0.84 s
1000.69/251.24	c subs with bin:        1  lits-rem:         1  v-fix:    0  time:  7.20 s
1000.69/251.29	c Removed useless bin:       1  fixed:     0  bprops:   1.53M  time:  0.21 s
1011.89/254.06	c ORs :    105 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 1 avg s: 3.0 T:    2.78
1012.30/254.11	c lits-rem:       239  cl-subs:     1290  v-elim:   3600  v-fix:    0  time: 11.24 s
1012.30/254.11	c learnt bin added due to v-elim: 0
1012.30/254.13	c vivif2 --  cl tried    19842 cl shrink        0 lits rem          0 time: 0.10
1012.67/254.23	c vivif2 --  cl tried    29660 cl shrink      196 lits rem        294 time: 0.38
1013.47/254.44	c asymm  cl-useful: 0/242/19842 lits-rem:0 time: 0.84
1013.47/254.47	c calculated reachability. Time: 0.03
1013.47/254.47	c  N dy  2427    357881      3829     19842   1188913     29660   3248097   2588580    155.94     16.50  --
1069.42/268.41	c  N dy  2564    378028      3829     19842   1193180     49086   3248097   5607522    114.45     16.58  --
1115.73/280.05	c  N dy  2702    398167      3829     19842   1193180     43485   3248097   4696272    117.23     16.68  --
1160.87/291.36	c  N dy  2841    418187      3829     19842   1193180     36794   3248096   3504168    129.89     16.72  --
1213.21/304.49	c  N dy  2978    438220      3891     19842   1202790     30753   3251420   2057292    170.86     16.70  --
1254.35/314.74	c  N dy  3117    458222      3891     19842   1202790     50258   3251413   5120668    149.17     16.71  --
1275.94/320.16	c Finding binary XORs  T:     0.10 s  found:       5
1303.07/326.90	c  N dy  3254    478352      3891     19842   1202790     40782   3251413   3374353    206.53     16.72  --
1347.42/338.02	c  N dy  3393    498395      3891     19842   1207739     30740   3251413   1931574    136.25     16.71  --
1385.79/347.61	c  N dy  3532    518525      3891     19842   1207739     50264   3251413   4783342    140.88     16.66  --
1424.52/357.37	c  S st  3658    536821      3891     19842   1207739     37733   3251413   2877268    113.44     16.69  --
1425.72/357.64	c  S st  3658    537321      3891     19842   1207739     38230   3251413   2946400    113.44     16.69  --
1425.72/357.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.12
1425.72/357.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1442.09/361.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    203 BRemL:   1327 BRemN:   2014 CBin:       0 P: 60.1M T: 16.08
1442.51/361.83	c Calc non-exist non-lernt bins v-fix:     0 done:   3891 time:  0.50 s
1442.51/361.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1442.91/361.99	c Subs w/ non-existent bins:   1534 time:  0.66 s
1443.28/362.03	c Replacing        5 vars Replaced      104 lits Time:     0.15 s 
1444.48/362.32	c bin-w-bin subsume rem          373 bins  time:  0.84 s
1451.70/364.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  7.22 s
1451.70/364.18	c Removed useless bin:      26  fixed:     0  bprops:   1.51M  time:  0.22 s
1464.06/367.28	c ORs :    105 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 4 avg s: 3.0 T:    3.18
1479.23/371.01	c Added 40 vars  tried: 80000 time: 14.91
1479.63/371.18	c ORs :     40 avg-s:  0.0 cl-sh: 30441 l-rem:  30441 b-add:     80 v-rep:   0 cl-rem: 11 avg s: 3.0 T:   15.57
1480.03/371.23	c lits-rem:        72  cl-subs:     2038  v-elim:   3600  v-fix:    0  time: 28.14 s
1480.03/371.23	c learnt bin added due to v-elim: 0
1480.03/371.25	c vivif2 --  cl tried    19878 cl shrink        0 lits rem          0 time: 0.10
1480.43/371.36	c vivif2 --  cl tried    34647 cl shrink        9 lits rem         41 time: 0.45
1481.23/371.59	c asymm  cl-useful: 0/126/19878 lits-rem:0 time: 0.88
1481.63/371.62	c calculated reachability. Time: 0.03
1481.63/371.62	c  N dy  3658    537321      3926     19878   1204277     34642   3242298   2698103    113.44     16.69  --
1481.63/371.62	c  F st  3658    537321      3926     19878   1204277     34642   3242298   2698103    113.44     16.69  --
1486.03/372.75	c Decided on static restart strategy
1522.00/381.79	c  N dy  3788    557326      3926     19878   1204576     54141   3242298   5172613    133.45     16.64  --
1566.32/392.80	c  N dy  3926    577457      3926     19878   1204589     43081   3242298   3498852    137.09     16.61  --
1605.49/402.65	c  N dy  4064    597490      3926     19878   1204597     62480   3242298   6138815    156.59     16.61  --
1644.63/412.41	c  N dy  4202    617615      3926     19878   1204602     50401   3242298   4627549    108.53     16.61  --
1688.56/423.41	c  N dy  4341    637663      3926     19878   1204604     37110   3242294   2530163     93.08     16.65  --
1727.29/433.14	c  N dy  4479    657770      3926     19878   1204609     56611   3242294   5077196     90.24     16.64  --
1766.45/442.96	c  N dy  4616    677790      3926     19878   1204627     42163   3242294   3146578    110.18     16.62  --
1807.99/453.37	c  N dy  4754    697860      3950     19878   1219551     62515   3242706   5740208    118.94     16.64  --
1853.92/464.82	c  N dy  4893    718000      3950     19878   1219551     46628   3242706   3973473    138.15     16.63  --
1903.06/477.13	c  N dy  5032    738134      3950     19878   1219551     66145   3242706   6719788    121.43     16.66  --
1947.01/488.16	c  N dy  5171    758281      3950     19878   1219551     49571   3242706   3680353     96.46     16.63  --
1990.93/499.18	c  N dy  5309    778303      3984     19878   1222980     68906   3242841   6158365    160.87     16.62  --
2032.88/509.64	c  N dy  5448    798378      3984     19878   1222980     51599   3242840   4181228     76.05     16.62  --
2049.66/513.84	c  S st  5501    805982      3984     19878   1222980     58962   3242840   5066280    164.09     16.61  --
2050.46/514.09	c  S st  5501    806486      3984     19878   1222980     59466   3242840   5156507    164.09     16.61  --
2050.86/514.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.14
2050.86/514.12	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2068.83/518.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:   1176 BRemL:    656 BRemN:    604 CBin:       0 P: 60.1M T: 17.93
2069.23/518.75	c Calc non-exist non-lernt bins v-fix:     0 done:   3984 time:  0.53 s
2069.23/518.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2070.03/518.99	c Subs w/ non-existent bins:    158 time:  0.99 s
2071.62/519.34	c bin-w-bin subsume rem           14 bins  time:  0.85 s
2078.02/520.94	c subs with bin:        0  lits-rem:         1  v-fix:    0  time:  6.40 s
2078.02/521.00	c Removed useless bin:       0  fixed:     0  bprops:   1.50M  time:  0.22 s
2156.71/540.68	c ORs :    203 avg-s:  2.0 cl-sh:   111 l-rem:    111 b-add:      0 v-rep:   0 cl-rem: 38 avg s: 3.0 T:    3.22
2157.11/540.75	c lits-rem:       223  cl-subs:     6033  v-elim:   6146  v-fix:    0  time: 78.89 s
2157.11/540.75	c learnt bin added due to v-elim: 0
2157.11/540.79	c vivif2 --  cl tried    25189 cl shrink     2458 lits rem       2458 time: 0.18
2157.92/540.98	c vivif2 --  cl tried    53273 cl shrink      717 lits rem       4264 time: 0.77
2159.13/541.25	c asymm  cl-useful: 0/74/22735 lits-rem:0 time: 1.03
2159.13/541.28	c calculated reachability. Time: 0.02
2159.13/541.28	c  N dy  5501    806486      3976     22735   1219819     53271   3244257   4421537    164.09     16.61  --
2203.06/552.30	c  N dy  5640    826491      3976     22735   1224383     72722   3244257   7201834    170.65     16.60  --
2245.39/562.87	c  N dy  5778    846506      3976     22735   1224383     54363   3244257   4225515    173.11     16.58  --
2293.73/574.99	c  N dy  5914    866576      3996     22735   1228247     74316   3244829   6393888     77.15     16.57  --
2334.89/585.26	c  N dy  6052    886588      3996     22735   1228260     54737   3244829   4302954    130.30     16.56  --
2380.41/596.64	c  N dy  6190    906707      3996     22735   1228260     74171   3244829   6752160    147.74     16.57  --
2424.74/607.73	c  N dy  6329    926793      3996     22735   1228260     53932   3244829   4304061    117.13     16.58  --
2469.48/618.99	c  N dy  6468    946911      3996     22735   1230392     73540   3244829   7022171    150.18     16.57  --
2511.43/629.48	c  N dy  6606    966958      3996     22735   1230818     52250   3244829   3862910    165.90     16.59  --
2553.77/640.06	c  N dy  6744    986966      3996     22735   1230818     71645   3244829   6714600     77.97     16.60  --
2598.13/651.15	c  N dy  6883   1007101      3996     22735   1230818     49414   3244829   3764519    245.39     16.58  --
2640.85/661.90	c  N dy  7021   1027164      3996     22735   1230894     68869   3244829   6410918    143.69     16.57  --
2694.37/675.27	c  N dy  7158   1047290      3996     22735   1230894     45553   3244829   2744573     69.23     16.58  --
2737.91/686.13	c  N dy  7294   1067293      3996     22735   1230894     64792   3244829   4898659     68.17     16.59  --
2768.27/693.73	c Finding binary XORs  T:     0.12 s  found:       2
2785.05/697.98	c  N dy  7431   1087395      3996     22735   1230894     84119   3244827   7165335    143.91     16.58  --
2826.62/708.38	c  N dy  7570   1107481      3996     22735   1230952     60052   3244827   4327829     52.48     16.53  --
2873.33/720.01	c  N dy  7706   1127574      3996     22735   1230952     79272   3244827   6167295    112.06     16.52  --
2919.29/731.53	c  N dy  7843   1147613      3996     22735   1230952     54284   3244827   3913941    171.02     16.55  --
2964.00/742.70	c  N dy  7981   1167700      3996     22735   1230952     73849   3244827   6836086    235.90     16.55  --
3013.94/755.23	c  N dy  8119   1187795      3996     22735   1230952     47917   3244827   3021771    133.54     16.56  --
3056.68/765.91	c  N dy  8258   1207819      3996     22735   1230952     67397   3244827   5707665    110.41     16.55  --
3061.87/767.26	c  S st  8272   1209730      3996     22735   1230952     69250   3244827   5875523    102.58     16.55  --
3063.07/767.58	c  S st  8272   1210235      3996     22735   1230952     69754   3244827   5931173    102.58     16.55  --
3063.47/767.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.15
3063.47/767.62	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3081.87/772.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:    298 BRemN:   2545 CBin:       0 P: 60.0M T: 18.46
3082.24/772.37	c Calc non-exist non-lernt bins v-fix:     0 done:   3996 time:  0.53 s
3082.24/772.38	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3083.44/772.68	c Subs w/ non-existent bins:    242 time:  1.20 s
3083.84/772.72	c Replacing        2 vars Replaced       19 lits Time:     0.18 s 
3085.04/773.08	c bin-w-bin subsume rem         2470 bins  time:  0.86 s
3090.25/774.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.28 s
3090.66/774.46	c Removed useless bin:      17  fixed:     0  bprops:   1.48M  time:  0.22 s
3202.48/802.48	c ORs :    203 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    3.05
3219.66/806.70	c Added 41 vars  tried: 80000 time: 16.84
3220.85/807.01	c ORs :     41 avg-s:  0.0 cl-sh: 35772 l-rem:  35772 b-add:     82 v-rep:   0 cl-rem: 12 avg s: 3.0 T:   18.08
3220.85/807.09	c lits-rem:       168  cl-subs:     5247  v-elim:   3802  v-fix:    0  time: 130.34 s
3220.85/807.09	c learnt bin added due to v-elim: 0
3221.25/807.12	c vivif2 --  cl tried    22771 cl shrink        2 lits rem          2 time: 0.12
3222.07/807.35	c vivif2 --  cl tried    64258 cl shrink      283 lits rem        376 time: 0.92
3222.85/807.59	c asymm  cl-useful: 0/82/22770 lits-rem:0 time: 0.97
3223.25/807.63	c calculated reachability. Time: 0.03
3223.25/807.63	c  N dy  8272   1210235      4035     22770   1225702     64257   3236367   5296469    102.58     16.55  --
3270.80/819.53	c  N dy  8410   1230257      4035     22770   1225702     83644   3236367   7754443    112.80     16.57  --
3319.52/831.78	c  N dy  8546   1250399      4035     22770   1225702     56751   3236367   4121505    133.10     16.58  --
3362.68/842.51	c  N dy  8683   1270404      4035     22770   1225702     75925   3236367   6198414    110.65     16.55  --
3408.20/854.00	c  N dy  8820   1290503      4035     22770   1225702     48126   3236367   2931314    124.17     16.52  --
3445.74/863.39	c  N dy  8958   1310633      4035     22770   1225702     67504   3236367   5170722    189.36     16.52  --
3492.88/875.11	c  N dy  9095   1330776      4059     22770   1236584     86973   3236467   7453621    125.01     16.51  --
3536.42/886.09	c  N dy  9233   1350896      4059     22770   1236584     58316   3236467   4349090    119.98     16.51  --
3576.77/896.14	c  N dy  9371   1370906      4059     22770   1236587     77822   3236467   6829610    155.17     16.49  --
3632.29/910.09	c  N dy  9508   1390999      4059     22770   1236587     97462   3236467   9577879    134.22     16.51  --
3675.43/920.82	c  N dy  9644   1411006      4059     22770   1237819     67246   3236465   4930008    140.97     16.50  --
3725.77/933.42	c  N dy  9781   1431146      4059     22770   1237819     86688   3236465   7024998     93.09     16.48  --
3780.51/947.17	c  N dy  9917   1451168      4059     22770   1237819     55783   3236465   3713887    121.92     16.48  --
3828.03/959.08	c  N dy 10053   1471225      4059     22770   1239517     75208   3236467   6039204    128.75     16.46  --
3873.96/970.56	c  N dy 10192   1491274      4073     22770   1240580     94717   3236523   8659050    118.90     16.47  --
3919.90/982.08	c  N dy 10330   1511342      4073     22770   1240580     62866   3236523   4531255    148.68     16.47  --
3961.83/992.58	c  N dy 10465   1531368      4073     22770   1240580     82009   3236523   6286845     87.87     16.44  --
4006.58/1003.71	c  N dy 10602   1551391      4073     22770   1242337    101218   3236523   8373860    141.27     16.42  --
4051.32/1014.93	c  N dy 10740   1571481      4073     22770   1243011     68572   3236521   5251990    113.26     16.41  --
4099.66/1027.00	c  N dy 10876   1591564      4073     22770   1243011     87834   3236521   7313660     97.61     16.40  --
4156.78/1041.33	c  N dy 11012   1611676      4073     22770   1243011     54089   3236521   3382211    156.82     16.40  --
4198.31/1051.73	c  N dy 11149   1631697      4077     22770   1243345     73427   3236537   5635391     96.49     16.41  --
4242.65/1062.81	c  N dy 11287   1651790      4077     22770   1243345     92912   3236537   8091752     72.23     16.41  --
4302.18/1077.77	c  N dy 11423   1671819      4077     22770   1243345     58118   3236535   3753436    110.52     16.43  --
4347.71/1089.14	c  N dy 11560   1691937      4077     22770   1243345     77448   3236535   5637431     54.98     16.43  --
4395.68/1101.11	c  S st 11685   1710236      4077     22770   1243523     95001   3236535   7794283    150.79     16.46  --
4397.25/1101.52	c  S st 11685   1710737      4077     22770   1243523     95501   3236535   7863470    150.79     16.46  --
4397.25/1101.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.17
4397.25/1101.56	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4417.64/1106.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     55 BRemL:    737 BRemN:    569 CBin:       0 P: 60.0M T: 20.27
4418.01/1106.78	c Calc non-exist non-lernt bins v-fix:     0 done:   4077 time:  0.56 s
4418.01/1106.78	c Cache  BProp: 0 Set: 0 BXProp: 1 T: 0.00
4420.01/1107.20	c Subs w/ non-existent bins:      0 time:  1.69 s
4420.01/1107.26	c Replacing        2 vars Replaced     2466 lits Time:     0.23 s 
4421.63/1107.66	c bin-w-bin subsume rem          500 bins  time:  0.86 s
4427.21/1109.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  5.65 s
4427.61/1109.14	c Removed useless bin:       0  fixed:     0  bprops:   1.47M  time:  0.22 s
4622.54/1157.92	c ORs :    293 avg-s:  2.0 cl-sh:    39 l-rem:     39 b-add:      0 v-rep:   0 cl-rem: 17 avg s: 3.0 T:    4.93
4637.34/1161.66	c Added 42 vars  tried: 80000 time: 14.90
4638.51/1161.92	c ORs :     42 avg-s:  0.0 cl-sh: 31180 l-rem:  31180 b-add:     84 v-rep:   0 cl-rem: 43 avg s: 25.8 T:   15.94
4638.91/1162.01	c lits-rem:       132  cl-subs:    10269  v-elim:   5403  v-fix:    0  time: 211.20 s
4638.91/1162.01	c learnt bin added due to v-elim: 0
4638.91/1162.05	c vivif2 --  cl tried    24912 cl shrink      967 lits rem        967 time: 0.16
4640.11/1162.38	c vivif2 --  cl tried    85225 cl shrink      352 lits rem       1432 time: 1.30
4641.33/1162.65	c asymm  cl-useful: 0/74/23949 lits-rem:0 time: 1.06
4641.33/1162.68	c calculated reachability. Time: 0.03
4641.33/1162.68	c  N dy 11685   1710737      4114     23949   1240542     85225   3230769   6853143    150.79     16.46  --
4720.01/1182.36	c  N dy 11820   1730862      4114     23949   1240793    104837   3230769  11901904    224.16     16.47  --
4791.13/1200.12	c  N dy 11955   1750965      4114     23949   1240863     69547   3230769   6771640    179.39     16.48  --

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-3250843-1304183060/watcher-3250843-1304183060 -o /tmp/evaluation-result-3250843-1304183060/solver-3250843-1304183060 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3250843-1304183060.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: 5.47 7.33 7.76 5/184 32596
/proc/meminfo: memFree=25711876/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=52432 CPUtime=0 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 1371 0 0 0 0 0 0 0 23 0 1 0 529904209 53690368 1306 33554432000 4194304 4797429 140737053036544 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 13108 1308 347 148 0 8037 0

[startup+0.0115441 s]
/proc/loadavg: 5.47 7.33 7.76 5/184 32596
/proc/meminfo: memFree=25711876/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=55516 CPUtime=0 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 2160 0 0 0 0 0 0 0 23 0 1 0 529904209 56848384 2029 33554432000 4194304 4797429 140737053036544 18446744073709551615 4660800 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 13879 2029 348 148 0 8808 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 55516

[startup+0.100561 s]
/proc/loadavg: 5.47 7.33 7.76 5/184 32596
/proc/meminfo: memFree=25711876/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=62908 CPUtime=0.09 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 4034 0 0 0 9 0 0 0 23 0 1 0 529904209 64417792 3903 33554432000 4194304 4797429 140737053036544 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 15727 3903 348 148 0 10656 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 62908

[startup+0.300526 s]
/proc/loadavg: 5.47 7.33 7.76 5/184 32596
/proc/meminfo: memFree=25711876/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=86868 CPUtime=0.29 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 10022 0 0 0 28 1 0 0 25 0 1 0 529904209 88952832 9891 33554432000 4194304 4797429 140737053036544 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 21717 9893 348 148 0 16646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86868

[startup+0.700454 s]
/proc/loadavg: 5.47 7.33 7.76 5/184 32596
/proc/meminfo: memFree=25711876/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=132320 CPUtime=0.69 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 21385 0 0 0 66 3 0 0 25 0 1 0 529904209 135495680 21254 33554432000 4194304 4797429 140737053036544 18446744073709551615 4431699 0 0 4096 2 0 0 0 17 2 0 0 0
/proc/32596/statm: 33080 21254 348 148 0 28009 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 132320

[startup+1.50027 s]
/proc/loadavg: 5.47 7.33 7.76 9/188 32600
/proc/meminfo: memFree=25579164/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=784404 CPUtime=3.27 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 39225 0 0 0 319 8 0 0 18 0 4 0 529904209 803229696 39063 33554432000 4194304 4797429 140737053036544 18446744073709551615 4557656 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 196101 39063 387 148 0 191030 0
[pid=32596/tid=32598] ppid=32594 vsize=784404 CPUtime=0.59 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 3366 0 0 0 58 1 0 0 18 0 4 0 529904299 803229696 39063 33554432000 4194304 4797429 140737053036544 18446744073709551615 4557713 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=784404 CPUtime=0.58 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 3376 0 0 0 58 0 0 0 18 0 4 0 529904299 803229696 39063 33554432000 4194304 4797429 140737053036544 18446744073709551615 4557729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=784404 CPUtime=0.58 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 2004 0 0 0 58 0 0 0 18 0 4 0 529904299 803229696 39063 33554432000 4194304 4797429 140737053036544 18446744073709551615 4557656 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 784404

[startup+3.10099 s]
/proc/loadavg: 5.47 7.33 7.76 9/188 32600
/proc/meminfo: memFree=25516552/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=790884 CPUtime=9.66 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 55028 0 0 0 955 11 0 0 21 0 4 0 529904209 809865216 54520 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 197721 54520 409 148 0 192650 0
[pid=32596/tid=32598] ppid=32594 vsize=790884 CPUtime=2.19 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 7672 0 0 0 217 2 0 0 19 0 4 0 529904299 809865216 54520 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424994 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=790884 CPUtime=2.19 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 7762 0 0 0 217 2 0 0 19 0 4 0 529904299 809865216 54520 33554432000 4194304 4797429 140737053036544 18446744073709551615 4404790 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=790884 CPUtime=2.17 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 5002 0 0 0 217 0 0 0 21 0 4 0 529904299 809865216 54520 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 790884

[startup+6.30042 s]
/proc/loadavg: 5.75 7.36 7.76 9/188 32602
/proc/meminfo: memFree=25481384/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=816160 CPUtime=22.44 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 65954 0 0 0 2230 14 0 0 25 0 4 0 529904209 835747840 58615 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425054 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 204040 58615 412 148 0 198969 0
[pid=32596/tid=32598] ppid=32594 vsize=816160 CPUtime=5.39 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 10879 0 0 0 537 2 0 0 25 0 4 0 529904299 835747840 58615 33554432000 4194304 4797429 140737053036544 18446744073709551615 4423598 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=816160 CPUtime=5.38 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 10932 0 0 0 536 2 0 0 25 0 4 0 529904299 835747840 58615 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=816160 CPUtime=5.36 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 6510 0 0 0 535 1 0 0 25 0 4 0 529904299 835747840 58615 33554432000 4194304 4797429 140737053036544 18446744073709551615 4415756 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 22.44
Current children cumulated vsize (KiB) 816160

[startup+12.7003 s]
/proc/loadavg: 5.93 7.37 7.77 11/189 32604
/proc/meminfo: memFree=25432604/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=828664 CPUtime=48 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 79090 0 0 0 4782 18 0 0 25 0 4 0 529904209 848551936 68743 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425045 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 207166 68743 415 148 0 202095 0
[pid=32596/tid=32598] ppid=32594 vsize=828664 CPUtime=11.79 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 14166 0 0 0 1176 3 0 0 25 0 4 0 529904299 848551936 68743 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520273 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=828664 CPUtime=11.78 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 13832 0 0 0 1174 4 0 0 25 0 4 0 529904299 848551936 68743 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=828664 CPUtime=11.71 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 9379 0 0 0 1170 1 0 0 25 0 4 0 529904299 848551936 68743 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 48
Current children cumulated vsize (KiB) 828664

[startup+25.501 s]
/proc/loadavg: 6.61 7.45 7.78 10/189 32604
/proc/meminfo: memFree=25391900/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=837660 CPUtime=99.13 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 95829 0 0 0 9891 22 0 0 25 0 4 0 529904209 857763840 72248 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424794 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 209415 72248 416 148 0 204344 0
[pid=32596/tid=32598] ppid=32594 vsize=837660 CPUtime=24.59 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 17413 0 0 0 2455 4 0 0 25 0 4 0 529904299 857763840 72248 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=837660 CPUtime=24.58 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 17083 0 0 0 2453 5 0 0 25 0 4 0 529904299 857763840 72248 33554432000 4194304 4797429 140737053036544 18446744073709551615 4428910 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=837660 CPUtime=24.45 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 12782 0 0 0 2443 2 0 0 25 0 4 0 529904299 857763840 72248 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 99.13
Current children cumulated vsize (KiB) 837660

[startup+51.1005 s]
/proc/loadavg: 7.20 7.52 7.80 9/188 32604
/proc/meminfo: memFree=25375992/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=841924 CPUtime=201.39 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 112821 0 0 0 20112 27 0 0 25 0 4 0 529904209 862130176 78700 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425057 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 210481 78700 418 148 0 205410 0
[pid=32596/tid=32598] ppid=32594 vsize=841924 CPUtime=50.19 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 18715 0 0 0 5015 4 0 0 25 0 4 0 529904299 862130176 78700 33554432000 4194304 4797429 140737053036544 18446744073709551615 4428848 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=841924 CPUtime=50.18 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 18332 0 0 0 5013 5 0 0 25 0 4 0 529904299 862130176 78700 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429165 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=841924 CPUtime=49.9 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 14229 0 0 0 4988 2 0 0 25 0 4 0 529904299 862130176 78700 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 201.39
Current children cumulated vsize (KiB) 841924

[startup+102.306 s]
/proc/loadavg: 7.72 7.61 7.82 9/188 32606
/proc/meminfo: memFree=25334848/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=849236 CPUtime=405.93 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 141958 0 0 0 40558 35 0 0 25 0 4 0 529904209 869617664 83453 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 212309 83453 419 148 0 207238 0
[pid=32596/tid=32598] ppid=32594 vsize=849236 CPUtime=101.4 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 22258 0 0 0 10134 6 0 0 25 0 4 0 529904299 869617664 83453 33554432000 4194304 4797429 140737053036544 18446744073709551615 4531992 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=849236 CPUtime=101.38 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 21874 0 0 0 10132 6 0 0 25 0 4 0 529904299 869617664 83453 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=849236 CPUtime=100.83 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 17926 0 0 0 10080 3 0 0 25 0 4 0 529904299 869617664 83453 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520396 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 405.93
Current children cumulated vsize (KiB) 849236

[startup+162.301 s]
/proc/loadavg: 8.20 7.77 7.85 9/188 32607
/proc/meminfo: memFree=25306296/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=857680 CPUtime=645.58 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 177590 0 0 0 64514 44 0 0 25 0 4 0 529904209 878264320 86992 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 214420 86992 421 148 0 209349 0
[pid=32596/tid=32598] ppid=32594 vsize=857680 CPUtime=161.39 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 26020 0 0 0 16132 7 0 0 25 0 4 0 529904299 878264320 86992 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=857680 CPUtime=161.38 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 25452 0 0 0 16131 7 0 0 25 0 4 0 529904299 878264320 86992 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=857680 CPUtime=160.49 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 21450 0 0 0 16045 4 0 0 25 0 4 0 529904299 878264320 86992 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 645.58
Current children cumulated vsize (KiB) 857680

[startup+222.301 s]
/proc/loadavg: 8.21 7.85 7.88 9/188 32609
/proc/meminfo: memFree=25292388/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=861468 CPUtime=885.25 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 216387 0 0 0 88471 54 0 0 25 0 4 0 529904209 882143232 91744 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 215367 91744 421 148 0 210296 0
[pid=32596/tid=32598] ppid=32594 vsize=861468 CPUtime=221.39 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 29765 0 0 0 22132 7 0 0 25 0 4 0 529904299 882143232 91744 33554432000 4194304 4797429 140737053036544 18446744073709551615 4524576 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=861468 CPUtime=221.38 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 29363 0 0 0 22130 8 0 0 25 0 4 0 529904299 882143232 91744 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=861468 CPUtime=220.16 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 25124 0 0 0 22011 5 0 0 25 0 4 0 529904299 882143232 91744 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 885.25
Current children cumulated vsize (KiB) 861468

[startup+282.3 s]

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

[pid=32596] ppid=32594 vsize=952904 CPUtime=2562.97 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 435568 0 0 0 256176 121 0 0 25 0 4 0 529904209 975773696 111266 33554432000 4194304 4797429 140737053036544 18446744073709551615 4354704 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 238226 111266 421 148 0 233155 0
[pid=32596/tid=32598] ppid=32594 vsize=952904 CPUtime=641.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 51950 0 0 0 64129 12 0 0 25 0 4 0 529904299 975773696 111266 33554432000 4194304 4797429 140737053036544 18446744073709551615 4346669 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=952904 CPUtime=641.39 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 50690 0 0 0 64126 13 0 0 25 0 4 0 529904299 975773696 111266 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=952904 CPUtime=637.84 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 46469 0 0 0 63773 11 0 0 25 0 4 0 529904299 975773696 111266 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.97
Current children cumulated vsize (KiB) 952904

[startup+702.301 s]
/proc/loadavg: 8.25 8.15 8.00 9/188 32622
/proc/meminfo: memFree=25127776/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=956108 CPUtime=2802.63 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 463410 0 0 0 280133 130 0 0 25 0 4 0 529904209 979054592 112219 33554432000 4194304 4797429 140737053036544 18446744073709551615 4390385 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 239027 112219 421 148 0 233956 0
[pid=32596/tid=32598] ppid=32594 vsize=956108 CPUtime=701.4 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 53243 0 0 0 70128 12 0 0 25 0 4 0 529904299 979054592 112219 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=956108 CPUtime=701.39 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 52128 0 0 0 70125 14 0 0 25 0 4 0 529904299 979054592 112219 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424794 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=956108 CPUtime=697.51 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 48000 0 0 0 69739 12 0 0 25 0 4 0 529904299 979054592 112219 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.63
Current children cumulated vsize (KiB) 956108

[startup+762.306 s]
/proc/loadavg: 8.29 8.18 8.02 9/188 32624
/proc/meminfo: memFree=25126648/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=958676 CPUtime=3042.32 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 495127 0 0 0 304095 137 0 0 25 0 4 0 529904209 981684224 113091 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 239669 113091 421 148 0 234598 0
[pid=32596/tid=32598] ppid=32594 vsize=958676 CPUtime=761.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 57233 0 0 0 76128 13 0 0 25 0 4 0 529904299 981684224 113091 33554432000 4194304 4797429 140737053036544 18446744073709551615 4548976 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=958676 CPUtime=761.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 55689 0 0 0 76125 15 0 0 25 0 4 0 529904299 981684224 113091 33554432000 4194304 4797429 140737053036544 18446744073709551615 4430051 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=958676 CPUtime=757.18 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 51732 0 0 0 75706 12 0 0 25 0 4 0 529904299 981684224 113091 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.32
Current children cumulated vsize (KiB) 958676

[startup+822.301 s]
/proc/loadavg: 8.26 8.19 8.03 9/188 32625
/proc/meminfo: memFree=25063496/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=958220 CPUtime=3281.97 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 505053 0 0 0 328055 142 0 0 25 0 4 0 529904209 981217280 122838 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 239555 122838 421 148 0 234484 0
[pid=32596/tid=32598] ppid=32594 vsize=958220 CPUtime=821.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 58432 0 0 0 82127 14 0 0 25 0 4 0 529904299 981217280 122838 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=958220 CPUtime=821.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 56894 0 0 0 82124 16 0 0 25 0 4 0 529904299 981217280 122838 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=958220 CPUtime=816.84 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 52967 0 0 0 81671 13 0 0 25 0 4 0 529904299 981217280 122838 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.97
Current children cumulated vsize (KiB) 958220

[startup+882.301 s]
/proc/loadavg: 8.39 8.24 8.05 9/188 32627
/proc/meminfo: memFree=25079968/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1094612 CPUtime=3521.64 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 543035 0 0 0 352013 151 0 0 25 0 4 0 529904209 1120882688 118252 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424977 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 273653 118252 421 148 0 268582 0
[pid=32596/tid=32598] ppid=32594 vsize=1094612 CPUtime=881.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 63517 0 0 0 88126 15 0 0 25 0 4 0 529904299 1120882688 118252 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425045 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1094612 CPUtime=881.39 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 61562 0 0 0 88123 16 0 0 25 0 4 0 529904299 1120882688 118252 33554432000 4194304 4797429 140737053036544 18446744073709551615 4524072 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1094612 CPUtime=876.51 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 57129 0 0 0 87637 14 0 0 25 0 4 0 529904299 1120882688 118252 33554432000 4194304 4797429 140737053036544 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.64
Current children cumulated vsize (KiB) 1094612

[startup+942.3 s]
/proc/loadavg: 8.29 8.24 8.06 9/188 32628
/proc/meminfo: memFree=25046100/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1095696 CPUtime=3761.31 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 562936 0 0 0 375972 159 0 0 25 0 4 0 529904209 1121992704 127292 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425034 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 273924 127292 421 148 0 268853 0
[pid=32596/tid=32598] ppid=32594 vsize=1095696 CPUtime=941.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 64770 0 0 0 94126 15 0 0 25 0 4 0 529904299 1121992704 127292 33554432000 4194304 4797429 140737053036544 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1095696 CPUtime=941.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 62757 0 0 0 94123 17 0 0 25 0 4 0 529904299 1121992704 127292 33554432000 4194304 4797429 140737053036544 18446744073709551615 4531964 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1095696 CPUtime=936.19 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 58456 0 0 0 93604 15 0 0 25 0 4 0 529904299 1121992704 127292 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3761.31
Current children cumulated vsize (KiB) 1095696

[startup+1002.3 s]
/proc/loadavg: 8.33 8.24 8.07 9/188 32630
/proc/meminfo: memFree=25064552/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1101220 CPUtime=4000.98 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 594852 0 0 0 399930 168 0 0 25 0 4 0 529904209 1127649280 124344 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 275305 124344 421 148 0 270234 0
[pid=32596/tid=32598] ppid=32594 vsize=1101220 CPUtime=1001.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 68596 0 0 0 100125 16 0 0 25 0 4 0 529904299 1127649280 124344 33554432000 4194304 4797429 140737053036544 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1101220 CPUtime=1001.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 66320 0 0 0 100122 18 0 0 25 0 4 0 529904299 1127649280 124344 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429154 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1101220 CPUtime=995.85 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 62684 0 0 0 99569 16 0 0 25 0 4 0 529904299 1127649280 124344 33554432000 4194304 4797429 140737053036544 18446744073709551615 4238928 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4000.98
Current children cumulated vsize (KiB) 1101220

[startup+1062.3 s]
/proc/loadavg: 8.29 8.24 8.08 9/188 32631
/proc/meminfo: memFree=25016664/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1102792 CPUtime=4240.66 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 619251 0 0 0 423890 176 0 0 25 0 4 0 529904209 1129259008 128963 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 275698 128963 421 148 0 270627 0
[pid=32596/tid=32598] ppid=32594 vsize=1102792 CPUtime=1061.42 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 70089 0 0 0 106125 17 0 0 25 0 4 0 529904299 1129259008 128963 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1102792 CPUtime=1061.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 67661 0 0 0 106122 18 0 0 25 0 4 0 529904299 1129259008 128963 33554432000 4194304 4797429 140737053036544 18446744073709551615 4531952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1102792 CPUtime=1055.53 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 64011 0 0 0 105536 17 0 0 25 0 4 0 529904299 1129259008 128963 33554432000 4194304 4797429 140737053036544 18446744073709551615 4430103 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4240.66
Current children cumulated vsize (KiB) 1102792

[startup+1122.3 s]
/proc/loadavg: 8.20 8.22 8.09 10/188 32633
/proc/meminfo: memFree=25022724/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1106424 CPUtime=4480.33 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 641400 0 0 0 447849 184 0 0 25 0 4 0 529904209 1132978176 130522 33554432000 4194304 4797429 140737053036544 18446744073709551615 4506625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 276606 130522 421 148 0 271535 0
[pid=32596/tid=32598] ppid=32594 vsize=1106424 CPUtime=1121.41 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 71825 0 0 0 112124 17 0 0 25 0 4 0 529904299 1132978176 130522 33554432000 4194304 4797429 140737053036544 18446744073709551615 4422912 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1106424 CPUtime=1121.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 71284 0 0 0 112121 19 0 0 25 0 4 0 529904299 1132978176 130522 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1106424 CPUtime=1115.19 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 68005 0 0 0 111501 18 0 0 25 0 4 0 529904299 1132978176 130522 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4480.33
Current children cumulated vsize (KiB) 1106424

[startup+1182.3 s]
/proc/loadavg: 8.20 8.22 8.09 9/188 32635
/proc/meminfo: memFree=25000744/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1114900 CPUtime=4720.01 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 654434 0 0 0 471813 188 0 0 25 0 4 0 529904209 1141657600 138443 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425019 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 278725 138443 421 148 0 273654 0
[pid=32596/tid=32598] ppid=32594 vsize=1114900 CPUtime=1181.42 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 76106 0 0 0 118124 18 0 0 25 0 4 0 529904299 1141657600 138443 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1114900 CPUtime=1181.4 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 73192 0 0 0 118120 20 0 0 25 0 4 0 529904299 1141657600 138443 33554432000 4194304 4797429 140737053036544 18446744073709551615 4425966 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1114900 CPUtime=1174.86 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 69813 0 0 0 117468 18 0 0 25 0 4 0 529904299 1141657600 138443 33554432000 4194304 4797429 140737053036544 18446744073709551615 4422906 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4720.01
Current children cumulated vsize (KiB) 1114900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.4 s]
/proc/loadavg: 7.59 8.09 8.05 5/179 32653
/proc/meminfo: memFree=25260276/32951124 swapFree=67111412/67111528
[pid=32596] ppid=32594 vsize=1116688 CPUtime=4800.32 cores=0,2,4,6
/proc/32596/stat : 32596 (techdemo) R 32594 32596 31591 0 -1 4202496 665099 0 0 0 479841 191 0 0 25 0 4 0 529904209 1143488512 134227 33554432000 4194304 4797429 140737053036544 18446744073709551615 4424998 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/32596/statm: 279172 134227 421 148 0 274101 0
[pid=32596/tid=32598] ppid=32594 vsize=1116688 CPUtime=1201.52 cores=0,2,4,6
/proc/32596/task/32598/stat : 32598 (techdemo) R 32594 32596 31591 0 -1 4202560 76576 0 0 0 120134 18 0 0 25 0 4 0 529904299 1143488512 134227 33554432000 4194304 4797429 140737053036544 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32596/tid=32599] ppid=32594 vsize=1116688 CPUtime=1201.51 cores=0,2,4,6
/proc/32596/task/32599/stat : 32599 (techdemo) R 32594 32596 31591 0 -1 4202560 73610 0 0 0 120130 21 0 0 25 0 4 0 529904299 1143488512 134227 33554432000 4194304 4797429 140737053036544 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32596/tid=32600] ppid=32594 vsize=1116688 CPUtime=1194.85 cores=0,2,4,6
/proc/32596/task/32600/stat : 32600 (techdemo) R 32594 32596 31591 0 -1 4202560 70356 0 0 0 119467 18 0 0 25 0 4 0 529904299 1143488512 134227 33554432000 4194304 4797429 140737053036544 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1116688

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): 1202.44
CPU time (s): 4800.37
CPU user time (s): 4798.43
CPU system time (s): 1.9407
CPU usage (%): 399.22
Max. virtual memory (cumulated for all children) (KiB): 1228328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.43
system time used= 1.9407
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 665099
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= 2838
involuntary context switches= 83472

runsolver used 1.90471 second user time and 4.67529 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 19:04:20
IDJOB=3250843
IDBENCH=88203
IDSOLVER=1584
FILE ID=node132/3250843-1304183060
RUNJOBID= node132-1304183049-32544
PBS_JOBID= 13172423
Free space on /tmp= 72152 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT11/crafted/anton/SRHD-SGI/srhd-sgi-m62-q1327.5-n60-p30-s52708253.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3250843-1304183060/watcher-3250843-1304183060 -o /tmp/evaluation-result-3250843-1304183060/solver-3250843-1304183060 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3250843-1304183060.cnf

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

MD5SUM BENCH= 472b10ce0a2683d9355981037eea091e
RANDOM SEED=1906904772

node132.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.833
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.833
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.74
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.833
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.76
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.833
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.833
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.833
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.67
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.833
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.833
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:     32951124 kB
MemFree:      25712032 kB
Buffers:        700452 kB
Cached:        5916576 kB
SwapCached:        112 kB
Active:        1625904 kB
Inactive:      5129808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25712032 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           32512 kB
Writeback:         192 kB
AnonPages:      137668 kB
Mapped:          15612 kB
Slab:           420200 kB
PageTables:       4860 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   731732 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72152 MiB
End job on node132 at 2011-04-30 19:24:25