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-4246518-1500709162/watcher-4246518-1500709162 -o /tmp/evaluation-result-4246518-1500709162/solver-4246518-1500709162 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500683214-16562 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4246518-1500709162.xml
pid=21722
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: 2.00 2.01 2.05 2/262 21725
/proc/meminfo: memFree=31483412/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=8351800 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 2232 0 0 0 0 0 0 0 20 0 4 0 6186243 8552243200 2461 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16784584 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2087950 2461 1198 1 0 2076861 0
[pid=21725/tid=21726] ppid=21722 vsize=8352828 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) R 21722 21725 16530 0 -1 1077944384 928 0 0 0 0 0 0 0 20 0 5 0 6186244 8553295872 2461 33554432000 4194304 4196468 140728608156672 139932243085008 139932238853845 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 5 0 6186245 8554348544 2461 33554432000 4194304 4196468 140728608156672 139932191464288 139932238853845 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 6186245 8554348544 2461 33554432000 4194304 4196468 140728608156672 139932190411744 139932238853845 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=8353856 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 6186245 8554348544 2461 33554432000 4194304 4196468 140728608156672 139932189358688 139932238853845 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 6 0 6186245 8555401216 2461 33554432000 4194304 4196468 140728608156672 139932188306144 139932238853845 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=8354884 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) R 21722 21725 16530 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 7 0 6186245 8555401216 2461 33554432000 4194304 4196468 140728608156672 139932243085008 139932231583489 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[startup+0.100132 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 21725
/proc/meminfo: memFree=31483412/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10900580 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 4823 0 0 0 9 1 0 0 20 0 20 0 6186243 11162193920 6381 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2725145 6381 2636 1 0 2713552 0
[pid=21725/tid=21726] ppid=21722 vsize=10900580 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) R 21722 21725 16530 0 -1 4202560 2899 0 0 0 7 1 0 0 20 0 20 0 6186244 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932243083824 139932238865565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 6381 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900580
[startup+0.200579 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 21725
/proc/meminfo: memFree=31483412/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10900580 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 7660 0 0 0 25 3 0 0 20 0 20 0 6186243 11162193920 9048 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2725145 9048 2911 1 0 2713552 0
[pid=21725/tid=21726] ppid=21722 vsize=10900580 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) R 21722 21725 16530 0 -1 4202560 4840 0 0 0 16 2 0 0 20 0 20 0 6186244 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932243075616 139932238865565 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10900580 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 6186245 11162193920 9048 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300569 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 21725
/proc/meminfo: memFree=31483412/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10969228 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 8420 0 0 0 46 3 0 0 20 0 21 0 6186243 11232489472 13233 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2742307 13233 2983 1 0 2730193 0
[pid=21725/tid=21726] ppid=21722 vsize=10969228 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) S 21722 21725 16530 0 -1 1077944384 5165 0 0 0 23 2 0 0 20 0 21 0 6186244 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932243086512 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186245 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10969228 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11232489472 13233 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10969228
[startup+0.70053 s]
/proc/loadavg: 2.00 2.01 2.05 2/262 21725
/proc/meminfo: memFree=31483412/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10971352 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 13419 0 0 0 160 6 0 0 20 0 21 0 6186243 11234664448 22620 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2742838 22620 3109 1 0 2730705 0
[pid=21725/tid=21726] ppid=21722 vsize=10971352 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) S 21722 21725 16530 0 -1 1077944384 5165 0 0 0 23 2 0 0 20 0 21 0 6186244 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932243086512 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186245 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10971352 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11234664448 22620 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10971352
[startup+1.5008 s]
/proc/loadavg: 2.00 2.01 2.05 3/283 21746
/proc/meminfo: memFree=31358912/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10973400 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 17644 0 0 0 331 9 0 0 20 0 21 0 6186243 11236761600 45058 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2743350 45058 3131 1 0 2731217 0
[pid=21725/tid=21726] ppid=21722 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) S 21722 21725 16530 0 -1 1077944384 5165 0 0 0 23 2 0 0 20 0 21 0 6186244 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932243086512 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21732] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21732/stat : 21732 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932186201232 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21733] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21733/stat : 21733 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932185148176 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21735] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21735/stat : 21735 (java) S 21722 21725 16530 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 21 0 6186245 11236761600 45058 33554432000 4194304 4196468 140728608156672 139932184095632 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21736] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21736/stat : 21736 (java) S 21722 21725 16530 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 21 0 6186246 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931781671152 139932238854786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21737] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21737/stat : 21737 (java) S 21722 21725 16530 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931780617376 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21738] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21738/stat : 21738 (java) S 21722 21725 16530 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931712217840 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21739] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21739/stat : 21739 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931711166416 139932238862235 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21740] ppid=21722 vsize=10973400 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21740/stat : 21740 (java) S 21722 21725 16530 0 -1 1077944384 2363 0 0 0 46 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931710114544 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21741] ppid=21722 vsize=10973400 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21741/stat : 21741 (java) S 21722 21725 16530 0 -1 1077944384 1460 0 0 0 45 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931709062000 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21742] ppid=21722 vsize=10973400 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21742/stat : 21742 (java) S 21722 21725 16530 0 -1 1077944384 1781 0 0 0 47 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931708008944 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21743] ppid=21722 vsize=10973400 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21743/stat : 21743 (java) S 21722 21725 16530 0 -1 1077944384 2239 0 0 0 50 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931706956400 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21744] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21744/stat : 21744 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931705903584 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21745] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21745/stat : 21745 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186252 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931704851120 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21746] ppid=21722 vsize=10973400 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21746/stat : 21746 (java) R 21722 21725 16530 0 -1 4202560 3247 0 0 0 117 4 0 0 20 0 21 0 6186270 11236761600 45058 33554432000 4194304 4196468 140728608156672 139931701657864 139931867966137 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 10973400
[startup+3.10086 s]
/proc/loadavg: 2.00 2.01 2.05 3/283 21746
/proc/meminfo: memFree=31289964/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10973400 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 20388 0 0 0 519 15 0 0 20 0 21 0 6186243 11236761600 54436 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2743350 54436 3155 1 0 2731217 0
[pid=21725/tid=21726] ppid=21722 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) S 21722 21725 16530 0 -1 1077944384 5165 0 0 0 23 2 0 0 20 0 21 0 6186244 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932243086512 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21732] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21732/stat : 21732 (java) S 21722 21725 16530 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932186201232 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21733] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21733/stat : 21733 (java) S 21722 21725 16530 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932185148176 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21735] ppid=21722 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21735/stat : 21735 (java) S 21722 21725 16530 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932184095632 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21736] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21736/stat : 21736 (java) S 21722 21725 16530 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 21 0 6186246 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931781671152 139932238854786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21737] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21737/stat : 21737 (java) S 21722 21725 16530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931780617376 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21738] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21738/stat : 21738 (java) S 21722 21725 16530 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931712217840 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21739] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21739/stat : 21739 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931711166416 139932238862235 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21740] ppid=21722 vsize=10973400 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21740/stat : 21740 (java) S 21722 21725 16530 0 -1 1077944384 2398 0 0 0 50 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931710114544 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21741] ppid=21722 vsize=10973400 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21741/stat : 21741 (java) S 21722 21725 16530 0 -1 1077944384 1478 0 0 0 48 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931709062000 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21742] ppid=21722 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21742/stat : 21742 (java) S 21722 21725 16530 0 -1 1077944384 2106 0 0 0 53 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931708008944 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21743] ppid=21722 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21743/stat : 21743 (java) S 21722 21725 16530 0 -1 1077944384 3183 0 0 0 51 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931706956400 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21744] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21744/stat : 21744 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931705903584 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21745] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21745/stat : 21745 (java) S 21722 21725 16530 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 21 0 6186252 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931704851120 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21746] ppid=21722 vsize=10973400 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21746/stat : 21746 (java) R 21722 21725 16530 0 -1 4202560 3486 0 0 0 273 4 0 0 20 0 21 0 6186270 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931701658776 139931867966313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 10973400
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21725 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.10086 s]
/proc/loadavg: 2.00 2.01 2.05 3/283 21746
/proc/meminfo: memFree=31289964/32770624 swapFree=5944/297360
[pid=21725] ppid=21722 vsize=10973400 CPUtime=5.34 cores=1,3,5,7,9,11,13,15
/proc/21725/stat : 21725 (java) S 21722 21725 16530 0 -1 1077944320 20388 0 0 0 519 15 0 0 20 0 21 0 6186243 11236761600 54436 33554432000 4194304 4196468 140728608156672 140728608139216 139932238843639 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
/proc/21725/statm: 2743350 54436 3155 1 0 2731217 0
[pid=21725/tid=21726] ppid=21722 vsize=10973400 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21726/stat : 21726 (java) S 21722 21725 16530 0 -1 1077944384 5165 0 0 0 23 2 0 0 20 0 21 0 6186244 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932243086512 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21727] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21727/stat : 21727 (java) S 21722 21725 16530 0 -1 1077944384 241 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932191463952 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21728] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21728/stat : 21728 (java) S 21722 21725 16530 0 -1 1077944384 336 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932190411408 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21729] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21729/stat : 21729 (java) S 21722 21725 16530 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932189358352 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21730] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21730/stat : 21730 (java) S 21722 21725 16530 0 -1 1077944384 80 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932188305808 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21731] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21731/stat : 21731 (java) S 21722 21725 16530 0 -1 1077944384 30 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932187253776 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21732] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21732/stat : 21732 (java) S 21722 21725 16530 0 -1 1077944384 44 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932186201232 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21733] ppid=21722 vsize=10973400 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21733/stat : 21733 (java) S 21722 21725 16530 0 -1 1077944384 50 0 0 0 2 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932185148176 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21735] ppid=21722 vsize=10973400 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21735/stat : 21735 (java) S 21722 21725 16530 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 21 0 6186245 11236761600 54436 33554432000 4194304 4196468 140728608156672 139932184095632 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21736] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21736/stat : 21736 (java) S 21722 21725 16530 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 21 0 6186246 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931781671152 139932238854786 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21737] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21737/stat : 21737 (java) S 21722 21725 16530 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931780617376 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21738] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21738/stat : 21738 (java) S 21722 21725 16530 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 21 0 6186247 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931712217840 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21739] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21739/stat : 21739 (java) S 21722 21725 16530 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931711166416 139932238862235 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21740] ppid=21722 vsize=10973400 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21740/stat : 21740 (java) S 21722 21725 16530 0 -1 1077944384 2398 0 0 0 50 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931710114544 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21741] ppid=21722 vsize=10973400 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21741/stat : 21741 (java) S 21722 21725 16530 0 -1 1077944384 1478 0 0 0 48 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931709062000 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21742] ppid=21722 vsize=10973400 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21742/stat : 21742 (java) S 21722 21725 16530 0 -1 1077944384 2106 0 0 0 53 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931708008944 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21743] ppid=21722 vsize=10973400 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21743/stat : 21743 (java) S 21722 21725 16530 0 -1 1077944384 3183 0 0 0 51 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931706956400 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21744] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21744/stat : 21744 (java) S 21722 21725 16530 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 6186251 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931705903584 139932238853845 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21745] ppid=21722 vsize=10973400 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21745/stat : 21745 (java) S 21722 21725 16530 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 21 0 6186252 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931704851120 139932238854786 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
[pid=21725/tid=21746] ppid=21722 vsize=10973400 CPUtime=2.77 cores=1,3,5,7,9,11,13,15
/proc/21725/task/21746/stat : 21746 (java) R 21722 21725 16530 0 -1 4202560 3486 0 0 0 273 4 0 0 20 0 21 0 6186270 11236761600 54436 33554432000 4194304 4196468 140728608156672 139931701658776 139931867966313 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14282752 140728608158915 140728608159044 140728608159044 140728608161743 0
Current children cumulated CPU time (s) 5.34
Current children cumulated vsize (KiB) 10973400
Child status: 0
Real time (s): 3.13674
CPU time (s): 5.39029
CPU user time (s): 5.22594
CPU system time (s): 0.16435
CPU usage (%): 171.844
Max. virtual memory (cumulated for all children) (KiB): 10973400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.22594
system time used= 0.16435
maximum resident set size= 218076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20709
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2646
involuntary context switches= 423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023225 second user time and 0.030966 second system time
The end