runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4255691-1501635783/watcher-4255691-1501635783 -o /tmp/evaluation-result-4255691-1501635783/solver-4255691-1501635783 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501623099-24766 --watchdog 300 java -Xmx11000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1656523895 --timelimit 264 --memlimit 11000 --nbcore 4 HOME/instance-4255691-1501635783.xml
pid=642
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.25 1.40 1.42 3/199 646
/proc/meminfo: memFree=31575172/32770624 swapFree=0/307828
[pid=646] ppid=642 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/646/stat : 646 (runsolver) D 642 646 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11084105 24240128 105 18446744073709551615 4194304 4338465 140728477820480 140728477818120 140692022768343 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 31268864 140728477827180 140728477827654 140728477827654 140728477831114 0
/proc/646/statm: 5918 105 52 36 0 2156 0
[startup+0.100162 s]
/proc/loadavg: 1.25 1.40 1.42 3/199 646
/proc/meminfo: memFree=31575172/32770624 swapFree=0/307828
[pid=646] ppid=642 vsize=13573664 CPUtime=0.03 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 4267 0 0 0 3 0 0 0 20 0 9 0 11084105 13899431936 4365 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3393416 4365 2103 1 0 3382921 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13573664
[startup+0.201268 s]
/proc/loadavg: 1.25 1.40 1.42 3/199 646
/proc/meminfo: memFree=31575172/32770624 swapFree=0/307828
[pid=646] ppid=642 vsize=13975920 CPUtime=0.09 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 6975 0 0 0 8 1 0 0 20 0 15 0 11084105 14311342080 7677 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3493980 7677 3363 1 0 3482767 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13975920
[startup+0.300319 s]
/proc/loadavg: 1.25 1.40 1.42 3/199 646
/proc/meminfo: memFree=31575172/32770624 swapFree=0/307828
[pid=646] ppid=642 vsize=13975920 CPUtime=0.25 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 10304 0 0 0 22 3 0 0 20 0 15 0 11084105 14311342080 9978 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3493980 9978 3506 1 0 3482767 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13975920
[startup+0.700941 s]
/proc/loadavg: 1.25 1.40 1.42 3/199 646
/proc/meminfo: memFree=31575172/32770624 swapFree=0/307828
[pid=646] ppid=642 vsize=13977988 CPUtime=1.01 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 14203 0 0 0 97 4 0 0 20 0 15 0 11084105 14313459712 16972 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3494497 16972 3715 1 0 3483279 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 13977988
[startup+1.50125 s]
/proc/loadavg: 1.25 1.40 1.42 5/214 661
/proc/meminfo: memFree=31470916/32770624 swapFree=0/307824
[pid=646] ppid=642 vsize=13982084 CPUtime=3.19 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 25898 0 0 0 310 9 0 0 20 0 15 0 11084105 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 37340 3751 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=1.36 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 14102 0 0 0 130 6 0 0 20 0 15 0 11084111 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694829793352 139694437434822 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 11084113 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694302512416 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694301460080 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.63 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) R 642 646 5234 0 -1 4202560 3309 0 0 0 63 0 0 0 20 0 15 0 11084116 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694299343840 139694810683146 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.71 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) R 642 646 5234 0 -1 4202560 3609 0 0 0 71 0 0 0 20 0 15 0 11084116 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694298290160 139694803371750 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.45 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 3452 0 0 0 44 1 0 0 20 0 15 0 11084116 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 11084123 14317654016 37340 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 13982084
[startup+3.10062 s]
/proc/loadavg: 1.47 1.44 1.43 3/214 661
/proc/meminfo: memFree=31377280/32770624 swapFree=0/307824
[pid=646] ppid=642 vsize=13982084 CPUtime=5.1 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 28357 0 0 0 499 11 0 0 20 0 15 0 11084105 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 52944 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=2.95 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 14268 0 0 0 289 6 0 0 20 0 15 0 11084111 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694829792704 139694432195252 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 386 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 11084112 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 198 0 0 0 0 0 0 0 20 0 15 0 11084113 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3480 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3666 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4428 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 11084123 14317654016 52944 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 5.1
Current children cumulated vsize (KiB) 13982084
[startup+6.30063 s]
/proc/loadavg: 1.47 1.44 1.43 3/214 661
/proc/meminfo: memFree=31367984/32770624 swapFree=0/307836
[pid=646] ppid=642 vsize=13982084 CPUtime=8.33 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 30078 0 0 0 821 12 0 0 20 0 15 0 11084105 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 55016 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=6.13 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 14555 0 0 0 607 6 0 0 20 0 15 0 11084111 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694829795824 139694810130128 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 674 0 0 0 1 0 0 0 20 0 15 0 11084112 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 194 0 0 0 1 0 0 0 20 0 15 0 11084112 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 862 0 0 0 1 0 0 0 20 0 15 0 11084112 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 470 0 0 0 1 0 0 0 20 0 15 0 11084112 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 11084113 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3480 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3666 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4428 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 15 0 11084123 14317654016 55016 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 8.33
Current children cumulated vsize (KiB) 13982084
[startup+12.7007 s]
/proc/loadavg: 1.55 1.46 1.44 3/214 661
/proc/meminfo: memFree=31365256/32770624 swapFree=0/307844
[pid=646] ppid=642 vsize=13982084 CPUtime=14.79 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 30452 0 0 0 1464 15 0 0 20 0 15 0 11084105 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 55260 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=12.5 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 14689 0 0 0 1244 6 0 0 20 0 15 0 11084111 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694829796208 139694437376164 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 694 0 0 0 2 1 0 0 20 0 15 0 11084112 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 217 0 0 0 2 1 0 0 20 0 15 0 11084112 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 873 0 0 0 2 1 0 0 20 0 15 0 11084112 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 488 0 0 0 2 1 0 0 20 0 15 0 11084112 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0.01 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 438 0 0 0 1 0 0 0 20 0 15 0 11084113 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 55260 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
################
# More data... #
################
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 33621 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 92 0 0 0 0 0 0 0 20 0 15 0 11084123 14317654016 33621 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 53.25
Current children cumulated vsize (KiB) 13982084
[startup+102.301 s]
/proc/loadavg: 1.57 1.48 1.45 3/214 831
/proc/meminfo: memFree=29789516/32770624 swapFree=0/307772
[pid=646] ppid=642 vsize=13982084 CPUtime=104.62 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 37518 0 0 0 10442 20 0 0 20 0 15 0 11084105 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 34135 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=101.83 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 16711 0 0 0 10176 7 0 0 20 0 15 0 11084111 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694829796080 139694437296575 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 2085 0 0 0 10 2 0 0 20 0 15 0 11084112 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 348 0 0 0 10 1 0 0 20 0 15 0 11084112 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.11 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 1734 0 0 0 10 1 0 0 20 0 15 0 11084112 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.12 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 1827 0 0 0 11 1 0 0 20 0 15 0 11084112 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0.14 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 1632 0 0 0 12 2 0 0 20 0 15 0 11084113 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3497 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3679 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4443 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0.02 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 128 0 0 0 1 1 0 0 20 0 15 0 11084123 14317654016 34135 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 104.62
Current children cumulated vsize (KiB) 13982084
[startup+162.301 s]
/proc/loadavg: 1.71 1.54 1.47 3/214 833
/proc/meminfo: memFree=29332144/32770624 swapFree=0/307808
[pid=646] ppid=642 vsize=13982084 CPUtime=164.82 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 39024 0 0 0 16458 24 0 0 20 0 15 0 11084105 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 34653 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=161.6 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 17172 0 0 0 16153 7 0 0 20 0 15 0 11084111 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694829796208 139694437712689 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.2 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 2150 0 0 0 17 3 0 0 20 0 15 0 11084112 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.19 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 973 0 0 0 16 3 0 0 20 0 15 0 11084112 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.19 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 1802 0 0 0 17 2 0 0 20 0 15 0 11084112 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.19 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 1843 0 0 0 17 2 0 0 20 0 15 0 11084112 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0.23 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 1877 0 0 0 21 2 0 0 20 0 15 0 11084113 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3501 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3681 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4445 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0.03 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 146 0 0 0 1 2 0 0 20 0 15 0 11084123 14317654016 34653 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 164.82
Current children cumulated vsize (KiB) 13982084
[startup+222.307 s]
/proc/loadavg: 1.86 1.61 1.50 3/214 835
/proc/meminfo: memFree=28091892/32770624 swapFree=0/307832
[pid=646] ppid=642 vsize=13982084 CPUtime=225.04 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 39203 0 0 0 22479 25 0 0 20 0 15 0 11084105 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 35167 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=221.41 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 17325 0 0 0 22134 7 0 0 20 0 15 0 11084111 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694829796208 139694437298646 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.27 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 2154 0 0 0 24 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.27 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 976 0 0 0 24 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.26 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 1808 0 0 0 24 2 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.27 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 1849 0 0 0 24 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0.33 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 1884 0 0 0 30 3 0 0 20 0 15 0 11084113 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3501 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3681 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4445 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 146 0 0 0 2 3 0 0 20 0 15 0 11084123 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 225.04
Current children cumulated vsize (KiB) 13982084
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.82 1.61 1.50 3/218 857
/proc/meminfo: memFree=28087372/32770624 swapFree=0/307848
[pid=646] ppid=642 vsize=13982084 CPUtime=242.8 cores=1,3,5,7
/proc/646/stat : 646 (java) S 642 646 5234 0 -1 1077944320 39301 0 0 0 24254 26 0 0 20 0 15 0 11084105 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 140728170458336 139694825557751 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
/proc/646/statm: 3495521 35167 3779 1 0 3484303 0
[pid=646/tid=648] ppid=642 vsize=13982084 CPUtime=239.05 cores=1,3,5,7
/proc/646/task/648/stat : 648 (java) R 642 646 5234 0 -1 4202560 17420 0 0 0 23898 7 0 0 20 0 15 0 11084111 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694829795968 139694437300548 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=649] ppid=642 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/646/task/649/stat : 649 (java) S 642 646 5234 0 -1 1077944384 2155 0 0 0 26 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694759991696 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=650] ppid=642 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/646/task/650/stat : 650 (java) S 642 646 5234 0 -1 1077944384 977 0 0 0 26 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694758938896 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=651] ppid=642 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/646/task/651/stat : 651 (java) S 642 646 5234 0 -1 1077944384 1808 0 0 0 27 2 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694757886608 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=652] ppid=642 vsize=13982084 CPUtime=0.29 cores=1,3,5,7
/proc/646/task/652/stat : 652 (java) S 642 646 5234 0 -1 1077944384 1850 0 0 0 26 3 0 0 20 0 15 0 11084112 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694756833808 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=653] ppid=642 vsize=13982084 CPUtime=0.35 cores=1,3,5,7
/proc/646/task/653/stat : 653 (java) S 642 646 5234 0 -1 1077944384 1884 0 0 0 32 3 0 0 20 0 15 0 11084113 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694303566448 139694825568898 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=654] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/654/stat : 654 (java) S 642 646 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694302512480 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=655] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/655/stat : 655 (java) S 642 646 5234 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 11084114 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694301460096 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=656] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/656/stat : 656 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694300408400 139694825576347 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=657] ppid=642 vsize=13982084 CPUtime=0.74 cores=1,3,5,7
/proc/646/task/657/stat : 657 (java) S 642 646 5234 0 -1 1077944384 3501 0 0 0 73 1 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694299355248 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=658] ppid=642 vsize=13982084 CPUtime=0.87 cores=1,3,5,7
/proc/646/task/658/stat : 658 (java) S 642 646 5234 0 -1 1077944384 3681 0 0 0 87 0 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694298302448 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=659] ppid=642 vsize=13982084 CPUtime=0.47 cores=1,3,5,7
/proc/646/task/659/stat : 659 (java) S 642 646 5234 0 -1 1077944384 4445 0 0 0 46 1 0 0 20 0 15 0 11084116 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694297250160 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=660] ppid=642 vsize=13982084 CPUtime=0 cores=1,3,5,7
/proc/646/task/660/stat : 660 (java) S 642 646 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 11084117 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694296197600 139694825567957 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
[pid=646/tid=661] ppid=642 vsize=13982084 CPUtime=0.05 cores=1,3,5,7
/proc/646/task/661/stat : 661 (java) S 642 646 5234 0 -1 1077944384 146 0 0 0 2 3 0 0 20 0 15 0 11084123 14317654016 35167 18446744073709551615 4194304 4196468 140728170475792 139694295145392 139694825568898 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18481152 140728170480023 140728170480203 140728170480203 140728170483663 0
Current children cumulated CPU time (s) 242.8
Current children cumulated vsize (KiB) 13982084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 646 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 240.012
CPU time (s): 242.826
CPU user time (s): 242.555
CPU system time (s): 0.271455
CPU usage (%): 101.173
Max. virtual memory (cumulated for all children) (KiB): 13982084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 242.555
system time used= 0.271455
maximum resident set size= 225656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15724
involuntary context switches= 494
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11681 second user time and 1.42253 second system time
The end