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 (13704 MiB free)
memory of node 1: 16384 MiB (14126 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401306-1568673331/watcher-4401306-1568673331 -o /tmp/evaluation-result-4401306-1568673331/solver-4401306-1568673331 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568673291-17351 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4401306-1568673331.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=17382, runsolver pid=17375
[startup+0.10015 s]*
/proc/loadavg: 0.16 1.13 2.25 2/206 17439
/proc/meminfo: memFree=28497488/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/17382/stat : 17382 (bash) S 17375 17382 17320 0 -1 4202496 887 5692 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140724723846304 140724723840312 140641622170624 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17382/statm: 28314 404 320 221 0 119 0
[pid=17437] ppid=17382 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/17437/stat : 17437 (bash) S 17382 17382 17320 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140724723846304 140724723838984 140641621996156 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17437/statm: 28314 178 94 221 0 119 0
[pid=17438] ppid=17437 vsize=11672 memory=660 CPUtime=0 cores=0,2,4,6
/proc/17438/stat : 17438 (java) D 17437 17382 17320 0 -1 1077944320 315 0 0 0 0 0 0 0 20 0 1 0 443273847 11952128 165 33554432000 4194304 4196468 140725377217504 140725377195784 139743559293856 0 0 4096 0 18446744072101572132 0 0 17 2 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
/proc/17438/statm: 2918 165 132 1 0 340 0
[pid=17439] ppid=17437 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/17439/stat : 17439 (awk) S 17437 17382 17320 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 242 33554432000 4194304 4609284 140728990920368 140728990919544 140400184175616 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 11091968 140728990921916 140728990921946 140728990921946 140728990924783 0
/proc/17439/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 351672 KiB
Current children cumulated memory: 3956 KiB
[startup+0.209973 s]*
/proc/loadavg: 0.16 1.13 2.25 3/212 17445
/proc/meminfo: memFree=28487364/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/17382/stat : 17382 (bash) S 17375 17382 17320 0 -1 4202496 887 5692 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140724723846304 140724723840312 140641622170624 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17382/statm: 28314 404 320 221 0 119 0
[pid=17437] ppid=17382 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/17437/stat : 17437 (bash) S 17382 17382 17320 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140724723846304 140724723838984 140641621996156 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17437/statm: 28314 178 94 221 0 119 0
[pid=17438] ppid=17437 vsize=9940964 memory=18368 CPUtime=0 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17437 17382 17320 0 -1 1077944320 3386 0 0 0 0 0 0 0 20 0 6 0 443273847 10179547136 4592 33554432000 4194304 4196468 140725377217504 140725377200048 139743566614263 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
/proc/17438/statm: 2485241 4592 1941 1 0 2473679 0
[pid=17438/tid=17441] ppid=17437 vsize=9940964 memory=7751702667093440019 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) R 17437 17382 17320 0 -1 4202560 2107 0 0 0 0 0 0 0 20 0 6 0 443273857 10179547136 4592 33554432000 4194304 4196468 140725377217504 139743570850384 139743566636189 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17442] ppid=17437 vsize=9940964 memory=664964232733811010 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443273865 10179547136 4592 33554432000 4194304 4196468 140725377217504 139743492688272 139743566624469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17443] ppid=17437 vsize=9940964 memory=140514455881344 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443273865 10179547136 4592 33554432000 4194304 4196468 140725377217504 139743491635472 139743566624469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17444] ppid=17437 vsize=9940964 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443273865 10179547136 4592 33554432000 4194304 4196468 140725377217504 139743490583184 139743566624469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17445] ppid=17437 vsize=9940964 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17437 17382 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443273865 10179547136 4592 33554432000 4194304 4196468 140725377217504 139743489530384 139743566624469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17439] ppid=17437 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/17439/stat : 17439 (awk) S 17437 17382 17320 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 242 33554432000 4194304 4609284 140728990920368 140728990919544 140400184175616 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 11091968 140728990921916 140728990921946 140728990921946 140728990924783 0
/proc/17439/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 21664 KiB
[startup+0.310386 s]*
/proc/loadavg: 0.16 1.13 2.25 2/222 17455
/proc/meminfo: memFree=28478012/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=113256 memory=1616 CPUtime=0.01 cores=0,2,4,6
/proc/17382/stat : 17382 (bash) S 17375 17382 17320 0 -1 4202496 887 5692 0 0 0 0 0 1 20 0 1 0 443273845 115974144 404 33554432000 4194304 5098028 140724723846304 140724723840312 140641622170624 0 0 4100 65536 18446744071580971376 0 0 17 0 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17382/statm: 28314 404 320 221 0 119 0
[pid=17437] ppid=17382 vsize=113256 memory=712 CPUtime=0 cores=0,2,4,6
/proc/17437/stat : 17437 (bash) S 17382 17382 17320 0 -1 4202560 156 0 0 0 0 0 0 0 20 0 1 0 443273847 115974144 178 33554432000 4194304 5098028 140724723846304 140724723838984 140641621996156 0 65536 4096 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31735808 140724723852308 140724723852433 140724723852433 140724723855342 0
/proc/17437/statm: 28314 178 94 221 0 119 0
[pid=17438] ppid=17437 vsize=10260324 memory=20400 CPUtime=0.04 cores=0,2,4,6
/proc/17438/stat : 17438 (java) S 17437 17382 17320 0 -1 1077944320 3981 0 0 0 3 1 0 0 20 0 9 0 443273847 10506571776 5100 33554432000 4194304 4196468 140725377217504 140725377200048 139743566614263 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
/proc/17438/statm: 2565081 5100 2192 1 0 2527622 0
[pid=17438/tid=17441] ppid=17437 vsize=10260324 memory=576567874760998942 CPUtime=0.04 cores=0,2,4,6
/proc/17438/task/17441/stat : 17441 (java) D 17437 17382 17320 0 -1 1077944384 2636 0 0 0 3 1 0 0 20 0 9 0 443273857 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743570849304 139743559292277 0 4 0 16800971 18446744072101572132 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17442] ppid=17437 vsize=10260324 memory=4296933218 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17442/stat : 17442 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443273865 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743492688272 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17443] ppid=17437 vsize=10260324 memory=140514455893267 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17443/stat : 17443 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443273865 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743491635472 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17444] ppid=17437 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17444/stat : 17444 (java) S 17437 17382 17320 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443273865 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743490583184 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17445] ppid=17437 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17445/stat : 17445 (java) S 17437 17382 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443273865 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743489530384 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17451] ppid=17437 vsize=10260324 memory=140514455881344 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17451/stat : 17451 (java) S 17437 17382 17320 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443273867 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743058676336 139743566625410 0 0 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17453] ppid=17437 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17453/stat : 17453 (java) S 17437 17382 17320 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443273868 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743057622304 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17438/tid=17455] ppid=17437 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17438/task/17455/stat : 17455 (java) S 17437 17382 17320 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443273868 10506571776 5100 33554432000 4194304 4196468 140725377217504 139743056569968 139743566624469 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7979008 140725377225868 140725377225882 140725377225882 140725377228751 0
[pid=17439] ppid=17437 vsize=113488 memory=968 CPUtime=0 cores=0,2,4,6
/proc/17439/stat : 17439 (awk) S 17437 17382 17320 0 -1 4202496 427 0 0 0 0 0 0 0 20 0 1 0 443273847 116211712 242 33554432000 4194304 4609284 140728990920368 140728990919544 140400184175616 0 0 4096 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 11091968 140728990921916 140728990921946 140728990921946 140728990924783 0
/proc/17439/statm: 28372 242 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23696 KiB
[startup+0.700483 s]
/proc/loadavg: 0.16 1.13 2.25 3/216 17501
/proc/meminfo: memFree=28479232/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10820196 memory=41684 CPUtime=0.28 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 8248 13010 0 0 18 2 5 3 20 0 15 0 443273845 11079880704 10421 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2705049 10421 3294 1 0 2667149 0
[pid=17382/tid=17487] ppid=17375 vsize=10820196 memory=776 CPUtime=0.2 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) D 17375 17382 17320 0 -1 1077944384 4723 13010 0 0 11 1 5 3 20 0 15 0 443273891 11079880704 10421 33554432000 4194304 4196468 140735531317504 139697365541632 139697386408493 0 4 0 16800975 18446744072101572132 0 0 -1 6 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10820196 memory=1564 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11079880704 10421 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10820196 memory=6060 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11079880704 10421 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10820196 memory=7014751519583589713 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11079880704 10421 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10820196 memory=7380108234199885905 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 443273893 11079880704 10421 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10820196 memory=5788345327976277333 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 443273894 11079880704 10421 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 443273895 11079880704 10421 33554432000 4194304 4196468 140735531317504 139696361432352 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10820196 memory=281028702849824 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273895 11079880704 10421 33554432000 4194304 4196468 140735531317504 139696160106096 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 41684 KiB
[startup+1.50073 s]
/proc/loadavg: 0.16 1.13 2.25 4/228 17513
/proc/meminfo: memFree=28399540/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10826488 memory=97416 CPUtime=1.53 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 16584 13010 0 0 138 7 5 3 20 0 15 0 443273845 11086323712 24354 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2706622 24354 3544 1 0 2668685 0
[pid=17382/tid=17487] ppid=17375 vsize=10826488 memory=0 CPUtime=0.87 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 11554 13010 0 0 74 5 5 3 20 0 15 0 443273891 11086323712 24354 33554432000 4194304 4196468 140735531317504 139697365562384 139697393751197 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11086323712 24354 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11086323712 24354 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273893 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 2 13010 0 0 0 0 5 3 20 0 15 0 443273893 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10826488 memory=1436 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 5 13010 0 0 0 0 5 3 20 0 15 0 443273894 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10826488 memory=580 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 13 13010 0 0 0 0 5 3 20 0 15 0 443273895 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696361432352 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10826488 memory=1720 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273895 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696160106096 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10826488 memory=10604 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17507/stat : 17507 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11086323712 24354 33554432000 4194304 4196468 140735531317504 139695919815248 139697393747867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17508] ppid=17375 vsize=10826488 memory=4160 CPUtime=0.26 cores=0,2,4,6
/proc/17382/task/17508/stat : 17508 (java) S 17375 17382 17320 0 -1 1077944384 998 13010 0 0 18 0 5 3 20 0 15 0 443273899 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696919341168 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17509] ppid=17375 vsize=10826488 memory=776 CPUtime=0.26 cores=0,2,4,6
/proc/17382/task/17509/stat : 17509 (java) S 17375 17382 17320 0 -1 1077944384 664 13010 0 0 18 0 5 3 20 0 15 0 443273899 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696918288368 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17510] ppid=17375 vsize=10826488 memory=3620 CPUtime=0.35 cores=0,2,4,6
/proc/17382/task/17510/stat : 17510 (java) S 17375 17382 17320 0 -1 1077944384 1133 13010 0 0 27 0 5 3 20 0 15 0 443273899 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696917236080 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17511] ppid=17375 vsize=10826488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17511/stat : 17511 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11086323712 24354 33554432000 4194304 4196468 140735531317504 139695886256608 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17513] ppid=17375 vsize=10826488 memory=140514351666032 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17513/stat : 17513 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273906 11086323712 24354 33554432000 4194304 4196468 140735531317504 139696916183984 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 10826488 KiB
Current children cumulated memory: 97416 KiB
[startup+3.11115 s]
/proc/loadavg: 0.47 1.17 2.26 9/228 17513
/proc/meminfo: memFree=28125456/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10842892 memory=209364 CPUtime=5.06 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 32069 13010 0 0 485 13 5 3 20 0 15 0 443273845 11103121408 52341 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2710723 52341 3594 1 0 2672781 0
[pid=17382/tid=17487] ppid=17375 vsize=10842892 memory=0 CPUtime=2.44 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 18300 13010 0 0 229 7 5 3 20 0 15 0 443273891 11103121408 52341 33554432000 4194304 4196468 140735531317504 139697365564624 139697372806771 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10842892 memory=1564 CPUtime=0.09 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 357 13010 0 0 1 0 5 3 20 0 15 0 443273893 11103121408 52341 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10842892 memory=6060 CPUtime=0.09 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 62 13010 0 0 1 0 5 3 20 0 15 0 443273893 11103121408 52341 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10842892 memory=1060 CPUtime=0.09 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 67 13010 0 0 1 0 5 3 20 0 15 0 443273893 11103121408 52341 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 36 13010 0 0 1 0 5 3 20 0 15 0 443273893 11103121408 52341 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 163 13010 0 0 1 0 5 3 20 0 15 0 443273894 11103121408 52341 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 14 13010 0 0 0 0 5 3 20 0 15 0 443273895 11103121408 52341 33554432000 4194304 4196468 140735531317504 139696361432416 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10842892 memory=665112448380761876 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 1 13010 0 0 0 0 5 3 20 0 15 0 443273895 11103121408 52341 33554432000 4194304 4196468 140735531317504 139696160106112 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 91370 13010 0 0 217626 52 5 3 20 0 15 0 443273891 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697365564256 139697000324781 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10851096 memory=1218076 CPUtime=11.27 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 23345 13010 0 0 1065 54 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10851096 memory=1218076 CPUtime=11.26 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 21111 13010 0 0 1064 54 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10851096 memory=1220124 CPUtime=11.22 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 28592 13010 0 0 1059 55 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10851096 memory=1220124 CPUtime=11.28 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 22357 13010 0 0 1069 51 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10851096 memory=1220124 CPUtime=10.53 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 21472 13010 0 0 995 50 5 3 20 0 15 0 443273894 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10851096 memory=1220124 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 19 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696361432416 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10851096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 6 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696160106112 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10851096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17507/stat : 17507 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139695919815248 139697393747867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17508] ppid=17375 vsize=10851096 memory=1220124 CPUtime=5.74 cores=0,2,4,6
/proc/17382/task/17508/stat : 17508 (java) S 17375 17382 17320 0 -1 1077944384 25995 13010 0 0 562 4 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696919341168 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17509] ppid=17375 vsize=10851096 memory=1220124 CPUtime=5.86 cores=0,2,4,6
/proc/17382/task/17509/stat : 17509 (java) S 17375 17382 17320 0 -1 1077944384 28929 13010 0 0 571 7 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696918288368 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17510] ppid=17375 vsize=10851096 memory=1220124 CPUtime=4.39 cores=0,2,4,6
/proc/17382/task/17510/stat : 17510 (java) S 17375 17382 17320 0 -1 1077944384 39044 13010 0 0 424 7 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696917236080 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17511] ppid=17375 vsize=10851096 memory=1220124 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17511/stat : 17511 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139695886256608 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17513] ppid=17375 vsize=10851096 memory=1218076 CPUtime=1.42 cores=0,2,4,6
/proc/17382/task/17513/stat : 17513 (java) S 17375 17382 17320 0 -1 1077944384 1603 13010 0 0 67 67 5 3 20 0 15 0 443273906 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696916183984 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 2249.21 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1220124 KiB
[startup+2262.3 s]
/proc/loadavg: 1.18 1.32 1.43 4/228 17746
/proc/meminfo: memFree=26115692/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10851096 memory=1220124 CPUtime=2310.14 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 308984 13010 0 0 230655 351 5 3 20 0 15 0 443273845 11111522304 305031 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2712774 305031 3633 1 0 2674829 0
[pid=17382/tid=17487] ppid=17375 vsize=10851096 memory=1220124 CPUtime=2236.17 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 92655 13010 0 0 223556 53 5 3 20 0 15 0 443273891 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697365564640 139696986789659 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10851096 memory=0 CPUtime=11.59 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 23761 13010 0 0 1096 55 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10851096 memory=1220124 CPUtime=11.58 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 21179 13010 0 0 1095 55 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10851096 memory=1220124 CPUtime=11.54 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 29319 13010 0 0 1090 56 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10851096 memory=1220124 CPUtime=11.61 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 22399 13010 0 0 1100 53 5 3 20 0 15 0 443273893 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10851096 memory=281028703763200 CPUtime=10.82 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 21831 13010 0 0 1023 51 5 3 20 0 15 0 443273894 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10851096 memory=1220124 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 19 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696361432416 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10851096 memory=1220124 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 6 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696160106112 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10851096 memory=1220124 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17507/stat : 17507 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139695919815248 139697393747867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17508] ppid=17375 vsize=10851096 memory=1220124 CPUtime=5.74 cores=0,2,4,6
/proc/17382/task/17508/stat : 17508 (java) S 17375 17382 17320 0 -1 1077944384 25998 13010 0 0 562 4 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696919341168 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17509] ppid=17375 vsize=10851096 memory=1220124 CPUtime=5.86 cores=0,2,4,6
/proc/17382/task/17509/stat : 17509 (java) S 17375 17382 17320 0 -1 1077944384 28933 13010 0 0 571 7 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696918288368 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17510] ppid=17375 vsize=10851096 memory=3620 CPUtime=4.39 cores=0,2,4,6
/proc/17382/task/17510/stat : 17510 (java) S 17375 17382 17320 0 -1 1077944384 39046 13010 0 0 424 7 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696917236080 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17511] ppid=17375 vsize=10851096 memory=1660 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17511/stat : 17511 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 305031 33554432000 4194304 4196468 140735531317504 139695886256608 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17513] ppid=17375 vsize=10851096 memory=1220124 CPUtime=1.46 cores=0,2,4,6
/proc/17382/task/17513/stat : 17513 (java) S 17375 17382 17320 0 -1 1077944384 1626 13010 0 0 69 69 5 3 20 0 15 0 443273906 11111522304 305031 33554432000 4194304 4196468 140735531317504 139696916183984 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 2310.14 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1220124 KiB
[startup+2322.3 s]
/proc/loadavg: 1.33 1.35 1.44 4/228 17750
/proc/meminfo: memFree=26101140/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10851096 memory=1233016 CPUtime=2371.07 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 312602 13010 0 0 236742 357 5 3 20 0 15 0 443273845 11111522304 308254 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2712774 308254 3633 1 0 2674829 0
[pid=17382/tid=17487] ppid=17375 vsize=10851096 memory=1232628 CPUtime=2295.51 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 94139 13010 0 0 229490 53 5 3 20 0 15 0 443273891 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697365564640 139696998698819 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10851096 memory=1232628 CPUtime=11.91 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 23861 13010 0 0 1127 56 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10851096 memory=1232628 CPUtime=11.89 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 21851 13010 0 0 1125 56 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10851096 memory=1232628 CPUtime=11.85 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 29633 13010 0 0 1120 57 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10851096 memory=1232628 CPUtime=11.93 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 22492 13010 0 0 1131 54 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10851096 memory=1232628 CPUtime=11.1 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 22183 13010 0 0 1050 52 5 3 20 0 15 0 443273894 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10851096 memory=1232628 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 19 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696361432416 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10851096 memory=1232628 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 6 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696160106112 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10851096 memory=1232628 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17507/stat : 17507 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139695919815248 139697393747867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17508] ppid=17375 vsize=10851096 memory=1232628 CPUtime=5.75 cores=0,2,4,6
/proc/17382/task/17508/stat : 17508 (java) S 17375 17382 17320 0 -1 1077944384 26574 13010 0 0 563 4 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696919341168 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17509] ppid=17375 vsize=10851096 memory=3620 CPUtime=5.86 cores=0,2,4,6
/proc/17382/task/17509/stat : 17509 (java) S 17375 17382 17320 0 -1 1077944384 28935 13010 0 0 571 7 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696918288368 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17510] ppid=17375 vsize=10851096 memory=1660 CPUtime=4.39 cores=0,2,4,6
/proc/17382/task/17510/stat : 17510 (java) S 17375 17382 17320 0 -1 1077944384 39048 13010 0 0 424 7 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696917236080 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17511] ppid=17375 vsize=10851096 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17511/stat : 17511 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139695886256608 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17513] ppid=17375 vsize=10851096 memory=4108 CPUtime=1.49 cores=0,2,4,6
/proc/17382/task/17513/stat : 17513 (java) S 17375 17382 17320 0 -1 1077944384 1649 13010 0 0 71 70 5 3 20 0 15 0 443273906 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696916183984 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 2371.07 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1233016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2350.8 s]
/proc/loadavg: 1.27 1.33 1.43 6/228 17885
/proc/meminfo: memFree=27105436/32770624 swapFree=66959728/67108860
[pid=17382] ppid=17375 vsize=10851096 memory=1233016 CPUtime=2400.02 cores=0,2,4,6
/proc/17382/stat : 17382 (java) S 17375 17382 17320 0 -1 1077944320 313997 13010 0 0 239633 361 5 3 20 0 15 0 443273845 11111522304 308254 33554432000 4194304 4196468 140735531317504 140735531300048 139697393729271 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
/proc/17382/statm: 2712774 308254 3633 1 0 2674829 0
[pid=17382/tid=17487] ppid=17375 vsize=10851096 memory=832 CPUtime=2323.68 cores=0,2,4,6
/proc/17382/task/17487/stat : 17487 (java) R 17375 17382 17320 0 -1 4202560 94725 13010 0 0 232305 55 5 3 20 0 15 0 443273891 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697365564480 139696996781213 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17492] ppid=17375 vsize=10851096 memory=832 CPUtime=12.07 cores=0,2,4,6
/proc/17382/task/17492/stat : 17492 (java) S 17375 17382 17320 0 -1 1077944384 24100 13010 0 0 1142 57 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697397971344 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17493] ppid=17375 vsize=10851096 memory=1436 CPUtime=12.04 cores=0,2,4,6
/proc/17382/task/17493/stat : 17493 (java) S 17375 17382 17320 0 -1 1077944384 21858 13010 0 0 1140 56 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139697302173968 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17494] ppid=17375 vsize=10851096 memory=6791534058613427641 CPUtime=12.01 cores=0,2,4,6
/proc/17382/task/17494/stat : 17494 (java) S 17375 17382 17320 0 -1 1077944384 29964 13010 0 0 1135 58 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696966261392 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17495] ppid=17375 vsize=10851096 memory=3160 CPUtime=12.08 cores=0,2,4,6
/proc/17382/task/17495/stat : 17495 (java) S 17375 17382 17320 0 -1 1077944384 22497 13010 0 0 1146 54 5 3 20 0 15 0 443273893 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696965208592 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17497] ppid=17375 vsize=10851096 memory=1408 CPUtime=11.24 cores=0,2,4,6
/proc/17382/task/17497/stat : 17497 (java) S 17375 17382 17320 0 -1 1077944384 22388 13010 0 0 1064 52 5 3 20 0 15 0 443273894 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696920394352 139697393740418 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17500] ppid=17375 vsize=10851096 memory=3152 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17500/stat : 17500 (java) S 17375 17382 17320 0 -1 1077944384 19 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696361432416 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17501] ppid=17375 vsize=10851096 memory=1196756 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17501/stat : 17501 (java) S 17375 17382 17320 0 -1 1077944384 6 13010 0 0 0 0 5 3 20 0 15 0 443273895 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696160106112 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17507] ppid=17375 vsize=10851096 memory=1233016 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17507/stat : 17507 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139695919815248 139697393747867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17508] ppid=17375 vsize=10851096 memory=6791534058613427641 CPUtime=5.75 cores=0,2,4,6
/proc/17382/task/17508/stat : 17508 (java) S 17375 17382 17320 0 -1 1077944384 26577 13010 0 0 563 4 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696919341168 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17509] ppid=17375 vsize=10851096 memory=4126316290023845779 CPUtime=5.86 cores=0,2,4,6
/proc/17382/task/17509/stat : 17509 (java) S 17375 17382 17320 0 -1 1077944384 28937 13010 0 0 571 7 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696918288368 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17510] ppid=17375 vsize=10851096 memory=1564 CPUtime=4.4 cores=0,2,4,6
/proc/17382/task/17510/stat : 17510 (java) S 17375 17382 17320 0 -1 1077944384 39050 13010 0 0 425 7 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696917236080 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17511] ppid=17375 vsize=10851096 memory=6060 CPUtime=0.08 cores=0,2,4,6
/proc/17382/task/17511/stat : 17511 (java) S 17375 17382 17320 0 -1 1077944384 3 13010 0 0 0 0 5 3 20 0 15 0 443273899 11111522304 308254 33554432000 4194304 4196468 140735531317504 139695886256608 139697393739477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
[pid=17382/tid=17513] ppid=17375 vsize=10851096 memory=1060 CPUtime=1.51 cores=0,2,4,6
/proc/17382/task/17513/stat : 17513 (java) S 17375 17382 17320 0 -1 1077944384 1664 13010 0 0 72 71 5 3 20 0 15 0 443273906 11111522304 308254 33554432000 4194304 4196468 140735531317504 139696916183984 139697393740418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18640896 140735531326191 140735531328709 140735531328709 140735531331535 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1233016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2350.84 s]
# the end of solver process 17382 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.41 s, system=3.66495 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2350.84
CPU time (s): 2400.07
CPU user time (s): 2396.41
CPU system time (s): 3.66495
CPU usage (%): 102.094
Max. virtual memory (cumulated for all children) (KiB): 10933144
Max. memory (cumulated for all children) (KiB): 1233016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.41
system time used= 3.66495
maximum resident set size= 1237228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 327899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2800
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 271700
involuntary context switches= 12005
# summary of solver processes directly reported to runsolver:
# pid: 17382
# total CPU time (s): 2400.07
# total CPU user time (s): 2396.41
# total CPU system time (s): 3.66495
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0778 second user time and 20.2193 second system time
The end