31657.86/3960.92 *** glibc detected *** plingeling: free(): invalid next size (normal): 0x00000000146c99c0 ***
31657.86/3960.92 ======= Backtrace: =========
31657.86/3960.92 /lib64/libc.so.6[0x3f39a722ef]
31657.86/3960.92 /lib64/libc.so.6(cfree+0x4b)[0x3f39a7273b]
31657.86/3960.92 plingeling[0x40c2c4]
31657.86/3960.92 plingeling[0x424643]
31657.86/3960.92 plingeling[0x429b73]
31657.86/3960.92 plingeling[0x401be1]
31657.86/3960.92 /lib64/libpthread.so.0[0x3f3a6064a7]
31657.86/3960.92 /lib64/libc.so.6(clone+0x6d)[0x3f39ad3c2d]
31657.86/3960.92 ======= Memory map: ========
31657.86/3960.92 00400000-00437000 r-xp 00000000 08:05 1572867 HOME/plingeling
31657.86/3960.92 00636000-00637000 rw-p 00036000 08:05 1572867 HOME/plingeling
31657.86/3960.92 13d1c000-40e12000 rw-p 13d1c000 00:00 0 [heap]
31657.86/3960.92 4160d000-4160e000 ---p 4160d000 00:00 0
31657.86/3960.92 4160e000-4200e000 rw-p 4160e000 00:00 0
31657.86/3960.92 4200e000-4200f000 ---p 4200e000 00:00 0
31657.86/3960.92 4200f000-42a0f000 rw-p 4200f000 00:00 0
31657.86/3960.92 42a0f000-42a10000 ---p 42a0f000 00:00 0
31657.86/3960.92 42a10000-43410000 rw-p 42a10000 00:00 0
31657.86/3960.92 43410000-43411000 ---p 43410000 00:00 0
31657.86/3960.92 43411000-43e11000 rw-p 43411000 00:00 0
31657.86/3960.92 43e11000-43e12000 ---p 43e11000 00:00 0
31657.86/3960.92 43e12000-44812000 rw-p 43e12000 00:00 0
31657.86/3960.92 44812000-44813000 ---p 44812000 00:00 0
31657.86/3960.92 44813000-45213000 rw-p 44813000 00:00 0
31657.86/3960.92 45213000-45214000 ---p 45213000 00:00 0
31657.86/3960.92 45214000-45c14000 rw-p 45214000 00:00 0
31657.86/3960.92 45c14000-45c15000 ---p 45c14000 00:00 0
31657.86/3960.92 45c15000-46615000 rw-p 45c15000 00:00 0
31657.86/3960.92 3f39600000-3f3961c000 r-xp 00000000 08:03 294634 /lib64/ld-2.5.so
31657.86/3960.92 3f3981b000-3f3981c000 r--p 0001b000 08:03 294634 /lib64/ld-2.5.so
31657.86/3960.92 3f3981c000-3f3981d000 rw-p 0001c000 08:03 294634 /lib64/ld-2.5.so
31657.86/3960.92 3f39a00000-3f39b4d000 r-xp 00000000 08:03 294635 /lib64/libc-2.5.so
31657.86/3960.92 3f39b4d000-3f39d4d000 ---p 0014d000 08:03 294635 /lib64/libc-2.5.so
31657.86/3960.92 3f39d4d000-3f39d51000 r--p 0014d000 08:03 294635 /lib64/libc-2.5.so
31657.86/3960.92 3f39d51000-3f39d52000 rw-p 00151000 08:03 294635 /lib64/libc-2.5.so
31657.86/3960.92 3f39d52000-3f39d57000 rw-p 3f39d52000 00:00 0
31657.86/3960.92 3f39e00000-3f39e82000 r-xp 00000000 08:03 294636 /lib64/libm-2.5.so
31657.86/3960.92 3f39e82000-3f3a081000 ---p 00082000 08:03 294636 /lib64/libm-2.5.so
31657.86/3960.92 3f3a081000-3f3a082000 r--p 00081000 08:03 294636 /lib64/libm-2.5.so
31657.86/3960.92 3f3a082000-3f3a083000 rw-p 00082000 08:03 294636 /lib64/libm-2.5.so
31657.86/3960.92 3f3a600000-3f3a616000 r-xp 00000000 08:03 294641 /lib64/libpthread-2.5.so
31657.86/3960.92 3f3a616000-3f3a815000 ---p 00016000 08:03 294641 /lib64/libpthread-2.5.so
31657.86/3960.92 3f3a815000-3f3a816000 r--p 00015000 08:03 294641 /lib64/libpthread-2.5.so
31657.86/3960.92 3f3a816000-3f3a817000 rw-p 00016000 08:03 294641 /lib64/libpthread-2.5.so
31657.86/3960.92 3f3a817000-3f3a81b000 rw-p 3f3a817000 00:00 0
31657.86/3960.92 2aaaaae18000-2aaaaaf19000 rw-p 2b3c15279000 00:00 0
31657.86/3960.92 2aaaaaf43000-2aaaaaf67000 rw-p 2b3c1516e000 00:00 0
31657.86/3960.92 2aaaac000000-2aaaaffdb000 rw-p 2aaaac000000 00:00 0
31657.86/3960.92 2aaaaffdb000-2aaab0000000 ---p 2aaaaffdb000 00:00 0
31657.86/3960.92 2aaab0000000-2aaab0022000 rw-p 2b3c152b4000 00:00 0
31657.86/3960.92 2aaab0054000-2aaab1135000 rw-p 2aaab0054000 00:00 0
31657.86/3960.92 2aaab1352000-2aaab3bd4000 rw-p 2aaab1352000 00:00 0
31657.86/3960.92 2aaab5b77000-2aaab79ea000 rw-p 2aaab5b77000 00:00 0
31657.86/3960.92 2aaab7ecf000-2aaab8ef0000 rw-p 2aaab7ecf000 00:00 0
31657.86/3960.92 2aaaba6f0000-2aaabb5c9000 rw-p 2aaaba6f0000 00:00 0
31657.86/3960.92 2aaabd9b9000-2aaabeaa5000 rw-p 2aaabd9b9000 00:00 0
31657.86/3960.92 2aaabec4f000-2aaac0c91000 rw-p 2aaabec4f000 00:00 0
31657.86/3960.92 2aaac11f2000-2aaac342e000 rw-p 2aaac11f2000 00:00 0
31657.86/3960.92 2aaac3c3f000-2aaac5e03000 rw-p 2aaac3c3f000 00:00 0
31657.86/3960.92 2aaac5ef9000-2aaac7335000 rw-p 2aaac5ef9000 00:00 0
31657.86/3960.92 2aaac770d000-2aaac89be000 rw-p 2aaac770d000 00:00 0
31657.86/3960.92 2aaac919d000-2aaacc11d000 rw-p 2aaac919d000 00:00 0
31657.86/3960.92 2aaacc91e000-2aaacd93f000 rw-p 2aaacc91e000 00:00 0
31657.86/3960.92 2aaace34d000-2aaacf6fe000 rw-p 2aaace34d000 00:00 0
31657.86/3960.92 2aaad06ff000-2aaad1ea0000 rw-p 2aaad06ff000 00:00 0
31657.86/3960.92 2aaad30c7000-2aaad4634000 rw-p 2aaad30c7000 00:00 0
31657.86/3960.92 2aaad6da1000-2aaad7e3c000 rw-p 2aaad6da1000 00:00 0
31657.86/3960.92 2aaad812a000-2aaad914b000 rw-p 2aaad812a000 00:00 0
31657.86/3960.92 2aaad919b000-2aaada423000 rw-p 2aaad919b000 00:00 0
31657.86/3960.92 2aaade40d000-2aaadfa88000 rw-p 2aaade40d000 00:00 0
31657.86/3960.92 2aaae1439000-2aaae2af2000 rw-p 2aaae1439000 00:00 0
31657.86/3960.92 2aaae4973000-2aaaec738000 rw-p 2aaae4973000 00:00 0
31657.86/3960.92 2aaaed51f000-2aaaef38e000 rw-p 2aaaed51f000 00:00 0
31657.86/3960.92 2aaaf1aa2000-2aaaf36a6000 rw-p 2aaaf1aa2000 00:00 0
31657.86/3960.92 2aaaf5990000-2aaaf74d4000 rw-p 2aaaf5990000 00:00 0
31657.86/3960.92 2aaaf74d4000-2aaafc225000 rw-p 2aab9152e000 00:00 0
31657.86/3960.92 2aaafc225000-2aab0072e000 rw-p 2aabdb7f5000 00:00 0
31657.86/3960.92 2aab009cb000-2aab0425d000 rw-p 2aab009cb000 00:00 0
31657.86/3960.92 2aab0425d000-2aab08c4e000 rw-p 2aadb606b000 00:00 0
31657.86/3960.92 2aab08c4e000-2aab08c64000 r-xp 00000000 00:16 132580433 /home/evaluation/evaluation/tools64/lib64/libgcc_s.so.1
31657.86/3960.92 2aab08c64000-2aab08e63000 ---p 00016000 00:16 132580433 /home/evaluation/evaluation/tools64/lib64/libgcc_s.so.1
31657.86/3960.92 2aab08e63000-2aab08e64000 rw-p 00015000 00:16 132580433 /home/evaluation/evaluation/tools64/lib64/libgcc_s.so.1
31657.86/3960.92 2aab0cced000-2aab0e0fe000 rw-p 2aab0cced000 00:00 0
31657.86/3960.92 2aab10de8000-2aab16582000 rw-p 2aab24aa2000 00:00 0
31657.86/3960.92 2aab171ac000-2aab1886c000 rw-p 2aab171ac000 00:00 0
31657.86/3960.92 2aab1886c000-2aab209f1000 rw-p 2aab8ca09000 00:00 0
31657.86/3960.92 2aab2119e000-2aab22b79000 rw-p 2aab2119e000 00:00 0
31657.86/3960.92 2aab274c8000-2aab291b9000 rw-p 2aab274c8000 00:00 0
31657.86/3960.92 2aab291b9000-2aab2f200000 rw-p 2aacb174d000 00:00 0
31657.86/3960.92 2aab32f75000-2aab36022000 rw-p 2aaae71f0000 00:00 0
31657.86/3960.92 2aab36022000-2aab3e023000 rw-p 2b3c15870000 00:00 0
31657.86/3960.92 2aab412ad000-2aab44157000 rw-p 2aaba23f6000 00:00 0
31657.86/3960.92 2aab479b4000-2aab49bad000 rw-p 2aabedc89000 00:00 0
31657.86/3960.92 2aab4ce0c000-2aab501ca000 rw-p 2aac7ea15000 00:00 0
31657.86/3960.92 2aab53a19000-2aab57c2c000 rw-p 2aabce331000 00:00 0
31657.86/3960.92 2aab611ec000-2aab65835000 rw-p 2aab0a40f000 00:00 0
31657.86/3960.92 2aab685a6000-2aab68c0f000 rw-p 2aab93fc8000 00:00 0
31657.86/3960.92 2aab75448000-2aab88cf3000 rw-p 2aab7e4b6000 00:00 0
31657.86/3960.92 2aab897d1000-2aab90e1d000 rw-p 2aac9172f000 00:00 0
31657.86/3960.92 2aab95bdf000-2aaba0251000 rw-p 2aaba02e6000 00:00 0
31657.86/3960.92 2aaba5a07000-2aabaf1cc000 rw-p 2aab30415000 00:00 0
31657.86/3960.92 2aabb6abe000-2aabc016d000 rw-p 2aab91ebd000 00:00 0
31657.86/3960.92 2aabc8569000-2aabc8ac8000 rw-p 2aab8d143000 00:00 0
31657.86/3960.92 2aabd400f000-2aabd96ef000 rw-p 2aac4a310000 00:00 0
31657.86/3960.92 2aabdda7a000-2aabe3786000 rw-p 2aaae8a4b000 00:00 0
31657.86/3960.92 2aabf2054000-2aabf83cd000 rw-p 2aac8ac14000 00:00 0
31657.86/3960.92 2aabf83cd000-2aabfc2e0000 rw-p 2aab98ac3000 00:00 0
31657.86/3960.92 2aabfd95b000-2aac05d27000 rw-p 2aabefe71000 00:00 0
31657.86/3960.92 2aac05d27000-2aac0cab7000 rw-p 2aabdf153000 00:00 0
31657.86/3960.92 2aac0eee1000-2aac1cd6d000 rw-p 2aaaef38e000 00:00 0
31657.86/3960.92 2aac1cd6d000-2aac2099a000 rw-p 2aac79b3c000 00:00 0
31657.86/3960.92 2aac21acb000-2aac25215000 rw-p 2aabc4569000 00:00 0
31657.86/3960.92 2aac31488000-2aac31a29000 rw-p 2aab59575000 00:00 0
31657.86/3960.92 2aac3cdea000-2aac43e0c000 rw-p 2aab5e330000 00:00 0
31657.86/3960.92 2aac4ec29000-2aac5ec2a000 rw-p 2b3c1525a000 00:00 0
31657.86/3960.92 2aac6e896000-2aac7709f000 rw-p 2aab91020000 00:00 0
31657.86/3960.92 2aac7d3f6000-2aac84c0c000 rw-p 2aadb806c000 00:00 0
31657.86/3960.92 2aac8ed3e000-2aac97a18000 rw-p 2aab0e0fe000 00:00 0
31657.86/3960.92 2aac9ce13000-2aaca8197000 rw-p 2aab7cdd2000 00:00 0
31657.86/3960.92 2aacb2599000-2aacc259a000 rw-p 2b3c15239000 00:00 0
31657.86/3960.92 2aacc395a000-2aacd40ec000 rw-p 2aaaea21d000 00:00 0
31657.86/3960.92 2aacd40ec000-2aacdffca000 rw-p 2aab8bfd3000 00:00 0
31657.86/3960.92 2aacdffca000-2aace6ffb000 rw-p 2aac1e205000 00:00 0
31657.86/3960.92 2aaced6e1000-2aacf4acc000 rw-p 2aaaef38e000 00:00 0
31657.86/3960.92 2aacf4acc000-2aacfb53f000 rw-p 2aabc0568000 00:00 0
31657.86/3960.92 2aad07722000-2aad0e108000 rw-p 2aab64ad2000 00:00 0
31657.86/3960.92 2aad104e0000-2aad1598a000 rw-p 2aac8c24f000 00:00 0
31657.86/3960.92 2aad1598a000-2aad1ee42000 rw-p 2aac1ae24000 00:00 0
31657.86/3960.92 2aad24ad8000-2aad330ca000 rw-p 2aaba9252000 00:00 0
31657.86/3960.92 2aad339bc000-2aad3bcba000 rw-p 2aaba5251000 00:00 0
31657.86/3960.92 2aad4a796000-2aad53769000 rw-p 2aab70338000 00:00 0
31657.86/3960.92 2aad53769000-2aad6376a000 rw-p 2b3c15218000 00:00 0
31657.86/3960.92 2aad6b14f000-2aad70647000 rw-p 2aab91325000 00:00 0
31657.86/3960.92 2aad7a2f2000-2aad86b50000 rw-p 2aabb43e6000 00:00 0
31657.86/3960.92 2aad8b945000-2aad97a36000 rw-p 2aab48c67000 00:00 0
31657.86/3960.92 2aad988d7000-2aada11f6000 rw-p 2aab1886c000 00:00 0
31657.86/3960.92 2aada606a000-2aadae06b000 rw-p 2b3c15891000 00:00 0
31657.86/3960.92 2aadba06d000-2aadc0d0f000 rw-p 2aab0425d000 00:00 0
31657.86/3960.92 2aadc0d0f000-2aadd15c2000 rw-p 2aabe8001000 00:00 0
31657.86/3960.92 2aaddf24e000-2aade6555000 rw-p 2aaab6385000 00:00 0
31657.86/3960.92 2aadf36f9000-2aae03edd000 rw-p 2aab4bd57000 00:00 0
31657.86/3960.92 2aae0ad3f000-2aae0fa26000 rw-p 2aab9b0de000 00:00 0
31657.86/3960.92 2aae1485d000-2aae20e3e000 rw-p 2aab1216c000 00:00 0
31657.86/3960.92 2aae20e3e000-2aae30b6f000 rw-p 2aaba4437000 00:00 0
31657.86/3960.92 2aae30f79000-2aae40f7a000 rw-p 2b3c151f7000 00:00 0
31657.86/3960.92 2aae4d026000-2aae5842d000 rw-p 2aab4eff9000 00:00 0
31657.86/3960.92 2aae639b8000-2aae70981000 rw-p 2aaaf34f0000 00:00 0
31657.86/3960.92 2aae811a6000-2aae920dc000 rw-p 2aab1416d000 00:00 0
31657.86/3960.92 2aae94ec5000-2aaeac36c000 rw-p 2aaaf5b76000 00:00 0
31657.86/3960.92 2aaead9d8000-2aaecd9d9000 rw-p 2aab14d19000 00:00 0
31657.86/3960.92 2aaecffea000-2aaee8525000 rw-p 2aab1cc25000 00:00 0
31657.86/3960.92 2aaee8525000-2aaef3bb7000 rw-p 2aabe1330000 00:00 0
31657.86/3960.92 2aaef3bb7000-2aaeff6ae000 rw-p 2aaef3bb7000 00:00 0
31657.86/3960.92 2aaf007f8000-2aaf107f9000 rw-p 2b3c159d6000 00:00 0
31657.86/3960.92 2aaf15ab4000-2aaf21427000 rw-p 2aab1ec61000 00:00 0
31657.86/3960.92 2aaf36ac1000-2aaf3ccbe000 rw-p 2aab341a2000 00:00 0
31657.86/3960.92 2aaf3ccbe000-2aaf4b9ff000 rw-p 2aab42938000 00:00 0
31657.86/3960.92 2aaf4fcc5000-2aaf6fd84000 rw-p 2aab04f1e000 00:00 0
31657.86/3960.92 2aaf891f4000-2aafa05bd000 rw-p 2aab54717000 00:00 0
31657.86/3960.92 2aafa05bd000-2aafac24e000 rw-p 2aaafc95a000 00:00 0
31657.86/3960.92 2aafaf1be000-2aafca629000 rw-p 2aab2be45000 00:00 0
31657.86/3960.92 2aafcb384000-2aafd2a86000 rw-p 2aafcb384000 00:00 0
31657.86/3960.92 2aafd3385000-2aafdc5e1000 rw-p 2aaba98bb000 00:00 0
31657.86/3960.92 2aafdc986000-2aaff7070000 rw-p 2aab8f7c3000 00:00 0
31657.86/3960.92 2aaff954f000-2aaffa04c000 rw-p 2aabb50e7000 00:00 0
31657.86/3960.92 2ab0091de000-2ab02049b000 rw-p 2aab48f4f000 00:00 0
31657.86/3960.92 2ab0312e5000-2ab0445eb000 rw-p 2aab24ce6000 00:00 0
31657.86/3960.92 2ab044f2f000-2ab057901000 rw-p 2aab8157d000 00:00 0
31657.86/3960.92 2ab058252000-2ab0732ac000 rw-p 2aaab2dbf000 00:00 0
31657.86/3960.92 2ab074095000-2ab083f23000 rw-p 2aab8d34d000 00:00 0
31657.86/3960.92 2ab09b7c8000-2ab0b1b00000 rw-p 2aab605bc000 00:00 0
31657.86/3960.92 2ab0c48c9000-2ab0e3907000 rw-p 2aab609c8000 00:00 0
31657.86/3960.92 2ab0e3907000-2ab10559a000 rw-p 2aabdd6f1000 00:00 0
31657.86/3960.92 2b3c14dbd000-2b3c14dbe000 rw-p 2b3c14dbd000 00:00 0
31657.86/3960.92 2b3c14dcb000-2b3c14ee8000 rw-p 2b3c14dcb000 00:00 0
31657.86/3960.92 2b3c14ee8000-2b3c14f69000 rw-p 2b3c1529e000 00:00 0
31657.86/3960.92 2b3c1506b000-2b3c150b8000 rw-p 2b3c151af000 00:00 0
31657.86/3960.92 2b3c150ec000-2b3c1513f000 rw-p 2b3c15272000 00:00 0
31657.86/3960.92 2b3c1516d000-2b3c1518f000 rw-p 2b3c15293000 00:00 0
31657.86/3960.92 2b3c151ee000-2b3c15216000 rw-p 2b3c15272000 00:00 0
31657.86/3960.92 2b3c152f5000-2b3c15340000 rw-p 2b3c152f5000 00:00 0
31657.86/3960.92 2b3c153fc000-2b3c1547d000 rw-p 2b3c152bf000 00:00 0
31657.86/3960.92 2b3c1551f000-2b3c15532000 rw-p 2b3c156e8000 00:00 0
31657.86/3960.92 2b3c155a0000-2b3c155dd000 rw-p 2b3c15729000 00:00 0
31657.86/3960.92 2b3c15621000-2b3c15634000 rw-p 2b3c157ee000 00:00 0
31657.86/3960.92 2b3c156a2000-2b3c156b5000 rw-p 2b3c1580f000 00:00 0
31657.86/3960.92 2b3c15723000-2b3c15736000 rw-p 2b3c15723000 00:00 0
31657.86/3960.92 2b3c157ec000-2b3c15809000 rw-p 2b3c157ec000 00:00 0
31657.86/3960.92 2b3c15972000-2b3c15b73000 rw-p 2b3c15426000 00:00 0
31657.86/3960.92 2b3c15bb5000-2b3c15c36000 rw-p 2b3c14fce000 00:00 0
31657.86/3960.92 2b3c15c36000-2b3c15cb7000 rw-p 2b3c15cdd000 00:00 0
31657.86/3960.92 2b3c15cb7000-2b3c15d38000 rw-p 2b3c15301000 00:00 0
31657.86/3960.92 2b3c1613a000-2b3c1614d000 rw-p 2b3c157cd000 00:00 0
31657.86/3960.92 2b3c1632a000-2b3c163ab000 rw-p 2b3c1527d000 00:00 0
31657.86/3960.92 2b3c163ab000-2b3c1642c000 rw-p 2b3c152e0000 00:00 0
31657.86/3960.92 2b3c1662d000-2b3c1682e000 rw-p 2b3c14fef000 00:00 0
31657.86/3960.92 2b3c1682e000-2b3c16a2f000 rw-p 2b3c15030000 00:00 0
31657.86/3960.92 2b3c16eb1000-2b3c16ed3000 rw-p 2b3c1512d000 00:00 0
31657.86/3960.92 2b3c17c9d000-2b3c17cb0000 rw-p 2b3c157ac000 00:00 0
31657.86/3960.92 2b3c18b83000-2b3c18d84000 rw-p 2b3c14ff0000 00:00 0
31657.86/3960.92 2b3c18d84000-2b3c18f85000 rw-p 2b3c15011000 00:00 0
31657.86/3960.92 2b3c18f85000-2b3c19186000 rw-p 2b3c15032000 00:00 0
31657.86/3960.92 2b3c19186000-2b3c19387000 rw-p 2b3c15053000 00:00 0
31657.86/3960.92 2b3c19387000-2b3c19588000 rw-p 2b3c15074000 00:00 0
31657.86/3960.92 2b3c1c394000-2b3c24395000 rw-p 2b3c15238000 00:00 0
31657.86/3960.92 7fff20cb4000-7fff20cc9000 rw-p 7ffffffea000 00:00 0 [stack]
31657.86/3960.92 ffffffffff600000-ffffffffffe00000 ---p 00000000 00:00 0 [vdso]
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3309576-1304006689/watcher-3309576-1304006689 -o /tmp/evaluation-result-3309576-1304006689/solver-3309576-1304006689 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309576-1304006689.cnf
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.81 1.96 1.99 2/174 25502
/proc/meminfo: memFree=17067588/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=10936 CPUtime=0 cores=0-7
/proc/25502/stat : 25502 (plingeling) R 25500 25502 25476 0 -1 4202496 784 1252 0 0 0 0 0 0 21 0 1 0 512266804 11198464 713 33554432000 4194304 4417332 140733743659392 18446744073709551615 271550198817 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/25502/statm: 2734 723 143 55 0 620 0
[startup+0.066087 s]
/proc/loadavg: 1.81 1.96 1.99 2/174 25502
/proc/meminfo: memFree=17067588/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=21948 CPUtime=0.05 cores=0-7
/proc/25502/stat : 25502 (plingeling) R 25500 25502 25476 0 -1 4202496 3570 1252 0 0 5 0 0 0 21 0 1 0 512266804 22474752 3499 33554432000 4194304 4417332 140733743659392 18446744073709551615 271550231533 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/25502/statm: 5520 3526 148 55 0 3406 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 21948
[startup+0.10108 s]
/proc/loadavg: 1.81 1.96 1.99 2/174 25502
/proc/meminfo: memFree=17067588/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=26968 CPUtime=0.09 cores=0-7
/proc/25502/stat : 25502 (plingeling) R 25500 25502 25476 0 -1 4202496 4836 1252 0 0 8 1 0 0 21 0 1 0 512266804 27615232 4765 33554432000 4194304 4417332 140733743659392 18446744073709551615 4231483 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/25502/statm: 6742 4765 148 55 0 4628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26968
[startup+0.301043 s]
/proc/loadavg: 1.81 1.96 1.99 2/174 25502
/proc/meminfo: memFree=17067588/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=62496 CPUtime=0.29 cores=0-7
/proc/25502/stat : 25502 (plingeling) R 25500 25502 25476 0 -1 4202496 13718 1252 0 0 27 2 0 0 22 0 1 0 512266804 63995904 13647 33554432000 4194304 4417332 140733743659392 18446744073709551615 4322137 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/25502/statm: 15624 13647 148 55 0 13510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 62496
[startup+0.70097 s]
/proc/loadavg: 1.81 1.96 1.99 2/174 25502
/proc/meminfo: memFree=17067588/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=128128 CPUtime=0.68 cores=0-7
/proc/25502/stat : 25502 (plingeling) R 25500 25502 25476 0 -1 4202496 30142 1252 0 0 65 3 0 0 23 0 1 0 512266804 131203072 30055 33554432000 4194304 4417332 140733743659392 18446744073709551615 271550537472 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/25502/statm: 32032 30055 148 55 0 29918 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 128128
[startup+1.50079 s]
/proc/loadavg: 1.81 1.96 1.99 9/183 25516
/proc/meminfo: memFree=16948368/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=267248 CPUtime=6.66 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 61316 1252 0 0 657 9 0 0 18 0 9 0 512266804 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 66812 30718 175 55 0 64698 0
[pid=25502/tid=25509] ppid=25500 vsize=267248 CPUtime=0.73 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 4125 1252 0 0 73 0 0 0 25 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4287986 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=267248 CPUtime=0.73 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 2766 1252 0 0 73 0 0 0 25 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4285110 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=267248 CPUtime=0.73 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 2713 1252 0 0 73 0 0 0 19 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4287616 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=267248 CPUtime=0.74 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 1333 1252 0 0 74 0 0 0 18 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4250476 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=267248 CPUtime=0.73 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 7113 1252 0 0 73 0 0 0 18 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4286960 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=267248 CPUtime=0.72 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 5921 1252 0 0 72 0 0 0 18 0 9 0 512266879 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4286440 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=267248 CPUtime=0.73 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 2343 1252 0 0 73 0 0 0 21 0 9 0 512266880 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4284484 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=267248 CPUtime=0.72 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 4844 1252 0 0 72 0 0 0 21 0 9 0 512266880 273661952 30718 33554432000 4194304 4417332 140733743659392 18446744073709551615 4286467 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 267248
[startup+3.1005 s]
/proc/loadavg: 1.81 1.96 1.99 9/183 25516
/proc/meminfo: memFree=16956428/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=268180 CPUtime=19.45 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 81918 1252 0 0 1933 12 0 0 18 0 9 0 512266804 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 67045 33530 181 55 0 64931 0
[pid=25502/tid=25509] ppid=25500 vsize=268180 CPUtime=2.33 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 8296 1252 0 0 232 1 0 0 25 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4253152 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=268180 CPUtime=2.33 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 3795 1252 0 0 233 0 0 0 25 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4271725 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=268180 CPUtime=2.34 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 9151 1252 0 0 232 2 0 0 21 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4343680 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=268180 CPUtime=2.34 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 1333 1252 0 0 234 0 0 0 21 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4236772 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=268180 CPUtime=2.33 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 9386 1252 0 0 232 1 0 0 21 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4253198 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=268180 CPUtime=2.31 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 8452 1252 0 0 230 1 0 0 21 0 9 0 512266879 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4272201 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=268180 CPUtime=2.33 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 4093 1252 0 0 233 0 0 0 25 0 9 0 512266880 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4269682 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=268180 CPUtime=2.32 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 7254 1252 0 0 231 1 0 0 25 0 9 0 512266880 274616320 33530 33554432000 4194304 4417332 140733743659392 18446744073709551615 4253360 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 19.45
Current children cumulated vsize (KiB) 268180
[startup+6.30092 s]
/proc/loadavg: 2.31 2.06 2.02 9/183 25516
/proc/meminfo: memFree=16929280/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=285220 CPUtime=45.04 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 86805 1252 0 0 4490 14 0 0 18 0 9 0 512266804 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 71305 37926 181 55 0 69191 0
[pid=25502/tid=25509] ppid=25500 vsize=285220 CPUtime=5.54 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 8473 1252 0 0 553 1 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=285220 CPUtime=5.53 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 4206 1252 0 0 552 1 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4357994 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=285220 CPUtime=5.54 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 9600 1252 0 0 552 2 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364742 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=285220 CPUtime=5.54 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 3192 1252 0 0 554 0 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4357145 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=285220 CPUtime=5.53 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 10958 1252 0 0 552 1 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=285220 CPUtime=5.5 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 8454 1252 0 0 549 1 0 0 25 0 9 0 512266879 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4237157 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=285220 CPUtime=5.53 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 4093 1252 0 0 553 0 0 0 25 0 9 0 512266880 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4356864 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=285220 CPUtime=5.52 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 7671 1252 0 0 551 1 0 0 25 0 9 0 512266880 292065280 37926 33554432000 4194304 4417332 140733743659392 18446744073709551615 4250755 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 45.04
Current children cumulated vsize (KiB) 285220
[startup+12.7008 s]
/proc/loadavg: 2.76 2.16 2.05 9/183 25516
/proc/meminfo: memFree=16813696/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=365804 CPUtime=96.19 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 126411 1252 0 0 9600 19 0 0 18 0 9 0 512266804 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 91451 61930 181 55 0 89337 0
[pid=25502/tid=25509] ppid=25500 vsize=365804 CPUtime=11.94 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 14697 1252 0 0 1192 2 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364560 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=365804 CPUtime=11.93 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 4600 1252 0 0 1192 1 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4354410 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=365804 CPUtime=11.94 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 13069 1252 0 0 1192 2 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4288259 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=365804 CPUtime=11.94 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 12956 1252 0 0 1192 2 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=365804 CPUtime=11.93 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 15867 1252 0 0 1191 2 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4365977 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=365804 CPUtime=11.86 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 11620 1252 0 0 1185 1 0 0 25 0 9 0 512266879 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364479 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=365804 CPUtime=11.93 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 10243 1252 0 0 1192 1 0 0 25 0 9 0 512266880 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4284943 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=365804 CPUtime=11.92 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 13201 1252 0 0 1191 1 0 0 25 0 9 0 512266880 374583296 61930 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364502 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 96.19
Current children cumulated vsize (KiB) 365804
[startup+25.5004 s]
/proc/loadavg: 3.92 2.45 2.14 9/183 25517
/proc/meminfo: memFree=16696232/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=529200 CPUtime=198.5 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 204950 1252 0 0 19819 31 0 0 18 0 9 0 512266804 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 132300 96852 181 55 0 130186 0
[pid=25502/tid=25509] ppid=25500 vsize=529200 CPUtime=24.74 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 30650 1252 0 0 2470 4 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4357851 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=529200 CPUtime=24.72 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 4624 1252 0 0 2471 1 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=529200 CPUtime=24.74 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 27386 1252 0 0 2470 4 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4236823 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=529200 CPUtime=24.74 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 28338 1252 0 0 2470 4 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4250715 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=529200 CPUtime=24.73 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 23442 1252 0 0 2470 3 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4241601 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=529200 CPUtime=24.59 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 18557 1252 0 0 2456 3 0 0 25 0 9 0 512266879 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4321688 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=529200 CPUtime=24.72 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 19667 1252 0 0 2470 2 0 0 25 0 9 0 512266880 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4237011 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=529200 CPUtime=24.72 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 22128 1252 0 0 2469 3 0 0 25 0 9 0 512266880 541900800 96852 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364470 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 198.5
Current children cumulated vsize (KiB) 529200
[startup+51.1008 s]
/proc/loadavg: 5.39 2.91 2.30 9/183 25517
/proc/meminfo: memFree=16531716/32951124 swapFree=67111528/67111528
[pid=25502] ppid=25500 vsize=641908 CPUtime=403.14 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 385878 1252 0 0 40254 60 0 0 18 0 9 0 512266804 657313792 134845 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 160477 134845 181 55 0 158363 0
[pid=25502/tid=25509] ppid=25500 vsize=641908 CPUtime=50.33 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 37918 1252 0 0 5028 5 0 0 25 0 9 0 512266879 657313792 134845 33554432000 4194304 4417332 140733743659392 18446744073709551615 4356771 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=641908 CPUtime=50.32 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 18440 1252 0 0 5029 3 0 0 25 0 9 0 512266879 657313792 134845 33554432000 4194304 4417332 140733743659392 18446744073709551615 4232651 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=641908 CPUtime=50.33 cores=0-7
################
# More data... #
################
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 22360747 1252 0 0 3002309 4716 0 0 18 0 9 0 512266804 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 4767241 4740042 181 55 0 4765127 0
[pid=25502/tid=25509] ppid=25500 vsize=19068964 CPUtime=3761.04 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 2382298 1252 0 0 375650 454 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=19068964 CPUtime=3760.63 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 1862600 1252 0 0 375651 412 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4236649 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=19068964 CPUtime=3761.25 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 3949684 1252 0 0 375256 869 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4311388 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=19068964 CPUtime=3761.24 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 4158562 1252 0 0 375246 878 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=19068964 CPUtime=3761.03 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 1912124 1252 0 0 375665 438 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=19068964 CPUtime=3741.35 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 2935076 1252 0 0 373505 630 0 0 25 0 9 0 512266879 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=19068964 CPUtime=3761.39 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 2312636 1252 0 0 375653 486 0 0 25 0 9 0 512266880 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=19068964 CPUtime=3761.5 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 2817609 1252 0 0 375609 541 0 0 25 0 9 0 512266880 19526619136 4740042 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 30070.2
Current children cumulated vsize (KiB) 19068964
[startup+3822.3 s]
/proc/loadavg: 8.10 8.19 8.02 9/183 25630
/proc/meminfo: memFree=2099600/32951124 swapFree=67111524/67111528
[pid=25502] ppid=25500 vsize=18483112 CPUtime=30549.9 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 22406598 1252 0 0 3050261 4733 0 0 18 0 9 0 512266804 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 4620778 4593579 181 55 0 4618664 0
[pid=25502/tid=25509] ppid=25500 vsize=18483112 CPUtime=3821.04 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 2382298 1252 0 0 381650 454 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364796 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=18483112 CPUtime=3820.63 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 1862600 1252 0 0 381651 412 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=18483112 CPUtime=3821.24 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 3949684 1252 0 0 381255 869 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4310641 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=18483112 CPUtime=3821.24 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 4158562 1252 0 0 381246 878 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=18483112 CPUtime=3821.03 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 1912124 1252 0 0 381665 438 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=18483112 CPUtime=3801.02 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 2935076 1252 0 0 379472 630 0 0 25 0 9 0 512266879 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4353540 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=18483112 CPUtime=3821.39 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 2358487 1252 0 0 381636 503 0 0 25 0 9 0 512266880 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4312144 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=18483112 CPUtime=3821.51 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 2817609 1252 0 0 381610 541 0 0 25 0 9 0 512266880 18926706688 4593579 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 30549.9
Current children cumulated vsize (KiB) 18483112
[startup+3882.3 s]
/proc/loadavg: 8.19 8.19 8.03 9/183 25632
/proc/meminfo: memFree=92136/32951124 swapFree=67111524/67111528
[pid=25502] ppid=25500 vsize=21071912 CPUtime=31029.5 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 23146956 1252 0 0 3098069 4883 0 0 18 0 9 0 512266804 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 5267978 5240779 181 55 0 5265864 0
[pid=25502/tid=25509] ppid=25500 vsize=21071912 CPUtime=3881.04 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 2382298 1252 0 0 387650 454 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=21071912 CPUtime=3880.63 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 1862600 1252 0 0 387651 412 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364732 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=21071912 CPUtime=3881.24 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 4328708 1252 0 0 387210 914 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=21071912 CPUtime=3881.2 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 4259042 1252 0 0 387213 907 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=21071912 CPUtime=3880.99 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 1912124 1252 0 0 387661 438 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364465 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=21071912 CPUtime=3860.7 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 2935092 1252 0 0 385440 630 0 0 25 0 9 0 512266879 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=21071912 CPUtime=3881.39 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 2619325 1252 0 0 387560 579 0 0 25 0 9 0 512266880 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 271550595498 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=21071912 CPUtime=3881.51 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 2817609 1252 0 0 387610 541 0 0 25 0 9 0 512266880 21577637888 5240779 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364899 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31029.5
Current children cumulated vsize (KiB) 21071912
[startup+3942.3 s]
/proc/loadavg: 8.07 8.16 8.03 9/183 25633
/proc/meminfo: memFree=2080432/32951124 swapFree=67111524/67111528
[pid=25502] ppid=25500 vsize=19447220 CPUtime=31509.2 cores=0-7
/proc/25502/stat : 25502 (plingeling) S 25500 25502 25476 0 -1 4202496 23264192 1252 0 0 3146000 4920 0 0 18 0 9 0 512266804 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 17442 18446744073709551615 0 0 17 0 0 0 0
/proc/25502/statm: 4861805 4834606 181 55 0 4859691 0
[pid=25502/tid=25509] ppid=25500 vsize=19447220 CPUtime=3941.05 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) R 25500 25502 25476 0 -1 4202560 2382298 1252 0 0 393651 454 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=19447220 CPUtime=3940.64 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) R 25500 25502 25476 0 -1 4202560 1862600 1252 0 0 393652 412 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4357111 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=19447220 CPUtime=3941.24 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) R 25500 25502 25476 0 -1 4202560 4361476 1252 0 0 393200 924 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4250967 0 0 4096 17442 0 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=19447220 CPUtime=3941.19 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) R 25500 25502 25476 0 -1 4202560 4259042 1252 0 0 393212 907 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4357108 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=25502/tid=25513] ppid=25500 vsize=19447220 CPUtime=3940.97 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) R 25500 25502 25476 0 -1 4202560 1912124 1252 0 0 393657 440 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 17442 0 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=19447220 CPUtime=3920.38 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4202560 2935092 1252 0 0 391404 634 0 0 25 0 9 0 512266879 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4308208 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=19447220 CPUtime=3941.4 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) R 25500 25502 25476 0 -1 4202560 2675927 1252 0 0 393548 592 0 0 25 0 9 0 512266880 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4365003 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=19447220 CPUtime=3941.51 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) R 25500 25502 25476 0 -1 4202560 2845475 1252 0 0 393602 549 0 0 25 0 9 0 512266880 19913953280 4834606 33554432000 4194304 4417332 140733743659392 18446744073709551615 4236986 0 0 4096 17442 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31509.2
Current children cumulated vsize (KiB) 19447220
[startup+4002.3 s]
/proc/loadavg: 9.93 8.61 8.18 1/183 25635
/proc/meminfo: memFree=95752/32951124 swapFree=67111460/67111528
[pid=25502] ppid=25500 vsize=18865100 CPUtime=31672.4 cores=0-7
/proc/25502/stat : 25502 (plingeling) D 25500 25502 25476 0 -1 4203524 23403224 1252 0 0 3160850 6390 0 0 18 0 9 0 512266804 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25502/statm: 4716275 4688576 213 55 0 4713627 0
[pid=25502/tid=25509] ppid=25500 vsize=18865100 CPUtime=3959.67 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) D 25500 25502 25476 0 -1 4203588 2382298 1252 0 0 395513 454 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364470 0 0 4096 0 18446744071562337734 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=18865100 CPUtime=3959.26 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) D 25500 25502 25476 0 -1 4203588 1862600 1252 0 0 395514 412 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=18865100 CPUtime=3959.85 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) D 25500 25502 25476 0 -1 4203588 4361476 1252 0 0 395061 924 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364822 0 0 4096 0 18446744071562337734 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=18865100 CPUtime=3974.16 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) D 25500 25502 25476 0 -1 4204096 4376132 1252 0 0 395044 2372 0 0 18 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 271549923941 0 0 4096 0 18446744071562154983 0 0 -1 4 0 0 2585
[pid=25502/tid=25513] ppid=25500 vsize=18865100 CPUtime=3959.59 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) D 25500 25502 25476 0 -1 4203588 1912124 1252 0 0 395519 440 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=18865100 CPUtime=3938.9 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) D 25500 25502 25476 0 -1 4203588 2935092 1252 0 0 393256 634 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4311285 0 0 4096 0 18446744071562337734 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=18865100 CPUtime=3960.01 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) D 25500 25502 25476 0 -1 4203588 2692311 1252 0 0 395405 596 0 0 25 0 9 0 512266880 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=18865100 CPUtime=3960.13 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) D 25500 25502 25476 0 -1 4203588 2851033 1252 0 0 395463 550 0 0 25 0 9 0 512266880 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31672.4
Current children cumulated vsize (KiB) 18865100
[startup+4062.3 s]
/proc/loadavg: 12.37 9.53 8.52 1/185 25638
/proc/meminfo: memFree=95804/32951124 swapFree=67111344/67111528
[pid=25502] ppid=25500 vsize=18865100 CPUtime=31679.8 cores=0-7
/proc/25502/stat : 25502 (plingeling) D 25500 25502 25476 0 -1 4203524 23403224 1252 0 0 3160850 7128 0 0 18 0 9 0 512266804 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 271562340325 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25502/statm: 4716275 4688576 213 55 0 4713627 0
[pid=25502/tid=25509] ppid=25500 vsize=18865100 CPUtime=3959.67 cores=0-7
/proc/25502/task/25509/stat : 25509 (plingeling) D 25500 25502 25476 0 -1 4203588 2382298 1252 0 0 395513 454 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364470 0 0 4096 0 18446744071562337734 0 0 -1 3 0 0 0
[pid=25502/tid=25510] ppid=25500 vsize=18865100 CPUtime=3959.26 cores=0-7
/proc/25502/task/25510/stat : 25510 (plingeling) D 25500 25502 25476 0 -1 4203588 1862600 1252 0 0 395514 412 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 6 0 0 0
[pid=25502/tid=25511] ppid=25500 vsize=18865100 CPUtime=3959.85 cores=0-7
/proc/25502/task/25511/stat : 25511 (plingeling) D 25500 25502 25476 0 -1 4203588 4361476 1252 0 0 395061 924 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364822 0 0 4096 0 18446744071562337734 0 0 -1 2 0 0 0
[pid=25502/tid=25512] ppid=25500 vsize=18865100 CPUtime=3981.53 cores=0-7
/proc/25502/task/25512/stat : 25512 (plingeling) D 25500 25502 25476 0 -1 4204096 4376132 1252 0 0 395044 3109 0 0 18 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 271549923941 0 0 4096 0 18446744071562154983 0 0 -1 2 0 0 7920
[pid=25502/tid=25513] ppid=25500 vsize=18865100 CPUtime=3959.59 cores=0-7
/proc/25502/task/25513/stat : 25513 (plingeling) D 25500 25502 25476 0 -1 4203588 1912124 1252 0 0 395519 440 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=18865100 CPUtime=3938.9 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) D 25500 25502 25476 0 -1 4203588 2935092 1252 0 0 393256 634 0 0 25 0 9 0 512266879 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4311285 0 0 4096 0 18446744071562337734 0 0 -1 7 0 0 0
[pid=25502/tid=25515] ppid=25500 vsize=18865100 CPUtime=3960.01 cores=0-7
/proc/25502/task/25515/stat : 25515 (plingeling) D 25500 25502 25476 0 -1 4203588 2692311 1252 0 0 395405 596 0 0 25 0 9 0 512266880 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 4 0 0 0
[pid=25502/tid=25516] ppid=25500 vsize=18865100 CPUtime=3960.13 cores=0-7
/proc/25502/task/25516/stat : 25516 (plingeling) D 25500 25502 25476 0 -1 4203588 2851033 1252 0 0 395463 550 0 0 25 0 9 0 512266880 19317862400 4688576 33554432000 4194304 4417332 140733743659392 18446744073709551615 4364642 0 0 4096 0 18446744071562337734 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 31679.8
Current children cumulated vsize (KiB) 18865100
[startup+4122.3 s]
/proc/loadavg: 14.01 10.48 8.91 2/182 25644
/proc/meminfo: memFree=8342756/32951124 swapFree=67111344/67111528
[pid=25502] ppid=25500 vsize=0 CPUtime=31687.8 cores=0-7
/proc/25502/stat : 25502 (plingeling) Z 25500 25502 25476 0 -1 4203548 23403224 1252 0 0 3160850 7926 0 0 18 0 2 0 512266804 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25502/statm: 0 0 0 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=0 CPUtime=3939.53 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4203588 2935092 1252 0 0 393256 697 0 0 18 0 2 0 512266879 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31687.8
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+4122.4 s]
/proc/loadavg: 14.01 10.48 8.91 2/182 25644
/proc/meminfo: memFree=8342756/32951124 swapFree=67111344/67111528
[pid=25502] ppid=25500 vsize=0 CPUtime=31687.9 cores=0-7
/proc/25502/stat : 25502 (plingeling) Z 25500 25502 25476 0 -1 4203548 23403224 1252 0 0 3160850 7936 0 0 18 0 2 0 512266804 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25502/statm: 0 0 0 0 0 0 0
[pid=25502/tid=25514] ppid=25500 vsize=0 CPUtime=3939.63 cores=0-7
/proc/25502/task/25514/stat : 25514 (plingeling) R 25500 25502 25476 0 -1 4203588 2935092 1252 0 0 393256 707 0 0 18 0 2 0 512266879 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 31687.9
Current children cumulated vsize (KiB) 0
Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 4122.43
CPU time (s): 31687.9
CPU user time (s): 31608.5
CPU system time (s): 79.3959
CPU usage (%): 768.671
Max. virtual memory (cumulated for all children) (KiB): 21429392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31608.5
system time used= 79.3959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23404476
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1367
involuntary context switches= 315516
runsolver used 6.599 second user time and 15.7576 second system time
The end
Begin job on node133 at 2011-04-28 18:04:49
IDJOB=3309576
IDBENCH=82390
IDSOLVER=1695
FILE ID=node133/3309576-1304006689
RUNJOBID= node133-1304006689-25490
PBS_JOBID= 13168825
Free space on /tmp= 71888 MiB
SOLVER NAME= Plingeling 587
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.025-NOTKNOWN.cnf
COMMAND LINE= plingeling -t NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309576-1304006689/watcher-3309576-1304006689 -o /tmp/evaluation-result-3309576-1304006689/solver-3309576-1304006689 -C 40000 -W 5100 -M 31000 plingeling -t 8 HOME/instance-3309576-1304006689.cnf
TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 732b9c9b0d44d6a9e75489b2f5004165
RANDOM SEED=1198733948
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 17068116 kB
Buffers: 2188936 kB
Cached: 13063868 kB
SwapCached: 0 kB
Active: 8860848 kB
Inactive: 6455544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 17068116 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 9968 kB
Writeback: 0 kB
AnonPages: 62980 kB
Mapped: 14500 kB
Slab: 501224 kB
PageTables: 4596 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 183988 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 53556 MiB
End job on node133 at 2011-04-28 19:13:32