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 (13778 MiB free)
memory of node 1: 16384 MiB (11112 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406386-1569399065/watcher-4406386-1569399065 -o /tmp/evaluation-result-4406386-1569399065/solver-4406386-1569399065 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1569396629-4098 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 13758179 HOME/instance-4406386-1569399065.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=4848, runsolver pid=4845
[startup+0.100237 s]*
/proc/loadavg: 1.85 1.89 1.71 3/230 4864
/proc/meminfo: memFree=25471620/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
[pid=4850] ppid=4848 vsize=15144776 memory=28996 CPUtime=0.12 cores=0,2,4,6
/proc/4850/stat : 4850 (java) S 4848 4848 4066 0 -1 1077944320 5643 0 0 0 10 2 0 0 20 0 15 0 516175314 15508250624 7249 33554432000 4194304 4196468 140736416691168 140736416673712 139990565334775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
/proc/4850/statm: 3786194 7249 3143 1 0 3748377 0
[pid=4850/tid=4851] ppid=4848 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/4850/task/4851/stat : 4851 (java) R 4848 4848 4066 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 516175314 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990569569312 139990180968682 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4852] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4852/stat : 4852 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990501571472 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4853] ppid=4848 vsize=15144776 memory=288370612128106112 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4853/stat : 4853 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990156237584 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4854] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4854/stat : 4854 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990155185296 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4855] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4855/stat : 4855 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990154132496 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4856] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4856/stat : 4856 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516175316 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990101153904 139990565345922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4857] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4857/stat : 4857 (java) S 4848 4848 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516175317 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990100099872 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4858] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4858/stat : 4858 (java) S 4848 4848 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516175317 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990099047536 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4859] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4859/stat : 4859 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175319 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990097995856 139990565353371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4860] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4860/stat : 4860 (java) S 4848 4848 4066 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 15 0 516175319 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990029822576 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4861] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4861/stat : 4861 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175319 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990028769776 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4862] ppid=4848 vsize=15144776 memory=140235976394368 CPUtime=0.01 cores=0,2,4,6
/proc/4850/task/4862/stat : 4862 (java) R 4848 4848 4066 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 516175319 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990027717488 139990544253373 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4863] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4863/stat : 4863 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175320 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990026664928 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4864] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4864/stat : 4864 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175320 15508250624 7249 33554432000 4194304 4196468 140736416691168 139990025611696 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30444 KiB
[startup+0.211463 s]*
/proc/loadavg: 1.85 1.89 1.71 4/230 4864
/proc/meminfo: memFree=25459124/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
[pid=4850] ppid=4848 vsize=15144776 memory=40964 CPUtime=0.34 cores=0,2,4,6
/proc/4850/stat : 4850 (java) S 4848 4848 4066 0 -1 1077944320 9419 0 0 0 31 3 0 0 20 0 15 0 516175314 15508250624 10241 33554432000 4194304 4196468 140736416691168 140736416673712 139990565334775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
/proc/4850/statm: 3786194 10241 3304 1 0 3748377 0
[pid=4850/tid=4851] ppid=4848 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/4850/task/4851/stat : 4851 (java) R 4848 4848 4066 0 -1 4202560 6612 0 0 0 17 2 0 0 20 0 15 0 516175314 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990569564496 139990549415262 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4852] ppid=4848 vsize=15144776 memory=1946936 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4852/stat : 4852 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990501571472 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4853] ppid=4848 vsize=15144776 memory=140235976407530 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4853/stat : 4853 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990156237584 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4854] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4854/stat : 4854 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990155185296 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4855] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4855/stat : 4855 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516175315 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990154132496 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4856] ppid=4848 vsize=15144776 memory=140235976394368 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4856/stat : 4856 (java) S 4848 4848 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516175316 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990101153904 139990565345922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4857] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4857/stat : 4857 (java) S 4848 4848 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516175317 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990100099872 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4858] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4858/stat : 4858 (java) S 4848 4848 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516175317 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990099047536 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4859] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4859/stat : 4859 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175319 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990097995856 139990565353371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4860] ppid=4848 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4850/task/4860/stat : 4860 (java) S 4848 4848 4066 0 -1 1077944384 463 0 0 0 2 0 0 0 20 0 15 0 516175319 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990029822576 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4861] ppid=4848 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/4850/task/4861/stat : 4861 (java) S 4848 4848 4066 0 -1 1077944384 289 0 0 0 3 0 0 0 20 0 15 0 516175319 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990028769776 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4862] ppid=4848 vsize=15144776 memory=140235976394368 CPUtime=0.07 cores=0,2,4,6
/proc/4850/task/4862/stat : 4862 (java) S 4848 4848 4066 0 -1 1077944384 758 0 0 0 7 0 0 0 20 0 15 0 516175319 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990027717488 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4863] ppid=4848 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4863/stat : 4863 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175320 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990026664928 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4864] ppid=4848 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4864/stat : 4864 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175320 15508250624 10241 33554432000 4194304 4196468 140736416691168 139990025611696 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42412 KiB
[startup+0.313105 s]*
/proc/loadavg: 1.85 1.89 1.71 5/230 4864
/proc/meminfo: memFree=25453644/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
[pid=4850] ppid=4848 vsize=15149032 memory=49980 CPUtime=0.53 cores=0,2,4,6
/proc/4850/stat : 4850 (java) S 4848 4848 4066 0 -1 1077944320 10806 0 0 0 49 4 0 0 20 0 15 0 516175314 15512608768 12495 33554432000 4194304 4196468 140736416691168 140736416673712 139990565334775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
/proc/4850/statm: 3787258 12495 3348 1 0 3748377 0
[pid=4850/tid=4851] ppid=4848 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/4850/task/4851/stat : 4851 (java) R 4848 4848 4066 0 -1 4202560 7742 0 0 0 27 3 0 0 20 0 15 0 516175314 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990569561392 139990565356701 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4852] ppid=4848 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4852/stat : 4852 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990501571472 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4853] ppid=4848 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4853/stat : 4853 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990156237584 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4854] ppid=4848 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4854/stat : 4854 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990155185296 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4855] ppid=4848 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4855/stat : 4855 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516175315 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990154132496 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4856] ppid=4848 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4856/stat : 4856 (java) S 4848 4848 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516175316 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990101153904 139990565345922 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4857] ppid=4848 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4857/stat : 4857 (java) S 4848 4848 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516175317 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990100099872 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4858] ppid=4848 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4858/stat : 4858 (java) S 4848 4848 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516175317 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990099047536 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4859] ppid=4848 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4859/stat : 4859 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175319 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990097995856 139990565353371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4860] ppid=4848 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/4850/task/4860/stat : 4860 (java) R 4848 4848 4066 0 -1 4202560 614 0 0 0 4 0 0 0 20 0 15 0 516175319 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990029822576 139990546856999 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4861] ppid=4848 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4850/task/4861/stat : 4861 (java) S 4848 4848 4066 0 -1 1077944384 303 0 0 0 4 0 0 0 20 0 15 0 516175319 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990028769776 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4862] ppid=4848 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4850/task/4862/stat : 4862 (java) S 4848 4848 4066 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 516175319 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990027717488 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4863] ppid=4848 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4863/stat : 4863 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175320 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990026664928 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4864] ppid=4848 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4864/stat : 4864 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175320 15512608768 12524 33554432000 4194304 4196468 140736416691168 139990025611696 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51428 KiB
[startup+0.701223 s]
/proc/loadavg: 1.85 1.89 1.71 4/230 4864
/proc/meminfo: memFree=25437500/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
[pid=4850] ppid=4848 vsize=15151156 memory=82172 CPUtime=1.65 cores=0,2,4,6
/proc/4850/stat : 4850 (java) S 4848 4848 4066 0 -1 1077944320 14209 0 0 0 160 5 0 0 20 0 15 0 516175314 15514783744 20543 33554432000 4194304 4196468 140736416691168 140736416673712 139990565334775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
/proc/4850/statm: 3787789 20543 3453 1 0 3748889 0
[pid=4850/tid=4851] ppid=4848 vsize=15151156 memory=-3704326594973231466 CPUtime=0.66 cores=0,2,4,6
/proc/4850/task/4851/stat : 4851 (java) R 4848 4848 4066 0 -1 4202560 8581 0 0 0 63 3 0 0 20 0 15 0 516175314 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990569570000 139990184854855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4852] ppid=4848 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4852/stat : 4852 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990501571472 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4853] ppid=4848 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4853/stat : 4853 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990156237584 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4854] ppid=4848 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4854/stat : 4854 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175315 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990155185296 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4855] ppid=4848 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4855/stat : 4855 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516175315 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990154132496 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4856] ppid=4848 vsize=15151156 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4856/stat : 4856 (java) S 4848 4848 4066 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516175316 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990101153904 139990565345922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4857] ppid=4848 vsize=15151156 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4857/stat : 4857 (java) S 4848 4848 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516175317 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990100099872 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4858] ppid=4848 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4858/stat : 4858 (java) S 4848 4848 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516175317 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990099047536 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4859] ppid=4848 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4859/stat : 4859 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175319 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990097995856 139990565353371 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4860] ppid=4848 vsize=15151156 memory=620 CPUtime=0.27 cores=0,2,4,6
/proc/4850/task/4860/stat : 4860 (java) R 4848 4848 4066 0 -1 4202560 1254 0 0 0 27 0 0 0 20 0 15 0 516175319 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990029815768 139990548863706 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4861] ppid=4848 vsize=15151156 memory=1496 CPUtime=0.28 cores=0,2,4,6
/proc/4850/task/4861/stat : 4861 (java) R 4848 4848 4066 0 -1 4202560 1073 0 0 0 28 0 0 0 20 0 15 0 516175319 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990028762800 139990544988640 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4862] ppid=4848 vsize=15151156 memory=1016 CPUtime=0.39 cores=0,2,4,6
/proc/4850/task/4862/stat : 4862 (java) R 4848 4848 4066 0 -1 4202560 1995 0 0 0 39 0 0 0 20 0 15 0 516175319 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990027710464 139990565342172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4863] ppid=4848 vsize=15151156 memory=6072 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4863/stat : 4863 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516175320 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990026664928 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4864] ppid=4848 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4864/stat : 4864 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516175320 15514783744 20543 33554432000 4194304 4196468 140736416691168 139990025611696 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83620 KiB
[startup+1.50077 s]
/proc/loadavg: 1.85 1.89 1.71 5/230 4864
/proc/meminfo: memFree=25396020/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
[pid=4850] ppid=4848 vsize=15153204 memory=116796 CPUtime=3.51 cores=0,2,4,6
/proc/4850/stat : 4850 (java) S 4848 4848 4066 0 -1 1077944320 21652 0 0 0 344 7 0 0 20 0 13 0 516175314 15516880896 29199 33554432000 4194304 4196468 140736416691168 140736416673712 139990565334775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
/proc/4850/statm: 3788301 29199 3468 1 0 3749401 0
[pid=4850/tid=4851] ppid=4848 vsize=15153204 memory=116776 CPUtime=1.26 cores=0,2,4,6
/proc/4850/task/4851/stat : 4851 (java) D 4848 4848 4066 0 -1 4202560 10452 0 0 0 122 4 0 0 20 0 13 0 516175314 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990569577784 139990558020407 0 0 0 16800975 18446744072100220037 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4852] ppid=4848 vsize=15153204 memory=7955702562851810405 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4852/stat : 4852 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 516175315 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990501571472 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4853] ppid=4848 vsize=15153204 memory=7593729096716210528 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4853/stat : 4853 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 516175315 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990156237584 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4854] ppid=4848 vsize=15153204 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4854/stat : 4854 (java) S 4848 4848 4066 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 13 0 516175315 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990155185296 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4855] ppid=4848 vsize=15153204 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4855/stat : 4855 (java) S 4848 4848 4066 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 13 0 516175315 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990154132496 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4857] ppid=4848 vsize=15153204 memory=1536 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4857/stat : 4857 (java) S 4848 4848 4066 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 13 0 516175317 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990100099872 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4858] ppid=4848 vsize=15153204 memory=9592 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4858/stat : 4858 (java) S 4848 4848 4066 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 13 0 516175317 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990099047536 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4859] ppid=4848 vsize=15153204 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4859/stat : 4859 (java) S 4848 4848 4066 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 13 0 516175319 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990097994624 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4860] ppid=4848 vsize=15153204 memory=41721312323056 CPUtime=0.8 cores=0,2,4,6
/proc/4850/task/4860/stat : 4860 (java) S 4848 4848 4066 0 -1 1077944384 3549 0 0 0 79 1 0 0 20 0 13 0 516175319 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990029822576 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4861] ppid=4848 vsize=15153204 memory=0 CPUtime=0.84 cores=0,2,4,6
/proc/4850/task/4861/stat : 4861 (java) S 4848 4848 4066 0 -1 1077944384 3004 0 0 0 84 0 0 0 20 0 13 0 516175319 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990028754288 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4862] ppid=4848 vsize=15153204 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/4850/task/4862/stat : 4862 (java) S 4848 4848 4066 0 -1 1077944384 3248 0 0 0 57 0 0 0 20 0 13 0 516175319 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990027717488 139990565345922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
[pid=4850/tid=4863] ppid=4848 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4850/task/4863/stat : 4863 (java) S 4848 4848 4066 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 13 0 516175320 15516880896 29199 33554432000 4194304 4196468 140736416691168 139990026664928 139990565344981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12664832 140736416699375 140736416699546 140736416699546 140736416702415 0
Current children cumulated CPU time: 3.51 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 118244 KiB
[startup+1.87345 s]
# the end of solver process 4848 was just reported to runsolver
# cumulated CPU time of all completed processes: user=3.44753 s, system=0.080196 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.68718 s]
/proc/loadavg: 1.85 1.89 1.71 5/230 4864
/proc/meminfo: memFree=25396020/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
[startup+1.8003 s]
/proc/loadavg: 1.85 1.89 1.71 5/230 4864
/proc/meminfo: memFree=25396020/32770624 swapFree=66959728/67108860
[pid=4848] ppid=4845 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/4848/stat : 4848 (xcsp3-exec) S 4845 4848 4066 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 516175314 115843072 362 33554432000 4194304 5098028 140724505063408 140724505061512 140007587127932 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 11243520 140724505068412 140724505068653 140724505068653 140724505071562 0
/proc/4848/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 1.87352
CPU time (s): 3.52772
CPU user time (s): 3.44753
CPU system time (s): 0.080196
CPU usage (%): 188.294
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 118244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.44753
system time used= 0.080196
maximum resident set size= 117468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22223
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2029
involuntary context switches= 15
# summary of solver processes directly reported to runsolver:
# pid: 4848
# total CPU time (s): 3.52772
# total CPU user time (s): 3.44753
# total CPU system time (s): 0.080196
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031081 second user time and 0.062162 second system time
The end