Name | mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb |
MD5SUM | da2667b4c8b643a355efc1f418e48913 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9663726592 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 56 |
Biggest coefficient in the objective function | 9663676416 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 19327377394 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 9663676416 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 19327377394 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 0.096985 |
Number of variables | 56 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 44 |
LAUNCH ON wulflinc13 THE 2005-09-19 22:03:00 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=784 boxname=wulflinc13 idbench=784 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: da2667b4c8b643a355efc1f418e48913 /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb IDLAUNCH: 784 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 917556 kB Buffers: 22408 kB Cached: 68284 kB SwapCached: 700 kB Active: 24460 kB Inactive: 68776 kB HighTotal: 131008 kB HighFree: 58800 kB LowTotal: 903652 kB LowFree: 858756 kB SwapTotal: 2097136 kB SwapFree: 2095936 kB Dirty: 32 kB Writeback: 0 kB Mapped: 5740 kB Slab: 18064 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 22:13:29 (client local time) WITH STATUS 0 IN 606.949 SECONDS stats: 784 0 606.949 0
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 56 variables and 6 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.045 c After prepocess the problem consists of 39 variables and 6 constraints. c Initial Lower Bound: 9663676416 c Restart #1 #Var: 39 #Dec: 390 LB: 9663676416 @ 0.109 c Restart #2 #Var: 39 #Dec: 1202 LB: 9663676416 @ 0.244 c Restart #3 #Var: 39 #Dec: 2427 LB: 9663676416 @ 0.462 c Restart #4 #Var: 39 #Dec: 4062 LB: 9663676416 @ 0.76 c Restart #5 #Var: 39 #Dec: 6090 LB: 9663676416 @ 1.131 c Restart #6 #Var: 39 #Dec: 8464 LB: 9663676416 @ 1.599 c Restart #7 #Var: 39 #Dec: 10670 LB: 9663676416 @ 2.157 c Restart #8 #Var: 39 #Dec: 12469 LB: 9663676416 @ 2.812 c Restart #9 #Var: 39 #Dec: 14280 LB: 9663676416 @ 3.546 c NEW SOLUTION FOUND: 9663751169 @ 3.576 @ #Dec. 14283 c NEW SOLUTION FOUND: 9663751168 @ 3.579 @ #Dec. 14294 c Restart #10 #Var: 36 #Dec: 16303 LB: 9663713280 @ 4.58 c Restart #11 #Var: 36 #Dec: 18516 LB: 9663713280 @ 5.631 c Restart #12 #Var: 36 #Dec: 20925 LB: 9663713280 @ 6.87 c Restart #13 #Var: 36 #Dec: 23536 LB: 9663713280 @ 8.171 c CHANGE to MIS mode... UB: 9663751168 MIS: 9663713283 LPR: -2147483648 (0) Diff: -4.5 c Restart #0 #Var: 36 #Dec: 26349 LB: 9663713280 @ 9.582 c Restart #1 #Var: 36 #Dec: 26565 LB: 9663713283 @ 9.791 c Restart #2 #Var: 36 #Dec: 26979 LB: 9663713283 @ 10.07 c Restart #3 #Var: 36 #Dec: 27591 LB: 9663713283 @ 10.533 c Restart #4 #Var: 36 #Dec: 28402 LB: 9663713283 @ 11.017 c Restart #5 #Var: 36 #Dec: 29416 LB: 9663713283 @ 11.632 c Restart #6 #Var: 36 #Dec: 30627 LB: 9663713283 @ 12.271 c Restart #7 #Var: 36 #Dec: 32039 LB: 9663713283 @ 13.027 c Restart #8 #Var: 36 #Dec: 33651 LB: 9663713283 @ 13.949 c Restart #9 #Var: 36 #Dec: 35463 LB: 9663713283 @ 15.096 c Restart #10 #Var: 36 #Dec: 37476 LB: 9663713283 @ 16.318 c Restart #11 #Var: 36 #Dec: 39687 LB: 9663713283 @ 17.508 c Restart #12 #Var: 36 #Dec: 42101 LB: 9663713283 @ 19.019 c NEW SOLUTION FOUND: 9663744586 @ 19.985 @ #Dec. 43690 c NEW SOLUTION FOUND: 9663744330 @ 19.985 @ #Dec. 43691 c NEW SOLUTION FOUND: 9663744202 @ 19.986 @ #Dec. 43693 c NEW SOLUTION FOUND: 9663744170 @ 19.988 @ #Dec. 43699 c NEW SOLUTION FOUND: 9663744154 @ 19.989 @ #Dec. 43706 c NEW SOLUTION FOUND: 9663744150 @ 19.993 @ #Dec. 43726 c NEW SOLUTION FOUND: 9663744148 @ 19.997 @ #Dec. 43741 c NEW SOLUTION FOUND: 9663732299 @ 20.013 @ #Dec. 43790 c NEW SOLUTION FOUND: 9663732100 @ 20.015 @ #Dec. 43798 c NEW SOLUTION FOUND: 9663731972 @ 20.015 @ #Dec. 43799 c NEW SOLUTION FOUND: 9663731908 @ 20.015 @ #Dec. 43799 c NEW SOLUTION FOUND: 9663731876 @ 20.016 @ #Dec. 43801 c NEW SOLUTION FOUND: 9663731860 @ 20.016 @ #Dec. 43804 c NEW SOLUTION FOUND: 9663728971 @ 20.054 @ #Dec. 43916 c NEW SOLUTION FOUND: 9663728836 @ 20.06 @ #Dec. 43931 c NEW SOLUTION FOUND: 9663728804 @ 20.061 @ #Dec. 43932 c NEW SOLUTION FOUND: 9663728788 @ 20.061 @ #Dec. 43934 c NEW SOLUTION FOUND: 9663728763 @ 20.242 @ #Dec. 44242 c NEW SOLUTION FOUND: 9663728675 @ 20.245 @ #Dec. 44252 c NEW SOLUTION FOUND: 9663728611 @ 20.246 @ #Dec. 44252 c NEW SOLUTION FOUND: 9663728599 @ 20.246 @ #Dec. 44252 c NEW SOLUTION FOUND: 9663728598 @ 20.249 @ #Dec. 44260 c NEW SOLUTION FOUND: 9663728596 @ 20.25 @ #Dec. 44261 c NEW SOLUTION FOUND: 9663727275 @ 20.546 @ #Dec. 44770 c NEW SOLUTION FOUND: 9663727259 @ 20.547 @ #Dec. 44773 c NEW SOLUTION FOUND: 9663727255 @ 20.548 @ #Dec. 44775 c NEW SOLUTION FOUND: 9663727253 @ 20.549 @ #Dec. 44776 c NEW SOLUTION FOUND: 9663727252 @ 20.549 @ #Dec. 44776 c NEW SOLUTION FOUND: 9663727099 @ 20.694 @ #Dec. 45060 c NEW SOLUTION FOUND: 9663727067 @ 20.696 @ #Dec. 45064 c NEW SOLUTION FOUND: 9663727063 @ 20.697 @ #Dec. 45066 c NEW SOLUTION FOUND: 9663727060 @ 20.697 @ #Dec. 45067 c Restart #13 #Var: 36 #Dec: 47662 LB: 9663713283 @ 22.415 c Restart #14 #Var: 36 #Dec: 50473 LB: 9663713283 @ 24.121 c Restart #15 #Var: 36 #Dec: 53485 LB: 9663713283 @ 26.135 c Restart #16 #Var: 36 #Dec: 56696 LB: 9663713283 @ 28.178 c Restart #17 #Var: 36 #Dec: 60111 LB: 9663713283 @ 30.631 c Restart #18 #Var: 36 #Dec: 63721 LB: 9663713283 @ 33.14 c Restart #19 #Var: 36 #Dec: 67529 LB: 9663713283 @ 35.87 c Restart #20 #Var: 36 #Dec: 71542 LB: 9663713283 @ 38.603 c Restart #21 #Var: 36 #Dec: 75755 LB: 9663713283 @ 41.852 c Restart #22 #Var: 36 #Dec: 80166 LB: 9663713283 @ 45.239 c Restart #23 #Var: 36 #Dec: 84778 LB: 9663713283 @ 48.786 c Restart #24 #Var: 36 #Dec: 89587 LB: 9663713283 @ 52.663 c Restart #25 #Var: 36 #Dec: 94602 LB: 9663713283 @ 56.286 c Restart #26 #Var: 36 #Dec: 99816 LB: 9663713283 @ 60.844 c Restart #27 #Var: 36 #Dec: 105225 LB: 9663713283 @ 64.288 c Restart #28 #Var: 36 #Dec: 110835 LB: 9663713283 @ 68.658 c Restart #29 #Var: 36 #Dec: 116646 LB: 9663713283 @ 72.896 c Restart #30 #Var: 36 #Dec: 122659 LB: 9663713283 @ 78.061 c NEW SOLUTION FOUND: 9663726782 @ 78.997 @ #Dec. 123431 c NEW SOLUTION FOUND: 9663726780 @ 78.997 @ #Dec. 123431 c NEW SOLUTION FOUND: 9663726779 @ 78.997 @ #Dec. 123432 c NEW SOLUTION FOUND: 9663726775 @ 78.998 @ #Dec. 123435 c NEW SOLUTION FOUND: 9663726773 @ 78.998 @ #Dec. 123436 c NEW SOLUTION FOUND: 9663726772 @ 78.999 @ #Dec. 123436 c NEW SOLUTION FOUND: 9663726683 @ 80.455 @ #Dec. 125537 c NEW SOLUTION FOUND: 9663726679 @ 80.456 @ #Dec. 125539 c NEW SOLUTION FOUND: 9663726677 @ 80.456 @ #Dec. 125540 c NEW SOLUTION FOUND: 9663726676 @ 80.456 @ #Dec. 125540 c Restart #31 #Var: 36 #Dec: 131739 LB: 9663713283 @ 85.438 c Restart #32 #Var: 36 #Dec: 138152 LB: 9663713283 @ 90.41 c NEW SOLUTION FOUND: 9663726653 @ 95.823 @ #Dec. 144747 c NEW SOLUTION FOUND: 9663726652 @ 95.823 @ #Dec. 144747 c Restart #33 #Var: 36 #Dec: 151345 LB: 9663713283 @ 100.84 c Restart #34 #Var: 36 #Dec: 158155 LB: 9663713283 @ 107.73 c Restart #35 #Var: 36 #Dec: 165168 LB: 9663713283 @ 113.25 c Restart #36 #Var: 36 #Dec: 172377 LB: 9663713283 @ 120.63 c NEW SOLUTION FOUND: 9663726592 @ 123.68 @ #Dec. 176175 c Restart #37 #Var: 36 #Dec: 183576 LB: 9663713283 @ 130.27 c Restart #38 #Var: 36 #Dec: 191190 LB: 9663713283 @ 137.99 c Restart #39 #Var: 36 #Dec: 199001 LB: 9663713283 @ 145.84 c Restart #40 #Var: 36 #Dec: 207010 LB: 9663713283 @ 154.45 c Restart #41 #Var: 36 #Dec: 215221 LB: 9663713283 @ 162.97 c Restart #42 #Var: 36 #Dec: 223628 LB: 9663713283 @ 171.71 c Restart #43 #Var: 36 #Dec: 232235 LB: 9663713283 @ 179.87 c Restart #44 #Var: 36 #Dec: 241046 LB: 9663713283 @ 188.7 c Restart #45 #Var: 36 #Dec: 250054 LB: 9663713283 @ 198.14 c Restart #46 #Var: 36 #Dec: 259262 LB: 9663713283 @ 206.34 c Restart #47 #Var: 36 #Dec: 268672 LB: 9663713283 @ 215.49 c Restart #48 #Var: 36 #Dec: 278282 LB: 9663713283 @ 224.75 c Restart #49 #Var: 36 #Dec: 288091 LB: 9663713283 @ 236.19 c Restart #50 #Var: 36 #Dec: 298098 LB: 9663713283 @ 246.83 c Restart #51 #Var: 36 #Dec: 308310 LB: 9663713283 @ 258 c Restart #52 #Var: 36 #Dec: 318721 LB: 9663713283 @ 269.78 c Restart #53 #Var: 36 #Dec: 329333 LB: 9663713283 @ 281.48 c Restart #54 #Var: 36 #Dec: 340143 LB: 9663713283 @ 292.87 c Restart #55 #Var: 36 #Dec: 351153 LB: 9663713283 @ 304.25 c Restart #56 #Var: 36 #Dec: 362365 LB: 9663713283 @ 316.55 c Restart #57 #Var: 36 #Dec: 373779 LB: 9663713283 @ 330.38 c Restart #58 #Var: 36 #Dec: 385390 LB: 9663713283 @ 343.76 c Restart #59 #Var: 36 #Dec: 397198 LB: 9663713283 @ 358.29 c Restart #60 #Var: 36 #Dec: 409206 LB: 9663713283 @ 372.24 c Restart #61 #Var: 36 #Dec: 421416 LB: 9663713283 @ 387.13 c Restart #62 #Var: 36 #Dec: 433826 LB: 9663713283 @ 403.44 c Restart #63 #Var: 36 #Dec: 446436 LB: 9663713283 @ 420.08 c Restart #64 #Var: 36 #Dec: 459249 LB: 9663713283 @ 436.07 c Restart #65 #Var: 36 #Dec: 472263 LB: 9663713283 @ 451.9 c Restart #66 #Var: 36 #Dec: 485471 LB: 9663713283 @ 467.31 c Restart #67 #Var: 36 #Dec: 498881 LB: 9663713283 @ 483.28 c Restart #68 #Var: 36 #Dec: 512493 LB: 9663713283 @ 500.22 c Restart #69 #Var: 36 #Dec: 526301 LB: 9663713283 @ 515.63 c Restart #70 #Var: 36 #Dec: 540313 LB: 9663713283 @ 533.98 c Restart #71 #Var: 36 #Dec: 554525 LB: 9663713283 @ 551.38 c Restart #72 #Var: 36 #Dec: 568934 LB: 9663713283 @ 573.78 c Restart #73 #Var: 36 #Dec: 583547 LB: 9663713283 @ 592.4 c Caught signal: 15 s SATISFIABLE v -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 -X1_bit_5 -X1_bit_4 -X1_bit_3 -X1_bit_2 -X1_bit_1 -X1_bit0 -X1_bit1 X1_bit2 -X2_bit_10 -X2_bit_9 -X2_bit_8 -X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 -X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 X3_bit0 -X3_bit1 X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 X3_bit20 c Cost: 9663726592 c Exit Code: 10
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/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795137183 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 107 3 90 68 0 39 0 [pid=14866] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc13/normalized-mps-v2-20-10-testprob.opb [startup+10.0033 s] Raw data (loadavg): 0.93 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 8267 0 0 0 855 63 0 0 25 0 1 0 1795137183 36966400 8168 4294967295 134512640 134736556 3221224560 3221223152 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 9025 8168 1116 68 0 8957 0 [pid=14866] vsize: 36100 Current children cumulated CPU time (s) 9.18 Current children cumulated vsize (Kb) 36100 [startup+20.0039 s] Raw data (loadavg): 0.94 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 14419 0 0 0 1756 107 0 0 25 0 1 0 1795137183 62595072 14307 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 15282 14307 1116 68 0 15214 0 [pid=14866] vsize: 61128 Current children cumulated CPU time (s) 18.63 Current children cumulated vsize (Kb) 61128 [startup+30.0045 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 20395 0 0 0 2663 149 0 0 20 0 1 0 1795137183 86474752 20152 4294967295 134512640 134736556 3221224560 3221223280 134529509 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 21112 20152 1116 68 0 21044 0 [pid=14866] vsize: 84448 Current children cumulated CPU time (s) 28.12 Current children cumulated vsize (Kb) 84448 [startup+40.0042 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 25508 0 0 0 3576 187 0 0 25 0 1 0 1795137183 107745280 25244 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 26305 25244 1116 68 0 26237 0 [pid=14866] vsize: 105220 Current children cumulated CPU time (s) 37.63 Current children cumulated vsize (Kb) 105220 [startup+50.0038 s] Raw data (loadavg): 0.96 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 30259 0 0 0 4497 221 0 0 25 0 1 0 1795137183 127262720 29983 4294967295 134512640 134736556 3221224560 3221223152 134551094 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 31070 29983 1116 68 0 31002 0 [pid=14866] vsize: 124280 Current children cumulated CPU time (s) 47.18 Current children cumulated vsize (Kb) 124280 [startup+60.0045 s] Raw data (loadavg): 0.97 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 35380 0 0 0 5417 258 0 0 25 0 1 0 1795137183 147206144 34850 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 35939 34850 1116 68 0 35871 0 [pid=14866] vsize: 143756 Current children cumulated CPU time (s) 56.75 Current children cumulated vsize (Kb) 143756 [startup+70.0051 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 40337 0 0 0 6339 294 0 0 25 0 1 0 1795137183 167350272 39716 4294967295 134512640 134736556 3221224560 3221223272 134554113 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 40857 39716 1116 68 0 40789 0 [pid=14866] vsize: 163428 Current children cumulated CPU time (s) 66.33 Current children cumulated vsize (Kb) 163428 [startup+80.0068 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 45283 0 0 0 7262 328 0 0 25 0 1 0 1795137183 187781120 44563 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 45845 44563 1116 68 0 45777 0 [pid=14866] vsize: 183380 Current children cumulated CPU time (s) 75.9 Current children cumulated vsize (Kb) 183380 [startup+90.0075 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 49656 0 0 0 8195 355 0 0 25 0 1 0 1795137183 205410304 48854 4294967295 134512640 134736556 3221224560 3221223116 134536351 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 50149 48854 1116 68 0 50081 0 [pid=14866] vsize: 200596 Current children cumulated CPU time (s) 85.5 Current children cumulated vsize (Kb) 200596 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 54306 0 0 0 9122 388 0 0 25 0 1 0 1795137183 224407552 53415 4294967295 134512640 134736556 3221224560 3221223200 134553314 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 54787 53415 1116 68 0 54719 0 [pid=14866] vsize: 219148 Current children cumulated CPU time (s) 95.1 Current children cumulated vsize (Kb) 219148 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 58692 0 0 0 10051 421 0 0 25 0 1 0 1795137183 242237440 57716 4294967295 134512640 134736556 3221224560 3221223248 134524403 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 59140 57716 1116 68 0 59072 0 [pid=14866] vsize: 236560 Current children cumulated CPU time (s) 104.72 Current children cumulated vsize (Kb) 236560 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 62714 0 0 0 10990 449 0 0 25 0 1 0 1795137183 258580480 61734 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 63130 61734 1116 68 0 63062 0 [pid=14866] vsize: 252520 Current children cumulated CPU time (s) 114.39 Current children cumulated vsize (Kb) 252520 [startup+130.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 68029 0 0 0 11922 481 0 0 25 0 1 0 1795137183 278224896 66464 4294967295 134512640 134736556 3221224560 3221223152 134551105 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 67926 66464 1116 68 0 67858 0 [pid=14866] vsize: 271704 Current children cumulated CPU time (s) 124.03 Current children cumulated vsize (Kb) 271704 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 72079 0 0 0 12862 509 0 0 25 0 1 0 1795137183 294596608 70351 4294967295 134512640 134736556 3221224560 3221223088 134716605 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 71923 70351 1116 68 0 71855 0 [pid=14866] vsize: 287692 Current children cumulated CPU time (s) 133.71 Current children cumulated vsize (Kb) 287692 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 75727 0 0 0 13804 535 0 0 25 0 1 0 1795137183 309465088 73999 4294967295 134512640 134736556 3221224560 3221223280 134529206 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 75553 73999 1116 68 0 75485 0 [pid=14866] vsize: 302212 Current children cumulated CPU time (s) 143.39 Current children cumulated vsize (Kb) 302212 [startup+160.01 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 79329 0 0 0 14745 561 0 0 25 0 1 0 1795137183 323850240 77519 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 79065 77519 1116 68 0 78997 0 [pid=14866] vsize: 316260 Current children cumulated CPU time (s) 153.06 Current children cumulated vsize (Kb) 316260 [startup+170.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 83046 0 0 0 15689 588 0 0 25 0 1 0 1795137183 338698240 81074 4294967295 134512640 134736556 3221224560 3221223280 134529494 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 82690 81074 1116 68 0 82622 0 [pid=14866] vsize: 330760 Current children cumulated CPU time (s) 162.77 Current children cumulated vsize (Kb) 330760 [startup+180.011 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 86753 0 0 0 16635 615 0 0 25 0 1 0 1795137183 353378304 84372 4294967295 134512640 134736556 3221224560 3221223204 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 86274 84372 1116 68 0 86206 0 [pid=14866] vsize: 345096 Current children cumulated CPU time (s) 172.5 Current children cumulated vsize (Kb) 345096 [startup+190.012 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 90671 0 0 0 17572 643 0 0 25 0 1 0 1795137183 369336320 88290 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/14866/statm): 90170 88290 1116 68 0 90102 0 [pid=14866] vsize: 360680 Current children cumulated CPU time (s) 182.15 Current children cumulated vsize (Kb) 360680 [startup+200.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 94494 0 0 0 18512 670 0 0 25 0 1 0 1795137183 384606208 91950 4294967295 134512640 134736556 3221224560 3221223252 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 93898 91950 1116 68 0 93830 0 [pid=14866] vsize: 375592 Current children cumulated CPU time (s) 191.82 Current children cumulated vsize (Kb) 375592 [startup+210.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 98538 0 0 0 19445 702 0 0 25 0 1 0 1795137183 401014784 95831 4294967295 134512640 134736556 3221224560 3221223208 134537289 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 97904 95831 1116 68 0 97836 0 [pid=14866] vsize: 391616 Current children cumulated CPU time (s) 201.47 Current children cumulated vsize (Kb) 391616 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 102407 0 0 0 20378 733 0 0 25 0 1 0 1795137183 416894976 99699 4294967295 134512640 134736556 3221224560 3221223280 134529475 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 101781 99699 1116 68 0 101713 0 [pid=14866] vsize: 407124 Current children cumulated CPU time (s) 211.11 Current children cumulated vsize (Kb) 407124 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 106357 0 0 0 21317 762 0 0 17 0 1 0 1795137183 432721920 103483 4294967295 134512640 134736556 3221224560 3221223168 134537370 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 105645 103483 1116 68 0 105577 0 [pid=14866] vsize: 422580 Current children cumulated CPU time (s) 220.79 Current children cumulated vsize (Kb) 422580 [startup+240.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 109972 0 0 0 22260 787 0 0 25 0 1 0 1795137183 447455232 107098 4294967295 134512640 134736556 3221224560 3221223284 134529202 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 109242 107098 1116 68 0 109174 0 [pid=14866] vsize: 436968 Current children cumulated CPU time (s) 230.47 Current children cumulated vsize (Kb) 436968 [startup+250.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 113061 0 0 0 23215 809 0 0 25 0 1 0 1795137183 459800576 110016 4294967295 134512640 134736556 3221224560 3221223264 134528656 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 112256 110016 1116 68 0 112188 0 [pid=14866] vsize: 449024 Current children cumulated CPU time (s) 240.24 Current children cumulated vsize (Kb) 449024 [startup+260.016 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 116899 0 0 0 24156 835 0 0 25 0 1 0 1795137183 475283456 113651 4294967295 134512640 134736556 3221224560 3221223200 1076647572 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 116036 113651 1116 68 0 115968 0 [pid=14866] vsize: 464144 Current children cumulated CPU time (s) 249.91 Current children cumulated vsize (Kb) 464144 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 119941 0 0 0 25108 857 0 0 25 0 1 0 1795137183 487583744 116693 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 119039 116693 1116 68 0 118971 0 [pid=14866] vsize: 476156 Current children cumulated CPU time (s) 259.65 Current children cumulated vsize (Kb) 476156 [startup+280.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 123704 0 0 0 26048 887 0 0 23 0 1 0 1795137183 502996992 120456 4294967295 134512640 134736556 3221224560 3221223220 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 122802 120456 1116 68 0 122734 0 [pid=14866] vsize: 491208 Current children cumulated CPU time (s) 269.35 Current children cumulated vsize (Kb) 491208 [startup+290.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 127401 0 0 0 26988 916 0 0 25 0 1 0 1795137183 517734400 124153 4294967295 134512640 134736556 3221224560 3221223184 134537320 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 126400 124153 1116 68 0 126332 0 [pid=14866] vsize: 505600 Current children cumulated CPU time (s) 279.04 Current children cumulated vsize (Kb) 505600 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 130415 0 0 0 27939 938 0 0 25 0 1 0 1795137183 530038784 127167 4294967295 134512640 134736556 3221224560 3221223056 134543910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 129404 127167 1116 68 0 129336 0 [pid=14866] vsize: 517616 Current children cumulated CPU time (s) 288.77 Current children cumulated vsize (Kb) 517616 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 136215 0 0 0 28878 967 0 0 25 0 1 0 1795137183 549310464 131658 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 134109 131658 1116 68 0 134041 0 [pid=14866] vsize: 536436 Current children cumulated CPU time (s) 298.45 Current children cumulated vsize (Kb) 536436 [startup+320.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 139623 0 0 0 29822 991 0 0 25 0 1 0 1795137183 563101696 135066 4294967295 134512640 134736556 3221224560 3221223384 134602653 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 137476 135066 1116 68 0 137408 0 [pid=14866] vsize: 549904 Current children cumulated CPU time (s) 308.13 Current children cumulated vsize (Kb) 549904 [startup+330.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 142592 0 0 0 30778 1011 0 0 25 0 1 0 1795137183 575135744 138035 4294967295 134512640 134736556 3221224560 3221223104 134551121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 140414 138035 1116 68 0 140346 0 [pid=14866] vsize: 561656 Current children cumulated CPU time (s) 317.89 Current children cumulated vsize (Kb) 561656 [startup+340.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 146220 0 0 0 31721 1037 0 0 25 0 1 0 1795137183 589873152 141663 4294967295 134512640 134736556 3221224560 3221223084 134536687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 144012 141663 1116 68 0 143944 0 [pid=14866] vsize: 576048 Current children cumulated CPU time (s) 327.58 Current children cumulated vsize (Kb) 576048 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 149180 0 0 0 32673 1059 0 0 25 0 1 0 1795137183 601497600 144623 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 146850 144623 1116 68 0 146782 0 [pid=14866] vsize: 587400 Current children cumulated CPU time (s) 337.32 Current children cumulated vsize (Kb) 587400 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 151992 0 0 0 33631 1077 0 0 25 0 1 0 1795137183 612720640 147435 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 149590 147435 1116 68 0 149522 0 [pid=14866] vsize: 598360 Current children cumulated CPU time (s) 347.08 Current children cumulated vsize (Kb) 598360 [startup+370.021 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 155534 0 0 0 34574 1102 0 0 25 0 1 0 1795137183 627183616 150977 4294967295 134512640 134736556 3221224560 3221223188 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 153121 150977 1116 68 0 153053 0 [pid=14866] vsize: 612484 Current children cumulated CPU time (s) 356.76 Current children cumulated vsize (Kb) 612484 [startup+380.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 158506 0 0 0 35529 1120 0 0 25 0 1 0 1795137183 639139840 153867 4294967295 134512640 134736556 3221224560 3221223136 134716087 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 156040 153867 1116 68 0 155972 0 [pid=14866] vsize: 624160 Current children cumulated CPU time (s) 366.49 Current children cumulated vsize (Kb) 624160 [startup+390.025 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 161627 0 0 0 36483 1141 0 0 25 0 1 0 1795137183 651534336 156666 4294967295 134512640 134736556 3221224560 3221223256 134554000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 159066 156666 1116 68 0 158998 0 [pid=14866] vsize: 636264 Current children cumulated CPU time (s) 376.24 Current children cumulated vsize (Kb) 636264 [startup+400.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 165333 0 0 0 37421 1169 0 0 25 0 1 0 1795137183 666681344 160372 4294967295 134512640 134736556 3221224560 3221223276 134554112 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 162764 160372 1116 68 0 162696 0 [pid=14866] vsize: 651056 Current children cumulated CPU time (s) 385.9 Current children cumulated vsize (Kb) 651056 [startup+410.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 167879 0 0 0 38381 1187 0 0 25 0 1 0 1795137183 676798464 162756 4294967295 134512640 134736556 3221224560 3221223296 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 165234 162756 1116 68 0 165166 0 [pid=14866] vsize: 660936 Current children cumulated CPU time (s) 395.68 Current children cumulated vsize (Kb) 660936 [startup+420.027 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 170987 0 0 0 39336 1208 0 0 25 0 1 0 1795137183 689049600 165451 4294967295 134512640 134736556 3221224560 3221223284 134529474 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 168225 165451 1116 68 0 168157 0 [pid=14866] vsize: 672900 Current children cumulated CPU time (s) 405.44 Current children cumulated vsize (Kb) 672900 [startup+430.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 174582 0 0 0 40278 1233 0 0 25 0 1 0 1795137183 703705088 168964 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 171803 168964 1116 68 0 171735 0 [pid=14866] vsize: 687212 Current children cumulated CPU time (s) 415.11 Current children cumulated vsize (Kb) 687212 [startup+440.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 176928 0 0 0 41242 1249 0 0 25 0 1 0 1795137183 712626176 171310 4294967295 134512640 134736556 3221224560 3221223084 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 173981 171310 1116 68 0 173913 0 [pid=14866] vsize: 695924 Current children cumulated CPU time (s) 424.91 Current children cumulated vsize (Kb) 695924 [startup+450.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 180539 0 0 0 42186 1273 0 0 25 0 1 0 1795137183 727281664 174839 4294967295 134512640 134736556 3221224560 3221223524 134582756 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 177559 174839 1116 68 0 177491 0 [pid=14866] vsize: 710236 Current children cumulated CPU time (s) 434.59 Current children cumulated vsize (Kb) 710236 [startup+460.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 183879 0 0 0 43144 1293 0 0 25 0 1 0 1795137183 740270080 177853 4294967295 134512640 134736556 3221224560 3221223172 134524344 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 180730 177853 1116 68 0 180662 0 [pid=14866] vsize: 722920 Current children cumulated CPU time (s) 444.37 Current children cumulated vsize (Kb) 722920 [startup+470.028 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 186608 0 0 0 44102 1310 0 0 25 0 1 0 1795137183 751042560 180260 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/14866/statm): 183360 180260 1116 68 0 183292 0 [pid=14866] vsize: 733440 Current children cumulated CPU time (s) 454.12 Current children cumulated vsize (Kb) 733440 [startup+480.029 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 190328 0 0 0 45037 1338 0 0 25 0 1 0 1795137183 766181376 183980 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/14866/statm): 187056 183980 1116 68 0 186988 0 [pid=14866] vsize: 748224 Current children cumulated CPU time (s) 463.75 Current children cumulated vsize (Kb) 748224 [startup+490.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 193878 0 0 0 45987 1362 0 0 17 0 1 0 1795137183 779931648 187208 4294967295 134512640 134736556 3221224560 3221223136 134551126 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 190413 187208 1116 68 0 190345 0 [pid=14866] vsize: 761652 Current children cumulated CPU time (s) 473.49 Current children cumulated vsize (Kb) 761652 [startup+500.029 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 197319 0 0 0 46935 1383 0 0 25 0 1 0 1795137183 793681920 190327 4294967295 134512640 134736556 3221224560 3221223152 134537569 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 193770 190327 1116 68 0 193702 0 [pid=14866] vsize: 775080 Current children cumulated CPU time (s) 483.18 Current children cumulated vsize (Kb) 775080 [startup+510.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 200381 0 0 0 47884 1405 0 0 25 0 1 0 1795137183 806256640 193389 4294967295 134512640 134736556 3221224560 3221223152 134716146 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 196840 193389 1116 68 0 196772 0 [pid=14866] vsize: 787360 Current children cumulated CPU time (s) 492.89 Current children cumulated vsize (Kb) 787360 [startup+520.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 202789 0 0 0 48844 1421 0 0 18 0 1 0 1795137183 815583232 195797 4294967295 134512640 134736556 3221224560 3221223280 134529182 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 199117 195797 1116 68 0 199049 0 [pid=14866] vsize: 796468 Current children cumulated CPU time (s) 502.65 Current children cumulated vsize (Kb) 796468 [startup+530.03 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 206696 0 0 0 49780 1451 0 0 25 0 1 0 1795137183 831533056 199704 4294967295 134512640 134736556 3221224560 3221223296 134529265 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 203011 199704 1116 68 0 202943 0 [pid=14866] vsize: 812044 Current children cumulated CPU time (s) 512.31 Current children cumulated vsize (Kb) 812044 [startup+540.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 209512 0 0 0 50734 1470 0 0 25 0 1 0 1795137183 842620928 202520 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 205718 202520 1116 68 0 205650 0 [pid=14866] vsize: 822872 Current children cumulated CPU time (s) 522.04 Current children cumulated vsize (Kb) 822872 [startup+550.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 213213 0 0 0 51676 1497 0 0 25 0 1 0 1795137183 857513984 205890 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 209354 205890 1116 68 0 209286 0 [pid=14866] vsize: 837416 Current children cumulated CPU time (s) 531.73 Current children cumulated vsize (Kb) 837416 [startup+560.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 215789 0 0 0 52637 1515 0 0 25 0 1 0 1795137183 868057088 208466 4294967295 134512640 134736556 3221224560 3221223336 134560326 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 211928 208466 1116 68 0 211860 0 [pid=14866] vsize: 847712 Current children cumulated CPU time (s) 541.52 Current children cumulated vsize (Kb) 847712 [startup+570.031 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 218806 0 0 0 53587 1537 0 0 25 0 1 0 1795137183 880222208 211483 4294967295 134512640 134736556 3221224560 3221223148 134537548 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 214898 211483 1116 68 0 214830 0 [pid=14866] vsize: 859592 Current children cumulated CPU time (s) 551.24 Current children cumulated vsize (Kb) 859592 [startup+580.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 221254 0 0 0 54550 1554 0 0 25 0 1 0 1795137183 889548800 213931 4294967295 134512640 134736556 3221224560 3221223116 134536684 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 217175 213931 1116 68 0 217107 0 [pid=14866] vsize: 868700 Current children cumulated CPU time (s) 561.04 Current children cumulated vsize (Kb) 868700 [startup+590.031 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 224096 0 0 0 55506 1574 0 0 25 0 1 0 1795137183 900866048 216449 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 219938 216449 1116 68 0 219870 0 [pid=14866] vsize: 879752 Current children cumulated CPU time (s) 570.8 Current children cumulated vsize (Kb) 879752 [startup+600.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 226577 0 0 0 56465 1590 0 0 17 0 1 0 1795137183 910462976 218930 4294967295 134512640 134736556 3221224560 3221223296 134529360 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/14866/statm): 222281 218930 1116 68 0 222213 0 [pid=14866] vsize: 889124 Current children cumulated CPU time (s) 580.55 Current children cumulated vsize (Kb) 889124 [startup+610.033 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 230096 0 0 0 57407 1616 0 0 25 0 1 0 1795137183 924930048 222449 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/14866/statm): 225813 222449 1116 68 0 225745 0 [pid=14866] vsize: 903252 Current children cumulated CPU time (s) 590.23 Current children cumulated vsize (Kb) 903252 [startup+620.032 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) R 14865 14866 1333 0 -1 0 232362 0 0 0 58371 1632 0 0 25 0 1 0 1795137183 934121472 224715 4294967295 134512640 134736556 3221224560 3221223120 134551097 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/14866/statm): 228057 224715 1116 68 0 227989 0 [pid=14866] vsize: 912228 Current children cumulated CPU time (s) 600.03 Current children cumulated vsize (Kb) 912228 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+626.746 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 14866 Raw data (/proc/14866/stat): 14866 (bsolo) T 14865 14866 1333 0 -1 0 234690 0 0 0 59003 1649 0 0 25 0 1 0 1795137183 943722496 227043 4294967295 134512640 134736556 3221224560 3221222908 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/14866/statm): 230401 227043 1116 68 0 230333 0 [pid=14866] vsize: 921604 Current children cumulated CPU time (s) 606.52 Current children cumulated vsize (Kb) 921604 Sending SIGTERM to -14866 Sleeping 2 seconds Sending SIGKILL to -14866 One traced child (pid=14866) ended because it received signal 9 (SIGKILL) All traced children have exited ! Game is over. Child ended because it received signal 9 (SIGKILL) Real time (s): 629.168 CPU time (s): 606.949 CPU user time (s): 590.04 CPU system time (s): 16.9084 CPU usage (%): 96.4685 Max. virtual memory (cumulated for all children) (Kb): 921604
Verifier: OK 9663726592