Trace number 3281604

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat TechDemo-Alpha-mt? (TO) 4800.19 1203.81

General information on the benchmark

Namemanol-pipe-c10nidw.cnf
MD5SUM943fd86d922b13236c21a74c4f82b6d0
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark144.2
Satisfiable
(Un)Satisfiability was proved
Number of variables433601
Number of clauses1291714
Sum of the clauses size3013998
Maximum clause length3
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2861142
Number of clauses of size 3430571
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

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-3281604-1304032735.cnf'
0.00/0.00	c -- header says num vars:         433601
0.00/0.00	c -- header says num clauses:     1291714
2.59/2.68	c -- clauses added:            0 learnts,      1291714 normals,            0 xors
2.59/2.68	c -- vars added     433601
2.59/2.68	c Parsing time:  2.40 s
2.59/2.69	c  N st     0         0    433601    430571    861142         0   3013997         0   no data   no data  --
3.92/3.08	c asymm  cl-useful: 45/10050/430570 lits-rem:135 time: 1.52
51.86/15.06	c Flit:  1338 Blit:  10666 bXBeca:    0 bXProp: 9743 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T: 47.54
52.26/15.13	c Cleaning up after failed var search:     0.25 s 
53.85/15.53	c Calc non-exist non-lernt bins v-fix:     0 done:  28875 time:  1.52 s
53.85/15.54	c Cache  BProp: 5 Set: 2 BXProp: 801 T: 0.03
53.85/15.56	c Subs w/ non-existent bins:      3 time:  0.09 s
54.64/15.75	c Replacing    10544 vars Replaced   256759 lits Time:     0.68 s 
55.84/16.01	c bin-w-bin subsume rem          353 bins  time:  0.40 s
56.63/16.25	c subs with bin:      153  lits-rem:       150  v-fix:    0  time:  0.89 s
57.44/16.48	c Removed useless bin:      18  fixed:     0  bprops:  10.00M  time:  0.91 s
64.88/18.38	c lits-rem:         0  cl-subs:      297  v-elim: 136337  v-fix:    0  time:  7.06 s
64.88/18.38	c learnt bin added due to v-elim: 0
65.27/18.48	c Finding binary XORs  T:     0.37 s  found:    7594
65.68/18.59	c Replacing     7594 vars Replaced    91856 lits Time:     0.46 s 
67.27/18.99	c Finding non-binary XORs:     1.23 s (found:     180, avg size: 3.0)
67.27/18.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.32
67.67/19.09	c Calc default polars -  time:   0.21 s pos:   71854 undec:  171248 neg:  190499
67.67/19.09	c =========================================================================================
67.67/19.09	c types(t): F = full restart, N = normal restart
67.67/19.09	c types(t): S = simplification begin/end, E = solution found
67.67/19.09	c restart types(rt): st = static, dy = dynamic
67.67/19.09	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
67.67/19.09	c  B st     0         0    264860    425725    478377         0   2471293         0   no data   no data  --
74.46/20.79	c Decided on dynamic restart strategy
82.04/22.63	c  N dy    20      4023    264856    425725    478473      3893   2471292     62046     18.37      8.30  --
97.23/26.49	c  N dy    50      8145    264670    425725    478662     15223   2471300    145499     17.24      8.38  --
112.79/30.35	c  N dy    79     12177    264595    425725    478713     19147   2471300    194654     14.75      7.99  --
124.77/33.34	c  N dy   108     16223    262196    418406    474127     48165   2432840    335678     21.74      8.17  --
137.56/36.56	c  N dy   136     20231    262184    418406    474157     35171   2432840    110422     14.16      8.32  --
151.94/40.13	c  N dy   165     24288    261749    418406    474224     39127   2432840    171687     17.95      8.36  --
164.33/43.27	c  N dy   194     28316    261749    418406    474270     43056   2432840    229011     15.81      8.36  --
169.12/44.46	c  S st   206     30001    261725    418406    474287     44707   2432840    252233     13.90      8.34  --
171.93/45.13	c  S st   206     30506    261719    418406    474354     45126   2432840    255792     13.90      8.34  --
172.31/45.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.30
236.96/61.45	c Flit:   129 Blit:    964 bXBeca:    0 bXProp: 5856 Bin:  18855 BRemL:   1270 BRemN:    470 CBin:       0 P: 60.0M T: 64.51
237.37/61.51	c Cleaning up after failed var search:     0.22 s 
238.56/61.82	c Calc non-exist non-lernt bins v-fix:     0 done:  29767 time:  1.21 s
238.56/61.83	c Cache  BProp: 5 Set: 0 BXProp: 87 T: 0.03
238.56/61.89	c Subs w/ non-existent bins:    291 time:  0.22 s
239.35/62.01	c Replacing     5946 vars Replaced   126336 lits Time:     0.44 s 
240.16/62.23	c bin-w-bin subsume rem         1454 bins  time:  0.29 s
240.95/62.41	c subs with bin:      735  lits-rem:      5922  v-fix:    0  time:  0.70 s
241.77/62.67	c Removed useless bin:      32  fixed:     1  bprops:  10.00M  time:  1.04 s
255.34/66.03	c lits-rem:      1711  cl-subs:    45509  v-elim: 169303  v-fix:    0  time: 13.30 s
255.34/66.03	c learnt bin added due to v-elim: 0
256.11/66.26	c asymm  cl-useful: 286/3687/422468 lits-rem:574 time: 0.83
256.11/66.26	c Added XOR as norm:173
256.51/66.30	c  N dy   206     30506     84797    423159     90114      2567   1998350     15847     13.90      8.34  --
256.51/66.30	c  F st   206     30506     84797    423159     90114      2567   1998350     15847     13.90      8.34  --
260.11/67.26	c Decided on dynamic restart strategy
262.51/67.88	c  N dy   226     34524     84797    423159     90132      6001   1998350     68237     19.58      8.39  --
269.30/69.53	c  N dy   255     38531     84783    423159    132411     64894   2052182    318749     13.05      8.46  --
276.08/71.22	c  N dy   285     42601     84768    423159    139783     77309   2058512    400456     15.40      8.43  --
280.48/72.37	c  S st   309     45759     84768    423159    139785     80042   2058512    437896     14.42      8.41  --
282.07/72.73	c  S st   309     46261     84768    423159    139798     80516   2058512    442067     14.42      8.41  --
282.07/72.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.25
318.84/81.92	c Flit:     7 Blit:     17 bXBeca:    0 bXProp: 1891 Bin:   5203 BRemL:  12337 BRemN:  29786 CBin:       0 P: 39.2M T: 36.47
319.24/82.06	c Calc non-exist non-lernt bins v-fix:     0 done:  31699 time:  0.32 s
319.24/82.07	c Cache  BProp: 4 Set: 0 BXProp: 0 T: 0.03
319.64/82.17	c Subs w/ non-existent bins:   2274 time:  0.39 s
320.04/82.27	c Replacing     1891 vars Replaced    74886 lits Time:     0.39 s 
320.85/82.46	c bin-w-bin subsume rem         2617 bins  time:  0.13 s
321.25/82.56	c subs with bin:     2879  lits-rem:     10134  v-fix:    0  time:  0.43 s
321.63/82.64	c Removed useless bin:     181  fixed:     0  bprops:   1.96M  time:  0.31 s
331.62/85.10	c lits-rem:      2913  cl-subs:    63599  v-elim:  38020  v-fix:    0  time:  9.81 s
331.62/85.10	c learnt bin added due to v-elim: 0
332.42/85.32	c asymm  cl-useful: 298/5482/391958 lits-rem:750 time: 0.86
332.42/85.35	c  N dy   309     46261     63048    391957     69313     17963   1935103    160328     14.42      8.41  --
338.42/86.83	c  N dy   339     50375     63048    391957     69317     21553   1935103    211408     12.79      8.43  --
342.40/87.88	c  N dy   369     54465     63048    391957     69325     25081   1935103    265309     15.18      8.46  --
347.21/89.09	c  N dy   399     58577     63048    391957     69326     28669   1935103    322072     23.37      8.54  --
352.39/90.30	c Finding binary XORs  T:     0.16 s  found:       1
352.79/90.44	c  N dy   429     62695     63048    391957     69334     32249   1935103    372837     12.98      8.52  --
358.38/91.82	c  N dy   459     66811     63048    391957     69341     35823   1935103    424480     17.30      8.50  --
361.97/92.73	c  S st   479     69391     63048    391957     69344     38092   1935103    459633     17.02      8.52  --
363.17/93.05	c  S st   479     69893     63048    391957     69356     38568   1935103    464885     17.02      8.52  --
363.57/93.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
363.57/93.11	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.02
387.17/99.07	c Flit:     2 Blit:      0 bXBeca:    0 bXProp:   59 Bin:   3283 BRemL:    420 BRemN:    137 CBin:       0 P: 36.3M T: 23.77
387.54/99.14	c Calc non-exist non-lernt bins v-fix:     0 done:  31780 time:  0.25 s
387.54/99.15	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.04
388.34/99.31	c Subs w/ non-existent bins:   1068 time:  0.65 s
388.74/99.42	c Replacing       60 vars Replaced     2512 lits Time:     0.42 s 
389.54/99.60	c bin-w-bin subsume rem          215 bins  time:  0.10 s
389.94/99.71	c subs with bin:      673  lits-rem:      9599  v-fix:    0  time:  0.44 s
389.94/99.77	c Removed useless bin:      35  fixed:     0  bprops:   1.27M  time:  0.24 s
410.71/104.90	c ORs :   5240 avg-s:  2.1 cl-sh:  3707 l-rem:   4248 b-add:    885 v-rep:   0 cl-rem: 274 avg s: 5.2 T:   13.96
536.18/136.37	c Added 4 vars  tried: 80000 time: 125.71
536.18/136.38	c ORs :      4 avg-s:  0.0 cl-sh:   492 l-rem:    492 b-add:      8 v-rep:   0 cl-rem: 0 avg s: nan T:  125.72
536.95/136.51	c lits-rem:      5140  cl-subs:     5016  v-elim:  11941  v-fix:    0  time: 146.77 s
536.95/136.51	c learnt bin added due to v-elim: 0
537.35/136.66	c vivif2 --  cl tried   388798 cl shrink     4132 lits rem       5562 time: 0.62
537.75/136.71	c vivif2 --  cl tried    32592 cl shrink     2865 lits rem       4472 time: 0.18
538.55/136.90	c asymm  cl-useful: 110/4171/388684 lits-rem:215 time: 0.77
538.55/136.95	c calculated reachability. Time: 0.10
538.55/136.96	c  N dy   479     69893     62619    388682     71152     32559   1908860    385723     17.02      8.52  --
538.55/136.96	c  F st   479     69893     62619    388682     71152     32559   1908860    385723     17.02      8.52  --
542.15/137.88	c Decided on static restart strategy
546.94/139.04	c  N dy   496     74692     62594    388682     73316     40636   1909294    456756     13.13      8.44  --
553.74/140.80	c  N dy   511     79897     62583    388682     74249     46617   1909494    544133     33.47      8.42  --
560.52/142.48	c  N dy   524     85197     62560    388682     74260     51346   1909494    626241     18.31      8.42  --
568.11/144.33	c  N dy   544     90656     62557    388682     74273     56195   1909494    696646     14.30      8.39  --
577.70/146.75	c  N dy   563     96566     62554    388682     74282     61418   1909494    774482     16.54      8.35  --
586.49/148.91	c  N dy   585    102838     62554    388682     74287     67091   1909494    871780     19.45      8.35  --
589.30/149.63	c  S st   591    104840     62554    388682     74294     68867   1909494    902835     15.36      8.35  --
591.28/150.10	c  S st   591    105344     62554    388682     74303     69343   1909494    907698     15.36      8.35  --
591.28/150.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
591.28/150.17	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.04
617.64/156.73	c Flit:     7 Blit:      3 bXBeca:    0 bXProp:  215 Bin:   2488 BRemL:   2630 BRemN:    184 CBin:       0 P: 50.2M T: 26.23
618.04/156.82	c Calc non-exist non-lernt bins v-fix:     0 done:  31754 time:  0.32 s
618.04/156.83	c Cache  BProp: 5 Set: 0 BXProp: 0 T: 0.04
618.84/157.08	c Subs w/ non-existent bins:   1122 time:  0.99 s
619.66/157.23	c Replacing      215 vars Replaced    14371 lits Time:     0.54 s 
620.44/157.45	c bin-w-bin subsume rem         1166 bins  time:  0.11 s
620.84/157.59	c subs with bin:      442  lits-rem:      1301  v-fix:    0  time:  0.58 s
621.24/157.66	c Removed useless bin:      34  fixed:     0  bprops:   1.22M  time:  0.28 s
657.19/166.65	c ORs :  10109 avg-s:  2.0 cl-sh:  7061 l-rem:   8570 b-add:    925 v-rep:   0 cl-rem: 174 avg s: 4.0 T:   27.10
657.99/166.80	c lits-rem:      4346  cl-subs:    12252  v-elim:  13515  v-fix:    0  time: 36.49 s
657.99/166.80	c learnt bin added due to v-elim: 0
658.39/166.95	c vivif2 --  cl tried   379671 cl shrink      736 lits rem       1001 time: 0.62
658.79/167.03	c vivif2 --  cl tried    56759 cl shrink      482 lits rem        776 time: 0.32
659.61/167.23	c asymm  cl-useful: 87/4574/379658 lits-rem:159 time: 0.78
659.61/167.28	c calculated reachability. Time: 0.10
659.61/167.29	c  N dy   591    105344     61066    379656     68414     56752   1862529    753683     15.36      8.35  --
671.18/170.13	c  N dy   613    112385     61051    379656     68427     63048   1862529    856344     14.84      8.31  --
681.58/172.72	c  N dy   633    119646     61051    379656     68438     69590   1862529    964904     12.15      8.28  --
692.75/175.50	c  N dy   655    127287     61048    379656     68450     76438   1862529   1098329     34.97      8.34  --
706.33/178.91	c  N dy   682    135557     61045    379656     68464     83841   1862529   1229672     14.75      8.36  --
720.72/182.58	c  N dy   707    144284     61043    379656     68483     91673   1862528   1366804     21.55      8.36  --
737.09/186.66	c  N dy   738    153868     61037    379656     68497    100211   1862528   1522858     14.78      8.34  --
744.68/188.53	c  S st   750    158016     61037    379656     68499    103943   1862528   1587993     11.88      8.36  --
746.68/189.07	c  S st   750    158519     61037    379656     68502    104430   1862528   1593499     11.88      8.36  --
747.09/189.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.24
747.09/189.14	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.04
773.04/195.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bin:    961 BRemL:    361 BRemN:     34 CBin:       0 P: 60.0M T: 26.01
773.45/195.75	c Calc non-exist non-lernt bins v-fix:     0 done:  31767 time:  0.33 s
773.45/195.76	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.04
774.63/196.08	c Subs w/ non-existent bins:    586 time:  1.28 s
775.43/196.22	c Replacing        2 vars Replaced      162 lits Time:     0.54 s 
776.23/196.47	c bin-w-bin subsume rem          907 bins  time:  0.10 s
777.03/196.65	c subs with bin:      135  lits-rem:      1161  v-fix:    0  time:  0.72 s
777.43/196.71	c Removed useless bin:      17  fixed:     0  bprops:   1.18M  time:  0.24 s
824.57/208.50	c ORs :  13955 avg-s:  2.1 cl-sh: 16266 l-rem:  17358 b-add:    672 v-rep:   0 cl-rem: 241 avg s: 3.4 T:   38.08
824.97/208.67	c lits-rem:       981  cl-subs:    10886  v-elim:  11468  v-fix:    0  time: 47.78 s
824.97/208.67	c learnt bin added due to v-elim: 0
825.77/208.83	c vivif2 --  cl tried   377843 cl shrink       73 lits rem         84 time: 0.64
826.19/208.98	c vivif2 --  cl tried    92962 cl shrink      467 lits rem        693 time: 0.57
826.97/209.19	c asymm  cl-useful: 54/3566/377843 lits-rem:70 time: 0.84
827.37/209.24	c calculated reachability. Time: 0.10
827.37/209.25	c  N dy   750    158519     60889    377843     68391     92946   1851982   1420018     11.88      8.36  --
845.74/213.81	c  N dy   787    169710     60888    377843     69780    103739   1852034   1595212     12.64      8.36  --
864.11/218.48	c  N dy   821    180706     60888    377843     70121     59247   1852042    427461     20.69      8.37  --
880.49/222.52	c  N dy   846    192447     60886    377843     70148     69762   1852042    625754     13.40      8.36  --
883.71/223.36	c Finding binary XORs  T:     0.33 s  found:      13
897.67/226.89	c  N dy   882    204756     60871    377649     70079     43607   1850970    318597     11.64      8.36  --
915.65/231.34	c  N dy   922    218033     60871    377649     70089     55644   1850970    526300     13.40      8.36  --
934.42/236.03	c  N dy   957    232040     60871    377649     70112     39296   1850970    290352     14.26      8.33  --
941.61/237.85	c  S st   974    237778     60870    377649     70119     44495   1850970    371194     14.48      8.32  --
942.81/238.16	c  S st   974    238280     60850    377649     70122     44978   1850970    376603     14.48      8.32  --
943.21/238.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
943.21/238.22	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
969.57/244.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:   1488 BRemL:   1831 BRemN:     23 CBin:       0 P: 49.0M T: 26.39
969.97/244.91	c Calc non-exist non-lernt bins v-fix:     0 done:  31784 time:  0.27 s
969.97/244.92	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
970.37/245.08	c Subs w/ non-existent bins:    301 time:  0.66 s
970.77/245.19	c Replacing       28 vars Replaced     3616 lits Time:     0.40 s 
971.59/245.38	c bin-w-bin subsume rem          791 bins  time:  0.10 s
971.97/245.47	c subs with bin:      304  lits-rem:       927  v-fix:    0  time:  0.39 s
972.37/245.53	c Removed useless bin:      19  fixed:     0  bprops:   1.16M  time:  0.24 s
1017.52/256.81	c ORs :  14669 avg-s:  2.1 cl-sh:  1395 l-rem:   1840 b-add:    157 v-rep:   0 cl-rem: 86 avg s: 5.7 T:   38.70
1017.92/256.94	c lits-rem:      1746  cl-subs:     6229  v-elim:  11469  v-fix:    0  time: 45.56 s
1017.92/256.94	c learnt bin added due to v-elim: 0
1018.32/257.08	c vivif2 --  cl tried   376153 cl shrink      239 lits rem        344 time: 0.56
1018.72/257.11	c vivif2 --  cl tried    38784 cl shrink      365 lits rem        426 time: 0.13
1019.53/257.33	c asymm  cl-useful: 131/3536/376125 lits-rem:172 time: 0.86
1019.53/257.37	c calculated reachability. Time: 0.09
1019.53/257.38	c  N dy   974    238280     60638    376125     68478     38766   1842348    318318     14.48      8.32  --
1043.47/263.30	c  N dy  1024    253561     60636    376125     68495     27442   1842348    160085     15.17      8.29  --
1063.05/268.20	c  N dy  1076    269880     60636    376125     68510     42165   1842348    429770     29.15      8.29  --
1084.22/273.55	c  N dy  1127    287290     60632    376125     68528     34050   1842346    287488     20.58      8.29  --
1108.58/279.60	c  N dy  1185    305865     60632    376125     68550     27201   1842345    167261     14.20      8.31  --
1136.15/286.59	c  N dy  1243    337874     60632    376125     68804     32996   1842357    314307     22.11      8.36  --
1162.52/293.19	c  S st  1305    357420     60625    376125     69053     25612   1842375    122446     14.30      8.36  --
1164.12/293.50	c  S st  1305    357923     60625    376125     69053     26104   1842375    127924     14.30      8.36  --
1164.12/293.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.20
1164.12/293.56	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
1190.48/300.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    544 BRemL:    511 BRemN:     30 CBin:       0 P: 43.9M T: 26.16
1190.48/300.20	c Calc non-exist non-lernt bins v-fix:     0 done:  31772 time:  0.30 s
1190.90/300.21	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
1191.30/300.36	c Subs w/ non-existent bins:    205 time:  0.61 s
1191.67/300.46	c Replacing        6 vars Replaced      528 lits Time:     0.37 s 
1192.47/300.63	c bin-w-bin subsume rem          176 bins  time:  0.10 s
1192.87/300.72	c subs with bin:      160  lits-rem:       344  v-fix:    0  time:  0.35 s
1192.87/300.79	c Removed useless bin:       4  fixed:     0  bprops:   1.15M  time:  0.27 s
1238.01/312.06	c ORs :  15067 avg-s:  2.1 cl-sh:   377 l-rem:    549 b-add:    153 v-rep:   0 cl-rem: 15 avg s: 4.9 T:   39.56
1238.41/312.18	c lits-rem:       187  cl-subs:     1489  v-elim:  11154  v-fix:    0  time: 45.53 s
1238.41/312.18	c learnt bin added due to v-elim: 0
1239.23/312.33	c vivif2 --  cl tried   375583 cl shrink      143 lits rem        243 time: 0.56
1239.23/312.34	c vivif2 --  cl tried    24504 cl shrink       54 lits rem         56 time: 0.07
1240.01/312.54	c asymm  cl-useful: 86/5470/375582 lits-rem:122 time: 0.78
1240.01/312.59	c calculated reachability. Time: 0.09
1240.01/312.59	c  N dy  1305    357923     60541    375582     68082     24466   1839016    117799     14.30      8.36  --
1267.57/319.45	c  N dy  1366    377996     60541    375582     68102     42484   1839016    408135     12.82      8.34  --
1294.73/326.25	c  N dy  1425    398413     60541    375582     68120     35356   1839016    306637     17.93      8.36  --
1324.29/333.65	c  N dy  1494    418529     60537    375582     68135     27306   1839016    130040     11.87      8.34  --
1351.86/340.55	c  N dy  1559    438991     60526    375582     68153     45929   1839015    447878     16.82      8.36  --
1379.03/347.37	c  N dy  1620    459077     60526    375582     68161     37030   1839015    301500     16.51      8.37  --
1407.79/354.56	c  N dy  1684    479216     60526    375582     68176     55291   1839015    607905     17.78      8.37  --
1436.55/361.70	c  N dy  1744    499944     60526    375582     68445     46089   1839031    424248     14.27      8.37  --
1453.72/366.04	c  N dy  1775    523774     60526    375582     68449     39005   1839031    372224     17.47      8.40  --
1470.50/370.25	c  S st  1810    536885     60525    375582     68551     51227   1839036    575747     16.53      8.41  --
1472.12/370.62	c  S st  1810    537385     60525    375582     68552     51719   1839036    581032     16.53      8.41  --
1472.12/370.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.21
1472.12/370.68	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
1501.26/377.90	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   11 Bin:    577 BRemL:    945 BRemN:     20 CBin:       0 P: 58.3M T: 28.87
1501.26/377.98	c Calc non-exist non-lernt bins v-fix:     0 done:  31782 time:  0.28 s
1501.26/377.99	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
1502.06/378.17	c Subs w/ non-existent bins:     96 time:  0.70 s
1502.46/378.28	c Replacing       11 vars Replaced     1693 lits Time:     0.40 s 
1503.28/378.46	c bin-w-bin subsume rem          150 bins  time:  0.11 s
1503.66/378.56	c subs with bin:      208  lits-rem:       406  v-fix:    0  time:  0.42 s
1504.06/378.62	c Removed useless bin:      20  fixed:     0  bprops:   1.14M  time:  0.25 s
1551.21/390.48	c ORs :  15109 avg-s:  2.1 cl-sh:    39 l-rem:     52 b-add:     30 v-rep:   0 cl-rem: 45 avg s: 3.0 T:   39.90
1551.99/390.62	c lits-rem:      1705  cl-subs:     6218  v-elim:  11108  v-fix:    0  time: 47.90 s
1551.99/390.62	c learnt bin added due to v-elim: 0
1552.39/390.77	c vivif2 --  cl tried   374800 cl shrink      115 lits rem        149 time: 0.60
1552.79/390.81	c vivif2 --  cl tried    45617 cl shrink      189 lits rem        196 time: 0.15
1553.59/391.01	c asymm  cl-useful: 57/9087/374798 lits-rem:68 time: 0.82
1553.59/391.06	c calculated reachability. Time: 0.10
1553.59/391.07	c  N dy  1810    537385     60441    374798     67492     45605   1834262    482993     16.53      8.41  --
1553.59/391.07	c  F st  1810    537385     60441    374798     67492     45605   1834262    482993     16.53      8.41  --
1557.99/392.14	c Decided on dynamic restart strategy
1583.55/398.55	c Finding binary XORs  T:     0.30 s  found:       0
1589.54/400.02	c  N dy  1945    557452     60441    374798     67508     33672   1834262    175494     13.40      8.37  --
1625.10/408.97	c  N dy  2094    577550     60441    374798     67523     51815   1834262    415802     11.61      8.33  --
1660.65/417.88	c  N dy  2241    597586     60441    374798     67529     39064   1834261    247712     11.36      8.31  --
1695.40/426.53	c  N dy  2382    617596     60441    374798     67549     57089   1834261    497712     11.69      8.28  --
1730.96/435.41	c  N dy  2527    637686     60445    374798     67741     43777   1834291    298286     12.62      8.26  --
1766.93/444.48	c  N dy  2672    657717     60444    374798     67899     62231   1834360    550689     12.31      8.24  --
1803.66/453.64	c  N dy  2818    677769     60443    374798     68096     47898   1834427    354397     12.98      8.22  --
1842.00/463.20	c  N dy  2963    697798     60442    374798     68112     65971   1834427    638424     15.57      8.21  --
1876.78/471.92	c  N dy  3107    717849     60442    374798     68119     50487   1834425    396635     13.24      8.21  --
1915.51/481.60	c  N dy  3252    737851     60442    374798     68134     68684   1834425    657755     13.45      8.20  --
1949.86/490.26	c  N dy  3397    757973     60442    374798     68141     52382   1834425    404973     15.08      8.18  --
1986.63/499.46	c  N dy  3540    777985     60442    374798     68148     70559   1834425    658955     13.05      8.17  --
2021.38/508.11	c  N dy  3684    798022     60442    374798     68158     53377   1834425    409723     13.54      8.15  --
2035.75/511.79	c  S st  3741    806078     60442    374798     68462     61221   1834465    521943     15.09      8.15  --
2037.75/512.21	c  S st  3741    806580     60442    374798     68466     61712   1834465    527624     15.09      8.15  --
2037.75/512.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.23
2037.75/512.28	c Cache  BProp: 2 Set: 0 BXProp: 5 T: 0.04
2065.73/519.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bin:    969 BRemL:    995 BRemN:     96 CBin:       0 P: 60.0M T: 27.98
2066.10/519.37	c Calc non-exist non-lernt bins v-fix:     0 done:  31768 time:  0.30 s
2066.10/519.38	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
2066.90/519.57	c Subs w/ non-existent bins:    269 time:  0.77 s
2067.30/519.68	c Replacing       13 vars Replaced     1468 lits Time:     0.40 s 
2068.10/519.88	c bin-w-bin subsume rem           44 bins  time:  0.11 s
2068.50/519.99	c subs with bin:      289  lits-rem:       496  v-fix:    0  time:  0.47 s
2068.90/520.06	c Removed useless bin:      13  fixed:     0  bprops:   1.13M  time:  0.25 s
2115.24/531.68	c ORs :  15177 avg-s:  2.1 cl-sh:   108 l-rem:    111 b-add:     25 v-rep:   0 cl-rem: 34 avg s: 3.2 T:   40.12
2116.04/531.82	c lits-rem:      2000  cl-subs:     5660  v-elim:  11278  v-fix:    0  time: 47.00 s
2116.04/531.82	c learnt bin added due to v-elim: 0
2116.44/531.97	c vivif2 --  cl tried   374236 cl shrink       82 lits rem        126 time: 0.60
2116.84/532.03	c vivif2 --  cl tried    55888 cl shrink       92 lits rem        119 time: 0.23
2117.64/532.24	c asymm  cl-useful: 59/8473/374234 lits-rem:72 time: 0.82
2117.64/532.29	c calculated reachability. Time: 0.10
2117.64/532.29	c  N dy  3741    806580     60340    374233     68119     55874   1831882    471460     15.09      8.15  --
2155.59/541.71	c  N dy  3887    826620     60340    374233     68224     37746   1831884    170176     14.22      8.14  --
2189.93/550.37	c  N dy  4032    846663     60340    374233     68235     55936   1831884    422555     11.68      8.12  --
2229.09/560.12	c  N dy  4174    866666     60340    374233     68240     74244   1831884    696876     19.72      8.12  --
2265.84/569.40	c  N dy  4319    886782     60339    374233     68249     55378   1831884    409615     14.80      8.11  --
2303.39/578.70	c  N dy  4465    906851     60339    374233     68259     73626   1831884    673287     16.47      8.09  --
2339.73/587.80	c  N dy  4608    926974     60339    374233     68271     53636   1831884    375270     17.29      8.08  --
2377.31/597.24	c  N dy  4750    947057     60339    374233     68496     72165   1831904    624541     14.17      8.07  --
2413.23/606.28	c  N dy  4894    967088     60339    374233     68510     51134   1831904    323909     13.09      8.06  --
2449.19/615.21	c  N dy  5039    987091     60339    374233     68515     69432   1831902    597763     15.95      8.05  --
2484.74/624.17	c  N dy  5182   1007186     60339    374233     68522     47464   1831902    266842     11.56      8.05  --
2515.50/631.87	c Finding binary XORs  T:     0.31 s  found:      10
2523.89/633.98	c  N dy  5324   1027188     60339    374224     68530     65843   1831869    534682     15.88      8.04  --
2561.44/643.40	c  N dy  5466   1047304     60339    374224     68538     43083   1831869    195475     13.58      8.04  --
2597.79/652.42	c  N dy  5611   1067425     60339    374224     68544     61442   1831869    456082     14.00      8.03  --
2637.74/662.46	c  N dy  5756   1087468     60339    374224     68554     79693   1831869    723629     14.24      8.02  --
2674.08/671.58	c  N dy  5901   1107491     60339    374224     68720     56362   1831927    378154     12.72      8.01  --
2714.04/681.59	c  N dy  6046   1127585     60337    374224     68940     74950   1831937    663844     14.91      8.01  --
2754.78/691.70	c  N dy  6191   1147723     60337    374224     68949     50051   1831937    278386     17.73      8.01  --
2792.73/701.20	c  N dy  6336   1167836     60337    374224     68957     68520   1831937    555541     18.85      8.00  --
2834.29/711.63	c  N dy  6480   1187870     60337    374224     68963     86899   1831937    836305     17.29      8.00  --
2875.01/721.83	c  N dy  6624   1207942     60337    374224     68969     61195   1831937    431324     13.03      8.00  --
2878.63/722.71	c  S st  6638   1209871     60337    374224     68970     62977   1831937    457022     13.85      8.00  --
2880.21/723.12	c  S st  6638   1210376     60337    374224     68971     63467   1831937    463503     13.85      8.00  --
2880.21/723.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
2880.21/723.18	c Cache  BProp: 2 Set: 0 BXProp: 7 T: 0.03
2907.37/729.91	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:   14 Bin:    904 BRemL:   1080 BRemN:     39 CBin:       0 P: 60.0M T: 26.86
2907.37/729.98	c Calc non-exist non-lernt bins v-fix:     0 done:  31794 time:  0.27 s
2907.37/729.99	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
2908.17/730.19	c Subs w/ non-existent bins:    201 time:  0.80 s
2908.99/730.30	c Replacing       30 vars Replaced     4430 lits Time:     0.41 s 
2909.77/730.50	c bin-w-bin subsume rem           53 bins  time:  0.11 s
2910.17/730.61	c subs with bin:      395  lits-rem:      1252  v-fix:    0  time:  0.44 s
2910.17/730.67	c Removed useless bin:      16  fixed:     0  bprops:   1.10M  time:  0.24 s
2956.92/742.30	c ORs :  15156 avg-s:  2.1 cl-sh:    34 l-rem:     36 b-add:     16 v-rep:   0 cl-rem: 50 avg s: 3.1 T:   40.16
2957.33/742.45	c lits-rem:      1463  cl-subs:     5454  v-elim:  11107  v-fix:    0  time: 47.05 s
2957.33/742.45	c learnt bin added due to v-elim: 0
2958.11/742.61	c vivif2 --  cl tried   373464 cl shrink      303 lits rem        451 time: 0.62
2958.11/742.67	c vivif2 --  cl tried    57898 cl shrink      383 lits rem        412 time: 0.24
2958.91/742.87	c asymm  cl-useful: 77/7486/373452 lits-rem:93 time: 0.82
2959.31/742.92	c calculated reachability. Time: 0.10
2959.31/742.93	c  N dy  6638   1210376     60246    373451     68236     57892   1827485    413630     13.85      8.00  --
2997.65/752.52	c  N dy  6779   1230508     60244    373451     68382     76460   1827560    699883     13.38      7.99  --
3037.60/762.57	c  N dy  6921   1250588     60244    373451     68554     50404   1827595    260060     11.81      7.98  --
3073.15/771.42	c  N dy  7063   1270694     60243    373451     68559     68814   1827594    540333     13.62      7.98  --
3111.90/781.11	c  N dy  7201   1290839     60243    373451     68562     87330   1827592    809799     14.37      7.97  --
3149.05/790.43	c  N dy  7341   1310932     60243    373451     68572     59850   1827592    398719     17.91      7.97  --
3185.40/799.56	c  N dy  7480   1331051     60242    373451     68583     78334   1827591    685961     14.16      7.97  --
3225.77/809.65	c  N dy  7621   1351138     60242    373451     68596     50074   1827591    240601     18.26      7.97  --
3263.70/819.14	c  N dy  7766   1371205     60242    373451     68601     68622   1827591    511405     15.40      7.96  --
3304.86/829.43	c  N dy  7908   1391209     60242    373451     68606     86985   1827591    805556     15.44      7.96  --
3343.59/839.13	c  N dy  8051   1411326     60242    373451     68759     57692   1827635    327148     14.28      7.95  --
3382.34/848.83	c  N dy  8194   1431400     60242    373451     68932     76360   1827651    599770     12.48      7.95  --
3424.28/859.32	c  N dy  8336   1451488     60242    373451     68936     94858   1827651    880767     11.85      7.95  --
3462.65/868.97	c  N dy  8477   1471578     60242    373451     68945     64430   1827650    418475     13.73      7.94  --
3504.17/879.36	c  N dy  8618   1491702     60242    373451     68948     82961   1827649    704333     14.61      7.94  --
3543.72/889.26	c  N dy  8759   1511823     60242    373451     68953     51769   1827649    229249     14.58      7.94  --
3554.51/891.95	c Finding binary XORs  T:     0.34 s  found:      24
3583.27/899.15	c  N dy  8903   1531900     60242    373429     68927     70265   1827528    513314     13.77      7.93  --
3624.81/909.55	c  N dy  9047   1551956     60242    373429     68938     88735   1827528    794217     14.39      7.93  --
3667.55/920.22	c  N dy  9187   1572021     60242    373429     69150     56635   1827560    300056     16.80      7.93  --
3707.51/930.23	c  N dy  9328   1592095     60242    373429     69159     75112   1827560    581300     14.14      7.93  --
3748.67/940.59	c  N dy  9469   1612219     60242    373429     69382     93760   1827598    874608     13.78      7.93  --
3788.59/950.52	c  N dy  9611   1632354     60242    373429     69385     60688   1827598    342057     14.00      7.93  --
3830.55/961.08	c  N dy  9753   1652471     60242    373429     69390     79228   1827598    609238     14.04      7.93  --
3875.29/972.24	c  N dy  9898   1672593     60244    373429     69524     97857   1827642    883161     15.32      7.92  --
3916.02/982.44	c  N dy 10039   1692704     60244    373429     69531     63796   1827642    374465     13.63      7.92  --
3951.58/991.33	c  S st 10162   1710377     60244    373429     69539     80117   1827642    637404     15.35      7.92  --
3952.78/991.69	c  S st 10162   1710879     60244    373429     69544     80605   1827642    642540     15.35      7.92  --
3953.18/991.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.22
3953.18/991.75	c Cache  BProp: 2 Set: 0 BXProp: 4 T: 0.04
3977.54/997.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   15 Bin:    558 BRemL:   1836 BRemN:     76 CBin:       0 P: 60.0M T: 24.45
3977.94/997.95	c Calc non-exist non-lernt bins v-fix:     0 done:  31774 time:  0.28 s
3977.94/997.96	c Cache  BProp: 2 Set: 0 BXProp: 0 T: 0.03
3978.74/998.17	c Subs w/ non-existent bins:    349 time:  0.83 s
3979.14/998.24	c Replacing       43 vars Replaced     4592 lits Time:     0.26 s 
3979.94/998.43	c bin-w-bin subsume rem           69 bins  time:  0.11 s
3980.34/998.56	c subs with bin:      508  lits-rem:       772  v-fix:    0  time:  0.49 s
3980.74/998.62	c Removed useless bin:      19  fixed:     0  bprops:   1.14M  time:  0.26 s
4028.28/1010.52	c ORs :  15136 avg-s:  2.1 cl-sh:    63 l-rem:     84 b-add:     30 v-rep:   0 cl-rem: 19 avg s: 3.1 T:   40.33
4028.67/1010.69	c lits-rem:      2282  cl-subs:     7269  v-elim:  11126  v-fix:    0  time: 48.21 s
4028.67/1010.69	c learnt bin added due to v-elim: 0
4029.49/1010.86	c vivif2 --  cl tried   372279 cl shrink      194 lits rem        285 time: 0.67
4029.89/1010.95	c vivif2 --  cl tried    73416 cl shrink      346 lits rem        384 time: 0.36
4030.67/1011.16	c asymm  cl-useful: 60/6695/372263 lits-rem:64 time: 0.82
4031.07/1011.21	c calculated reachability. Time: 0.10
4031.07/1011.21	c  N dy 10162   1710879     60100    372263     67286     73403   1822445    570455     15.35      7.92  --
4073.01/1021.75	c  N dy 10305   1730978     60100    372263     67344     92084   1822471    843607     14.29      7.92  --
4116.16/1032.58	c  N dy 10448   1751102     60100    372263     67409     57363   1822480    272493     12.64      7.92  --
4154.90/1042.25	c  N dy 10592   1771218     60100    372263     67414     75910   1822480    543142     15.33      7.91  --
4196.87/1052.78	c  N dy 10731   1791307     60100    372263     67543     94680   1822498    850460     14.50      7.92  --
4240.00/1063.56	c  N dy 10872   1811440     60100    372263     67555     58749   1822498    279329     12.91      7.91  --
4280.36/1073.66	c  N dy 11017   1831499     60100    372263     67558     77381   1822498    564767     16.78      7.91  --
4321.08/1083.86	c  N dy 11160   1851572     60100    372263     67618     96006   1822519    853394     14.59      7.91  --
4367.03/1095.30	c  N dy 11299   1871641     60100    372263     67621     59077   1822519    281520     18.25      7.91  --
4406.17/1105.16	c  N dy 11441   1891694     60100    372263     67628     77576   1822519    560061     15.33      7.91  --
4451.73/1116.52	c  N dy 11585   1911755     60099    372263     67765     96323   1822545    848229     16.89      7.91  --
4498.85/1128.30	c  N dy 11727   1931778     60099    372263     67772     58315   1822544    252430     15.05      7.91  --
4536.79/1137.82	c  N dy 11868   1951895     60099    372263     67846     77007   1822572    557957     14.70      7.91  --
4577.14/1147.96	c  N dy 12011   1971957     60099    372263     67853     95543   1822572    863313     15.51      7.91  --
4621.88/1159.12	c  N dy 12153   1992020     60099    372263     67858    113981   1822571   1165118     18.57      7.91  --
4658.63/1168.34	c  N dy 12295   2012091     60099    372263     68018     75196   1822582    516766     14.97      7.92  --
4689.78/1176.18	c Finding binary XORs  T:     0.34 s  found:      13
4702.19/1179.21	c  N dy 12436   2032093     60099    372262     68008     93626   1822541    819453     15.35      7.92  --
4749.31/1191.08	c  N dy 12581   2052278     60099    372262     68010    112365   1822541   1128086     14.95      7.92  --
4790.07/1201.23	c  N dy 12722   2072279     60099    372262     68137     72660   1822555    449465     16.05      7.92  --

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-3281604-1304032735/watcher-3281604-1304032735 -o /tmp/evaluation-result-3281604-1304032735/solver-3281604-1304032735 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3281604-1304032735.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: 7.27 7.21 7.46 5/180 25299
/proc/meminfo: memFree=15747524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=51060 CPUtime=0 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 1004 0 0 0 0 0 0 0 22 0 1 0 514872436 52285440 940 33554432000 4194304 4797429 140736876828928 18446744073709551615 4419357 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 12765 949 348 148 0 7694 0

[startup+0.058258 s]
/proc/loadavg: 7.27 7.21 7.46 5/180 25299
/proc/meminfo: memFree=15747524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=72188 CPUtime=0.05 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 6650 0 0 0 4 1 0 0 22 0 1 0 514872436 73920512 5163 33554432000 4194304 4797429 140736876828928 18446744073709551615 4367789 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 18047 5164 349 148 0 12976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 72188

[startup+0.10025 s]
/proc/loadavg: 7.27 7.21 7.46 5/180 25299
/proc/meminfo: memFree=15747524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=90228 CPUtime=0.09 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 11718 0 0 0 8 1 0 0 22 0 1 0 514872436 92393472 8396 33554432000 4194304 4797429 140736876828928 18446744073709551615 4365731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 22557 8411 349 148 0 17486 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 90228

[startup+0.300214 s]
/proc/loadavg: 7.27 7.21 7.46 5/180 25299
/proc/meminfo: memFree=15747524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=151716 CPUtime=0.29 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 30249 0 0 0 27 2 0 0 23 0 1 0 514872436 155357184 23144 33554432000 4194304 4797429 140736876828928 18446744073709551615 268272349893 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 37929 23144 349 148 0 32858 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 151716

[startup+0.700143 s]
/proc/loadavg: 7.27 7.21 7.46 5/180 25299
/proc/meminfo: memFree=15747524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=269460 CPUtime=0.69 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 66962 0 0 0 62 7 0 0 25 0 1 0 514872436 275927040 52293 33554432000 4194304 4797429 140736876828928 18446744073709551615 4366725 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 67365 52300 349 148 0 62294 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 269460

[startup+1.501 s]
/proc/loadavg: 7.27 7.21 7.46 6/181 25300
/proc/meminfo: memFree=15446816/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=520028 CPUtime=1.49 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 140079 0 0 0 133 16 0 0 25 0 1 0 514872436 532508672 110452 33554432000 4194304 4797429 140736876828928 18446744073709551615 4367622 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/25299/statm: 130007 110454 349 148 0 124936 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 520028

[startup+3.10072 s]
/proc/loadavg: 7.09 7.17 7.44 6/181 25300
/proc/meminfo: memFree=15132516/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=1545396 CPUtime=4.32 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 253609 0 0 0 404 28 0 0 25 0 4 0 514872436 1582485504 194194 33554432000 4194304 4797429 140736876828928 18446744073709551615 4622961 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25299/statm: 386349 194217 379 148 0 381278 0
Current children cumulated CPU time (s) 4.32
Current children cumulated vsize (KiB) 1545396

[startup+6.30115 s]
/proc/loadavg: 7.09 7.17 7.44 9/184 25303
/proc/meminfo: memFree=14917364/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=1428796 CPUtime=17.1 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 273014 0 0 0 1678 32 0 0 25 0 4 0 514872436 1463087104 205178 33554432000 4194304 4797429 140736876828928 18446744073709551615 4428396 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25299/statm: 357199 205178 385 148 0 352128 0
[pid=25299/tid=25301] ppid=25297 vsize=1428796 CPUtime=3.6 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 3873 0 0 0 359 1 0 0 25 0 4 0 514872705 1463087104 205178 33554432000 4194304 4797429 140736876828928 18446744073709551615 4430179 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=1428796 CPUtime=3.58 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 5507 0 0 0 357 1 0 0 25 0 4 0 514872705 1463087104 205178 33554432000 4194304 4797429 140736876828928 18446744073709551615 4428536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=1428796 CPUtime=3.6 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 5116 0 0 0 360 0 0 0 25 0 4 0 514872705 1463087104 205178 33554432000 4194304 4797429 140736876828928 18446744073709551615 4241148 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 17.1
Current children cumulated vsize (KiB) 1428796

[startup+12.701 s]
/proc/loadavg: 7.23 7.20 7.45 9/184 25303
/proc/meminfo: memFree=14906732/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=1431224 CPUtime=42.67 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 273549 0 0 0 4234 33 0 0 25 0 4 0 514872436 1465573376 205713 33554432000 4194304 4797429 140736876828928 18446744073709551615 4242465 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25299/statm: 357806 205713 385 148 0 352735 0
[pid=25299/tid=25301] ppid=25297 vsize=1431224 CPUtime=10 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 4030 0 0 0 999 1 0 0 25 0 4 0 514872705 1465573376 205713 33554432000 4194304 4797429 140736876828928 18446744073709551615 4427955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=1431224 CPUtime=9.94 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 5634 0 0 0 993 1 0 0 25 0 4 0 514872705 1465573376 205713 33554432000 4194304 4797429 140736876828928 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=1431224 CPUtime=10 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 5224 0 0 0 1000 0 0 0 25 0 4 0 514872705 1465573376 205713 33554432000 4194304 4797429 140736876828928 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 42.67
Current children cumulated vsize (KiB) 1431224

[startup+25.5007 s]
/proc/loadavg: 7.42 7.24 7.46 9/184 25304
/proc/meminfo: memFree=14191352/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=2252784 CPUtime=93.62 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 464602 0 0 0 9271 91 0 0 25 0 4 0 514872436 2306850816 389158 33554432000 4194304 4797429 140736876828928 18446744073709551615 4425997 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/25299/statm: 563196 389158 678 148 0 558125 0
[pid=25299/tid=25301] ppid=25297 vsize=2252784 CPUtime=22.74 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 47910 0 0 0 2257 17 0 0 25 0 4 0 514872705 2306850816 389158 33554432000 4194304 4797429 140736876828928 18446744073709551615 4426003 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=2252784 CPUtime=22.64 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 50750 0 0 0 2248 16 0 0 25 0 4 0 514872705 2306850816 389158 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=2252784 CPUtime=22.77 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 69174 0 0 0 2262 15 0 0 25 0 4 0 514872705 2306850816 389158 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424170 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 93.62
Current children cumulated vsize (KiB) 2252784

[startup+51.1012 s]
/proc/loadavg: 7.68 7.32 7.48 9/184 25304
/proc/meminfo: memFree=13942072/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=2577432 CPUtime=195.85 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 645157 0 0 0 19463 122 0 0 25 0 4 0 514872436 2639290368 461635 33554432000 4194304 4797429 140736876828928 18446744073709551615 4240944 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 644358 461635 420 148 0 639287 0
[pid=25299/tid=25301] ppid=25297 vsize=2577432 CPUtime=48.33 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 82005 0 0 0 4810 23 0 0 19 0 4 0 514872705 2639290368 461635 33554432000 4194304 4797429 140736876828928 18446744073709551615 4431765 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=2577432 CPUtime=48.1 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 115752 0 0 0 4786 24 0 0 25 0 4 0 514872705 2639290368 461636 33554432000 4194304 4797429 140736876828928 18446744073709551615 4225134 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=2577432 CPUtime=48.36 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 142387 0 0 0 4807 29 0 0 25 0 4 0 514872705 2639290368 461636 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 195.85
Current children cumulated vsize (KiB) 2577432

[startup+102.307 s]
/proc/loadavg: 7.97 7.46 7.52 9/184 25306
/proc/meminfo: memFree=13425196/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=2899080 CPUtime=400.35 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 796464 0 0 0 39878 157 0 0 25 0 4 0 514872436 2968657920 568136 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 724770 568136 592 148 0 719699 0
[pid=25299/tid=25301] ppid=25297 vsize=2899080 CPUtime=99.52 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 105144 0 0 0 9922 30 0 0 25 0 4 0 514872705 2968657920 568136 33554432000 4194304 4797429 140736876828928 18446744073709551615 4642182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=2899080 CPUtime=99.3 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 163782 0 0 0 9896 34 0 0 25 0 4 0 514872705 2968657920 568136 33554432000 4194304 4797429 140736876828928 18446744073709551615 4425918 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=2899080 CPUtime=99.27 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 166764 0 0 0 9893 34 0 0 25 0 4 0 514872705 2968657920 568136 33554432000 4194304 4797429 140736876828928 18446744073709551615 4519488 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 400.35
Current children cumulated vsize (KiB) 2899080

[startup+162.3 s]
/proc/loadavg: 8.02 7.56 7.55 9/184 25307
/proc/meminfo: memFree=13343948/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=2991288 CPUtime=640.01 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 820051 0 0 0 63840 161 0 0 25 0 4 0 514872436 3063078912 586655 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 747822 586655 429 148 0 742751 0
[pid=25299/tid=25301] ppid=25297 vsize=2991288 CPUtime=159.52 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 108970 0 0 0 15921 31 0 0 25 0 4 0 514872705 3063078912 586655 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=2991288 CPUtime=159.3 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 165568 0 0 0 15895 35 0 0 25 0 4 0 514872705 3063078912 586655 33554432000 4194304 4797429 140736876828928 18446744073709551615 4240964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=2991288 CPUtime=158.95 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 167921 0 0 0 15861 34 0 0 25 0 4 0 514872705 3063078912 586655 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 640.01
Current children cumulated vsize (KiB) 2991288

[startup+222.301 s]
/proc/loadavg: 8.17 7.69 7.59 9/184 25309
/proc/meminfo: memFree=13358668/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3000096 CPUtime=879.69 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 828599 0 0 0 87805 164 0 0 25 0 4 0 514872436 3072098304 582375 33554432000 4194304 4797429 140736876828928 18446744073709551615 4571877 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 750024 582375 429 148 0 744953 0
[pid=25299/tid=25301] ppid=25297 vsize=3000096 CPUtime=219.52 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 109869 0 0 0 21921 31 0 0 25 0 4 0 514872705 3072098304 582375 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3000096 CPUtime=219.3 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 167141 0 0 0 21895 35 0 0 25 0 4 0 514872705 3072098304 582375 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3000096 CPUtime=218.64 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 168204 0 0 0 21829 35 0 0 25 0 4 0 514872705 3072098304 582375 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 879.69
Current children cumulated vsize (KiB) 3000096

[startup+282.301 s]
/proc/loadavg: 8.15 7.76 7.62 9/184 25311
/proc/meminfo: memFree=13329892/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3005284 CPUtime=1119.37 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 842309 0 0 0 111769 168 0 0 25 0 4 0 514872436 3077410816 586652 33554432000 4194304 4797429 140736876828928 18446744073709551615 4425625 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 751321 586652 429 148 0 746250 0
[pid=25299/tid=25301] ppid=25297 vsize=3005284 CPUtime=279.52 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 110467 0 0 0 27921 31 0 0 25 0 4 0 514872705 3077410816 586652 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3005284 CPUtime=279.3 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 172776 0 0 0 27894 36 0 0 25 0 4 0 514872705 3077410816 586652 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3005284 CPUtime=278.32 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 169013 0 0 0 27797 35 0 0 25 0 4 0 514872705 3077410816 586652 33554432000 4194304 4797429 140736876828928 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1119.37

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


[startup+702.301 s]
/proc/loadavg: 8.07 7.99 7.77 10/184 25352
/proc/meminfo: memFree=13303880/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3031944 CPUtime=2797.13 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 926800 0 0 0 279522 191 0 0 25 0 4 0 514872436 3104710656 584732 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424642 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 757986 584732 429 148 0 752915 0
[pid=25299/tid=25301] ppid=25297 vsize=3031944 CPUtime=699.53 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 128659 0 0 0 69919 34 0 0 25 0 4 0 514872705 3104710656 584732 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3031944 CPUtime=699.31 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 181053 0 0 0 69893 38 0 0 25 0 4 0 514872705 3104710656 584732 33554432000 4194304 4797429 140736876828928 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3031944 CPUtime=696.05 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 183189 0 0 0 69566 39 0 0 25 0 4 0 514872705 3104710656 584732 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2797.13
Current children cumulated vsize (KiB) 3031944

[startup+762.307 s]
/proc/loadavg: 8.20 8.03 7.79 10/184 25354
/proc/meminfo: memFree=13283036/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3031992 CPUtime=3036.83 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 950212 0 0 0 303488 195 0 0 25 0 4 0 514872436 3104759808 585546 33554432000 4194304 4797429 140736876828928 18446744073709551615 4426330 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 757998 585546 429 148 0 752927 0
[pid=25299/tid=25301] ppid=25297 vsize=3031992 CPUtime=759.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 135401 0 0 0 75919 35 0 0 25 0 4 0 514872705 3104759808 585546 33554432000 4194304 4797429 140736876828928 18446744073709551615 4523971 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3031992 CPUtime=759.31 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 189834 0 0 0 75892 39 0 0 25 0 4 0 514872705 3104759808 585546 33554432000 4194304 4797429 140736876828928 18446744073709551615 4574184 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3031992 CPUtime=755.72 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 187112 0 0 0 75533 39 0 0 25 0 4 0 514872705 3104759808 585546 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3036.83
Current children cumulated vsize (KiB) 3031992

[startup+822.301 s]
/proc/loadavg: 8.15 8.04 7.81 10/184 25355
/proc/meminfo: memFree=13304092/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3034620 CPUtime=3276.48 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 961481 0 0 0 327451 197 0 0 25 0 4 0 514872436 3107450880 577107 33554432000 4194304 4797429 140736876828928 18446744073709551615 4422912 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 758655 577107 429 148 0 753584 0
[pid=25299/tid=25301] ppid=25297 vsize=3034620 CPUtime=819.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 141392 0 0 0 81918 36 0 0 25 0 4 0 514872705 3107450880 577107 33554432000 4194304 4797429 140736876828928 18446744073709551615 4528948 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3034620 CPUtime=819.31 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 190155 0 0 0 81892 39 0 0 25 0 4 0 514872705 3107450880 577107 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3034620 CPUtime=815.39 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 187316 0 0 0 81500 39 0 0 25 0 4 0 514872705 3107450880 577107 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3276.48
Current children cumulated vsize (KiB) 3034620

[startup+882.301 s]
/proc/loadavg: 8.05 8.03 7.82 10/184 25357
/proc/meminfo: memFree=13307416/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3038904 CPUtime=3516.16 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 970177 0 0 0 351417 199 0 0 25 0 4 0 514872436 3111837696 578845 33554432000 4194304 4797429 140736876828928 18446744073709551615 4259014 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 759726 578845 429 148 0 754655 0
[pid=25299/tid=25301] ppid=25297 vsize=3038904 CPUtime=879.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 141999 0 0 0 87918 36 0 0 25 0 4 0 514872705 3111837696 578845 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3038904 CPUtime=879.32 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 192238 0 0 0 87892 40 0 0 25 0 4 0 514872705 3111837696 578845 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3038904 CPUtime=875.07 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 187822 0 0 0 87468 39 0 0 25 0 4 0 514872705 3111837696 578845 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3516.16
Current children cumulated vsize (KiB) 3038904

[startup+942.3 s]
/proc/loadavg: 8.02 8.02 7.83 10/184 25358
/proc/meminfo: memFree=13305924/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3038960 CPUtime=3755.84 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 987273 0 0 0 375382 202 0 0 25 0 4 0 514872436 3111895040 580153 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424750 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 759740 580153 429 148 0 754669 0
[pid=25299/tid=25301] ppid=25297 vsize=3038960 CPUtime=939.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 148033 0 0 0 93917 37 0 0 25 0 4 0 514872705 3111895040 580153 33554432000 4194304 4797429 140736876828928 18446744073709551615 4519880 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3038960 CPUtime=939.32 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 198383 0 0 0 93891 41 0 0 25 0 4 0 514872705 3111895040 580153 33554432000 4194304 4797429 140736876828928 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3038960 CPUtime=934.75 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 188067 0 0 0 93436 39 0 0 25 0 4 0 514872705 3111895040 580153 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3755.84
Current children cumulated vsize (KiB) 3038960

[startup+1002.3 s]
/proc/loadavg: 8.07 8.03 7.84 10/184 25360
/proc/meminfo: memFree=13304796/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3040832 CPUtime=3995.52 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 997585 0 0 0 399347 205 0 0 25 0 4 0 514872436 3113811968 579706 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 760208 579706 429 148 0 755137 0
[pid=25299/tid=25301] ppid=25297 vsize=3040832 CPUtime=999.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 150641 0 0 0 99917 37 0 0 25 0 4 0 514872705 3113811968 579706 33554432000 4194304 4797429 140736876828928 18446744073709551615 4240944 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3040832 CPUtime=999.32 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 200522 0 0 0 99891 41 0 0 25 0 4 0 514872705 3113811968 579706 33554432000 4194304 4797429 140736876828928 18446744073709551615 4241128 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3040832 CPUtime=994.42 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 189355 0 0 0 99402 40 0 0 25 0 4 0 514872705 3113811968 579706 33554432000 4194304 4797429 140736876828928 18446744073709551615 4423077 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3995.52
Current children cumulated vsize (KiB) 3040832

[startup+1062.3 s]
/proc/loadavg: 8.02 8.03 7.84 10/184 25361
/proc/meminfo: memFree=13272792/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3056140 CPUtime=4235.21 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 1015272 0 0 0 423313 208 0 0 25 0 4 0 514872436 3129487360 583556 33554432000 4194304 4797429 140736876828928 18446744073709551615 4344510 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 764035 583556 429 148 0 758964 0
[pid=25299/tid=25301] ppid=25297 vsize=3056140 CPUtime=1059.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 154091 0 0 0 105916 38 0 0 25 0 4 0 514872705 3129487360 583556 33554432000 4194304 4797429 140736876828928 18446744073709551615 4427250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3056140 CPUtime=1059.31 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 205474 0 0 0 105890 41 0 0 25 0 4 0 514872705 3129487360 583556 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3056140 CPUtime=1054.1 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 192100 0 0 0 105370 40 0 0 25 0 4 0 514872705 3129487360 583556 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.21
Current children cumulated vsize (KiB) 3056140

[startup+1122.3 s]
/proc/loadavg: 8.06 8.03 7.85 10/184 25363
/proc/meminfo: memFree=13274140/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3056140 CPUtime=4474.88 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 1027674 0 0 0 447276 212 0 0 25 0 4 0 514872436 3129487360 584633 33554432000 4194304 4797429 140736876828928 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 764035 584633 429 148 0 758964 0
[pid=25299/tid=25301] ppid=25297 vsize=3056140 CPUtime=1119.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 156687 0 0 0 111916 38 0 0 25 0 4 0 514872705 3129487360 584633 33554432000 4194304 4797429 140736876828928 18446744073709551615 4242452 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3056140 CPUtime=1119.32 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 206764 0 0 0 111890 42 0 0 25 0 4 0 514872705 3129487360 584633 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3056140 CPUtime=1113.78 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 198708 0 0 0 111336 42 0 0 25 0 4 0 514872705 3129487360 584633 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4474.88
Current children cumulated vsize (KiB) 3056140

[startup+1182.3 s]
/proc/loadavg: 8.13 8.06 7.87 10/184 25365
/proc/meminfo: memFree=13256524/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3056168 CPUtime=4714.56 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 1045950 0 0 0 471240 216 0 0 25 0 4 0 514872436 3129516032 586524 33554432000 4194304 4797429 140736876828928 18446744073709551615 4689174 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 764042 586524 429 148 0 758971 0
[pid=25299/tid=25301] ppid=25297 vsize=3056168 CPUtime=1179.54 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 160187 0 0 0 117915 39 0 0 25 0 4 0 514872705 3129516032 586524 33554432000 4194304 4797429 140736876828928 18446744073709551615 4346799 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3056168 CPUtime=1179.32 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 212204 0 0 0 117889 43 0 0 25 0 4 0 514872705 3129516032 586524 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3056168 CPUtime=1173.45 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 201657 0 0 0 117303 42 0 0 25 0 4 0 514872705 3129516032 586524 33554432000 4194304 4797429 140736876828928 18446744073709551615 4508778 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.56
Current children cumulated vsize (KiB) 3056168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.7 s]
/proc/loadavg: 8.08 8.05 7.87 9/184 25365
/proc/meminfo: memFree=13270528/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=3056220 CPUtime=4800.06 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) R 25297 25299 24860 0 -1 4202496 1050680 0 0 0 479789 217 0 0 25 0 4 0 514872436 3129569280 585126 33554432000 4194304 4797429 140736876828928 18446744073709551615 4424887 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 764055 585126 429 148 0 758984 0
[pid=25299/tid=25301] ppid=25297 vsize=3056220 CPUtime=1200.95 cores=1,3,5,7
/proc/25299/task/25301/stat : 25301 (techdemo) R 25297 25299 24860 0 -1 4202560 161292 0 0 0 120056 39 0 0 25 0 4 0 514872705 3129569280 585126 33554432000 4194304 4797429 140736876828928 18446744073709551615 4428866 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=25299/tid=25302] ppid=25297 vsize=3056220 CPUtime=1200.73 cores=1,3,5,7
/proc/25299/task/25302/stat : 25302 (techdemo) R 25297 25299 24860 0 -1 4202560 212229 0 0 0 120030 43 0 0 25 0 4 0 514872705 3129569280 585126 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=3056220 CPUtime=1194.73 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4202560 201863 0 0 0 119431 42 0 0 25 0 4 0 514872705 3129569280 585126 33554432000 4194304 4797429 140736876828928 18446744073709551615 4510043 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.06
Current children cumulated vsize (KiB) 3056220

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

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

[startup+1203.81 s]
/proc/loadavg: 8.08 8.05 7.87 9/184 25365
/proc/meminfo: memFree=13270528/32950928 swapFree=67111528/67111528
[pid=25299] ppid=25297 vsize=0 CPUtime=4800.18 cores=1,3,5,7
/proc/25299/stat : 25299 (techdemo) Z 25297 25299 24860 0 -1 4203548 1050680 0 0 0 479791 227 0 0 25 0 2 0 514872436 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/25299/statm: 0 0 0 0 0 0 0
[pid=25299/tid=25303] ppid=25297 vsize=0 CPUtime=1194.84 cores=1,3,5,7
/proc/25299/task/25303/stat : 25303 (techdemo) R 25297 25299 24860 0 -1 4203588 201863 0 0 0 119432 52 0 0 25 0 2 0 514872705 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.81
CPU time (s): 4800.19
CPU user time (s): 4797.91
CPU system time (s): 2.27565
CPU usage (%): 398.748
Max. virtual memory (cumulated for all children) (KiB): 3157180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.91
system time used= 2.27565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1050680
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= 29243
involuntary context switches= 20924

runsolver used 2.02569 second user time and 4.49932 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 01:18:56
IDJOB=3281604
IDBENCH=69591
IDSOLVER=1584
FILE ID=node122/3281604-1304032735
RUNJOBID= node122-1304032508-25241
PBS_JOBID= 13170330
Free space on /tmp= 71632 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3281604-1304032735/watcher-3281604-1304032735 -o /tmp/evaluation-result-3281604-1304032735/solver-3281604-1304032735 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3281604-1304032735.cnf

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

MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0
RANDOM SEED=1175440639

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.75
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.820
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.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      15747556 kB
Buffers:       1730660 kB
Cached:       14517884 kB
SwapCached:          0 kB
Active:        5643980 kB
Inactive:     10995072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15747556 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           31408 kB
Writeback:           0 kB
AnonPages:      389788 kB
Mapped:          15884 kB
Slab:           501412 kB
PageTables:       5516 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1019744 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71624 MiB
End job on node122 at 2011-04-29 01:39:02