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 (10686 MiB free)
memory of node 1: 16384 MiB (12670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406107-1569399640/watcher-4406107-1569399640 -o /var/tmp/evaluation-result-4406107-1569399640/solver-4406107-1569399640 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1569396629-3722 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4406107-1569399640.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4909, runsolver pid=4906
Current StackSize limit: 8192 KiB
[startup+0.100059 s]*
/proc/loadavg: 2.10 2.10 1.94 5/235 4925
/proc/meminfo: memFree=23899980/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15145800 memory=32496 CPUtime=0.12 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 6983 0 0 0 10 2 0 0 20 0 15 0 516203541 15509299200 8124 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3786450 8124 3116 1 0 3748633 0
[pid=4911/tid=4912] ppid=4909 vsize=15145800 memory=7898926307635073883 CPUtime=0.09 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 5436 0 0 0 8 1 0 0 20 0 15 0 516203541 15509299200 8308 33554432000 4194304 4196468 140727350294816 140094224351984 140094212811805 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15145800 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15145800 memory=140589851195008 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15145800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15145800 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15145800 memory=140589851195008 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203543 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15145800 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15145800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15145800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15145800 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) S 4909 4909 3690 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 15 0 516203546 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093684492272 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15145800 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) S 4909 4909 3690 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 516203546 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093683439728 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15145800 memory=140589851195008 CPUtime=0.01 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 283 0 0 0 1 0 0 0 20 0 15 0 516203546 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15145800 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15145800 memory=140589851195008 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203547 15509299200 8308 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15258928 KiB
Current children cumulated memory: 33952 KiB
[startup+0.211308 s]*
/proc/loadavg: 2.10 2.10 1.94 3/235 4925
/proc/meminfo: memFree=23889524/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15144776 memory=40716 CPUtime=0.34 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 8922 0 0 0 31 3 0 0 20 0 15 0 516203541 15508250624 10179 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3786194 10179 3281 1 0 3748377 0
[pid=4911/tid=4912] ppid=4909 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 6102 0 0 0 18 2 0 0 20 0 15 0 516203541 15508250624 10179 33554432000 4194304 4196468 140727350294816 140094224363312 140094220154013 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15144776 memory=13591 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15144776 memory=140589854286754 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15144776 memory=140589851195008 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516203543 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) S 4909 4909 3690 0 -1 1077944384 550 0 0 0 3 0 0 0 20 0 15 0 516203546 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093684492272 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) S 4909 4909 3690 0 -1 1077944384 311 0 0 0 1 0 0 0 20 0 15 0 516203546 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093683439728 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15144776 memory=140589851195008 CPUtime=0.08 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 654 0 0 0 8 0 0 0 20 0 15 0 516203546 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203547 15508250624 10179 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42172 KiB
[startup+0.311086 s]*
/proc/loadavg: 2.10 2.10 1.94 4/235 4925
/proc/meminfo: memFree=23881392/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15149032 memory=49788 CPUtime=0.53 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 10653 0 0 0 49 4 0 0 20 0 15 0 516203541 15512608768 12447 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3787258 12447 3335 1 0 3748377 0
[pid=4911/tid=4912] ppid=4909 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 7703 0 0 0 27 3 0 0 20 0 15 0 516203541 15512608768 12452 33554432000 4194304 4196468 140727350294816 140094224363664 140094204212574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15149032 memory=13953 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15149032 memory=3881843 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516203543 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15149032 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) S 4909 4909 3690 0 -1 1077944384 655 0 0 0 6 0 0 0 20 0 15 0 516203546 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093684492272 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) S 4909 4909 3690 0 -1 1077944384 313 0 0 0 3 0 0 0 20 0 15 0 516203546 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093683439728 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 702 0 0 0 12 0 0 0 20 0 15 0 516203546 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203547 15512608768 12452 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51244 KiB
[startup+0.700947 s]
/proc/loadavg: 2.10 2.10 1.94 5/235 4925
/proc/meminfo: memFree=23866124/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15151156 memory=73972 CPUtime=1.63 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 13655 0 0 0 157 6 0 0 20 0 15 0 516203541 15514783744 18493 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3787789 18493 3451 1 0 3748889 0
[pid=4911/tid=4912] ppid=4909 vsize=15151156 memory=35536 CPUtime=0.67 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 8704 0 0 0 63 4 0 0 20 0 15 0 516203541 15514783744 18493 33554432000 4194304 4196468 140727350294816 140094224368336 140093861533747 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516203543 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15151156 memory=1768 CPUtime=0.3 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) R 4909 4909 3690 0 -1 4202560 1272 0 0 0 30 0 0 0 20 0 15 0 516203546 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093684479952 140094220153434 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15151156 memory=111628 CPUtime=0.29 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) R 4909 4909 3690 0 -1 4202560 916 0 0 0 29 0 0 0 20 0 15 0 516203546 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093683421024 140094205028232 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15151156 memory=804 CPUtime=0.34 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 1454 0 0 0 33 1 0 0 20 0 15 0 516203546 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15151156 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18493 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 75428 KiB
[startup+1.26749 s]
# the end of solver process 4909 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.69755 s, system=0.076951 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800877 s]
/proc/loadavg: 2.10 2.10 1.94 5/235 4925
/proc/meminfo: memFree=23866124/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15151156 memory=74904 CPUtime=1.95 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 13894 0 0 0 189 6 0 0 20 0 15 0 516203541 15514783744 18726 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3787789 18726 3454 1 0 3748889 0
[pid=4911/tid=4912] ppid=4909 vsize=15151156 memory=2052 CPUtime=0.77 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 8705 0 0 0 73 4 0 0 20 0 15 0 516203541 15514783744 18726 33554432000 4194304 4196468 140727350294816 140094224368624 140093861395754 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15151156 memory=1428 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15151156 memory=1716 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15151156 memory=784 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15151156 memory=6204 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516203543 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15151156 memory=1540 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15151156 memory=728 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15151156 memory=3956 CPUtime=0.4 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) R 4909 4909 3690 0 -1 4202560 1368 0 0 0 40 0 0 0 20 0 15 0 516203546 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093684479744 140094201653496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15151156 memory=2832 CPUtime=0.39 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) R 4909 4909 3690 0 -1 4202560 977 0 0 0 39 0 0 0 20 0 15 0 516203546 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093683426512 140094204038021 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15151156 memory=1212 CPUtime=0.36 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 1535 0 0 0 35 1 0 0 20 0 15 0 516203546 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15151156 memory=33 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15151156 memory=-7595718316223195531 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18726 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 76360 KiB
[startup+1.20073 s]
/proc/loadavg: 2.10 2.10 1.94 3/235 4925
/proc/meminfo: memFree=23855844/32770624 swapFree=67003052/67108860
[pid=4909] ppid=4906 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/4909/stat : 4909 (xcsp3-exec) S 4906 4909 3690 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516203541 115843072 364 33554432000 4194304 5098028 140725771774240 140725771772344 140332553454204 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 10219520 140725771780951 140725771781209 140725771781209 140725771784134 0
/proc/4909/statm: 28282 364 305 221 0 87 0
[pid=4911] ppid=4909 vsize=15151156 memory=75808 CPUtime=2.68 cores=1,3,5,7
/proc/4911/stat : 4911 (java) S 4909 4909 3690 0 -1 1077944320 16433 0 0 0 262 6 0 0 20 0 15 0 516203541 15514783744 18952 33554432000 4194304 4196468 140727350294816 140727350277360 140094220132087 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
/proc/4911/statm: 3787789 18952 3459 1 0 3748889 0
[pid=4911/tid=4912] ppid=4909 vsize=15151156 memory=1564 CPUtime=1.17 cores=1,3,5,7
/proc/4911/task/4912/stat : 4912 (java) R 4909 4909 3690 0 -1 4202560 9334 0 0 0 113 4 0 0 20 0 15 0 516203541 15514783744 18952 33554432000 4194304 4196468 140727350294816 140094224369632 140093861349804 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4913] ppid=4909 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4913/stat : 4913 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093812562192 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4914] ppid=4909 vsize=15151156 memory=1756 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4914/stat : 4914 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093811509648 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4915] ppid=4909 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4915/stat : 4915 (java) S 4909 4909 3690 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093810457104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4916] ppid=4909 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4916/stat : 4916 (java) S 4909 4909 3690 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516203542 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093809404560 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4917] ppid=4909 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4917/stat : 4917 (java) S 4909 4909 3690 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 516203543 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093688703472 140094220143234 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4918] ppid=4909 vsize=15151156 memory=2376 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4918/stat : 4918 (java) S 4909 4909 3690 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093687649696 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4919] ppid=4909 vsize=15151156 memory=1768 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4919/stat : 4919 (java) S 4909 4909 3690 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516203544 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093686597104 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4920] ppid=4909 vsize=15151156 memory=111628 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4920/stat : 4920 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203546 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093685545680 140094220150683 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4921] ppid=4909 vsize=15151156 memory=804 CPUtime=0.55 cores=1,3,5,7
/proc/4911/task/4921/stat : 4921 (java) S 4909 4909 3690 0 -1 1077944384 1505 0 0 0 55 0 0 0 20 0 15 0 516203546 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093684492272 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4922] ppid=4909 vsize=15151156 memory=4100 CPUtime=0.53 cores=1,3,5,7
/proc/4911/task/4922/stat : 4922 (java) S 4909 4909 3690 0 -1 1077944384 1906 0 0 0 53 0 0 0 20 0 15 0 516203546 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093683439728 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4923] ppid=4909 vsize=15151156 memory=1808 CPUtime=0.41 cores=1,3,5,7
/proc/4911/task/4923/stat : 4923 (java) S 4909 4909 3690 0 -1 1077944384 2316 0 0 0 40 1 0 0 20 0 15 0 516203546 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093682387184 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4924] ppid=4909 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4924/stat : 4924 (java) S 4909 4909 3690 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093681334880 140094220142293 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
[pid=4911/tid=4925] ppid=4909 vsize=15151156 memory=13791 CPUtime=0 cores=1,3,5,7
/proc/4911/task/4925/stat : 4925 (java) S 4909 4909 3690 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516203547 15514783744 18952 33554432000 4194304 4196468 140727350294816 140093680282416 140094220143234 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27185152 140727350301659 140727350301834 140727350301834 140727350304719 0
Current children cumulated CPU time: 2.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 77264 KiB
Child status: 0
Real time (s): 1.26754
CPU time (s): 2.7745
CPU user time (s): 2.69755
CPU system time (s): 0.076951
CPU usage (%): 218.889
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 77264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.69755
system time used= 0.076951
maximum resident set size= 78316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17397
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2020
involuntary context switches= 11
# summary of solver processes directly reported to runsolver:
# pid: 4909
# total CPU time (s): 2.7745
# total CPU user time (s): 2.69755
# total CPU system time (s): 0.076951
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034038 second user time and 0.05858 second system time
The end