0.00/0.00 c cpHydra_k_40 version 0.0
10.24/10.49 Exception in thread "main" java.util.InputMismatchException
10.24/10.49 at java.util.Scanner.throwFor(Unknown Source)
10.24/10.49 at java.util.Scanner.next(Unknown Source)
10.24/10.49 at java.util.Scanner.nextDouble(Unknown Source)
10.24/10.49 at parsers.Parser.parseFile(Parser.java:44)
10.24/10.49 at program_entry.Solver.main(Solver.java:24)
10.34/10.54 c Hydra crashed revereting to dumb schedule
11.70/11.92 s UNKNOWN
11.70/11.96 c mistral-prime version 1.313
16.41/16.70 Error: Solution does not verify
16.41/16.70 (b20604 = 0) = 1
16.41/16.70 b20604 = 0
16.41/16.70
1800.06/1813.42 HOME/cpHydra_k_40/hydra: line 17: 10866 Terminated ${cpHydraHome}/solver/choco $1
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069317-1215159420/watcher-1069317-1215159420 -o /tmp/evaluation-result-1069317-1215159420/solver-1069317-1215159420 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069317-1215159420.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.89 1.94 1.98 4/81 10836
/proc/meminfo: memFree=1683504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=18572 CPUtime=0
/proc/10836/stat : 10836 (runsolver) R 10834 10836 9622 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1545617108 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 252429528359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10836/statm: 4643 292 257 25 0 2626 0
[startup+0.0726369 s]
/proc/loadavg: 1.89 1.94 1.98 4/81 10836
/proc/meminfo: memFree=1683504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101637 s]
/proc/loadavg: 1.89 1.94 1.98 4/81 10836
/proc/meminfo: memFree=1683504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301658 s]
/proc/loadavg: 1.89 1.94 1.98 4/81 10836
/proc/meminfo: memFree=1683504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701699 s]
/proc/loadavg: 1.89 1.94 1.98 4/81 10836
/proc/meminfo: memFree=1683504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50178 s]
/proc/loadavg: 1.89 1.94 1.98 3/83 10840
/proc/meminfo: memFree=1671520/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
[pid=10840] ppid=10836 vsize=20032 CPUtime=1.47
/proc/10840/stat : 10840 (xsolve) R 10836 10836 9622 0 -1 4194304 4316 0 0 0 145 2 0 0 25 0 1 0 1545617109 20512768 4275 996147200 134512640 135239763 4294956176 18446744073709551615 134642623 0 0 4096 0 0 0 0 17 1 0 0
/proc/10840/statm: 5008 4275 368 177 0 3911 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25392
[startup+3.10294 s]
/proc/loadavg: 1.89 1.94 1.98 3/83 10840
/proc/meminfo: memFree=1662816/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=0
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1545617108 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 236 195 169 0 51 0
[pid=10840] ppid=10836 vsize=31648 CPUtime=3.05
/proc/10840/stat : 10840 (xsolve) R 10836 10836 9622 0 -1 4194304 7317 0 0 0 300 5 0 0 25 0 1 0 1545617109 32407552 7146 996147200 134512640 135239763 4294956176 18446744073709551615 134617960 0 0 4096 0 0 0 0 17 1 0 0
/proc/10840/statm: 7912 7146 368 177 0 6815 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 37008
[startup+6.30226 s]
/proc/loadavg: 1.90 1.94 1.98 3/91 10852
/proc/meminfo: memFree=1676064/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=4.7
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 375 22075 0 0 0 0 457 13 18 0 1 0 1545617108 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 238 196 169 0 51 0
[pid=10844] ppid=10836 vsize=197000 CPUtime=1.49
/proc/10844/stat : 10844 (java) S 10836 10836 9622 0 -1 0 5105 0 1 0 143 6 0 0 18 0 9 0 1545617586 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10844/statm: 49250 4272 1679 9 0 43832 0
[pid=10844/tid=10845] ppid=10836 vsize=197000 CPUtime=1.18
/proc/10844/task/10845/stat : 10845 (java) R 10836 10836 9622 0 -1 64 2758 0 1 0 115 3 0 0 25 0 9 0 1545617587 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4126441185 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10846] ppid=10836 vsize=197000 CPUtime=0.13
/proc/10844/task/10846/stat : 10846 (java) S 10836 10836 9622 0 -1 64 1006 0 0 0 11 2 0 0 16 0 9 0 1545617589 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10847] ppid=10836 vsize=197000 CPUtime=0
/proc/10844/task/10847/stat : 10847 (java) S 10836 10836 9622 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1545617589 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10848] ppid=10836 vsize=197000 CPUtime=0
/proc/10844/task/10848/stat : 10848 (java) S 10836 10836 9622 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1545617589 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10849] ppid=10836 vsize=197000 CPUtime=0
/proc/10844/task/10849/stat : 10849 (java) S 10836 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1545617591 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10850] ppid=10836 vsize=197000 CPUtime=0.14
/proc/10844/task/10850/stat : 10850 (java) S 10836 10836 9622 0 -1 64 617 0 0 0 14 0 0 0 16 0 9 0 1545617591 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10851] ppid=10836 vsize=197000 CPUtime=0
/proc/10844/task/10851/stat : 10851 (java) S 10836 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1545617591 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10844/tid=10852] ppid=10836 vsize=197000 CPUtime=0
/proc/10844/task/10852/stat : 10852 (java) S 10836 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1545617591 201728000 4272 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202360
[startup+12.7029 s]
/proc/loadavg: 1.90 1.94 1.98 3/84 10865
/proc/meminfo: memFree=1681432/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=11.73
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 421 51287 0 2 0 0 1130 43 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10864] ppid=10836 vsize=5356 CPUtime=0
/proc/10864/stat : 10864 (mistral) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618303 5484544 238 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10864/statm: 1339 238 198 169 0 50 0
[pid=10865] ppid=10864 vsize=14488 CPUtime=0.73
/proc/10865/stat : 10865 (xsolve) R 10864 10836 9622 0 -1 4194304 2848 0 0 0 72 1 0 0 24 0 1 0 1545618304 14835712 2813 996147200 134512640 135239763 4294956208 18446744073709551615 134617949 0 0 4096 0 0 0 0 17 1 0 0
/proc/10865/statm: 3622 2813 366 177 0 2525 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 25204
[startup+25.5022 s]
/proc/loadavg: 2.00 1.96 1.98 3/92 10875
/proc/meminfo: memFree=1485016/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=8.69
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 51859 0 1 0 843 26 0 0 18 0 9 0 1545618780 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 51263 1901 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=7.15
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 11984 0 1 0 708 7 0 0 25 0 9 0 1545618781 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4126433617 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=1.26
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 38545 0 0 0 110 16 0 0 16 0 9 0 1545618782 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.24
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 595 0 0 0 23 1 0 0 16 0 9 0 1545618784 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 51263 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 666236
[startup+51.1027 s]
/proc/loadavg: 2.00 1.96 1.98 3/92 10875
/proc/meminfo: memFree=1430488/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=34.03
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 65960 0 1 0 3369 34 0 0 18 0 9 0 1545618780 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 65341 1905 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=31.25
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12082 0 1 0 3117 8 0 0 25 0 9 0 1545618781 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4127273921 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.37
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 52472 0 0 0 214 23 0 0 16 0 9 0 1545618782 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.37
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 671 0 0 0 36 1 0 0 15 0 9 0 1545618784 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 65341 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.48
Current children cumulated vsize (KiB) 666236
[startup+102.308 s]
/proc/loadavg: 2.00 1.97 1.98 3/92 10875
/proc/meminfo: memFree=1421464/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=84.74
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 67767 0 1 0 8438 36 0 0 18 0 9 0 1545618780 671252480 67139 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 67139 1905 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=81.88
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12091 0 1 0 8178 10 0 0 25 0 9 0 1545618781 671252480 67139 996147200 134512640 134550740 4294956016 18446744073709551615 4127165656 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.46
################
# More data... #
################
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=1572.68
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 69093 0 1 0 157194 74 0 0 18 0 9 0 1545618780 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 68382 1908 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=1569.63
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12176 0 1 0 156917 46 0 0 25 0 9 0 1545618781 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4127258760 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.62
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 55494 0 0 0 237 25 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.4
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 688 0 0 0 39 1 0 0 16 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.13
Current children cumulated vsize (KiB) 666236
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 10930
/proc/meminfo: memFree=1375056/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=1632.63
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 69096 0 1 0 163186 77 0 0 18 0 9 0 1545618780 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 68382 1908 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=1629.57
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12179 0 1 0 162909 48 0 0 25 0 9 0 1545618781 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4127352115 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.62
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 55494 0 0 0 237 25 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.4
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 688 0 0 0 39 1 0 0 16 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.08
Current children cumulated vsize (KiB) 666236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 10930
/proc/meminfo: memFree=1367184/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=1692.58
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 69099 0 1 0 169180 78 0 0 18 0 9 0 1545618780 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 68382 1908 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=1689.52
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12182 0 1 0 168902 50 0 0 25 0 9 0 1545618781 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4127221564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.63
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 55494 0 0 0 238 25 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.4
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 688 0 0 0 39 1 0 0 16 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.03
Current children cumulated vsize (KiB) 666236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 10930
/proc/meminfo: memFree=1367504/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=1752.54
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 69102 0 1 0 175174 80 0 0 18 0 9 0 1545618780 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 68382 1908 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=1749.48
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12185 0 1 0 174896 52 0 0 25 0 9 0 1545618781 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4127258760 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.63
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 55494 0 0 0 238 25 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.4
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 688 0 0 0 39 1 0 0 16 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.99
Current children cumulated vsize (KiB) 666236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 10930
/proc/meminfo: memFree=1366608/2055920 swapFree=4122708/4192956
[pid=10836] ppid=10834 vsize=5360 CPUtime=16.45
/proc/10836/stat : 10836 (hydra) S 10834 10836 9622 0 -1 4194304 443 73053 0 2 0 0 1589 56 16 0 1 0 1545617108 5488640 240 996147200 4194304 4889804 548682068816 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10836/statm: 1340 240 198 169 0 51 0
[pid=10866] ppid=10836 vsize=5356 CPUtime=0
/proc/10866/stat : 10866 (choco) S 10836 10836 9622 0 -1 4194304 287 0 0 0 0 0 0 0 19 0 1 0 1545618780 5484544 237 996147200 4194304 4889804 548682068832 18446744073709551615 252429525828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10866/statm: 1339 237 197 169 0 50 0
[pid=10867] ppid=10866 vsize=655520 CPUtime=1783.61
/proc/10867/stat : 10867 (java) S 10866 10836 9622 0 -1 0 69103 0 1 0 178278 83 0 0 18 0 9 0 1545618780 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10867/statm: 163880 68382 1908 9 0 158409 0
[pid=10867/tid=10868] ppid=10866 vsize=655520 CPUtime=1780.55
/proc/10867/task/10868/stat : 10868 (java) R 10866 10836 9622 0 -1 64 12186 0 1 0 178000 55 0 0 25 0 9 0 1545618781 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4127260290 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10869] ppid=10866 vsize=655520 CPUtime=2.63
/proc/10867/task/10869/stat : 10869 (java) S 10866 10836 9622 0 -1 64 55494 0 0 0 238 25 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10867/tid=10870] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10870/stat : 10870 (java) S 10866 10836 9622 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10871] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10871/stat : 10871 (java) S 10866 10836 9622 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1545618782 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10872] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10872/stat : 10872 (java) S 10866 10836 9622 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10873] ppid=10866 vsize=655520 CPUtime=0.4
/proc/10867/task/10873/stat : 10873 (java) S 10866 10836 9622 0 -1 64 688 0 0 0 39 1 0 0 16 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10874] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10874/stat : 10874 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10867/tid=10875] ppid=10866 vsize=655520 CPUtime=0
/proc/10867/task/10875/stat : 10875 (java) S 10866 10836 9622 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1545618784 671252480 68382 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 666236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10836 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=899582
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=565913
# CPU time returned by wait4() is 16.4655
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1813.42
CPU time (s): 1800.06
CPU user time (s): 1798.67
CPU system time (s): 1.39
CPU usage (%): 99.2632
Max. virtual memory (cumulated for all children) (KiB): 673596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.8996
system time used= 0.565913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73798
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9526
involuntary context switches= 10051
runsolver used 2.35064 second user time and 5.96709 second system time
The end
Begin job on node12 at 2008-07-04 10:17:00
IDJOB=1069317
IDBENCH=55587
IDSOLVER=366
FILE ID=node12/1069317-1215159420
PBS_JOBID= 7877447
Free space on /tmp= 66536 MiB
SOLVER NAME= cpHydra k_40
BENCH NAME= CPAI08/csp/pseudoGLB/normalized-ooo-tag12-ucl.xml
COMMAND LINE= HOME/cpHydra_k_40/hydra BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1069317-1215159420/watcher-1069317-1215159420 -o /tmp/evaluation-result-1069317-1215159420/solver-1069317-1215159420 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_40/hydra HOME/instance-1069317-1215159420.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 679e3413644ecd078a202b0a33bf19eb
RANDOM SEED=1604479721
node12.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1683984 kB
Buffers: 28128 kB
Cached: 167608 kB
SwapCached: 64296 kB
Active: 250560 kB
Inactive: 63500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1683984 kB
SwapTotal: 4192956 kB
SwapFree: 4122708 kB
Dirty: 35728 kB
Writeback: 0 kB
Mapped: 134500 kB
Slab: 42756 kB
Committed_AS: 2927700 kB
PageTables: 2060 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66480 MiB
End job on node12 at 2008-07-04 10:47:14