Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.09 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_6_50_3.opb |
MD5SUM | 8d16c34d0eecf3c16ca4b890652c15ca |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 1800.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 7 |
Optimality of the best value was proved | NO |
Number of variables | 146 |
Total number of constraints | 12 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12 |
Minimum length of a constraint | 64 |
Maximum length of a constraint | 66 |
Number of terms in the objective function | 96 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 3060 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1270 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4321 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.05 c 146 12 0 0 0 0 0 0 0.00/0.05 c 1024 ~x158+512 ~x157+256 ~x156+128 ~x155+64 ~x154+32 ~x153+16 ~x152+8 ~x151+4 ~x150+2 ~x149+1 ~x148+25 ~x147+84 ~x146+98 ~x145+10 ~x144+41 ~x143+35 ~x142+38 ~x141+63 ~x140+41 ~x139+85 ~x138+38 ~x137+42 ~x136+56 ~x135+14 ~x134+18 ~x133+50 ~x132+41 ~x131+31 ~x130+21 ~x129+80 ~x128+32 ~x127+80 ~x126+93 ~x125+78 ~x124+78 ~x123+25 ~x122+68 ~x121+94 ~x120+26 ~x119+96 ~x118+60 ~x117+63 ~x116+43 ~x115+63 ~x114+20 ~x113+26 ~x112+94 ~x111+1 ~x110+73 ~x109+47 ~x108+28 ~x107+23 ~x106+24 ~x105+54 ~x104+21 ~x103+34 ~x102+77 ~x101+61 ~x100+99 ~x99+41 ~x98+128 x97+64 x96+32 x95+16 x94+8 x93+4 x92+2 x91+1 x90+128 ~x89+64 ~x88+32 ~x87+16 ~x86+8 ~x85+4 ~x84+2 ~x83+1 ~x82-0=3569 0.00/0.24 c 1024 ~x8589+512 ~x8588+256 ~x8587+128 ~x8586+64 ~x8585+32 ~x8584+16 ~x8583+8 ~x8582+4 ~x8581+2 ~x8580+1 ~x8579+25 x147+84 x146+98 x145+10 x144+41 x143+35 x142+38 x141+63 x140+41 x139+85 x138+38 x137+42 x136+56 x135+14 x134+18 x133+50 x132+41 x131+31 x130+21 x129+80 x128+32 x127+80 x126+93 x125+78 x124+78 x123+25 x122+68 x121+94 x120+26 x119+96 x118+60 x117+63 x116+43 x115+63 x114+20 x113+26 x112+94 x111+1 x110+73 x109+47 x108+28 x107+23 x106+24 x105+54 x104+21 x103+34 x102+77 x101+61 x100+99 x99+41 x98+128 ~x97+64 ~x96+32 ~x95+16 ~x94+8 ~x93+4 ~x92+2 ~x91+1 ~x90+128 x89+64 x88+32 x87+16 x86+8 x85+4 x84+2 x83+1 x82-0=3568 0.00/0.42 c 1024 ~x17020+512 ~x17019+256 ~x17018+128 ~x17017+64 ~x17016+32 ~x17015+16 ~x17014+8 ~x17013+4 ~x17012+2 ~x17011+1 ~x17010+87 ~x147+2 ~x146+50 ~x145+15 ~x144+9 ~x143+84 ~x142+47 ~x141+72 ~x140+34 ~x139+11 ~x138+1 ~x137+45 ~x136+91 ~x135+65 ~x134+68 ~x133+18 ~x132+1 ~x131+95 ~x130+73 ~x129+49 ~x128+23 ~x127+22 ~x126+50 ~x125+37 ~x124+25 ~x123+60 ~x122+35 ~x121+36 ~x120+21 ~x119+44 ~x118+38 ~x117+20 ~x116+93 ~x115+66 ~x114+68 ~x113+37 ~x112+98 ~x111+36 ~x110+19 ~x109+37 ~x108+20 ~x107+35 ~x106+76 ~x105+72 ~x104+12 ~x103+21 ~x102+45 ~x101+51 ~x100+72 ~x99+98 ~x98+128 x81+64 x80+32 x79+16 x78+8 x77+4 x76+2 x75+1 x74+128 ~x73+64 ~x72+32 ~x71+16 ~x70+8 ~x69+4 ~x68+2 ~x67+1 ~x66-0=3444 0.00/0.59 c 1024 ~x24780+512 ~x24779+256 ~x24778+128 ~x24777+64 ~x24776+32 ~x24775+16 ~x24774+8 ~x24773+4 ~x24772+2 ~x24771+1 ~x24770+87 x147+2 x146+50 x145+15 x144+9 x143+84 x142+47 x141+72 x140+34 x139+11 x138+1 x137+45 x136+91 x135+65 x134+68 x133+18 x132+1 x131+95 x130+73 x129+49 x128+23 x127+22 x126+50 x125+37 x124+25 x123+60 x122+35 x121+36 x120+21 x119+44 x118+38 x117+20 x116+93 x115+66 x114+68 x113+37 x112+98 x111+36 x110+19 x109+37 x108+20 x107+35 x106+76 x105+72 x104+12 x103+21 x102+45 x101+51 x100+72 x99+98 x98+128 ~x81+64 ~x80+32 ~x79+16 ~x78+8 ~x77+4 ~x76+2 ~x75+1 ~x74+128 x73+64 x72+32 x71+16 x70+8 x69+4 x68+2 x67+1 x66-0=3444 0.00/0.76 c 1024 ~x32540+512 ~x32539+256 ~x32538+128 ~x32537+64 ~x32536+32 ~x32535+16 ~x32534+8 ~x32533+4 ~x32532+2 ~x32531+1 ~x32530+99 ~x147+33 ~x146+97 ~x145+38 ~x144+2 ~x143+89 ~x142+38 ~x141+39 ~x140+97 ~x139+1 ~x138+51 ~x137+72 ~x136+52 ~x135+3 ~x134+16 ~x133+79 ~x132+18 ~x131+9 ~x130+64 ~x129+31 ~x128+60 ~x127+95 ~x126+23 ~x125+3 ~x124+27 ~x123+61 ~x122+96 ~x121+47 ~x120+87 ~x118+49 ~x117+8 ~x116+31 ~x115+56 ~x114+63 ~x112+91 ~x111+85 ~x110+35 ~x109+73 ~x108+49 ~x107+48 ~x106+55 ~x105+20 ~x104+85 ~x103+55 ~x102+15 ~x101+35 ~x100+48 ~x99+69 ~x98+128 x65+64 x64+32 x63+16 x62+8 x61+4 x60+2 x59+1 x58+128 ~x57+64 ~x56+32 ~x55+16 ~x54+8 ~x53+4 ~x52+2 ~x51+1 ~x50-0=3501 0.00/0.93 c 1024 ~x40084+512 ~x40083+256 ~x40082+128 ~x40081+64 ~x40080+32 ~x40079+16 ~x40078+8 ~x40077+4 ~x40076+2 ~x40075+1 ~x40074+99 x147+33 x146+97 x145+38 x144+2 x143+89 x142+38 x141+39 x140+97 x139+1 x138+51 x137+72 x136+52 x135+3 x134+16 x133+79 x132+18 x131+9 x130+64 x129+31 x128+60 x127+95 x126+23 x125+3 x124+27 x123+61 x122+96 x121+47 x120+87 x118+49 x117+8 x116+31 x115+56 x114+63 x112+91 x111+85 x110+35 x109+73 x108+49 x107+48 x106+55 x105+20 x104+85 x103+55 x102+15 x101+35 x100+48 x99+69 x98+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+128 x57+64 x56+32 x55+16 x54+8 x53+4 x52+2 x51+1 x50-0=3500 0.99/1.10 c 1024 ~x47628+512 ~x47627+256 ~x47626+128 ~x47625+64 ~x47624+32 ~x47623+16 ~x47622+8 ~x47621+4 ~x47620+2 ~x47619+1 ~x47618+8 ~x147+5 ~x146+68 ~x145+10 ~x144+55 ~x143+80 ~x142+8 ~x141+9 ~x140+46 ~x139+40 ~x138+55 ~x137+92 ~x136+8 ~x135+16 ~x134+65 ~x133+15 ~x132+27 ~x131+66 ~x130+35 ~x129+87 ~x128+18 ~x127+29 ~x126+11 ~x125+48 ~x124+5 ~x123+50 ~x122+7 ~x121+94 ~x120+74 ~x119+91 ~x118+46 ~x116+50 ~x115+36 ~x114+1 ~x113+45 ~x112+34 ~x111+16 ~x110+2 ~x109+53 ~x108+31 ~x107+39 ~x106+75 ~x105+93 ~x104+89 ~x103+99 ~x102+27 ~x101+88 ~x100+48 ~x99+6 ~x98+128 x49+64 x48+32 x47+16 x46+8 x45+4 x44+2 x43+1 x42+128 ~x41+64 ~x40+32 ~x39+16 ~x38+8 ~x37+4 ~x36+2 ~x35+1 ~x34-0=3352 1.18/1.28 c 1024 ~x55280+512 ~x55279+256 ~x55278+128 ~x55277+64 ~x55276+32 ~x55275+16 ~x55274+8 ~x55273+4 ~x55272+2 ~x55271+1 ~x55270+8 x147+5 x146+68 x145+10 x144+55 x143+80 x142+8 x141+9 x140+46 x139+40 x138+55 x137+92 x136+8 x135+16 x134+65 x133+15 x132+27 x131+66 x130+35 x129+87 x128+18 x127+29 x126+11 x125+48 x124+5 x123+50 x122+7 x121+94 x120+74 x119+91 x118+46 x116+50 x115+36 x114+1 x113+45 x112+34 x111+16 x110+2 x109+53 x108+31 x107+39 x106+75 x105+93 x104+89 x103+99 x102+27 x101+88 x100+48 x99+6 x98+128 ~x49+64 ~x48+32 ~x47+16 ~x46+8 ~x45+4 ~x44+2 ~x43+1 ~x42+128 x41+64 x40+32 x39+16 x38+8 x37+4 x36+2 x35+1 x34-0=3352 1.39/1.46 c 1024 ~x62932+512 ~x62931+256 ~x62930+128 ~x62929+64 ~x62928+32 ~x62927+16 ~x62926+8 ~x62925+4 ~x62924+2 ~x62923+1 ~x62922+24 ~x147+18 ~x146+71 ~x145+61 ~x144+41 ~x143+59 ~x142+23 ~x141+63 ~x140+93 ~x139+76 ~x138+41 ~x137+12 ~x136+45 ~x135+52 ~x134+2 ~x133+33 ~x132+43 ~x131+80 ~x130+33 ~x129+63 ~x128+26 ~x127+38 ~x126+98 ~x125+76 ~x124+14 ~x123+49 ~x122+99 ~x121+21 ~x120+11 ~x119+78 ~x118+83 ~x117+63 ~x116+77 ~x115+12 ~x114+85 ~x113+25 ~x112+14 ~x111+95 ~x110+22 ~x109+81 ~x108+79 ~x107+89 ~x106+57 ~x105+12 ~x104+57 ~x103+22 ~x102+48 ~x101+80 ~x100+2 ~x99+95 ~x98+128 x33+64 x32+32 x31+16 x30+8 x29+4 x28+2 x27+1 x26+128 ~x25+64 ~x24+32 ~x23+16 ~x22+8 ~x21+4 ~x20+2 ~x19+1 ~x18-0=3573 1.58/1.66 c 1024 ~x71363+512 ~x71362+256 ~x71361+128 ~x71360+64 ~x71359+32 ~x71358+16 ~x71357+8 ~x71356+4 ~x71355+2 ~x71354+1 ~x71353+24 x147+18 x146+71 x145+61 x144+41 x143+59 x142+23 x141+63 x140+93 x139+76 x138+41 x137+12 x136+45 x135+52 x134+2 x133+33 x132+43 x131+80 x130+33 x129+63 x128+26 x127+38 x126+98 x125+76 x124+14 x123+49 x122+99 x121+21 x120+11 x119+78 x118+83 x117+63 x116+77 x115+12 x114+85 x113+25 x112+14 x111+95 x110+22 x109+81 x108+79 x107+89 x106+57 x105+12 x104+57 x103+22 x102+48 x101+80 x100+2 x99+95 x98+128 ~x33+64 ~x32+32 ~x31+16 ~x30+8 ~x29+4 ~x28+2 ~x27+1 ~x26+128 x25+64 x24+32 x23+16 x22+8 x21+4 x20+2 x19+1 x18-0=3572 1.79/1.85 c 1024 ~x79794+512 ~x79793+256 ~x79792+128 ~x79791+64 ~x79790+32 ~x79789+16 ~x79788+8 ~x79787+4 ~x79786+2 ~x79785+1 ~x79784+13 ~x147+49 ~x146+72 ~x145+97 ~x144+25 ~x143+41 ~x142+37 ~x141+21 ~x140+38 ~x139+48 ~x138+49 ~x137+19 ~x136+26 ~x135+51 ~x134+46 ~x133+90 ~x132+51 ~x131+32 ~x130+64 ~x129+33 ~x128+24 ~x127+67 ~x126+80 ~x125+35 ~x124+12 ~x123+76 ~x122+67 ~x121+1 ~x120+15 ~x119+1 ~x118+71 ~x117+16 ~x116+24 ~x115+31 ~x114+59 ~x113+52 ~x112+3 ~x111+37 ~x110+72 ~x109+67 ~x108+70 ~x107+45 ~x106+73 ~x105+36 ~x104+13 ~x102+73 ~x101+18 ~x100+8 ~x99+45 ~x98+128 x17+64 x16+32 x15+16 x14+8 x13+4 x12+2 x11+1 x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=3349 1.98/2.03 c 1024 ~x87446+512 ~x87445+256 ~x87444+128 ~x87443+64 ~x87442+32 ~x87441+16 ~x87440+8 ~x87439+4 ~x87438+2 ~x87437+1 ~x87436+13 x147+49 x146+72 x145+97 x144+25 x143+41 x142+37 x141+21 x140+38 x139+48 x138+49 x137+19 x136+26 x135+51 x134+46 x133+90 x132+51 x131+32 x130+64 x129+33 x128+24 x127+67 x126+80 x125+35 x124+12 x123+76 x122+67 x121+1 x120+15 x119+1 x118+71 x117+16 x116+24 x115+31 x114+59 x113+52 x112+3 x111+37 x110+72 x109+67 x
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2674199-1276803659/watcher-2674199-1276803659 -o /tmp/evaluation-result-2674199-1276803659/solver-2674199-1276803659 -C 1800 -W 2000 -M 1800 run HOME/instance-2674199-1276803659.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 0.99 0.99 3/106 18954 /proc/meminfo: memFree=1836888/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [startup+0.0104831 s] /proc/loadavg: 1.00 0.99 0.99 3/106 18954 /proc/meminfo: memFree=1836888/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.100506 s] /proc/loadavg: 1.00 0.99 0.99 3/106 18954 /proc/meminfo: memFree=1836888/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.300546 s] /proc/loadavg: 1.00 0.99 0.99 3/106 18954 /proc/meminfo: memFree=1836888/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.700615 s] /proc/loadavg: 1.00 0.99 0.99 3/106 18954 /proc/meminfo: memFree=1836888/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.50076 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18957 /proc/meminfo: memFree=1808724/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=39924 CPUtime=1.48 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 11571 0 0 0 142 6 0 0 25 0 1 0 55969370 40882176 9175 1992294400 134512640 134902295 4290572896 18446744073709551615 134584592 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 9981 9175 262 96 0 9193 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 48624 [startup+3.10105 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18957 /proc/meminfo: memFree=1791116/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=51568 CPUtime=3.09 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 15738 0 0 0 301 8 0 0 25 0 1 0 55969370 52805632 11934 1992294400 134512640 134902295 4290572896 18446744073709551615 4160238050 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 12892 11934 269 96 0 12104 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 60268 [startup+6.30064 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18957 /proc/meminfo: memFree=1789132/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=52096 CPUtime=6.28 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 15856 0 0 0 620 8 0 0 25 0 1 0 55969370 53346304 12052 1992294400 134512640 134902295 4290572896 18446744073709551615 4160238368 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 13024 12052 269 96 0 12236 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 60796 [startup+12.7018 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18957 /proc/meminfo: memFree=1788264/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=52888 CPUtime=12.67 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 16037 0 0 0 1259 8 0 0 25 0 1 0 55969370 54157312 12233 1992294400 134512640 134902295 4290572896 18446744073709551615 4160244829 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 13222 12233 269 96 0 12434 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 61588 [startup+25.5012 s] /proc/loadavg: 1.00 0.99 0.99 2/108 18957 /proc/meminfo: memFree=1786652/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=54364 CPUtime=25.47 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 16425 0 0 0 2539 8 0 0 25 0 1 0 55969370 55668736 12621 1992294400 134512640 134902295 4290572896 18446744073709551615 4160249606 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 13591 12621 269 96 0 12803 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 63064 [startup+51.1009 s] /proc/loadavg: 1.07 1.00 0.99 2/108 18957 /proc/meminfo: memFree=1782312/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=58732 CPUtime=51.06 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 17526 0 0 0 5096 10 0 0 25 0 1 0 55969370 60141568 13722 1992294400 134512640 134902295 4290572896 18446744073709551615 4160245115 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 14683 13722 269 96 0 13895 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 67432 [startup+102.308 s] /proc/loadavg: 1.10 1.02 1.00 2/108 18959 /proc/meminfo: memFree=1775368/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=65456 CPUtime=102.25 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 19185 0 0 0 10213 12 0 0 25 0 1 0 55969370 67026944 15381 1992294400 134512640 134902295 4290572896 18446744073709551615 4160225914 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 16364 15381 269 96 0 15576 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 74156 [startup+162.3 s] /proc/loadavg: 1.10 1.03 1.00 2/108 18961 /proc/meminfo: memFree=1766812/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=73904 CPUtime=162.22 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 21311 0 0 0 16207 15 0 0 25 0 1 0 55969370 75677696 17507 1992294400 134512640 134902295 4290572896 18446744073709551615 4160258995 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 18476 17507 269 96 0 17688 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 82604 [startup+222.302 s] /proc/loadavg: 1.10 1.04 1.00 2/108 18963 /proc/meminfo: memFree=1762968/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=77772 CPUtime=222.2 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 22265 0 0 0 22203 17 0 0 25 0 1 0 55969370 79638528 18461 1992294400 134512640 134902295 4290572896 18446744073709551615 4160245176 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 19443 18461 269 96 0 18655 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 86472 [startup+282.302 s] /proc/loadavg: 1.03 1.03 1.00 2/108 18965 /proc/meminfo: memFree=1759992/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=80852 CPUtime=282.17 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 23029 0 0 0 28199 18 0 0 25 0 1 0 55969370 82792448 19225 1992294400 134512640 134902295 4290572896 18446744073709551615 4160225914 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 20213 19225 269 96 0 19425 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 89552 [startup+342.302 s] /proc/loadavg: 1.01 1.02 1.00 2/108 18965 /proc/meminfo: memFree=1752056/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=88568 CPUtime=342.15 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 24940 0 0 0 34194 21 0 0 25 0 1 0 55969370 90693632 21136 1992294400 134512640 134902295 4290572896 18446744073709551615 4160245159 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 22142 21136 269 96 0 21354 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 97268 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/108 18967 /proc/meminfo: memFree=1748212/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=92560 CPUtime=402.13 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 25919 0 0 0 40191 22 0 0 25 0 1 0 55969370 94781440 22115 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 23140 22115 269 96 0 22352 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 101260 [startup+462.301 s] ################ # More data... # ################ /proc/18956/statm: 37563 36451 269 96 0 36775 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 158952 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18989 /proc/meminfo: memFree=1686088/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=154432 CPUtime=1181.83 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 41280 0 0 0 118145 38 0 0 25 0 1 0 55969370 158138368 37476 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 38608 37476 269 96 0 37820 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 163132 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 18998 /proc/meminfo: memFree=1682120/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=158020 CPUtime=1241.8 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 42191 0 0 0 124140 40 0 0 25 0 1 0 55969370 161812480 38387 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 39505 38387 269 96 0 38717 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 166720 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19000 /proc/meminfo: memFree=1678772/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=161272 CPUtime=1301.78 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 43008 0 0 0 130137 41 0 0 25 0 1 0 55969370 165142528 39204 1992294400 134512640 134902295 4290572896 18446744073709551615 4160244929 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 40318 39204 269 96 0 39530 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 169972 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19002 /proc/meminfo: memFree=1676788/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=163192 CPUtime=1361.75 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 43499 0 0 0 136134 41 0 0 25 0 1 0 55969370 167108608 39695 1992294400 134512640 134902295 4290572896 18446744073709551615 4160238059 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 40798 39695 269 96 0 40010 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 171892 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19004 /proc/meminfo: memFree=1674060/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=165832 CPUtime=1421.73 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 44165 0 0 0 142132 41 0 0 25 0 1 0 55969370 169811968 40361 1992294400 134512640 134902295 4290572896 18446744073709551615 4160244483 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 41458 40361 269 96 0 40670 0 Current children cumulated CPU time (s) 1421.73 Current children cumulated vsize (KiB) 174532 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19006 /proc/meminfo: memFree=1671704/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=168160 CPUtime=1481.7 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 44749 0 0 0 148128 42 0 0 25 0 1 0 55969370 172195840 40945 1992294400 134512640 134902295 4290572896 18446744073709551615 4160261401 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 42040 40945 269 96 0 41252 0 Current children cumulated CPU time (s) 1481.7 Current children cumulated vsize (KiB) 176860 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19006 /proc/meminfo: memFree=1669472/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=170992 CPUtime=1541.69 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 45293 0 0 0 154125 44 0 0 25 0 1 0 55969370 175095808 41489 1992294400 134512640 134902295 4290572896 18446744073709551615 4160238097 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 42748 41489 269 96 0 41960 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 179692 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19008 /proc/meminfo: memFree=1666868/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=173504 CPUtime=1601.66 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 45946 0 0 0 160122 44 0 0 25 0 1 0 55969370 177668096 42142 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 43376 42142 269 96 0 42588 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 182204 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19010 /proc/meminfo: memFree=1663768/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=176548 CPUtime=1661.63 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 46698 0 0 0 166118 45 0 0 25 0 1 0 55969370 180785152 42894 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 44137 42894 269 96 0 43349 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 185248 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19012 /proc/meminfo: memFree=1660916/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=179320 CPUtime=1721.61 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 47403 0 0 0 172115 46 0 0 25 0 1 0 55969370 183623680 43599 1992294400 134512640 134902295 4290572896 18446744073709551615 4160238056 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 44830 43599 269 96 0 44042 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 188020 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19014 /proc/meminfo: memFree=1658312/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=181920 CPUtime=1781.59 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 48044 0 0 0 178112 47 0 0 25 0 1 0 55969370 186286080 44240 1992294400 134512640 134902295 4290572896 18446744073709551615 4160256126 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 45480 44240 269 96 0 44692 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 190620 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 1.00 1.00 2/108 19014 /proc/meminfo: memFree=1657568/2059040 swapFree=4140132/4192956 [pid=18954] ppid=18952 vsize=8700 CPUtime=0 /proc/18954/stat : 18954 (run) S 18952 18954 18449 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55969370 8908800 250 1992294400 4194304 4922060 140736775512096 18446744073709551615 211173350533 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/18954/statm: 2175 250 211 178 0 68 0 [pid=18956] ppid=18954 vsize=182504 CPUtime=1800.09 /proc/18956/stat : 18956 (PBPASSolver) R 18954 18954 18449 0 -1 4202496 48212 0 0 0 179962 47 0 0 25 0 1 0 55969370 186884096 44408 1992294400 134512640 134902295 4290572896 18446744073709551615 4160226023 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/18956/statm: 45626 44408 269 96 0 44838 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 191204 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) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 18954 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=0 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=2999 # CPU time returned by wait4() is 0.002999 # while last known CPU time is 1800.09 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.81 CPU time (s): 1800.09 CPU user time (s): 1799.62 CPU system time (s): 0.47 CPU usage (%): 99.9598 Max. virtual memory (cumulated for all children) (KiB): 191204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0 system time used= 0.002999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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= 3 involuntary context switches= 3 runsolver used 3.05154 second user time and 8.43272 second system time The end
Begin job on node007 at 2010-06-17 21:40:59 IDJOB=2674199 IDBENCH=2910 IDSOLVER=1174 FILE ID=node007/2674199-1276803659 PBS_JOBID= 11176671 Free space on /tmp= 62488 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674199-1276803659/watcher-2674199-1276803659 -o /tmp/evaluation-result-2674199-1276803659/solver-2674199-1276803659 -C 1800 -W 2000 -M 1800 run HOME/instance-2674199-1276803659.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 8d16c34d0eecf3c16ca4b890652c15ca RANDOM SEED=214358825 node007.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1837408 kB Buffers: 34592 kB Cached: 91568 kB SwapCached: 6616 kB Active: 30768 kB Inactive: 109100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1837408 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 632 kB Writeback: 0 kB AnonPages: 12064 kB Mapped: 13080 kB Slab: 59844 kB PageTables: 4032 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182620 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62488 MiB End job on node007 at 2010-06-17 22:11:02