runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (1161 MiB free)
memory of node 1: 16384 MiB (3475 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402437-1568967638/watcher-4402437-1568967638 -o /tmp/evaluation-result-4402437-1568967638/solver-4402437-1568967638 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568963957-22251 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1159292332 HOME/instance-4402437-1568967638.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22280, runsolver pid=22271
[startup+0.100157 s]*
/proc/loadavg: 0.32 0.08 0.07 2/204 22337
/proc/meminfo: memFree=4746444/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/22280/stat : 22280 (bash) S 22271 22280 22219 0 -1 4202496 886 5690 0 1 0 0 0 1 20 0 1 0 473019046 115974144 404 33554432000 4194304 5098028 140725199551552 140725199545560 139950544935936 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 2 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22280/statm: 28314 404 320 221 0 119 0
[pid=22332] ppid=22280 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (bash) S 22280 22280 22219 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 473019050 115974144 178 33554432000 4194304 5098028 140725199551552 140725199544232 139950544761468 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22332/statm: 28314 178 94 221 0 119 0
[pid=22333] ppid=22332 vsize=113256 memory=528 CPUtime=0 cores=1,3,5,7
/proc/22333/stat : 22333 (bash) D 22332 22280 22219 0 -1 1077944384 120 0 0 0 0 0 0 0 20 0 1 0 473019050 115974144 132 33554432000 4194304 5098028 140725199551552 140725199544296 139950544763383 0 0 4096 0 18446744072101744164 0 0 17 5 0 0 0 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22333/statm: 28314 132 48 221 0 119 0
[pid=22334] ppid=22332 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/22334/stat : 22334 (awk) S 22332 22280 22219 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 473019050 116211712 242 33554432000 4194304 4609284 140735653939168 140735653938344 140230787095552 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 31875072 140735653946556 140735653946586 140735653946586 140735653949423 0
/proc/22334/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 453256 KiB
Current children cumulated memory: 3824 KiB
[startup+0.209705 s]*
/proc/loadavg: 0.32 0.08 0.07 2/204 22337
/proc/meminfo: memFree=4746444/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/22280/stat : 22280 (bash) S 22271 22280 22219 0 -1 4202496 886 5690 0 1 0 0 0 1 20 0 1 0 473019046 115974144 404 33554432000 4194304 5098028 140725199551552 140725199545560 139950544935936 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 2 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22280/statm: 28314 404 320 221 0 119 0
[pid=22332] ppid=22280 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (bash) S 22280 22280 22219 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 473019050 115974144 178 33554432000 4194304 5098028 140725199551552 140725199544232 139950544761468 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22332/statm: 28314 178 94 221 0 119 0
[pid=22333] ppid=22332 vsize=10648 memory=684 CPUtime=0 cores=1,3,5,7
/proc/22333/stat : 22333 (java) D 22332 22280 22219 0 -1 1077944320 328 0 1 0 0 0 0 0 20 0 1 0 473019050 10903552 171 33554432000 4194304 4196468 140730562637664 140730562618360 140246425839303 0 0 4096 0 18446744072101744164 0 0 17 1 0 0 2 0 0 6293624 6294260 31571968 140730562638988 140730562639002 140730562639002 140730562641871 0
/proc/22333/statm: 2662 171 139 1 0 84 0
[pid=22334] ppid=22332 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/22334/stat : 22334 (awk) S 22332 22280 22219 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 473019050 116211712 242 33554432000 4194304 4609284 140735653939168 140735653938344 140230787095552 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 31875072 140735653946556 140735653946586 140735653946586 140735653949423 0
/proc/22334/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 3980 KiB
[startup+0.309344 s]*
/proc/loadavg: 0.32 0.08 0.07 2/204 22337
/proc/meminfo: memFree=4738300/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/22280/stat : 22280 (bash) S 22271 22280 22219 0 -1 4202496 886 5690 0 1 0 0 0 1 20 0 1 0 473019046 115974144 404 33554432000 4194304 5098028 140725199551552 140725199545560 139950544935936 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 2 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22280/statm: 28314 404 320 221 0 119 0
[pid=22332] ppid=22280 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (bash) S 22280 22280 22219 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 473019050 115974144 178 33554432000 4194304 5098028 140725199551552 140725199544232 139950544761468 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22332/statm: 28314 178 94 221 0 119 0
[pid=22333] ppid=22332 vsize=26980 memory=684 CPUtime=0 cores=1,3,5,7
/proc/22333/stat : 22333 (java) D 22332 22280 22219 0 -1 4202496 328 0 1 0 0 0 0 0 20 0 1 0 473019050 27627520 171 33554432000 4194304 4196468 140730562637664 140730562617688 140246425844218 0 0 4096 0 18446744071580431491 0 0 17 1 0 0 2 0 0 6293624 6294260 31571968 140730562638988 140730562639002 140730562639002 140730562641871 0
/proc/22333/statm: 6745 171 139 1 0 84 0
[pid=22334] ppid=22332 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/22334/stat : 22334 (awk) S 22332 22280 22219 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 473019050 116211712 242 33554432000 4194304 4609284 140735653939168 140735653938344 140230787095552 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 31875072 140735653946556 140735653946586 140735653946586 140735653949423 0
/proc/22334/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 366980 KiB
Current children cumulated memory: 3980 KiB
[startup+0.700556 s]
/proc/loadavg: 0.45 0.11 0.08 2/206 22339
/proc/meminfo: memFree=4736672/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/22280/stat : 22280 (bash) S 22271 22280 22219 0 -1 4202496 886 5690 0 1 0 0 0 1 20 0 1 0 473019046 115974144 404 33554432000 4194304 5098028 140725199551552 140725199545560 139950544935936 0 0 4100 65536 18446744071580971376 0 0 17 1 0 0 2 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22280/statm: 28314 404 320 221 0 119 0
[pid=22332] ppid=22280 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (bash) S 22280 22280 22219 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 473019050 115974144 178 33554432000 4194304 5098028 140725199551552 140725199544232 139950544761468 0 65536 4096 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 18530304 140725199557652 140725199557777 140725199557777 140725199560686 0
/proc/22332/statm: 28314 178 94 221 0 119 0
[pid=22333] ppid=22332 vsize=109440 memory=5436 CPUtime=0 cores=1,3,5,7
/proc/22333/stat : 22333 (java) S 22332 22280 22219 0 -1 1077944320 1672 0 2 0 0 0 0 0 20 0 2 0 473019050 112066560 1359 33554432000 4194304 4196468 140730562637664 140730562620208 140246423564023 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 26 0 0 6293624 6294260 31571968 140730562638988 140730562639002 140730562639002 140730562641871 0
/proc/22333/statm: 27360 1359 1030 1 0 16810 0
[pid=22333/tid=22339] ppid=22332 vsize=109440 memory=2308 CPUtime=0 cores=1,3,5,7
/proc/22333/task/22339/stat : 22339 (java) D 22332 22280 22219 0 -1 1077944384 390 0 0 0 0 0 0 0 20 0 2 0 473019093 112066560 1359 33554432000 4194304 4196468 140730562637664 140246427800784 140246416243245 0 4 0 16784584 18446744072101744164 0 0 -1 3 0 0 3 0 0 6293624 6294260 31571968 140730562638988 140730562639002 140730562639002 140730562641871 0
[pid=22334] ppid=22332 vsize=113488 memory=968 CPUtime=0 cores=1,3,5,7
/proc/22334/stat : 22334 (awk) S 22332 22280 22219 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 473019050 116211712 242 33554432000 4194304 4609284 140735653939168 140735653938344 140230787095552 0 0 4096 1216 18446744071580971376 0 0 17 1 0 0 0 0 0 6708720 6711756 31875072 140735653946556 140735653946586 140735653946586 140735653949423 0
/proc/22334/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 449440 KiB
Current children cumulated memory: 8732 KiB
[startup+1.50035 s]
/proc/loadavg: 0.45 0.11 0.08 2/220 22353
/proc/meminfo: memFree=4696444/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=143344 memory=5576 CPUtime=0.08 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 2632 13155 0 3 0 0 5 3 20 0 2 0 473019046 146784256 1394 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 35836 1394 1055 1 0 24747 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 143344 KiB
Current children cumulated memory: 5576 KiB
[startup+3.11005 s]
/proc/loadavg: 0.45 0.11 0.08 2/226 22411
/proc/meminfo: memFree=4618120/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10820268 memory=69300 CPUtime=0.87 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 14081 13155 0 3 74 5 5 3 20 0 15 0 473019046 11079954432 17325 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2705067 17325 3477 1 0 2667149 0
[pid=22280/tid=22385] ppid=22271 vsize=10820268 memory=8 CPUtime=0.54 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) D 22271 22280 22219 0 -1 4202560 9547 13155 0 3 42 4 5 3 20 0 15 0 473019189 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820553019376 139820581213341 0 4 0 16800975 18446744071580419588 0 0 -1 5 0 0 98 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10820268 memory=8 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10820268 memory=6944656592455097440 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10820268 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10820268 memory=3624 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019198 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10820268 memory=42824 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 5 13155 0 3 0 0 5 3 20 0 15 0 473019199 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10820268 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 0 0 5 3 20 0 15 0 473019199 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820038857760 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10820268 memory=140104802313217 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019200 11079954432 17325 33554432000 4194304 4196468 140732623431184 139819439088496 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10820268 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11079954432 17325 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10820268 memory=4580 CPUtime=0.18 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) S 22271 22280 22219 0 -1 1077944384 1040 13155 0 3 10 0 5 3 20 0 15 0 473019204 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820005301104 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10820268 memory=5787213827347079232 CPUtime=0.15 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) S 22271 22280 22219 0 -1 1077944384 593 13155 0 3 7 0 5 3 20 0 15 0 473019204 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820004248304 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10820268 memory=972 CPUtime=0.21 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 645 13155 0 3 13 0 5 3 20 0 15 0 473019204 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10820268 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11079954432 17325 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10820268 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019209 11079954432 17325 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 0.87 s
Current children cumulated vsize: 10820268 KiB
Current children cumulated memory: 69300 KiB
heavy processes:
[startup+6.30075 s]
/proc/loadavg: 0.58 0.14 0.09 2/226 22411
/proc/meminfo: memFree=4583480/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10824364 memory=82268 CPUtime=1.2 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 15250 13155 0 3 106 6 5 3 20 0 15 0 473019046 11084148736 20567 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2706091 20567 3514 1 0 2668173 0
[pid=22280/tid=22385] ppid=22271 vsize=10824364 memory=76664 CPUtime=0.69 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) D 22271 22280 22219 0 -1 1077944384 10632 13155 0 3 56 5 5 3 20 0 15 0 473019189 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820553018576 139820581215293 0 4 0 16800975 18446744072101744164 0 0 -1 7 0 0 394 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10824364 memory=75936 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10824364 memory=56 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10824364 memory=33 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10824364 memory=-8773164308154395822 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019198 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10824364 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 5 13155 0 3 0 0 5 3 20 0 15 0 473019199 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10824364 memory=76664 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 0 0 5 3 20 0 15 0 473019199 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820038857760 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10824364 memory=280209303739080 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019200 11084148736 20567 33554432000 4194304 4196468 140732623431184 139819439088496 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10824364 memory=-2245088631185882904 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10824364 memory=6944656575208382560 CPUtime=0.25 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) S 22271 22280 22219 0 -1 1077944384 1063 13155 0 3 17 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820005301104 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10824364 memory=6944656592455360604 CPUtime=0.21 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) S 22271 22280 22219 0 -1 1077944384 607 13155 0 3 13 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820004248304 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10824364 memory=6656426216303648864 CPUtime=0.25 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 691 13155 0 3 17 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10824364 memory=280209304134416 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10824364 memory=288230583151934685 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019209 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82268 KiB
heavy processes:
[startup+10.496 s]
# the end of solver process 22280 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.10707 s, system=0.214297 s
################
# More data... #
################
[pid=22280/tid=22409] ppid=22271 vsize=10824364 memory=235755049889425 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11084148736 20567 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10824364 memory=235755049889427 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019209 11084148736 20567 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 1.2 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82268 KiB
[startup+8.00455 s]*
/proc/loadavg: 0.58 0.14 0.09 10/226 22411
/proc/meminfo: memFree=4377776/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10826488 memory=97136 CPUtime=1.73 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 17083 13155 1 3 158 7 5 3 20 0 15 0 473019046 11086323712 24284 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2706622 24284 3546 1 0 2668685 0
[pid=22280/tid=22385] ppid=22271 vsize=10826488 memory=8317482817917895235 CPUtime=0.89 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) R 22271 22280 22219 0 -1 4202560 11409 13155 1 3 76 5 5 3 20 0 15 0 473019189 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820553027120 139820565271902 0 4 0 16800975 0 0 0 -1 3 0 0 516 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019198 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019198 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 5 13155 0 3 0 0 5 3 20 0 15 0 473019199 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10826488 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 0 0 5 3 20 0 15 0 473019199 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820038857760 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10826488 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 1 13155 0 3 0 0 5 3 20 0 15 0 473019200 11086323712 24284 33554432000 4194304 4196468 140732623431184 139819439088496 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10826488 memory=6944656575208382560 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11086323712 24284 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10826488 memory=0 CPUtime=0.34 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) S 22271 22280 22219 0 -1 1077944384 1107 13155 0 3 26 0 5 3 20 0 15 0 473019204 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820005301104 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10826488 memory=2314860355033984576 CPUtime=0.3 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) R 22271 22280 22219 0 -1 4202560 856 13155 0 3 22 0 5 3 20 0 15 0 473019204 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820004233488 139820566306658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10826488 memory=739411179703449521 CPUtime=0.39 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 1458 13155 0 3 31 0 5 3 20 0 15 0 473019204 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10826488 memory=8319083140700905527 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11086323712 24284 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10826488 memory=4210272852039727603 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019209 11086323712 24284 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 97136 KiB
[startup+9.60066 s]
/proc/loadavg: 0.58 0.14 0.09 3/226 22411
/proc/meminfo: memFree=4094436/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10838796 memory=176148 CPUtime=3.4 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 26484 13155 2 3 319 13 5 3 20 0 15 0 473019046 11098927104 44037 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2709699 44037 3590 1 0 2671757 0
[pid=22280/tid=22385] ppid=22271 vsize=10838796 memory=7669186419781756245 CPUtime=1.85 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) R 22271 22280 22219 0 -1 4202560 16667 13155 2 3 170 7 5 3 20 0 15 0 473019189 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820553021360 139820563142097 0 4 0 16800975 0 0 0 -1 3 0 0 575 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10838796 memory=7089887810435962722 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 303 13155 0 3 0 0 5 3 20 0 15 0 473019198 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10838796 memory=6791534058613427641 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 1 0 5 3 20 0 15 0 473019198 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10838796 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 22 13155 0 3 1 0 5 3 20 0 15 0 473019198 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10838796 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 99 13155 0 3 1 0 5 3 20 0 15 0 473019198 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10838796 memory=142584 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 1373 13155 0 3 1 0 5 3 20 0 15 0 473019199 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10838796 memory=168896 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 0 0 5 3 20 0 15 0 473019199 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820038857824 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10838796 memory=86684 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019200 11098927104 44037 33554432000 4194304 4196468 140732623431184 139819439088512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10838796 memory=12024 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11098927104 44037 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10838796 memory=1556 CPUtime=0.46 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) S 22271 22280 22219 0 -1 1077944384 1364 13155 0 3 38 0 5 3 20 0 15 0 473019204 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820005301104 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10838796 memory=280209304104512 CPUtime=0.48 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) S 22271 22280 22219 0 -1 1077944384 1763 13155 0 3 40 0 5 3 20 0 15 0 473019204 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820004248304 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10838796 memory=0 CPUtime=0.71 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 2611 13155 0 3 62 1 5 3 20 0 15 0 473019204 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10838796 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11098927104 44037 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10838796 memory=772 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 2 13155 0 3 0 0 5 3 20 0 15 0 473019209 11098927104 44037 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 3.4 s
Current children cumulated vsize: 10838796 KiB
Current children cumulated memory: 176148 KiB
[startup+10.001 s]*
/proc/loadavg: 0.58 0.14 0.09 5/226 22411
/proc/meminfo: memFree=3762676/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10840844 memory=183488 CPUtime=4.28 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 32109 13155 2 3 406 14 5 3 20 0 15 0 473019046 11101024256 45872 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2710211 45872 3592 1 0 2672269 0
[pid=22280/tid=22385] ppid=22271 vsize=10840844 memory=8317482817917895235 CPUtime=2.25 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) R 22271 22280 22219 0 -1 4202560 19794 13155 2 3 210 7 5 3 20 0 15 0 473019189 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820553008120 139820565271902 0 4 0 16800975 0 0 0 -1 3 0 0 575 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 303 13155 0 3 0 0 5 3 20 0 15 0 473019198 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10840844 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 1 0 5 3 20 0 15 0 473019198 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10840844 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 22 13155 0 3 1 0 5 3 20 0 15 0 473019198 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10840844 memory=6943526294502006880 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 99 13155 0 3 1 0 5 3 20 0 15 0 473019198 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10840844 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 1443 13155 0 3 1 0 5 3 20 0 15 0 473019199 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 33 13155 0 3 0 0 5 3 20 0 15 0 473019199 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820038857824 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019200 11101024256 45872 33554432000 4194304 4196468 140732623431184 139819439088512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11101024256 45872 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10840844 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) S 22271 22280 22219 0 -1 1077944384 1614 13155 0 3 49 0 5 3 20 0 15 0 473019204 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820005301104 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10840844 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) S 22271 22280 22219 0 -1 1077944384 2165 13155 0 3 53 0 5 3 20 0 15 0 473019204 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820004248304 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10840844 memory=0 CPUtime=0.93 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 4384 13155 0 3 84 1 5 3 20 0 15 0 473019204 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11101024256 45872 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10840844 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 10 13155 0 3 0 0 5 3 20 0 15 0 473019209 11101024256 45872 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 4.28 s
Current children cumulated vsize: 10840844 KiB
Current children cumulated memory: 183488 KiB
[startup+10.4014 s]
/proc/loadavg: 0.58 0.14 0.09 5/226 22411
/proc/meminfo: memFree=3762676/32770624 swapFree=66997980/67108860
[pid=22280] ppid=22271 vsize=10844940 memory=213008 CPUtime=5.05 cores=1,3,5,7
/proc/22280/stat : 22280 (java) S 22271 22280 22219 0 -1 1077944320 36673 13155 2 3 481 16 5 3 20 0 15 0 473019046 11105218560 53252 33554432000 4194304 4196468 140732623431184 140732623413728 139820581191415 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 2 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
/proc/22280/statm: 2711235 53252 3601 1 0 2673293 0
[pid=22280/tid=22385] ppid=22271 vsize=10844940 memory=6791534058613427641 CPUtime=2.61 cores=1,3,5,7
/proc/22280/task/22385/stat : 22385 (java) R 22271 22280 22219 0 -1 4202560 21828 13155 2 3 245 8 5 3 20 0 15 0 473019189 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820553018904 139820186373503 0 4 0 16800975 0 0 0 -1 7 0 0 575 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22391] ppid=22271 vsize=10844940 memory=2552 CPUtime=0.1 cores=1,3,5,7
/proc/22280/task/22391/stat : 22391 (java) S 22271 22280 22219 0 -1 1077944384 319 13155 0 3 2 0 5 3 20 0 15 0 473019198 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820585434256 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22392] ppid=22271 vsize=10844940 memory=1760 CPUtime=0.11 cores=1,3,5,7
/proc/22280/task/22392/stat : 22392 (java) S 22271 22280 22219 0 -1 1077944384 65 13155 0 3 3 0 5 3 20 0 15 0 473019198 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820154858512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22393] ppid=22271 vsize=10844940 memory=111632 CPUtime=0.1 cores=1,3,5,7
/proc/22280/task/22393/stat : 22393 (java) S 22271 22280 22219 0 -1 1077944384 180 13155 0 3 2 0 5 3 20 0 15 0 473019198 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820153805712 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22394] ppid=22271 vsize=10844940 memory=6791534058613427641 CPUtime=0.1 cores=1,3,5,7
/proc/22280/task/22394/stat : 22394 (java) S 22271 22280 22219 0 -1 1077944384 226 13155 0 3 2 0 5 3 20 0 15 0 473019198 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820152752912 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22397] ppid=22271 vsize=10844940 memory=4108 CPUtime=0.11 cores=1,3,5,7
/proc/22280/task/22397/stat : 22397 (java) S 22271 22280 22219 0 -1 1077944384 2916 13155 0 3 3 0 5 3 20 0 15 0 473019199 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820039911792 139820581202562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22398] ppid=22271 vsize=10844940 memory=1808 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22398/stat : 22398 (java) S 22271 22280 22219 0 -1 1077944384 39 13155 0 3 0 0 5 3 20 0 15 0 473019199 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820038857824 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22399] ppid=22271 vsize=10844940 memory=920 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22399/stat : 22399 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019200 11105218560 53252 33554432000 4194304 4196468 140732623431184 139819439088512 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22405] ppid=22271 vsize=10844940 memory=3808 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22405/stat : 22405 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11105218560 53252 33554432000 4194304 4196468 140732623431184 139819131688784 139820581210011 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22406] ppid=22271 vsize=10844940 memory=2308 CPUtime=0.66 cores=1,3,5,7
/proc/22280/task/22406/stat : 22406 (java) R 22271 22280 22219 0 -1 4202560 1739 13155 0 3 57 1 5 3 20 0 15 0 473019204 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820005301104 139820564720228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22407] ppid=22271 vsize=10844940 memory=2308 CPUtime=0.67 cores=1,3,5,7
/proc/22280/task/22407/stat : 22407 (java) R 22271 22280 22219 0 -1 4202560 2208 13155 0 3 59 0 5 3 20 0 15 0 473019204 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820004248304 139820565152320 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22408] ppid=22271 vsize=10844940 memory=180196 CPUtime=1.11 cores=1,3,5,7
/proc/22280/task/22408/stat : 22408 (java) S 22271 22280 22219 0 -1 1077944384 4929 13155 0 3 102 1 5 3 20 0 15 0 473019204 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820003195504 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22409] ppid=22271 vsize=10844940 memory=948 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22409/stat : 22409 (java) S 22271 22280 22219 0 -1 1077944384 3 13155 0 3 0 0 5 3 20 0 15 0 473019204 11105218560 53252 33554432000 4194304 4196468 140732623431184 139819098131168 139820581201621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
[pid=22280/tid=22411] ppid=22271 vsize=10844940 memory=2832 CPUtime=0.08 cores=1,3,5,7
/proc/22280/task/22411/stat : 22411 (java) S 22271 22280 22219 0 -1 1077944384 10 13155 0 3 0 0 5 3 20 0 15 0 473019209 11105218560 53252 33554432000 4194304 4196468 140732623431184 139820002142896 139820581202562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15175680 140732623436527 140732623439045 140732623439045 140732623441871 0
Current children cumulated CPU time: 5.05 s
Current children cumulated vsize: 10844940 KiB
Current children cumulated memory: 213008 KiB
Child status: 0
Real time (s): 10.4961
CPU time (s): 5.32137
CPU user time (s): 5.10707
CPU system time (s): 0.214297
CPU usage (%): 50.6987
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 213008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.10707
system time used= 0.214297
maximum resident set size= 222956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52258
page faults= 5
swaps= 0
block input operations= 56320
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6247
involuntary context switches= 413
# summary of solver processes directly reported to runsolver:
# pid: 22280
# total CPU time (s): 5.32137
# total CPU user time (s): 5.10707
# total CPU system time (s): 0.214297
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.091828 second user time and 0.137584 second system time
The end