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 (6541 MiB free)
memory of node 1: 16384 MiB (10590 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292299-1532494918/watcher-4292299-1532494918 -o /tmp/evaluation-result-4292299-1532494918/solver-4292299-1532494918 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532470661-17281 --watchdog 2560 HOME/xcsp3-exec -seed 873685512 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292299-1532494918.xml
running on 4 cores: 1,3,5,7
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
solver pid=21315, runsolver pid=21312
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.97 1.88 1.80 3/219 21331
/proc/meminfo: memFree=17515844/32770624 swapFree=67108796/67108860
[pid=21315] ppid=21312 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67054963 115843072 364 33554432000 4194304 5098028 140736497210896 140736497209000 139962317304444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29237248 140736497214523 140736497214724 140736497214724 140736497217482 0
/proc/21315/statm: 28282 364 306 221 0 87 0
[pid=21317] ppid=21315 vsize=14082840 memory=28644 CPUtime=0.12 cores=1,3,5,7
/proc/21317/stat : 21317 (java) S 21315 21315 17249 0 -1 1077944320 5586 0 0 0 12 0 0 0 20 0 15 0 67054963 14420828160 7161 33554432000 4194304 4196468 140733920673072 140733920655616 139834552192759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
/proc/21317/statm: 3520710 7161 2975 1 0 3483008 0
[pid=21317/tid=21318] ppid=21315 vsize=14082840 memory=8514701219880730789 CPUtime=0.09 cores=1,3,5,7
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 17249 0 -1 4202560 3603 0 0 0 9 0 0 0 20 0 15 0 67054964 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834556425504 139834552204694 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21319] ppid=21315 vsize=14082840 memory=3472468840500511952 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834482280976 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21320] ppid=21315 vsize=14082840 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834481228432 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21321] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834480175376 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21322] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054965 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834479122832 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21323] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054966 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834026326768 139834552203906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21324] ppid=21315 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67054966 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834025272992 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21325] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67054966 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834024219888 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21326] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834023168464 139834552211355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21327] ppid=21315 vsize=14082840 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 17249 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834022115568 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21328] ppid=21315 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 17249 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834021063024 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21329] ppid=21315 vsize=14082840 memory=140711605360256 CPUtime=0.01 cores=1,3,5,7
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 17249 0 -1 4202560 252 0 0 0 1 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834020009968 139834531581968 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21330] ppid=21315 vsize=14082840 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834018957664 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21331] ppid=21315 vsize=14082840 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054969 14420828160 7161 33554432000 4194304 4196468 140733920673072 139834017905712 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30100 KiB
[startup+0.408838 s]*
/proc/loadavg: 1.97 1.88 1.80 4/219 21331
/proc/meminfo: memFree=17499816/32770624 swapFree=67108796/67108860
[pid=21315] ppid=21312 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67054963 115843072 364 33554432000 4194304 5098028 140736497210896 140736497209000 139962317304444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29237248 140736497214523 140736497214724 140736497214724 140736497217482 0
/proc/21315/statm: 28282 364 306 221 0 87 0
[pid=21317] ppid=21315 vsize=14089220 memory=54948 CPUtime=0.73 cores=1,3,5,7
/proc/21317/stat : 21317 (java) S 21315 21315 17249 0 -1 1077944320 9913 0 0 0 70 3 0 0 20 0 15 0 67054963 14427361280 13737 33554432000 4194304 4196468 140733920673072 140733920655616 139834552192759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
/proc/21317/statm: 3522305 13737 3272 1 0 3483520 0
[pid=21317/tid=21318] ppid=21315 vsize=14089220 memory=5854518564242424225 CPUtime=0.39 cores=1,3,5,7
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 17249 0 -1 4202560 6584 0 0 0 37 2 0 0 20 0 15 0 67054964 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834556431040 139834536273246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21319] ppid=21315 vsize=14089220 memory=3472468840500511952 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834482280976 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21320] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834481228432 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21321] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834480175376 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21322] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834479122832 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21323] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834026326768 139834552203906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21324] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834025272992 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21325] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834024219888 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21326] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834023168464 139834552211355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21327] ppid=21315 vsize=14089220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/21317/task/21327/stat : 21327 (java) S 21315 21315 17249 0 -1 1077944384 683 0 0 0 8 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834022115568 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21328] ppid=21315 vsize=14089220 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/21317/task/21328/stat : 21328 (java) S 21315 21315 17249 0 -1 1077944384 241 0 0 0 4 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834021063024 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21329] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0.19 cores=1,3,5,7
/proc/21317/task/21329/stat : 21329 (java) S 21315 21315 17249 0 -1 1077944384 1098 0 0 0 19 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834020009968 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21330] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834018957664 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21331] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 13737 33554432000 4194304 4196468 140733920673072 139834017905712 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 56404 KiB
[startup+0.511858 s]*
/proc/loadavg: 1.97 1.88 1.80 4/219 21331
/proc/meminfo: memFree=17487040/32770624 swapFree=67108796/67108860
[pid=21315] ppid=21312 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67054963 115843072 364 33554432000 4194304 5098028 140736497210896 140736497209000 139962317304444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29237248 140736497214523 140736497214724 140736497214724 140736497217482 0
/proc/21315/statm: 28282 364 306 221 0 87 0
[pid=21317] ppid=21315 vsize=14089220 memory=67532 CPUtime=1.05 cores=1,3,5,7
/proc/21317/stat : 21317 (java) S 21315 21315 17249 0 -1 1077944320 12122 0 0 0 101 4 0 0 20 0 15 0 67054963 14427361280 16883 33554432000 4194304 4196468 140733920673072 140733920655616 139834552192759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
/proc/21317/statm: 3522305 16883 3331 1 0 3483520 0
[pid=21317/tid=21318] ppid=21315 vsize=14089220 memory=8514701219880730271 CPUtime=0.49 cores=1,3,5,7
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 17249 0 -1 4202560 6911 0 0 0 47 2 0 0 20 0 15 0 67054964 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834556429024 139834544870773 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21319] ppid=21315 vsize=14089220 memory=3472468840500511952 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834482280976 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21320] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834481228432 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21321] ppid=21315 vsize=14089220 memory=16 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834480175376 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21322] ppid=21315 vsize=14089220 memory=140711450257439 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834479122832 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21323] ppid=21315 vsize=14089220 memory=281422900475648 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834026326768 139834552203906 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21324] ppid=21315 vsize=14089220 memory=140711450234383 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834025272992 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21325] ppid=21315 vsize=14089220 memory=281423055603808 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834024219888 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21326] ppid=21315 vsize=14089220 memory=140711450238991 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834023168464 139834552211355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21327] ppid=21315 vsize=14089220 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/21317/task/21327/stat : 21327 (java) R 21315 21315 17249 0 -1 4202560 1277 0 0 0 15 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834022104944 139834552206637 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21328] ppid=21315 vsize=14089220 memory=-1 CPUtime=0.11 cores=1,3,5,7
/proc/21317/task/21328/stat : 21328 (java) R 21315 21315 17249 0 -1 4202560 927 0 0 0 11 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834021063024 139834530021774 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21329] ppid=21315 vsize=14089220 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 17249 0 -1 1077944384 1701 0 0 0 26 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834020009968 139834552203906 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21330] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834018957664 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21331] ppid=21315 vsize=14089220 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 16883 33554432000 4194304 4196468 140733920673072 139834017905712 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 68988 KiB
[startup+0.711094 s]*
/proc/loadavg: 1.97 1.88 1.80 5/219 21331
/proc/meminfo: memFree=17482140/32770624 swapFree=67108796/67108860
[pid=21315] ppid=21312 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67054963 115843072 364 33554432000 4194304 5098028 140736497210896 140736497209000 139962317304444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29237248 140736497214523 140736497214724 140736497214724 140736497217482 0
/proc/21315/statm: 28282 364 306 221 0 87 0
[pid=21317] ppid=21315 vsize=14089220 memory=72772 CPUtime=1.65 cores=1,3,5,7
/proc/21317/stat : 21317 (java) S 21315 21315 17249 0 -1 1077944320 12954 0 0 0 161 4 0 0 20 0 15 0 67054963 14427361280 18193 33554432000 4194304 4196468 140733920673072 140733920655616 139834552192759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
/proc/21317/statm: 3522305 18193 3346 1 0 3483520 0
[pid=21317/tid=21318] ppid=21315 vsize=14089220 memory=5854518564242424225 CPUtime=0.69 cores=1,3,5,7
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 17249 0 -1 4202560 7106 0 0 0 66 3 0 0 20 0 15 0 67054964 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834556431808 139834152822913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21319] ppid=21315 vsize=14089220 memory=3472469007833040560 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834482280976 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21320] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834481228432 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21321] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834480175376 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21322] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834479122832 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21323] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834026326768 139834552203906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21324] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834025272992 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21325] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834024219888 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21326] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834023168464 139834552211355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21327] ppid=21315 vsize=14089220 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/21317/task/21327/stat : 21327 (java) R 21315 21315 17249 0 -1 4202560 1435 0 0 0 31 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834022115696 139834532889363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21328] ppid=21315 vsize=14089220 memory=-1 CPUtime=0.26 cores=1,3,5,7
/proc/21317/task/21328/stat : 21328 (java) R 21315 21315 17249 0 -1 4202560 1185 0 0 0 26 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834021048904 139834533710649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21329] ppid=21315 vsize=14089220 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 17249 0 -1 1077944384 1920 0 0 0 35 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834020009968 139834552203906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21330] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834018957664 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21331] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834017905712 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 74228 KiB
[startup+0.741252 s]
# the end of solver process 21315 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.65618 s, system=0.053387 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.711094 s]*
/proc/loadavg: 1.97 1.88 1.80 5/219 21331
/proc/meminfo: memFree=17482140/32770624 swapFree=67108796/67108860
[pid=21315] ppid=21312 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/21315/stat : 21315 (xcsp3-exec) S 21312 21315 17249 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 67054963 115843072 364 33554432000 4194304 5098028 140736497210896 140736497209000 139962317304444 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 29237248 140736497214523 140736497214724 140736497214724 140736497217482 0
/proc/21315/statm: 28282 364 306 221 0 87 0
[pid=21317] ppid=21315 vsize=14089220 memory=72772 CPUtime=1.65 cores=1,3,5,7
/proc/21317/stat : 21317 (java) S 21315 21315 17249 0 -1 1077944320 12954 0 0 0 161 4 0 0 20 0 15 0 67054963 14427361280 18193 33554432000 4194304 4196468 140733920673072 140733920655616 139834552192759 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
/proc/21317/statm: 3522305 18193 3346 1 0 3483520 0
[pid=21317/tid=21318] ppid=21315 vsize=14089220 memory=5854518564242424225 CPUtime=0.69 cores=1,3,5,7
/proc/21317/task/21318/stat : 21318 (java) R 21315 21315 17249 0 -1 4202560 7106 0 0 0 66 3 0 0 20 0 15 0 67054964 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834556431808 139834152822913 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21319] ppid=21315 vsize=14089220 memory=3472469007833040560 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21319/stat : 21319 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834482280976 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21320] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21320/stat : 21320 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834481228432 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21321] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21321/stat : 21321 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834480175376 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21322] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21322/stat : 21322 (java) S 21315 21315 17249 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 67054965 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834479122832 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21323] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21323/stat : 21323 (java) S 21315 21315 17249 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834026326768 139834552203906 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21324] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21324/stat : 21324 (java) S 21315 21315 17249 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834025272992 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21325] ppid=21315 vsize=14089220 memory=140711605360256 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21325/stat : 21325 (java) S 21315 21315 17249 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 67054966 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834024219888 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21326] ppid=21315 vsize=14089220 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21326/stat : 21326 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834023168464 139834552211355 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21327] ppid=21315 vsize=14089220 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/21317/task/21327/stat : 21327 (java) R 21315 21315 17249 0 -1 4202560 1435 0 0 0 31 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834022115696 139834532889363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21328] ppid=21315 vsize=14089220 memory=-1 CPUtime=0.26 cores=1,3,5,7
/proc/21317/task/21328/stat : 21328 (java) R 21315 21315 17249 0 -1 4202560 1185 0 0 0 26 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834021048904 139834533710649 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21329] ppid=21315 vsize=14089220 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/21317/task/21329/stat : 21329 (java) R 21315 21315 17249 0 -1 1077944384 1920 0 0 0 35 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834020009968 139834552203906 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21330] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21330/stat : 21330 (java) S 21315 21315 17249 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834018957664 139834552202965 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
[pid=21317/tid=21331] ppid=21315 vsize=14089220 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21317/task/21331/stat : 21331 (java) S 21315 21315 17249 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 67054969 14427361280 18193 33554432000 4194304 4196468 140733920673072 139834017905712 139834552203906 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29229056 140733920674945 140733920675121 140733920675121 140733920677839 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 74228 KiB
Child status: 0
Real time (s): 0.741295
CPU time (s): 1.70957
CPU user time (s): 1.65618
CPU system time (s): 0.053387
CPU usage (%): 230.619
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 74228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.65618
system time used= 0.053387
maximum resident set size= 75640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13588
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1750
involuntary context switches= 30
# summary of solver processes directly reported to runsolver:
# pid: 21315
# total CPU time (s): 1.70957
# total CPU user time (s): 1.65618
# total CPU system time (s): 0.053387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025677 second user time and 0.049123 second system time
The end