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 (13963 MiB free)
memory of node 1: 16384 MiB (10744 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4258267-1502639423/watcher-4258267-1502639423 -o /tmp/evaluation-result-4258267-1502639423/solver-4258267-1502639423 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node148-1502637430-15760 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4258267-1502639423.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=17802, runsolver pid=17799
[startup+0.107055 s]*
/proc/loadavg: 4.75 5.02 4.34 7/215 17817
/proc/meminfo: memFree=25279320/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555400 memory=29388 CPUtime=0.14 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 6978 0 0 0 12 2 0 0 20 0 15 0 97023413 10808729600 7347 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638850 7347 2810 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555400 memory=-7254954386087372155 CPUtime=0.09 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) R 17799 17802 6338 0 -1 4202560 4781 0 0 0 8 1 0 0 20 0 15 0 97023413 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708743899808 139708718132464 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555400 memory=5793855640925157817 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708711521168 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708344929040 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708343876752 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708342823952 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023415 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708231280752 139708739689090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708230226720 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708229174384 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708228122704 139708739696539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 15 0 97023418 10808729600 7347 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555432 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023418 10808762368 7347 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555432 memory=140389915264640 CPUtime=0.02 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 97023418 10808762368 7347 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808729600 7395 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023419 10808729600 7395 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 29388 KiB
[startup+0.210382 s]*
/proc/loadavg: 4.75 5.02 4.34 7/215 17817
/proc/meminfo: memFree=25271044/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555400 memory=38916 CPUtime=0.29 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 8293 0 0 0 27 2 0 0 20 0 15 0 97023413 10808729600 9729 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638850 9729 2955 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555400 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) R 17799 17802 6338 0 -1 4202560 5273 0 0 0 18 2 0 0 20 0 15 0 97023413 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708743910288 139708739689878 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555400 memory=4211974116120055178 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708711521168 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708344929040 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708343876752 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708342823952 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023415 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708231280752 139708739689090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708230226720 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708229174384 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555400 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708228122704 139708739696539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555400 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 15 0 97023418 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555400 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 241 0 0 0 1 0 0 0 20 0 15 0 97023418 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0.06 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) R 17799 17802 6338 0 -1 4202560 876 0 0 0 6 0 0 0 20 0 15 0 97023418 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708224965488 139708718534289 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555400 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555400 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023419 10808729600 9729 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10555400 KiB
Current children cumulated memory: 38916 KiB
[startup+0.31073 s]*
/proc/loadavg: 4.75 5.02 4.34 8/215 17817
/proc/meminfo: memFree=25257952/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=46536 CPUtime=0.51 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 9243 0 0 0 48 3 0 0 20 0 15 0 97023413 10808807424 11634 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 11634 3046 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) R 17799 17802 6338 0 -1 4202560 5656 0 0 0 28 2 0 0 20 0 15 0 97023413 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708743912208 139708739689878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=4211974116120055178 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708711521168 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=140389915266997 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708344929040 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=140389797446354 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708343876752 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=140389797449167 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708342823952 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=140389915271005 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97023415 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708231280752 139708739689090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=140389797458351 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708230226720 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=280779594907536 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708229174384 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=280779594905232 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708228122704 139708739696539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 676 0 0 0 3 0 0 0 20 0 15 0 97023418 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) R 17799 17802 6338 0 -1 4202560 434 0 0 0 4 0 0 0 20 0 15 0 97023418 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708225998792 139708719371651 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=140389915264640 CPUtime=0.12 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 1108 0 0 0 12 0 0 0 20 0 15 0 97023418 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=140389915264640 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023419 10808807424 11634 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 46536 KiB
[startup+0.701071 s]
/proc/loadavg: 4.75 5.02 4.34 10/215 17817
/proc/meminfo: memFree=25133028/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=193824 CPUtime=1.55 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 11558 0 0 0 148 7 0 0 20 0 15 0 97023413 10808807424 48456 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 48456 3099 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=1952 CPUtime=0.65 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) R 17799 17802 6338 0 -1 4202560 5985 0 0 0 62 3 0 0 20 0 15 0 97023413 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708743908544 139708378438165 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=5796 CPUtime=0.01 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) S 17799 17802 6338 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 15 0 97023414 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708711521168 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) S 17799 17802 6338 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708344929040 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=7523356985603351872 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) S 17799 17802 6338 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 97023414 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708343876752 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=7881696724453321575 CPUtime=0.01 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) S 17799 17802 6338 0 -1 1077944384 19 0 0 0 1 0 0 0 20 0 15 0 97023414 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708342823952 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=7151836404271566928 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 97023415 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708231280752 139708739689090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708230226720 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708229174384 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708228122704 139708739696539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=72 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) R 17799 17802 6338 0 -1 4202560 1499 0 0 0 30 0 0 0 20 0 15 0 97023418 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708227056672 139708723145974 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=3 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) R 17799 17802 6338 0 -1 4202560 1248 0 0 0 30 0 0 0 20 0 15 0 97023418 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708226007040 139708721199209 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=6078 CPUtime=0.2 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 1313 0 0 0 20 0 0 0 20 0 15 0 97023418 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=280779595091440 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97023419 10808807424 48456 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 193824 KiB
[startup+1.50102 s]
/proc/loadavg: 4.75 5.02 4.34 6/215 17817
/proc/meminfo: memFree=25015124/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=582064 CPUtime=3.68 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 13090 0 0 0 323 45 0 0 20 0 15 0 97023413 10808807424 145516 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 145516 3122 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) S 17799 17802 6338 0 -1 1077944384 6089 0 0 0 106 4 0 0 20 0 15 0 97023413 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708743912752 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=-6940707314043348838 CPUtime=0.35 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) R 17799 17802 6338 0 -1 4202560 514 0 0 0 26 9 0 0 20 0 15 0 97023414 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708711521368 139708724629415 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=-5935602824819121961 CPUtime=0.34 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) R 17799 17802 6338 0 -1 4202560 175 0 0 0 26 8 0 0 20 0 15 0 97023414 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708344928928 139708725436273 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=-1161699032755887712 CPUtime=0.35 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) R 17799 17802 6338 0 -1 4202560 222 0 0 0 26 9 0 0 20 0 15 0 97023414 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708343876752 139708724375718 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=-6305719382032737664 CPUtime=0.36 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) R 17799 17802 6338 0 -1 4202560 255 0 0 0 26 10 0 0 20 0 15 0 97023414 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708342823952 139708724629415 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=-6305710585804973184 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 97023415 10808807424 145516 33554432000 4194304 4196468 140727074957968 139708231279072 139708739688149 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
################
# More data... #
################
/proc/17802/statm: 2638869 2074065 3143 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=7163660625715946600 CPUtime=13.21 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) S 17799 17802 6338 0 -1 1077944384 13985 0 0 0 1314 7 0 0 20 0 15 0 97023413 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708743911808 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=7163660625715946600 CPUtime=55.28 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) R 17799 17802 6338 0 -1 4202560 30234 0 0 0 5345 183 0 0 20 0 15 0 97023414 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708711521368 139708724628949 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=7163660625715946600 CPUtime=55.09 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) R 17799 17802 6338 0 -1 4202560 18052 0 0 0 5312 197 0 0 20 0 15 0 97023414 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708344929240 139708724375718 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=7163660625715946600 CPUtime=55.24 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) R 17799 17802 6338 0 -1 4202560 15158 0 0 0 5342 182 0 0 20 0 15 0 97023414 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708343876640 139708724629070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=7738993291708426344 CPUtime=55.44 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) R 17799 17802 6338 0 -1 4202560 17592 0 0 0 5368 176 0 0 20 0 15 0 97023414 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708342824152 139708724375695 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=7522817193778112622 CPUtime=16.04 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 22967 0 0 0 1602 2 0 0 20 0 15 0 97023415 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708231279072 139708739688149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=7522817193778112622 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708230226784 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=7667490972683556968 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708229174400 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=7012483300344425071 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708228122704 139708739696539 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=7012483300344425071 CPUtime=0.94 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 7827 0 0 0 93 1 0 0 20 0 15 0 97023418 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=7012483300344425071 CPUtime=0.52 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 2711 0 0 0 52 0 0 0 20 0 15 0 97023418 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=7667490972683556968 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 2315 0 0 0 29 1 0 0 20 0 15 0 97023418 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=7379817941403463267 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=7379817941403463267 CPUtime=0.02 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 97023419 10808807424 2074065 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 252.18 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296260 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+87.2536 s]
# the end of solver process 17802 was just reported to runsolver
# cumulated CPU time of all completed processes: user=252.642 s, system=7.6077 s
Solver just ended.
Dumping a history of the last processes samples
[startup+86.401 s]
/proc/loadavg: 4.36 4.74 4.30 6/215 17893
/proc/meminfo: memFree=17664924/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=8296268 CPUtime=256.97 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 156630 0 0 0 24941 756 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 2074067 3143 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=1292 CPUtime=13.21 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) S 17799 17802 6338 0 -1 1077944384 13985 0 0 0 1314 7 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708743911808 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=1728 CPUtime=56.48 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) R 17799 17802 6338 0 -1 4202560 32404 0 0 0 5465 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708711521368 139708724628640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=6791534058613427641 CPUtime=56.3 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) R 17799 17802 6338 0 -1 4202560 24785 0 0 0 5432 198 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708344929240 139708724629067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=1004 CPUtime=56.43 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) R 17799 17802 6338 0 -1 4202560 23740 0 0 0 5460 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708343876640 139708724629070 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=1228 CPUtime=56.64 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) R 17799 17802 6338 0 -1 4202560 24119 0 0 0 5488 176 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708342824152 139708724629067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=1952 CPUtime=16.04 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 22967 0 0 0 1602 2 0 0 20 0 15 0 97023415 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708231279072 139708739688149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708230226784 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708229174400 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=15876 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708228122352 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=16432 CPUtime=0.94 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 7827 0 0 0 93 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=16828 CPUtime=0.52 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 2711 0 0 0 52 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 2315 0 0 0 29 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=5796 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=4616 CPUtime=0.02 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 97023419 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 256.97 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296268 KiB
[startup+86.8011 s]
/proc/loadavg: 4.36 4.74 4.30 6/215 17893
/proc/meminfo: memFree=17664924/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=8296268 CPUtime=258.57 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 161672 0 0 0 25101 756 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 2074067 3143 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=5187 CPUtime=13.21 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) S 17799 17802 6338 0 -1 1077944384 13985 0 0 0 1314 7 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708743911808 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=6791534058613427641 CPUtime=56.88 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) R 17799 17802 6338 0 -1 4202560 32430 0 0 0 5505 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708711521368 139708724628936 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=0 CPUtime=56.69 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) R 17799 17802 6338 0 -1 4202560 27329 0 0 0 5471 198 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708344929240 139708724629070 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=94 CPUtime=56.83 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) R 17799 17802 6338 0 -1 4202560 25650 0 0 0 5500 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708343876640 139708722854512 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=52 CPUtime=57.04 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) R 17799 17802 6338 0 -1 4202560 24663 0 0 0 5528 176 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708342824152 139708724375729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=30 CPUtime=16.04 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 22967 0 0 0 1602 2 0 0 20 0 15 0 97023415 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708231279072 139708739688149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708230226784 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=2 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708229174400 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=1321 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708228122352 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=2340 CPUtime=0.94 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 7827 0 0 0 93 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=4080 CPUtime=0.52 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 2711 0 0 0 52 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=932 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 2315 0 0 0 29 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=1584 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=2196 CPUtime=0.02 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 97023419 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 258.57 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296268 KiB
[startup+87.2011 s]
/proc/loadavg: 4.36 4.74 4.30 6/215 17893
/proc/meminfo: memFree=17664924/32770624 swapFree=67108860/67108860
[pid=17802] ppid=17799 vsize=10555476 memory=8296268 CPUtime=260.15 cores=0,2,4,6
/proc/17802/stat : 17802 (java) S 17799 17802 6338 0 -1 1077944320 161749 0 0 0 25259 756 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 140727074940512 139708739677943 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
/proc/17802/statm: 2638869 2074067 3143 1 0 2627263 0
[pid=17802/tid=17804] ppid=17799 vsize=10555476 memory=8296256 CPUtime=13.21 cores=0,2,4,6
/proc/17802/task/17804/stat : 17804 (java) S 17799 17802 6338 0 -1 1077944384 13985 0 0 0 1314 7 0 0 20 0 15 0 97023413 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708743911808 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17805] ppid=17799 vsize=10555476 memory=8296256 CPUtime=57.28 cores=0,2,4,6
/proc/17802/task/17805/stat : 17805 (java) R 17799 17802 6338 0 -1 4202560 32507 0 0 0 5545 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708711521368 139708724629070 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17806] ppid=17799 vsize=10555476 memory=23597 CPUtime=57.09 cores=0,2,4,6
/proc/17802/task/17806/stat : 17806 (java) R 17799 17802 6338 0 -1 4202560 27329 0 0 0 5511 198 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708344929240 139708724663239 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17807] ppid=17799 vsize=10555476 memory=1278 CPUtime=57.21 cores=0,2,4,6
/proc/17802/task/17807/stat : 17807 (java) R 17799 17802 6338 0 -1 4202560 25650 0 0 0 5538 183 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708343876640 139708721274653 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17808] ppid=17799 vsize=10555476 memory=5186 CPUtime=57.44 cores=0,2,4,6
/proc/17802/task/17808/stat : 17808 (java) R 17799 17802 6338 0 -1 4202560 24663 0 0 0 5568 176 0 0 20 0 15 0 97023414 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708342824152 139708724628984 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17809] ppid=17799 vsize=10555476 memory=6791534058613427641 CPUtime=16.04 cores=0,2,4,6
/proc/17802/task/17809/stat : 17809 (java) S 17799 17802 6338 0 -1 1077944384 22967 0 0 0 1602 2 0 0 20 0 15 0 97023415 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708231279072 139708739688149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17810] ppid=17799 vsize=10555476 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17810/stat : 17810 (java) S 17799 17802 6338 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708230226784 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17811] ppid=17799 vsize=10555476 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17811/stat : 17811 (java) S 17799 17802 6338 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97023416 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708229174400 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17812] ppid=17799 vsize=10555476 memory=792 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17812/stat : 17812 (java) S 17799 17802 6338 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708228122352 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17813] ppid=17799 vsize=10555476 memory=1204 CPUtime=0.94 cores=0,2,4,6
/proc/17802/task/17813/stat : 17813 (java) S 17799 17802 6338 0 -1 1077944384 7827 0 0 0 93 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708227070576 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17814] ppid=17799 vsize=10555476 memory=0 CPUtime=0.52 cores=0,2,4,6
/proc/17802/task/17814/stat : 17814 (java) S 17799 17802 6338 0 -1 1077944384 2711 0 0 0 52 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708226017776 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17815] ppid=17799 vsize=10555476 memory=288230621803970871 CPUtime=0.3 cores=0,2,4,6
/proc/17802/task/17815/stat : 17815 (java) S 17799 17802 6338 0 -1 1077944384 2315 0 0 0 29 1 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708224965488 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17816] ppid=17799 vsize=10555476 memory=16099256251451951 CPUtime=0 cores=0,2,4,6
/proc/17802/task/17816/stat : 17816 (java) S 17799 17802 6338 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97023418 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708223912928 139708739688149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
[pid=17802/tid=17817] ppid=17799 vsize=10555476 memory=916 CPUtime=0.02 cores=0,2,4,6
/proc/17802/task/17817/stat : 17817 (java) S 17799 17802 6338 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 97023419 10808807424 2074067 33554432000 4194304 4196468 140727074957968 139708222859696 139708739689090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10661888 140727074964619 140727074964772 140727074964772 140727074967503 0
Current children cumulated CPU time: 260.15 s
Current children cumulated vsize: 10555476 KiB
Current children cumulated memory: 8296268 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 87.2536
CPU time (s): 260.25
CPU user time (s): 252.642
CPU system time (s): 7.6077
CPU usage (%): 298.268
Max. virtual memory (cumulated for all children) (KiB): 10555476
Max. memory (cumulated for all children) (KiB): 8296268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.642
system time used= 7.60769
maximum resident set size= 8296532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161754
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5813
involuntary context switches= 3820
# summary of solver processes directly reported to runsolver:
# pid: 17802
# total CPU time (s): 260.25
# total CPU user time (s): 252.642
# total CPU system time (s): 7.6077
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.550598 second user time and 0.856731 second system time
The end