Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii16b2.opb |
MD5SUM | e21ba82f6fe94f7331ec17a5a9607763 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1031 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 2152 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2152 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2152 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 448.539 |
Number of variables | 2152 |
Total number of constraints | 17197 |
Number of constraints which are clauses | 17197 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 16 |
LAUNCH ON wulflinc23 THE 2005-09-23 14:27:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8337 boxname=wulflinc23 idbench=133 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: e21ba82f6fe94f7331ec17a5a9607763 /oldhome/oroussel/tmp/wulflinc23/normalized-ii16b2.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-ii16b2.opb IDLAUNCH: 8337 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.185 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.185 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 924400 kB Buffers: 13540 kB Cached: 78464 kB SwapCached: 0 kB Active: 59652 kB Inactive: 35304 kB HighTotal: 131008 kB HighFree: 48244 kB LowTotal: 903652 kB LowFree: 876156 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 9896 kB Committed_AS: 63620 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 14:37:06 (client local time) WITH STATUS 1 IN 600.671 SECONDS stats: 8337 7 600.671 1
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 1076 c big objective detected c trying from 0 to 511 c trying from 512 to 1023 Unexpected exception : St9bad_alloc
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 20896699 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 373 2 364 364 0 9 0 [pid=6716] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-ii16b2.opb [startup+10.0019 s] Raw data (loadavg): 0.98 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 8042 0 0 0 957 27 0 0 25 0 1 0 20896699 26734592 5323 4294967295 134512640 135987407 3221224576 3220974244 134641978 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 6527 5323 364 364 0 6163 0 [pid=6716] vsize: 26108 Current children cumulated CPU time (s) 9.84 Current children cumulated vsize (Kb) 26108 [startup+20.0035 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 35797 0 0 0 1892 89 0 0 25 0 1 0 20896699 104112128 24610 4294967295 134512640 135987407 3221224576 3220598780 135499903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 25418 24610 364 364 0 25054 0 [pid=6716] vsize: 101672 Current children cumulated CPU time (s) 19.81 Current children cumulated vsize (Kb) 101672 [startup+30.0041 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 65551 0 0 0 2823 156 0 0 25 0 1 0 20896699 197775360 43165 4294967295 134512640 135987407 3221224576 3220685336 134789811 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 48285 43165 364 364 0 47921 0 [pid=6716] vsize: 193140 Current children cumulated CPU time (s) 29.79 Current children cumulated vsize (Kb) 193140 [startup+40.0038 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 106189 0 0 0 3732 244 0 0 25 0 1 0 20896699 360771584 61634 4294967295 134512640 135987407 3221224576 3220610924 134636966 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 88079 61634 364 364 0 87715 0 [pid=6716] vsize: 352316 Current children cumulated CPU time (s) 39.76 Current children cumulated vsize (Kb) 352316 [startup+50.0044 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 124116 0 0 0 4689 286 0 0 25 0 1 0 20896699 383885312 79346 4294967295 134512640 135987407 3221224576 3220918652 135499901 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 93722 79347 364 364 0 93358 0 [pid=6716] vsize: 374888 Current children cumulated CPU time (s) 49.75 Current children cumulated vsize (Kb) 374888 [startup+60.004 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 139991 0 0 0 5652 322 0 0 25 0 1 0 20896699 415010816 95076 4294967295 134512640 135987407 3221224576 3221223008 134829261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 101321 95076 364 364 0 100957 0 [pid=6716] vsize: 405284 Current children cumulated CPU time (s) 59.74 Current children cumulated vsize (Kb) 405284 [startup+70.0046 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 144000 0 0 0 6642 331 0 0 25 0 1 0 20896699 420925440 96049 4294967295 134512640 135987407 3221224576 3221223136 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 102765 96049 364 364 0 102401 0 [pid=6716] vsize: 411060 Current children cumulated CPU time (s) 69.73 Current children cumulated vsize (Kb) 411060 [startup+80.0053 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 145177 0 0 0 7640 333 0 0 25 0 1 0 20896699 423292928 96711 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 103343 96711 364 364 0 102979 0 [pid=6716] vsize: 413372 Current children cumulated CPU time (s) 79.73 Current children cumulated vsize (Kb) 413372 [startup+90.0049 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 146974 0 0 0 8636 337 0 0 25 0 1 0 20896699 429236224 97714 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 104794 97714 364 364 0 104430 0 [pid=6716] vsize: 419176 Current children cumulated CPU time (s) 89.73 Current children cumulated vsize (Kb) 419176 [startup+100.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 147032 0 0 0 9635 337 0 0 25 0 1 0 20896699 429514752 97772 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 104862 97772 364 364 0 104498 0 [pid=6716] vsize: 419448 Current children cumulated CPU time (s) 99.72 Current children cumulated vsize (Kb) 419448 [startup+110.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 147088 0 0 0 10635 337 0 0 25 0 1 0 20896699 429514752 97828 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 104862 97828 364 364 0 104498 0 [pid=6716] vsize: 419448 Current children cumulated CPU time (s) 109.72 Current children cumulated vsize (Kb) 419448 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 148830 0 0 0 11632 341 0 0 25 0 1 0 20896699 434499584 98378 4294967295 134512640 135987407 3221224576 3221223136 134811805 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106079 98378 364 364 0 105715 0 [pid=6716] vsize: 424316 Current children cumulated CPU time (s) 119.73 Current children cumulated vsize (Kb) 424316 [startup+130.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149170 0 0 0 12630 342 0 0 25 0 1 0 20896699 435818496 98461 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106401 98461 364 364 0 106037 0 [pid=6716] vsize: 425604 Current children cumulated CPU time (s) 129.72 Current children cumulated vsize (Kb) 425604 [startup+140.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149241 0 0 0 13630 342 0 0 25 0 1 0 20896699 436088832 98532 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106467 98532 364 364 0 106103 0 [pid=6716] vsize: 425868 Current children cumulated CPU time (s) 139.72 Current children cumulated vsize (Kb) 425868 [startup+150.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149297 0 0 0 14630 342 0 0 25 0 1 0 20896699 436359168 98588 4294967295 134512640 135987407 3221224576 3221223264 134824238 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106533 98588 364 364 0 106169 0 [pid=6716] vsize: 426132 Current children cumulated CPU time (s) 149.72 Current children cumulated vsize (Kb) 426132 [startup+160.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149309 0 0 0 15630 342 0 0 25 0 1 0 20896699 436359168 98600 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106533 98600 364 364 0 106169 0 [pid=6716] vsize: 426132 Current children cumulated CPU time (s) 159.72 Current children cumulated vsize (Kb) 426132 [startup+170.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 149334 0 0 0 16630 343 0 0 25 0 1 0 20896699 436359168 98625 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 106533 98625 364 364 0 106169 0 [pid=6716] vsize: 426132 Current children cumulated CPU time (s) 169.73 Current children cumulated vsize (Kb) 426132 [startup+180.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150080 0 0 0 17628 344 0 0 25 0 1 0 20896699 438591488 98858 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 107078 98858 364 364 0 106714 0 [pid=6716] vsize: 428312 Current children cumulated CPU time (s) 179.72 Current children cumulated vsize (Kb) 428312 [startup+190.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150132 0 0 0 18628 345 0 0 25 0 1 0 20896699 438726656 98910 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 107111 98910 364 364 0 106747 0 [pid=6716] vsize: 428444 Current children cumulated CPU time (s) 189.73 Current children cumulated vsize (Kb) 428444 [startup+200.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 150162 0 0 0 19628 345 0 0 25 0 1 0 20896699 438861824 98940 4294967295 134512640 135987407 3221224576 3221223136 134811933 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 107144 98940 364 364 0 106780 0 [pid=6716] vsize: 428576 Current children cumulated CPU time (s) 199.73 Current children cumulated vsize (Kb) 428576 [startup+210.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151037 0 0 0 20626 347 0 0 25 0 1 0 20896699 441229312 99302 4294967295 134512640 135987407 3221224576 3221223136 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 107722 99302 364 364 0 107358 0 [pid=6716] vsize: 430888 Current children cumulated CPU time (s) 209.73 Current children cumulated vsize (Kb) 430888 [startup+220.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151106 0 0 0 21626 347 0 0 25 0 1 0 20896699 441499648 99371 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 107788 99371 364 364 0 107424 0 [pid=6716] vsize: 431152 Current children cumulated CPU time (s) 219.73 Current children cumulated vsize (Kb) 431152 [startup+230.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 151911 0 0 0 22624 349 0 0 25 0 1 0 20896699 443596800 99663 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108300 99663 364 364 0 107936 0 [pid=6716] vsize: 433200 Current children cumulated CPU time (s) 229.73 Current children cumulated vsize (Kb) 433200 [startup+240.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152034 0 0 0 23624 349 0 0 25 0 1 0 20896699 444002304 99786 4294967295 134512640 135987407 3221224576 3221223312 134812696 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108399 99786 364 364 0 108035 0 [pid=6716] vsize: 433596 Current children cumulated CPU time (s) 239.73 Current children cumulated vsize (Kb) 433596 [startup+250.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152074 0 0 0 24624 349 0 0 25 0 1 0 20896699 444137472 99826 4294967295 134512640 135987407 3221224576 3221223264 134824261 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108432 99826 364 364 0 108068 0 [pid=6716] vsize: 433728 Current children cumulated CPU time (s) 249.73 Current children cumulated vsize (Kb) 433728 [startup+260.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152100 0 0 0 25624 350 0 0 25 0 1 0 20896699 444272640 99852 4294967295 134512640 135987407 3221224576 3221223292 134812764 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108465 99852 364 364 0 108101 0 [pid=6716] vsize: 433860 Current children cumulated CPU time (s) 259.74 Current children cumulated vsize (Kb) 433860 [startup+270.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152145 0 0 0 26623 350 0 0 25 0 1 0 20896699 444407808 99897 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108498 99897 364 364 0 108134 0 [pid=6716] vsize: 433992 Current children cumulated CPU time (s) 269.73 Current children cumulated vsize (Kb) 433992 [startup+280.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152172 0 0 0 27623 350 0 0 25 0 1 0 20896699 444542976 99924 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108531 99924 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 279.73 Current children cumulated vsize (Kb) 434124 [startup+290.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152177 0 0 0 28623 350 0 0 25 0 1 0 20896699 444542976 99929 4294967295 134512640 135987407 3221224576 3221222892 135482121 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108531 99929 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 289.73 Current children cumulated vsize (Kb) 434124 [startup+300.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152208 0 0 0 29623 350 0 0 25 0 1 0 20896699 444542976 99960 4294967295 134512640 135987407 3221224576 3221223136 134811778 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108531 99960 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 299.73 Current children cumulated vsize (Kb) 434124 [startup+310.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152212 0 0 0 30623 350 0 0 25 0 1 0 20896699 444542976 99964 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108531 99964 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 309.73 Current children cumulated vsize (Kb) 434124 [startup+320.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152214 0 0 0 31623 351 0 0 25 0 1 0 20896699 444542976 99966 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/6716/statm): 108531 99966 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 319.74 Current children cumulated vsize (Kb) 434124 [startup+330.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152214 0 0 0 32622 351 0 0 25 0 1 0 20896699 444542976 99966 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108531 99966 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 329.73 Current children cumulated vsize (Kb) 434124 [startup+340.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152215 0 0 0 33622 351 0 0 25 0 1 0 20896699 444542976 99967 4294967295 134512640 135987407 3221224576 3221223136 134811867 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108531 99967 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 339.73 Current children cumulated vsize (Kb) 434124 [startup+350.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152215 0 0 0 34622 351 0 0 25 0 1 0 20896699 444542976 99967 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108531 99967 364 364 0 108167 0 [pid=6716] vsize: 434124 Current children cumulated CPU time (s) 349.73 Current children cumulated vsize (Kb) 434124 [startup+360.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152221 0 0 0 35621 351 0 0 25 0 1 0 20896699 444682240 99973 4294967295 134512640 135987407 3221224576 3221223136 134811816 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108565 99973 364 364 0 108201 0 [pid=6716] vsize: 434260 Current children cumulated CPU time (s) 359.72 Current children cumulated vsize (Kb) 434260 [startup+370.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152285 0 0 0 36620 352 0 0 25 0 1 0 20896699 444817408 100037 4294967295 134512640 135987407 3221224576 3221223232 134812339 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108598 100037 364 364 0 108234 0 [pid=6716] vsize: 434392 Current children cumulated CPU time (s) 369.72 Current children cumulated vsize (Kb) 434392 [startup+380.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152285 0 0 0 37620 352 0 0 25 0 1 0 20896699 444817408 100037 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108598 100037 364 364 0 108234 0 [pid=6716] vsize: 434392 Current children cumulated CPU time (s) 379.72 Current children cumulated vsize (Kb) 434392 [startup+390.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152361 0 0 0 38620 352 0 0 25 0 1 0 20896699 444817408 100113 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108598 100113 364 364 0 108234 0 [pid=6716] vsize: 434392 Current children cumulated CPU time (s) 389.72 Current children cumulated vsize (Kb) 434392 [startup+400.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152375 0 0 0 39620 352 0 0 25 0 1 0 20896699 444952576 100127 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108631 100127 364 364 0 108267 0 [pid=6716] vsize: 434524 Current children cumulated CPU time (s) 399.72 Current children cumulated vsize (Kb) 434524 [startup+410.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152376 0 0 0 40619 352 0 0 25 0 1 0 20896699 444952576 100128 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108631 100128 364 364 0 108267 0 [pid=6716] vsize: 434524 Current children cumulated CPU time (s) 409.71 Current children cumulated vsize (Kb) 434524 [startup+420.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152525 0 0 0 41619 352 0 0 25 0 1 0 20896699 444952576 100277 4294967295 134512640 135987407 3221224576 3221223136 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108631 100277 364 364 0 108267 0 [pid=6716] vsize: 434524 Current children cumulated CPU time (s) 419.71 Current children cumulated vsize (Kb) 434524 [startup+430.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152791 0 0 0 42618 353 0 0 25 0 1 0 20896699 445898752 100543 4294967295 134512640 135987407 3221224576 3221223136 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108862 100543 364 364 0 108498 0 [pid=6716] vsize: 435448 Current children cumulated CPU time (s) 429.71 Current children cumulated vsize (Kb) 435448 [startup+440.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152793 0 0 0 43618 353 0 0 25 0 1 0 20896699 445898752 100545 4294967295 134512640 135987407 3221224576 3221223136 134811964 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108862 100545 364 364 0 108498 0 [pid=6716] vsize: 435448 Current children cumulated CPU time (s) 439.71 Current children cumulated vsize (Kb) 435448 [startup+450.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152796 0 0 0 44618 353 0 0 25 0 1 0 20896699 445898752 100548 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108862 100548 364 364 0 108498 0 [pid=6716] vsize: 435448 Current children cumulated CPU time (s) 449.71 Current children cumulated vsize (Kb) 435448 [startup+460.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152799 0 0 0 45617 354 0 0 25 0 1 0 20896699 445898752 100551 4294967295 134512640 135987407 3221224576 3221223136 134811870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108862 100551 364 364 0 108498 0 [pid=6716] vsize: 435448 Current children cumulated CPU time (s) 459.71 Current children cumulated vsize (Kb) 435448 [startup+470.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 152800 0 0 0 46617 354 0 0 25 0 1 0 20896699 445898752 100552 4294967295 134512640 135987407 3221224576 3221223136 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 108862 100552 364 364 0 108498 0 [pid=6716] vsize: 435448 Current children cumulated CPU time (s) 469.71 Current children cumulated vsize (Kb) 435448 [startup+480.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153531 0 0 0 47615 355 0 0 25 0 1 0 20896699 447995904 100770 4294967295 134512640 135987407 3221224576 3221223136 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109374 100770 364 364 0 109010 0 [pid=6716] vsize: 437496 Current children cumulated CPU time (s) 479.7 Current children cumulated vsize (Kb) 437496 [startup+490.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153534 0 0 0 48615 356 0 0 25 0 1 0 20896699 447995904 100773 4294967295 134512640 135987407 3221224576 3221223312 134812612 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109374 100773 364 364 0 109010 0 [pid=6716] vsize: 437496 Current children cumulated CPU time (s) 489.71 Current children cumulated vsize (Kb) 437496 [startup+500.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153534 0 0 0 49615 356 0 0 25 0 1 0 20896699 447995904 100773 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109374 100773 364 364 0 109010 0 [pid=6716] vsize: 437496 Current children cumulated CPU time (s) 499.71 Current children cumulated vsize (Kb) 437496 [startup+510.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153535 0 0 0 50615 356 0 0 25 0 1 0 20896699 447995904 100774 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109374 100774 364 364 0 109010 0 [pid=6716] vsize: 437496 Current children cumulated CPU time (s) 509.71 Current children cumulated vsize (Kb) 437496 [startup+520.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153554 0 0 0 51615 356 0 0 25 0 1 0 20896699 448131072 100793 4294967295 134512640 135987407 3221224576 3221223264 134824259 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109407 100793 364 364 0 109043 0 [pid=6716] vsize: 437628 Current children cumulated CPU time (s) 519.71 Current children cumulated vsize (Kb) 437628 [startup+530.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 153558 0 0 0 52615 356 0 0 25 0 1 0 20896699 448131072 100797 4294967295 134512640 135987407 3221224576 3221223008 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 109407 100797 364 364 0 109043 0 [pid=6716] vsize: 437628 Current children cumulated CPU time (s) 529.71 Current children cumulated vsize (Kb) 437628 [startup+540.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 192155 0 0 0 53501 457 0 0 25 0 1 0 20896699 605327360 139357 4294967295 134512640 135987407 3221224576 3221127852 134635478 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 147785 139357 364 364 0 147421 0 [pid=6716] vsize: 591140 Current children cumulated CPU time (s) 539.58 Current children cumulated vsize (Kb) 591140 [startup+550.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 252571 0 0 0 54364 592 0 0 25 0 1 0 20896699 816496640 155600 4294967295 134512640 135987407 3221224576 3220747488 134537474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 199340 155600 364 364 0 198976 0 [pid=6716] vsize: 797360 Current children cumulated CPU time (s) 549.56 Current children cumulated vsize (Kb) 797360 [startup+560.014 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 261399 0 0 0 55348 608 0 0 25 0 1 0 20896699 816496640 164246 4294967295 134512640 135987407 3221224576 3221206252 135484794 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 199340 164246 364 364 0 198976 0 [pid=6716] vsize: 797360 Current children cumulated CPU time (s) 559.56 Current children cumulated vsize (Kb) 797360 [startup+570.014 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 270802 0 0 0 56328 628 0 0 25 0 1 0 20896699 816496640 173430 4294967295 134512640 135987407 3221224576 3220603308 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 199340 173430 364 364 0 198976 0 [pid=6716] vsize: 797360 Current children cumulated CPU time (s) 569.56 Current children cumulated vsize (Kb) 797360 [startup+580.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 280218 0 0 0 57310 646 0 0 25 0 1 0 20896699 816496640 182627 4294967295 134512640 135987407 3221224576 3221062492 135488059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 199340 182627 364 364 0 198976 0 [pid=6716] vsize: 797360 Current children cumulated CPU time (s) 579.56 Current children cumulated vsize (Kb) 797360 [startup+590.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 290242 0 0 0 58286 669 0 0 25 0 1 0 20896699 819875840 192437 4294967295 134512640 135987407 3221224576 3220708684 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 200165 192437 364 364 0 199801 0 [pid=6716] vsize: 800660 Current children cumulated CPU time (s) 589.55 Current children cumulated vsize (Kb) 800660 [startup+600.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 6716 Raw data (/proc/6716/stat): 6716 (pb2sat) R 6715 6716 4060 0 -1 0 298583 0 0 0 59253 702 0 0 25 0 1 0 20896699 523677696 127377 4294967295 134512640 135987407 3221224576 3221223424 134884004 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/6716/statm): 127851 127377 364 364 0 127487 0 [pid=6716] vsize: 511404 Current children cumulated CPU time (s) 599.55 Current children cumulated vsize (Kb) 511404 One traced child (pid=6716) exited with status: 1 All traced children have exited ! Game is over. Child status: 1 Real time (s): 601.135 CPU time (s): 600.671 CPU user time (s): 593.392 CPU system time (s): 7.27889 CPU usage (%): 99.9228 Max. virtual memory (cumulated for all children) (Kb): 800660
ERROR: no interpretation found !