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-4245248-1500699590/watcher-4245248-1500699590 -o /tmp/evaluation-result-4245248-1500699590/solver-4245248-1500699590 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500697196-20349 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4245248-1500699590.xml
pid=20647
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.87 1.88 2.77 3/262 20650
/proc/meminfo: memFree=31669744/32770624 swapFree=5656/339648
[pid=20650] ppid=20647 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 2239 0 0 0 0 0 0 0 20 0 6 0 5226462 8554348544 1950 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2088721 1950 1198 1 0 2077632 0
[pid=20650/tid=20651] ppid=20647 vsize=8554576 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) D 20647 20650 7102 0 -1 4202560 948 0 0 0 0 0 0 0 20 0 10 0 5226463 8759885824 2016 33554432000 4194304 4196468 140723445938432 139860416686064 139860397448496 0 4 0 16784584 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) R 20647 20650 7102 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5226464 9095430144 2016 33554432000 4194304 4196468 140723445938432 139860019698104 139860404672227 0 4 0 16784584 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) D 20647 20650 7102 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5226464 9095430144 2016 33554432000 4194304 4196468 140723445938432 139860018646000 139860405238480 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=8882256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) R 20647 20650 7102 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 5226464 9095430144 2016 33554432000 4194304 4196468 140723445938432 139860017593016 139860405161511 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) D 20647 20650 7102 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 5226464 9028321280 2016 33554432000 4194304 4196468 140723445938432 139860016540312 139860392468272 0 4 0 16784584 18446744071582151416 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) D 20647 20650 7102 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 5226464 9028321280 2016 33554432000 4194304 4196468 140723445938432 139860015487000 139860392468272 0 4 0 16784584 18446744071582151416 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=8816720 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5226464 9028321280 2016 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=9131696 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 5226464 9350856704 2027 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10195824 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 5226464 10440523776 2027 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16784584 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[startup+0.100061 s]
/proc/loadavg: 1.87 1.88 2.77 3/262 20650
/proc/meminfo: memFree=31669744/32770624 swapFree=5656/339648
[pid=20650] ppid=20647 vsize=10900456 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 4788 0 0 0 8 1 0 0 20 0 20 0 5226462 11162066944 5900 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2725114 5900 2629 1 0 2713552 0
[pid=20650/tid=20651] ppid=20647 vsize=10900456 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) R 20647 20650 7102 0 -1 4202560 2877 0 0 0 8 0 0 0 20 0 20 0 5226463 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860416682416 139860412466333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10900456 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162066944 5900 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900456
[startup+0.200872 s]
/proc/loadavg: 1.87 1.88 2.77 3/262 20650
/proc/meminfo: memFree=31669744/32770624 swapFree=5656/339648
[pid=20650] ppid=20647 vsize=10900580 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 7718 0 0 0 26 2 0 0 20 0 20 0 5226462 11162193920 9136 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2725145 9136 2923 1 0 2713552 0
[pid=20650/tid=20651] ppid=20647 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) R 20647 20650 7102 0 -1 4202560 4861 0 0 0 17 1 0 0 20 0 20 0 5226463 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860416670480 139860412466333 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5226464 11162193920 9136 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300602 s]
/proc/loadavg: 1.87 1.88 2.77 3/262 20650
/proc/meminfo: memFree=31669744/32770624 swapFree=5656/339648
[pid=20650] ppid=20647 vsize=10969228 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 8502 0 0 0 45 3 0 0 20 0 21 0 5226462 11232489472 13329 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2742307 13329 3005 1 0 2730193 0
[pid=20650/tid=20651] ppid=20647 vsize=10969228 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) S 20647 20650 7102 0 -1 1077944384 5196 0 0 0 23 1 0 0 20 0 21 0 5226463 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860416687280 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11232489472 13329 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10969228
[startup+0.700611 s]
/proc/loadavg: 1.87 1.88 2.77 3/262 20650
/proc/meminfo: memFree=31669744/32770624 swapFree=5656/339648
[pid=20650] ppid=20647 vsize=10971352 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 12348 0 0 0 141 5 0 0 20 0 21 0 5226462 11234664448 22506 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2742838 22506 3104 1 0 2730705 0
[pid=20650/tid=20651] ppid=20647 vsize=10971352 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) S 20647 20650 7102 0 -1 1077944384 5196 0 0 0 23 1 0 0 20 0 21 0 5226463 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860416687280 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11234664448 22506 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10971352
[startup+1.50069 s]
/proc/loadavg: 1.96 1.90 2.77 3/283 20671
/proc/meminfo: memFree=31577752/32770624 swapFree=5656/339616
[pid=20650] ppid=20647 vsize=10973400 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 16163 0 0 0 284 6 0 0 20 0 21 0 5226462 11236761600 26065 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2743350 26065 3123 1 0 2731217 0
[pid=20650/tid=20651] ppid=20647 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) S 20647 20650 7102 0 -1 1077944384 5196 0 0 0 23 1 0 0 20 0 21 0 5226463 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860416687280 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20661] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20661/stat : 20661 (java) S 20647 20650 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5226466 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859753622128 139860412455554 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20662] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20662/stat : 20662 (java) S 20647 20650 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859752568096 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20663] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20663/stat : 20663 (java) S 20647 20650 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859751515760 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20664] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20664/stat : 20664 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859750464080 139860412463003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20665] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20665/stat : 20665 (java) S 20647 20650 7102 0 -1 1077944384 1645 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859749410928 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20666] ppid=20647 vsize=10973400 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20666/stat : 20666 (java) S 20647 20650 7102 0 -1 1077944384 1317 0 0 0 33 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859748358128 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20667] ppid=20647 vsize=10973400 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20667/stat : 20667 (java) S 20647 20650 7102 0 -1 1077944384 1560 0 0 0 38 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859747305840 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20668] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20668/stat : 20668 (java) S 20647 20650 7102 0 -1 1077944384 1847 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859746253040 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20669] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20669/stat : 20669 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859745200992 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20670] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20670/stat : 20670 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226472 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859744148272 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20671] ppid=20647 vsize=10973400 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20671/stat : 20671 (java) R 20647 20650 7102 0 -1 4202560 3212 0 0 0 119 2 0 0 20 0 21 0 5226490 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859740956200 139860053450496 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 20650 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60097 s]
/proc/loadavg: 1.96 1.90 2.77 3/283 20671
/proc/meminfo: memFree=31577752/32770624 swapFree=5656/339616
[pid=20650] ppid=20647 vsize=10973400 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 16182 0 0 0 294 6 0 0 20 0 21 0 5226462 11236761600 26065 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2743350 26065 3123 1 0 2731217 0
[pid=20650/tid=20651] ppid=20647 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) S 20647 20650 7102 0 -1 1077944384 5196 0 0 0 23 1 0 0 20 0 21 0 5226463 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860416687280 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20661] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20661/stat : 20661 (java) S 20647 20650 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5226466 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859753622128 139860412455554 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20662] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20662/stat : 20662 (java) S 20647 20650 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859752568096 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20663] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20663/stat : 20663 (java) S 20647 20650 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859751515760 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20664] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20664/stat : 20664 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859750464080 139860412463003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20665] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20665/stat : 20665 (java) S 20647 20650 7102 0 -1 1077944384 1645 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859749410928 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20666] ppid=20647 vsize=10973400 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20666/stat : 20666 (java) S 20647 20650 7102 0 -1 1077944384 1317 0 0 0 33 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859748358128 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20667] ppid=20647 vsize=10973400 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20667/stat : 20667 (java) S 20647 20650 7102 0 -1 1077944384 1560 0 0 0 38 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859747305840 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20668] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20668/stat : 20668 (java) D 20647 20650 7102 0 -1 4202560 1847 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859746253336 139860392368543 0 4 0 16800975 18446744072100334725 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20669] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20669/stat : 20669 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859745200992 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20670] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20670/stat : 20670 (java) D 20647 20650 7102 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 5226472 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859744148192 139860397300494 0 4 0 16800975 18446744072100334725 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20671] ppid=20647 vsize=10973400 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20671/stat : 20671 (java) R 20647 20650 7102 0 -1 4202560 3231 0 0 0 129 2 0 0 20 0 21 0 5226490 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859740958440 139860053693981 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 10973400
[startup+1.80065 s]
/proc/loadavg: 1.96 1.90 2.77 3/283 20671
/proc/meminfo: memFree=31577752/32770624 swapFree=5656/339616
[pid=20650] ppid=20647 vsize=10973400 CPUtime=3.2 cores=1,3,5,7,9,11,13,15
/proc/20650/stat : 20650 (java) S 20647 20650 7102 0 -1 1077944320 16188 0 0 0 314 6 0 0 20 0 21 0 5226462 11236761600 26065 33554432000 4194304 4196468 140723445938432 140723445920976 139860412444407 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
/proc/20650/statm: 2743350 26065 3123 1 0 2731217 0
[pid=20650/tid=20651] ppid=20647 vsize=10973400 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20651/stat : 20651 (java) S 20647 20650 7102 0 -1 1077944384 5196 0 0 0 23 1 0 0 20 0 21 0 5226463 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860416687280 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20652] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20652/stat : 20652 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860019698576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20653] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20653/stat : 20653 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860018645776 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20654] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20654/stat : 20654 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860017593488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20655] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20655/stat : 20655 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860016540688 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20656] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20656/stat : 20656 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860015487376 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20657] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20657/stat : 20657 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860014434576 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20658] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20658/stat : 20658 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860013382288 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20659] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20659/stat : 20659 (java) S 20647 20650 7102 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 5226464 11236761600 26065 33554432000 4194304 4196468 140723445938432 139860012329488 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20661] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20661/stat : 20661 (java) S 20647 20650 7102 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 5226466 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859753622128 139860412455554 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20662] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20662/stat : 20662 (java) S 20647 20650 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859752568096 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20663] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20663/stat : 20663 (java) S 20647 20650 7102 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 5226467 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859751515760 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20664] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20664/stat : 20664 (java) S 20647 20650 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859750464080 139860412463003 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20665] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20665/stat : 20665 (java) S 20647 20650 7102 0 -1 1077944384 1645 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859749410928 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20666] ppid=20647 vsize=10973400 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20666/stat : 20666 (java) S 20647 20650 7102 0 -1 1077944384 1317 0 0 0 33 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859748358128 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20667] ppid=20647 vsize=10973400 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20667/stat : 20667 (java) S 20647 20650 7102 0 -1 1077944384 1560 0 0 0 38 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859747305840 139860412455554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20668] ppid=20647 vsize=10973400 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20668/stat : 20668 (java) D 20647 20650 7102 0 -1 4202560 1847 0 0 0 34 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859746253336 139860392368543 0 4 0 16800975 18446744072100334725 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20669] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20669/stat : 20669 (java) S 20647 20650 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 5226471 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859745200992 139860412454613 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20670] ppid=20647 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20670/stat : 20670 (java) D 20647 20650 7102 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 21 0 5226472 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859744148192 139860397300494 0 4 0 16800975 18446744072100334725 0 0 -1 15 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
[pid=20650/tid=20671] ppid=20647 vsize=10973400 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/20650/task/20671/stat : 20671 (java) D 20647 20650 7102 0 -1 4202560 3300 0 0 0 149 2 0 0 20 0 21 0 5226490 11236761600 26065 33554432000 4194304 4196468 140723445938432 139859740958256 139860392050105 0 4 0 16800975 18446744072100334725 0 0 -1 13 0 0 0 0 0 6293624 6294260 16723968 140723445945539 140723445945668 140723445945668 140723445948367 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 1.81671
CPU time (s): 3.23197
CPU user time (s): 3.1618
CPU system time (s): 0.070171
CPU usage (%): 177.902
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.1618
system time used= 0.070171
maximum resident set size= 106604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17479
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2472
involuntary context switches= 242
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018211 second user time and 0.020487 second system time
The end