Name | mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-woodw.opb |
MD5SUM | 32750e3c7e75d9737a8a929595ea705c |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 524288 |
Number of bits for the biggest coefficient in the objective function | 20 |
Sum of the numbers in the objective function | 4194300 |
Number of bits of the sum of numbers in the objective function | 22 |
Biggest number in a constraint | 10485760000 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 543542482725 |
Number of bits of the biggest sum of numbers | 39 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 32.905 |
Number of variables | 168100 |
Total number of constraints | 1098 |
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 | 1098 |
Minimum length of a constraint | 20 |
Maximum length of a constraint | 29060 |
LAUNCH ON wulflinc2 THE 2005-09-20 07:17:05 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=4385 boxname=wulflinc2 idbench=869 idsolver=4 numberseed=0 MD5SUM SOLVER: 21c3ffd7205c96d5f0784fd273b92938 /oldhome/oroussel/solvers/PBS4 MD5SUM BENCH: 32750e3c7e75d9737a8a929595ea705c /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-woodw.opb REAL COMMAND: PBS4 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-woodw.opb IDLAUNCH: 4385 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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 : 2 cpu MHz : 451.191 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 880684 kB Buffers: 24424 kB Cached: 104112 kB SwapCached: 1004 kB Active: 39244 kB Inactive: 91956 kB HighTotal: 131008 kB HighFree: 25340 kB LowTotal: 903652 kB LowFree: 855344 kB SwapTotal: 2097136 kB SwapFree: 2095552 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5600 kB Slab: 17076 kB Committed_AS: 72492 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-20 07:29:11 (client local time) WITH STATUS 20 IN 725.463 SECONDS stats: 4385 7 725.463 20
c PBS v4 by Bashar Al-Rawi & Fadi Aloul c Solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-woodw.opb ...... s UNSATISFIABLE c Done, CPU Time=296.625
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/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 18 0 0 0 0 0 0 0 22 0 1 0 1798454821 978944 2 4294967295 134512640 135450776 3221224560 3221224560 134512960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 239 2 232 232 0 7 0 [pid=9402] vsize: 956 open syscall for file /dev/null open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-woodw.opb open syscall for file /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-woodw.opb [startup+10.002 s] Raw data (loadavg): 0.94 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 6770 0 0 0 980 17 0 0 25 0 1 0 1798454821 28172288 6526 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 6878 6526 232 232 0 6646 0 [pid=9402] vsize: 27512 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 27512 [startup+20.0027 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 7510 0 0 0 1978 19 0 0 25 0 1 0 1798454821 30732288 7164 4294967295 134512640 135450776 3221224560 3221223072 134601234 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 7503 7164 232 232 0 7271 0 [pid=9402] vsize: 30012 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 30012 [startup+30.0024 s] Raw data (loadavg): 0.95 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 8608 0 0 0 2973 23 0 0 25 0 1 0 1798454821 34795520 8092 4294967295 134512640 135450776 3221224560 3221223080 134859217 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 8495 8092 232 232 0 8263 0 [pid=9402] vsize: 33980 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 33980 [startup+40.0031 s] Raw data (loadavg): 0.96 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 10361 0 0 0 3968 27 0 0 25 0 1 0 1798454821 41013248 9639 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 10013 9639 232 232 0 9781 0 [pid=9402] vsize: 40052 Current children cumulated CPU time (s) 39.95 Current children cumulated vsize (Kb) 40052 [startup+50.0038 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 10408 0 0 0 4967 28 0 0 25 0 1 0 1798454821 41013248 9686 4294967295 134512640 135450776 3221224560 3221223072 134600357 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 10013 9686 232 232 0 9781 0 [pid=9402] vsize: 40052 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 40052 [startup+60.0035 s] Raw data (loadavg): 0.97 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 10707 0 0 0 5966 30 0 0 25 0 1 0 1798454821 42774528 9985 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 10443 9985 232 232 0 10211 0 [pid=9402] vsize: 41772 Current children cumulated CPU time (s) 59.96 Current children cumulated vsize (Kb) 41772 [startup+70.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 11335 0 0 0 6962 32 0 0 25 0 1 0 1798454821 44662784 10579 4294967295 134512640 135450776 3221224560 3221223072 134600035 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 10904 10579 232 232 0 10672 0 [pid=9402] vsize: 43616 Current children cumulated CPU time (s) 69.94 Current children cumulated vsize (Kb) 43616 [startup+80.0039 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14336 0 0 0 7954 40 0 0 25 0 1 0 1798454821 55382016 13201 4294967295 134512640 135450776 3221224560 3221223072 134600415 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 13521 13201 232 232 0 13289 0 [pid=9402] vsize: 54084 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 54084 [startup+90.0046 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14339 0 0 0 8952 41 0 0 25 0 1 0 1798454821 55382016 13204 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 13521 13204 232 232 0 13289 0 [pid=9402] vsize: 54084 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 54084 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14341 0 0 0 9950 43 0 0 25 0 1 0 1798454821 55382016 13206 4294967295 134512640 135450776 3221224560 3221223072 134599247 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 13521 13206 232 232 0 13289 0 [pid=9402] vsize: 54084 Current children cumulated CPU time (s) 99.93 Current children cumulated vsize (Kb) 54084 [startup+110.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14342 0 0 0 10949 43 0 0 25 0 1 0 1798454821 55382016 13207 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 13521 13207 232 232 0 13289 0 [pid=9402] vsize: 54084 Current children cumulated CPU time (s) 109.92 Current children cumulated vsize (Kb) 54084 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14875 0 0 0 11946 46 0 0 25 0 1 0 1798454821 58191872 13740 4294967295 134512640 135450776 3221224560 3221223072 134600032 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14207 13740 232 232 0 13975 0 [pid=9402] vsize: 56828 Current children cumulated CPU time (s) 119.92 Current children cumulated vsize (Kb) 56828 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14875 0 0 0 12946 46 0 0 25 0 1 0 1798454821 58191872 13740 4294967295 134512640 135450776 3221224560 3221223072 134599250 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14207 13740 232 232 0 13975 0 [pid=9402] vsize: 56828 Current children cumulated CPU time (s) 129.92 Current children cumulated vsize (Kb) 56828 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14989 0 0 0 13946 46 0 0 25 0 1 0 1798454821 58658816 13854 4294967295 134512640 135450776 3221224560 3221223072 134601225 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14321 13854 232 232 0 14089 0 [pid=9402] vsize: 57284 Current children cumulated CPU time (s) 139.92 Current children cumulated vsize (Kb) 57284 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 14989 0 0 0 14946 47 0 0 25 0 1 0 1798454821 58658816 13854 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14321 13854 232 232 0 14089 0 [pid=9402] vsize: 57284 Current children cumulated CPU time (s) 149.93 Current children cumulated vsize (Kb) 57284 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15173 0 0 0 15945 47 0 0 25 0 1 0 1798454821 59125760 14038 4294967295 134512640 135450776 3221224560 3221223072 134600507 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14435 14038 232 232 0 14203 0 [pid=9402] vsize: 57740 Current children cumulated CPU time (s) 159.92 Current children cumulated vsize (Kb) 57740 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15173 0 0 0 16945 47 0 0 25 0 1 0 1798454821 59125760 14038 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14435 14038 232 232 0 14203 0 [pid=9402] vsize: 57740 Current children cumulated CPU time (s) 169.92 Current children cumulated vsize (Kb) 57740 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15360 0 0 0 17944 49 0 0 25 0 1 0 1798454821 60104704 14111 4294967295 134512640 135450776 3221224560 3221223072 134599250 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14674 14111 232 232 0 14442 0 [pid=9402] vsize: 58696 Current children cumulated CPU time (s) 179.93 Current children cumulated vsize (Kb) 58696 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15474 0 0 0 18943 49 0 0 25 0 1 0 1798454821 60571648 14225 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14788 14225 232 232 0 14556 0 [pid=9402] vsize: 59152 Current children cumulated CPU time (s) 189.92 Current children cumulated vsize (Kb) 59152 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15474 0 0 0 19943 49 0 0 25 0 1 0 1798454821 60571648 14225 4294967295 134512640 135450776 3221224560 3221223072 134601190 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14788 14225 232 232 0 14556 0 [pid=9402] vsize: 59152 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (Kb) 59152 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15474 0 0 0 20943 50 0 0 25 0 1 0 1798454821 60571648 14225 4294967295 134512640 135450776 3221224560 3221223072 134601225 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14788 14225 232 232 0 14556 0 [pid=9402] vsize: 59152 Current children cumulated CPU time (s) 209.93 Current children cumulated vsize (Kb) 59152 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15632 0 0 0 21943 50 0 0 25 0 1 0 1798454821 61038592 14383 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14902 14383 232 232 0 14670 0 [pid=9402] vsize: 59608 Current children cumulated CPU time (s) 219.93 Current children cumulated vsize (Kb) 59608 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15632 0 0 0 22943 50 0 0 25 0 1 0 1798454821 61038592 14383 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14902 14383 232 232 0 14670 0 [pid=9402] vsize: 59608 Current children cumulated CPU time (s) 229.93 Current children cumulated vsize (Kb) 59608 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15793 0 0 0 23942 51 0 0 25 0 1 0 1798454821 61038592 14430 4294967295 134512640 135450776 3221224560 3221223072 134599236 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 14902 14430 232 232 0 14670 0 [pid=9402] vsize: 59608 Current children cumulated CPU time (s) 239.93 Current children cumulated vsize (Kb) 59608 [startup+250.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15907 0 0 0 24941 52 0 0 25 0 1 0 1798454821 61505536 14544 4294967295 134512640 135450776 3221224560 3221223072 134601344 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15016 14544 232 232 0 14784 0 [pid=9402] vsize: 60064 Current children cumulated CPU time (s) 249.93 Current children cumulated vsize (Kb) 60064 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15907 0 0 0 25941 52 0 0 25 0 1 0 1798454821 61505536 14544 4294967295 134512640 135450776 3221224560 3221223072 134601234 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15016 14544 232 232 0 14784 0 [pid=9402] vsize: 60064 Current children cumulated CPU time (s) 259.93 Current children cumulated vsize (Kb) 60064 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 15907 0 0 0 26941 52 0 0 25 0 1 0 1798454821 61505536 14544 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15016 14544 232 232 0 14784 0 [pid=9402] vsize: 60064 Current children cumulated CPU time (s) 269.93 Current children cumulated vsize (Kb) 60064 [startup+280.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16064 0 0 0 27941 53 0 0 25 0 1 0 1798454821 61972480 14701 4294967295 134512640 135450776 3221224560 3221223072 134600419 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15130 14701 232 232 0 14898 0 [pid=9402] vsize: 60520 Current children cumulated CPU time (s) 279.94 Current children cumulated vsize (Kb) 60520 [startup+290.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16064 0 0 0 28941 53 0 0 25 0 1 0 1798454821 61972480 14701 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15130 14701 232 232 0 14898 0 [pid=9402] vsize: 60520 Current children cumulated CPU time (s) 289.94 Current children cumulated vsize (Kb) 60520 [startup+300.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16225 0 0 0 29940 54 0 0 25 0 1 0 1798454821 61972480 14748 4294967295 134512640 135450776 3221224560 3221223072 134599351 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15130 14748 232 232 0 14898 0 [pid=9402] vsize: 60520 Current children cumulated CPU time (s) 299.94 Current children cumulated vsize (Kb) 60520 [startup+310.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16339 0 0 0 30940 54 0 0 25 0 1 0 1798454821 62439424 14862 4294967295 134512640 135450776 3221224560 3221223072 134601340 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15244 14862 232 232 0 15012 0 [pid=9402] vsize: 60976 Current children cumulated CPU time (s) 309.94 Current children cumulated vsize (Kb) 60976 [startup+320.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16339 0 0 0 31940 54 0 0 25 0 1 0 1798454821 62439424 14862 4294967295 134512640 135450776 3221224560 3221223072 134601272 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15244 14862 232 232 0 15012 0 [pid=9402] vsize: 60976 Current children cumulated CPU time (s) 319.94 Current children cumulated vsize (Kb) 60976 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16339 0 0 0 32940 54 0 0 25 0 1 0 1798454821 62439424 14862 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15244 14862 232 232 0 15012 0 [pid=9402] vsize: 60976 Current children cumulated CPU time (s) 329.94 Current children cumulated vsize (Kb) 60976 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16497 0 0 0 33940 55 0 0 25 0 1 0 1798454821 62906368 15020 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15358 15020 232 232 0 15126 0 [pid=9402] vsize: 61432 Current children cumulated CPU time (s) 339.95 Current children cumulated vsize (Kb) 61432 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16497 0 0 0 34939 55 0 0 25 0 1 0 1798454821 62906368 15020 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15358 15020 232 232 0 15126 0 [pid=9402] vsize: 61432 Current children cumulated CPU time (s) 349.94 Current children cumulated vsize (Kb) 61432 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16658 0 0 0 35938 57 0 0 25 0 1 0 1798454821 63946752 15067 4294967295 134512640 135450776 3221224560 3221223072 134599239 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15612 15067 232 232 0 15380 0 [pid=9402] vsize: 62448 Current children cumulated CPU time (s) 359.95 Current children cumulated vsize (Kb) 62448 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16658 0 0 0 36938 57 0 0 25 0 1 0 1798454821 63946752 15067 4294967295 134512640 135450776 3221224560 3221223072 134600038 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15612 15067 232 232 0 15380 0 [pid=9402] vsize: 62448 Current children cumulated CPU time (s) 369.95 Current children cumulated vsize (Kb) 62448 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16772 0 0 0 37937 58 0 0 25 0 1 0 1798454821 64413696 15181 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15726 15181 232 232 0 15494 0 [pid=9402] vsize: 62904 Current children cumulated CPU time (s) 379.95 Current children cumulated vsize (Kb) 62904 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16772 0 0 0 38937 58 0 0 25 0 1 0 1798454821 64413696 15181 4294967295 134512640 135450776 3221224560 3221223072 134601245 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15726 15181 232 232 0 15494 0 [pid=9402] vsize: 62904 Current children cumulated CPU time (s) 389.95 Current children cumulated vsize (Kb) 62904 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16886 0 0 0 39937 58 0 0 25 0 1 0 1798454821 64880640 15295 4294967295 134512640 135450776 3221224560 3221223072 134600384 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15840 15295 232 232 0 15608 0 [pid=9402] vsize: 63360 Current children cumulated CPU time (s) 399.95 Current children cumulated vsize (Kb) 63360 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16886 0 0 0 40937 59 0 0 25 0 1 0 1798454821 64880640 15295 4294967295 134512640 135450776 3221224560 3221223072 134600407 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15840 15295 232 232 0 15608 0 [pid=9402] vsize: 63360 Current children cumulated CPU time (s) 409.96 Current children cumulated vsize (Kb) 63360 [startup+420.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 16886 0 0 0 41937 59 0 0 25 0 1 0 1798454821 64880640 15295 4294967295 134512640 135450776 3221224560 3221223072 134600412 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 15840 15295 232 232 0 15608 0 [pid=9402] vsize: 63360 Current children cumulated CPU time (s) 419.96 Current children cumulated vsize (Kb) 63360 [startup+430.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 42914 80 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 429.94 Current children cumulated vsize (Kb) 95152 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 43914 80 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 439.94 Current children cumulated vsize (Kb) 95152 [startup+450.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 44914 80 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 449.94 Current children cumulated vsize (Kb) 95152 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 3/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 45914 81 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 459.95 Current children cumulated vsize (Kb) 95152 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 46913 81 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 469.94 Current children cumulated vsize (Kb) 95152 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 47914 81 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 479.95 Current children cumulated vsize (Kb) 95152 [startup+490.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 48914 81 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 489.95 Current children cumulated vsize (Kb) 95152 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 49914 81 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 499.95 Current children cumulated vsize (Kb) 95152 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 26955 0 0 0 50914 82 0 0 25 0 1 0 1798454821 97435648 19530 4294967295 134512640 135450776 3221224560 3221223184 134538901 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23788 19530 232 232 0 23556 0 [pid=9402] vsize: 95152 Current children cumulated CPU time (s) 509.96 Current children cumulated vsize (Kb) 95152 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 27153 0 0 0 51913 82 0 0 25 0 1 0 1798454821 98246656 19728 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 23986 19728 232 232 0 23754 0 [pid=9402] vsize: 95944 Current children cumulated CPU time (s) 519.95 Current children cumulated vsize (Kb) 95944 [startup+530.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 27268 0 0 0 52914 82 0 0 25 0 1 0 1798454821 98787328 19843 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24118 19843 232 232 0 23886 0 [pid=9402] vsize: 96472 Current children cumulated CPU time (s) 529.96 Current children cumulated vsize (Kb) 96472 [startup+540.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 27600 0 0 0 53913 83 0 0 25 0 1 0 1798454821 100139008 20175 4294967295 134512640 135450776 3221224560 3221223056 134538585 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24448 20175 232 232 0 24216 0 [pid=9402] vsize: 97792 Current children cumulated CPU time (s) 539.96 Current children cumulated vsize (Kb) 97792 [startup+550.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 27666 0 0 0 54913 83 0 0 25 0 1 0 1798454821 100409344 20241 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24514 20241 232 232 0 24282 0 [pid=9402] vsize: 98056 Current children cumulated CPU time (s) 549.96 Current children cumulated vsize (Kb) 98056 [startup+560.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 27963 0 0 0 55912 84 0 0 25 0 1 0 1798454821 101625856 20538 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24811 20538 232 232 0 24579 0 [pid=9402] vsize: 99244 Current children cumulated CPU time (s) 559.96 Current children cumulated vsize (Kb) 99244 [startup+570.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28405 0 0 0 56911 85 0 0 25 0 1 0 1798454821 103641088 20980 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25303 20980 232 232 0 25071 0 [pid=9402] vsize: 101212 Current children cumulated CPU time (s) 569.96 Current children cumulated vsize (Kb) 101212 [startup+580.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28491 0 0 0 57911 85 0 0 25 0 1 0 1798454821 104243200 21066 4294967295 134512640 135450776 3221224560 3221223056 134538649 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21066 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 579.96 Current children cumulated vsize (Kb) 101800 [startup+590.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28494 0 0 0 58911 85 0 0 25 0 1 0 1798454821 104243200 21069 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21069 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 589.96 Current children cumulated vsize (Kb) 101800 [startup+600.017 s] Raw data (loadavg): 0.99 0.97 0.91 3/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28499 0 0 0 59911 85 0 0 25 0 1 0 1798454821 104243200 21074 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21074 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 599.96 Current children cumulated vsize (Kb) 101800 [startup+610.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28504 0 0 0 60911 86 0 0 25 0 1 0 1798454821 104243200 21079 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21079 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 609.97 Current children cumulated vsize (Kb) 101800 [startup+620.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28510 0 0 0 61911 86 0 0 25 0 1 0 1798454821 104243200 21085 4294967295 134512640 135450776 3221224560 3221223184 134538898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21085 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 619.97 Current children cumulated vsize (Kb) 101800 [startup+630.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28516 0 0 0 62911 86 0 0 25 0 1 0 1798454821 104243200 21091 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21091 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 629.97 Current children cumulated vsize (Kb) 101800 [startup+640.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28521 0 0 0 63912 86 0 0 25 0 1 0 1798454821 104243200 21096 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21096 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 639.98 Current children cumulated vsize (Kb) 101800 [startup+650.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28526 0 0 0 64912 86 0 0 25 0 1 0 1798454821 104243200 21101 4294967295 134512640 135450776 3221224560 3221223376 134540488 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21101 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 649.98 Current children cumulated vsize (Kb) 101800 [startup+660.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28537 0 0 0 65912 86 0 0 25 0 1 0 1798454821 104243200 21112 4294967295 134512640 135450776 3221224560 3221223184 134538944 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 25450 21112 232 232 0 25218 0 [pid=9402] vsize: 101800 Current children cumulated CPU time (s) 659.98 Current children cumulated vsize (Kb) 101800 [startup+670.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28544 0 0 0 66912 86 0 0 25 0 1 0 1798454821 101126144 20381 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24689 20381 232 232 0 24457 0 [pid=9402] vsize: 98756 Current children cumulated CPU time (s) 669.98 Current children cumulated vsize (Kb) 98756 [startup+680.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28547 0 0 0 67912 86 0 0 25 0 1 0 1798454821 101126144 20384 4294967295 134512640 135450776 3221224560 3221223184 134538901 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24689 20384 232 232 0 24457 0 [pid=9402] vsize: 98756 Current children cumulated CPU time (s) 679.98 Current children cumulated vsize (Kb) 98756 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28552 0 0 0 68912 86 0 0 25 0 1 0 1798454821 101126144 20389 4294967295 134512640 135450776 3221224560 3221223184 134538898 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24689 20389 232 232 0 24457 0 [pid=9402] vsize: 98756 Current children cumulated CPU time (s) 689.98 Current children cumulated vsize (Kb) 98756 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28556 0 0 0 69912 86 0 0 25 0 1 0 1798454821 101126144 20393 4294967295 134512640 135450776 3221224560 3221223184 134538952 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24689 20393 232 232 0 24457 0 [pid=9402] vsize: 98756 Current children cumulated CPU time (s) 699.98 Current children cumulated vsize (Kb) 98756 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28565 0 0 0 70912 86 0 0 25 0 1 0 1798454821 101126144 20402 4294967295 134512640 135450776 3221224560 3221223184 134538910 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24689 20402 232 232 0 24457 0 [pid=9402] vsize: 98756 Current children cumulated CPU time (s) 709.98 Current children cumulated vsize (Kb) 98756 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 9402 Raw data (/proc/9402/stat): 9402 (PBS4) R 9401 9402 6872 0 -1 0 28573 0 0 0 71913 86 0 0 25 0 1 0 1798454821 101261312 20410 4294967295 134512640 135450776 3221224560 3221223184 134538913 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9402/statm): 24722 20410 232 232 0 24490 0 [pid=9402] vsize: 98888 Current children cumulated CPU time (s) 719.99 Current children cumulated vsize (Kb) 98888 One traced child (pid=9402) exited with status: 20 All traced children have exited ! Game is over. Child status: 20 Real time (s): 725.484 CPU time (s): 725.463 CPU user time (s): 724.553 CPU system time (s): 0.909861 CPU usage (%): 99.9971 Max. virtual memory (cumulated for all children) (Kb): 101800
ERROR: no interpretation found !