Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb |
MD5SUM | bdf0df6b57384ca8a37c1ce2e87cfc07 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 67174 |
Biggest coefficient in the objective function | 163840000 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 1696626095 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1280000000000000115964116992 |
Number of bits of the biggest number in a constraint | 91 |
Biggest sum of numbers in a constraint | 3721289892401349417752330240 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 71194 |
Total number of constraints | 70153 |
Number of constraints which are clauses | 6081 |
Number of constraints which are cardinality constraints (but not clauses) | 7185 |
Number of constraints which are nor clauses,nor cardinality constraints | 56887 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 814 |
LAUNCH ON wulflinc26 THE 2005-09-20 08:06:43 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4481 boxname=wulflinc26 idbench=965 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: bdf0df6b57384ca8a37c1ce2e87cfc07 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-momentum3.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-momentum3.opb IDLAUNCH: 4481 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.061 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.061 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: 595316 kB Buffers: 32420 kB Cached: 377636 kB SwapCached: 868 kB Active: 288168 kB Inactive: 124516 kB HighTotal: 131008 kB HighFree: 3724 kB LowTotal: 903652 kB LowFree: 591592 kB SwapTotal: 2097892 kB SwapFree: 2096540 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5712 kB Slab: 20860 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 08:15:06 (client local time) WITH STATUS 0 IN 497.977 SECONDS stats: 4481 7 497.977 0
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-momentum3.opb ...... PBS4: pbs_dbase.cpp:355: void CDatabase::setMultipleWatch(PBClause*): Assertion `current_term->get_coeff() >0' failed.
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/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1856979279 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 239 2 232 232 0 7 0 [pid=19307] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-momentum3.opb open syscall for file /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-momentum3.opb [startup+10.0033 s] Raw data (loadavg): 1.05 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 987 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134600032 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 15756 [startup+20.005 s] Raw data (loadavg): 1.05 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 1987 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 15756 [startup+30.0057 s] Raw data (loadavg): 1.04 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 2987 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134599252 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15756 [startup+40.0064 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 3988 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 15756 [startup+50.007 s] Raw data (loadavg): 1.03 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 4988 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134599221 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 15756 [startup+60.0067 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 5988 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134600035 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 15756 [startup+70.0074 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 3916 0 0 0 6988 11 0 0 25 0 1 0 1856979279 16134144 3476 4294967295 134512640 135450776 3221224560 3221223072 134599243 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 3939 3476 232 232 0 3707 0 [pid=19307] vsize: 15756 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 15756 [startup+80.0081 s] Raw data (loadavg): 1.02 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 7988 11 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 16808 [startup+90.0078 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 8988 11 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 16808 [startup+100.009 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 9988 11 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 16808 [startup+110.011 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 10989 11 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 16808 [startup+120.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 11989 11 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 16808 [startup+130.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 12989 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 16808 [startup+140.013 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 13989 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 16808 [startup+150.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 14989 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 16808 [startup+160.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 15990 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 16808 [startup+170.014 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 16990 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 16808 [startup+180.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 17990 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 16808 [startup+190.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 18990 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 16808 [startup+200.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 19990 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 16808 [startup+210.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 20991 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 210.03 Current children cumulated vsize (Kb) 16808 [startup+220.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 21991 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 220.03 Current children cumulated vsize (Kb) 16808 [startup+230.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 22991 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 230.03 Current children cumulated vsize (Kb) 16808 [startup+240.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 23991 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 240.03 Current children cumulated vsize (Kb) 16808 [startup+250.019 s] Raw data (loadavg): 1.00 0.99 0.91 3/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 24992 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600511 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 250.04 Current children cumulated vsize (Kb) 16808 [startup+260.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 25992 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 260.04 Current children cumulated vsize (Kb) 16808 [startup+270.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 26992 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 270.04 Current children cumulated vsize (Kb) 16808 [startup+280.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 4179 0 0 0 27992 12 0 0 25 0 1 0 1856979279 17211392 3739 4294967295 134512640 135450776 3221224560 3221223072 134600392 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 4202 3739 232 232 0 3970 0 [pid=19307] vsize: 16808 Current children cumulated CPU time (s) 280.04 Current children cumulated vsize (Kb) 16808 [startup+290.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 9334 0 0 0 28976 26 0 0 25 0 1 0 1856979279 21651456 4722 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 5286 4722 232 232 0 5054 0 [pid=19307] vsize: 21144 Current children cumulated CPU time (s) 290.02 Current children cumulated vsize (Kb) 21144 [startup+300.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 10016 0 0 0 29969 31 0 0 25 0 1 0 1856979279 24514560 5404 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 5985 5404 232 232 0 5753 0 [pid=19307] vsize: 23940 Current children cumulated CPU time (s) 300 Current children cumulated vsize (Kb) 23940 [startup+310.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 10631 0 0 0 30962 36 0 0 25 0 1 0 1856979279 26968064 6019 4294967295 134512640 135450776 3221224560 3221223072 134600401 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 6584 6019 232 232 0 6352 0 [pid=19307] vsize: 26336 Current children cumulated CPU time (s) 309.98 Current children cumulated vsize (Kb) 26336 [startup+320.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 11234 0 0 0 31953 42 0 0 25 0 1 0 1856979279 29446144 6622 4294967295 134512640 135450776 3221224560 3221223072 134599360 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 7189 6622 232 232 0 6957 0 [pid=19307] vsize: 28756 Current children cumulated CPU time (s) 319.95 Current children cumulated vsize (Kb) 28756 [startup+330.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 11796 0 0 0 32945 47 0 0 25 0 1 0 1856979279 31764480 7184 4294967295 134512640 135450776 3221224560 3221223104 134675468 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 7755 7184 232 232 0 7523 0 [pid=19307] vsize: 31020 Current children cumulated CPU time (s) 329.92 Current children cumulated vsize (Kb) 31020 [startup+340.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 12486 0 0 0 33936 54 0 0 25 0 1 0 1856979279 34545664 7874 4294967295 134512640 135450776 3221224560 3221223072 134600415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 8434 7874 232 232 0 8202 0 [pid=19307] vsize: 33736 Current children cumulated CPU time (s) 339.9 Current children cumulated vsize (Kb) 33736 [startup+350.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 13176 0 0 0 34929 59 0 0 25 0 1 0 1856979279 37392384 8564 4294967295 134512640 135450776 3221224560 3221223072 134600392 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 9129 8564 232 232 0 8897 0 [pid=19307] vsize: 36516 Current children cumulated CPU time (s) 349.88 Current children cumulated vsize (Kb) 36516 [startup+360.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 13752 0 0 0 35921 64 0 0 25 0 1 0 1856979279 39751680 9140 4294967295 134512640 135450776 3221224560 3221223072 134599257 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 9705 9140 232 232 0 9473 0 [pid=19307] vsize: 38820 Current children cumulated CPU time (s) 359.85 Current children cumulated vsize (Kb) 38820 [startup+370.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 14371 0 0 0 36914 69 0 0 25 0 1 0 1856979279 42213376 9759 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 10306 9759 232 232 0 10074 0 [pid=19307] vsize: 41224 Current children cumulated CPU time (s) 369.83 Current children cumulated vsize (Kb) 41224 [startup+380.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 14965 0 0 0 37904 76 0 0 25 0 1 0 1856979279 44703744 10353 4294967295 134512640 135450776 3221224560 3221223064 134854913 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 10914 10353 232 232 0 10682 0 [pid=19307] vsize: 43656 Current children cumulated CPU time (s) 379.8 Current children cumulated vsize (Kb) 43656 [startup+390.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 15654 0 0 0 38894 82 0 0 25 0 1 0 1856979279 47439872 11042 4294967295 134512640 135450776 3221224560 3221222932 134524563 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 11582 11042 232 232 0 11350 0 [pid=19307] vsize: 46328 Current children cumulated CPU time (s) 389.76 Current children cumulated vsize (Kb) 46328 [startup+400.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 16448 0 0 0 39884 90 0 0 25 0 1 0 1856979279 50741248 11836 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 12388 11836 232 232 0 12156 0 [pid=19307] vsize: 49552 Current children cumulated CPU time (s) 399.74 Current children cumulated vsize (Kb) 49552 [startup+410.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 17192 0 0 0 40875 96 0 0 25 0 1 0 1856979279 53747712 12580 4294967295 134512640 135450776 3221224560 3221223168 134514810 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 13122 12580 232 232 0 12890 0 [pid=19307] vsize: 52488 Current children cumulated CPU time (s) 409.71 Current children cumulated vsize (Kb) 52488 [startup+420.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 17897 0 0 0 41867 101 0 0 25 0 1 0 1856979279 56541184 13285 4294967295 134512640 135450776 3221224560 3221223104 134675562 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 13804 13285 232 232 0 13572 0 [pid=19307] vsize: 55216 Current children cumulated CPU time (s) 419.68 Current children cumulated vsize (Kb) 55216 [startup+430.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 18593 0 0 0 42859 107 0 0 25 0 1 0 1856979279 59392000 13981 4294967295 134512640 135450776 3221224560 3221222932 134524462 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 14500 13981 232 232 0 14268 0 [pid=19307] vsize: 58000 Current children cumulated CPU time (s) 429.66 Current children cumulated vsize (Kb) 58000 [startup+440.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 19252 0 0 0 43850 114 0 0 25 0 1 0 1856979279 62111744 14640 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 15164 14640 232 232 0 14932 0 [pid=19307] vsize: 60656 Current children cumulated CPU time (s) 439.64 Current children cumulated vsize (Kb) 60656 [startup+450.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 19793 0 0 0 44842 119 0 0 25 0 1 0 1856979279 64323584 15181 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 15704 15181 232 232 0 15472 0 [pid=19307] vsize: 62816 Current children cumulated CPU time (s) 449.61 Current children cumulated vsize (Kb) 62816 [startup+460.028 s] Raw data (loadavg): 1.00 0.99 0.91 1/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) T 19306 19307 16528 0 -1 0 20331 0 0 0 45833 125 0 0 25 0 1 0 1856979279 66519040 15719 4294967295 134512640 135450776 3221224560 3221222832 135124493 0 0 5 0 3222434794 0 0 17 0 0 0 Raw data (/proc/19307/statm): 16240 15719 232 232 0 16008 0 [pid=19307] vsize: 64960 Current children cumulated CPU time (s) 459.58 Current children cumulated vsize (Kb) 64960 [startup+470.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 20809 0 0 0 46825 130 0 0 25 0 1 0 1856979279 68460544 16197 4294967295 134512640 135450776 3221224560 3221223056 134524179 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/19307/statm): 16714 16197 232 232 0 16482 0 [pid=19307] vsize: 66856 Current children cumulated CPU time (s) 469.55 Current children cumulated vsize (Kb) 66856 [startup+480.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 21438 0 0 0 47817 135 0 0 25 0 1 0 1856979279 71041024 16826 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 17344 16826 232 232 0 17112 0 [pid=19307] vsize: 69376 Current children cumulated CPU time (s) 479.52 Current children cumulated vsize (Kb) 69376 [startup+490.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/56 19307 Raw data (/proc/19307/stat): 19307 (PBS4) R 19306 19307 16528 0 -1 0 22046 0 0 0 48810 139 0 0 25 0 1 0 1856979279 73535488 17434 4294967295 134512640 135450776 3221224560 3221223072 134600376 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/19307/statm): 17953 17434 232 232 0 17721 0 [pid=19307] vsize: 71812 Current children cumulated CPU time (s) 489.49 Current children cumulated vsize (Kb) 71812 One traced child (pid=19307) ended because it received signal 6 (SIGABRT) All traced children have exited ! Game is over. Child ended because it received signal 6 (SIGABRT) Real time (s): 498.53 CPU time (s): 497.977 CPU user time (s): 496.499 CPU system time (s): 1.47878 CPU usage (%): 99.8892 Max. virtual memory (cumulated for all children) (Kb): 71812
ERROR: no interpretation found !