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 (11556 MiB free)
memory of node 1: 16384 MiB (12377 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405771-1569399007/watcher-4405771-1569399007 -o /var/tmp/evaluation-result-4405771-1569399007/solver-4405771-1569399007 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1569396629-4888 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 2000911244 HOME/instance-4405771-1569399007.xml
running on 4 cores: 0,2,4,6
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=5396, runsolver pid=5393
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 1.62 1.65 1.46 5/229 5412
/proc/meminfo: memFree=24492560/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15144776 memory=29020 CPUtime=0.12 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 5662 0 0 0 11 1 0 0 20 0 15 0 515840749 15508250624 7255 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3786194 7255 3148 1 0 3748377 0
[pid=5398/tid=5399] ppid=5396 vsize=15144776 memory=7828001206278787931 CPUtime=0.09 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 3613 0 0 0 8 1 0 0 20 0 15 0 515840749 15508250624 7255 33554432000 4194304 4196468 140735883485248 139830693180560 139830688977498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 7255 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 7255 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 7255 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 7255 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840751 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 4857 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829558704240 139830688967298 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 4857 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829557651440 139830672391889 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0.02 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 4857 0 -1 4202560 325 0 0 0 2 0 0 0 20 0 15 0 515840754 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829556599152 139830688968086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15508250624 7255 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30476 KiB
[startup+0.21123 s]*
/proc/loadavg: 1.62 1.65 1.46 3/229 5412
/proc/meminfo: memFree=24480104/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15144776 memory=40232 CPUtime=0.35 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 9312 0 0 0 32 3 0 0 20 0 15 0 515840749 15508250624 10058 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3786194 10058 3244 1 0 3748377 0
[pid=5398/tid=5399] ppid=5396 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 6566 0 0 0 18 2 0 0 20 0 15 0 515840749 15508250624 10058 33554432000 4194304 4196468 140735883485248 139830693193808 139830673036638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15144776 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 10058 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15144776 memory=288371085008156288 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 10058 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 10058 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15508250624 10058 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515840751 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 4857 0 -1 1077944384 454 0 0 0 1 0 0 0 20 0 15 0 515840754 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829558704240 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 4857 0 -1 1077944384 184 0 0 0 3 0 0 0 20 0 15 0 515840754 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829557651440 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15144776 memory=140708856444544 CPUtime=0.08 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 4857 0 -1 4202560 802 0 0 0 8 0 0 0 20 0 15 0 515840754 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829556599152 139830688968086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15508250624 10058 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41688 KiB
[startup+0.310941 s]*
/proc/loadavg: 1.62 1.65 1.46 5/229 5412
/proc/meminfo: memFree=24474644/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15149032 memory=49500 CPUtime=0.54 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 10669 0 0 0 50 4 0 0 20 0 15 0 515840749 15512608768 12375 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3787258 12375 3371 1 0 3748377 0
[pid=5398/tid=5399] ppid=5396 vsize=15149032 memory=8112282956445269571 CPUtime=0.3 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 7697 0 0 0 27 3 0 0 20 0 15 0 515840749 15512608768 12403 33554432000 4194304 4196468 140735883485248 139830693187264 139830673036638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15512608768 12403 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15512608768 12403 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15512608768 12403 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15512608768 12403 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515840751 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15149032 memory=-8412656567168561567 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15149032 memory=-7384621950708166502 CPUtime=0.03 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) S 5396 5396 4857 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 515840754 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829558704240 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 4857 0 -1 4202560 287 0 0 0 5 0 0 0 20 0 15 0 515840754 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829557651440 139830670477326 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 4857 0 -1 1077944384 931 0 0 0 13 0 0 0 20 0 15 0 515840754 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829556599152 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15512608768 12403 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50956 KiB
[startup+0.700832 s]
/proc/loadavg: 1.62 1.65 1.46 5/229 5412
/proc/meminfo: memFree=24455540/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15151156 memory=87128 CPUtime=1.57 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 18482 0 0 0 152 5 0 0 20 0 15 0 515840749 15514783744 21782 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3787789 21782 3450 1 0 3748889 0
[pid=5398/tid=5399] ppid=5396 vsize=15151156 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 9108 0 0 0 63 4 0 0 20 0 15 0 515840749 15514783744 21782 33554432000 4194304 4196468 140735883485248 139830693189376 139830328678416 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 21782 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 21782 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 21782 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15151156 memory=66516 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 21782 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515840751 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15151156 memory=1716 CPUtime=0.3 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 4857 0 -1 4202560 3733 0 0 0 30 0 0 0 20 0 15 0 515840754 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829558689736 139830670477407 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15151156 memory=10604 CPUtime=0.32 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 4857 0 -1 4202560 2396 0 0 0 32 0 0 0 20 0 15 0 515840754 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829557636904 139830674970731 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15151156 memory=3636 CPUtime=0.25 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) S 5396 5396 4857 0 -1 1077944384 1937 0 0 0 25 0 0 0 20 0 15 0 515840754 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829556599152 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15514783744 21782 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 88584 KiB
[startup+0.953393 s]
# the end of solver process 5396 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.25035 s, system=0.073439 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.80142 s]
/proc/loadavg: 1.62 1.65 1.46 5/229 5412
/proc/meminfo: memFree=24455540/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15153528 memory=92068 CPUtime=1.87 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 18781 0 0 0 181 6 0 0 20 0 15 0 515840749 15517212672 23017 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3788382 23017 3454 1 0 3749482 0
[pid=5398/tid=5399] ppid=5396 vsize=15153528 memory=2828 CPUtime=0.77 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 9210 0 0 0 73 4 0 0 20 0 15 0 515840749 15517212672 23017 33554432000 4194304 4196468 140735883485248 139830693194864 139830673036638 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15153528 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15517212672 23017 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15153528 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15517212672 23017 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15153528 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15517212672 23017 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15153528 memory=8836 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15517212672 23017 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15153528 memory=11044 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515840751 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15153528 memory=13252 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15153528 memory=15460 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15153528 memory=17668 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15153528 memory=19876 CPUtime=0.4 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 4857 0 -1 4202560 3864 0 0 0 40 0 0 0 20 0 15 0 515840754 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829558689736 139830666551584 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15153528 memory=22084 CPUtime=0.39 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) S 5396 5396 4857 0 -1 1077944384 2425 0 0 0 39 0 0 0 20 0 15 0 515840754 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829557651440 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15153528 memory=24292 CPUtime=0.28 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 4857 0 -1 1077944384 1974 0 0 0 28 0 0 0 20 0 15 0 515840754 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829556596944 139830688966357 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15153528 memory=26500 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15153528 memory=28708 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15517212672 23017 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 1.87 s
Current children cumulated vsize: 15266656 KiB
Current children cumulated memory: 93524 KiB
[startup+0.900733 s]
/proc/loadavg: 1.62 1.65 1.46 5/229 5412
/proc/meminfo: memFree=24455540/32770624 swapFree=66976792/67108860
[pid=5396] ppid=5393 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5396/stat : 5396 (xcsp3-exec) S 5393 5396 4857 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 515840748 115843072 364 33554432000 4194304 5098028 140726431353536 140726431351640 140290739847804 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 14344192 140726431355734 140726431355993 140726431355993 140726431358918 0
/proc/5396/statm: 28282 364 305 221 0 87 0
[pid=5398] ppid=5396 vsize=15151156 memory=96616 CPUtime=2.19 cores=0,2,4,6
/proc/5398/stat : 5398 (java) S 5396 5396 4857 0 -1 1077944320 20566 0 0 0 213 6 0 0 20 0 15 0 515840749 15514783744 24154 33554432000 4194304 4196468 140735883485248 140735883467792 139830688956151 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
/proc/5398/statm: 3787789 24154 3454 1 0 3748889 0
[pid=5398/tid=5399] ppid=5396 vsize=15151156 memory=33 CPUtime=0.87 cores=0,2,4,6
/proc/5398/task/5399/stat : 5399 (java) R 5396 5396 4857 0 -1 4202560 9210 0 0 0 83 4 0 0 20 0 15 0 515840749 15514783744 24154 33554432000 4194304 4196468 140735883485248 139830693195160 139830688968086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5400] ppid=5396 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5400/stat : 5400 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 24154 33554432000 4194304 4196468 140735883485248 139830647716240 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5401] ppid=5396 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5401/stat : 5401 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 24154 33554432000 4194304 4196468 140735883485248 139830280399120 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5402] ppid=5396 vsize=15151156 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5402/stat : 5402 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 24154 33554432000 4194304 4196468 140735883485248 139830279346832 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5403] ppid=5396 vsize=15151156 memory=66516 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5403/stat : 5403 (java) S 5396 5396 4857 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 515840750 15514783744 24154 33554432000 4194304 4196468 140735883485248 139830278294032 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5404] ppid=5396 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5404/stat : 5404 (java) S 5396 5396 4857 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 515840751 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829562915440 139830688967298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5405] ppid=5396 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5405/stat : 5405 (java) S 5396 5396 4857 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 515840752 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829561861408 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5406] ppid=5396 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5406/stat : 5406 (java) S 5396 5396 4857 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 515840752 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829560809072 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5407] ppid=5396 vsize=15151156 memory=580 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5407/stat : 5407 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829559757392 139830688974747 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5408] ppid=5396 vsize=15151156 memory=1716 CPUtime=0.5 cores=0,2,4,6
/proc/5398/task/5408/stat : 5408 (java) R 5396 5396 4857 0 -1 4202560 4092 0 0 0 50 0 0 0 20 0 15 0 515840754 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829558693232 139830674970720 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5409] ppid=5396 vsize=15151156 memory=10604 CPUtime=0.48 cores=0,2,4,6
/proc/5398/task/5409/stat : 5409 (java) R 5396 5396 4857 0 -1 4202560 3665 0 0 0 48 0 0 0 20 0 15 0 515840754 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829557637464 139830670500753 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5410] ppid=5396 vsize=15151156 memory=3636 CPUtime=0.31 cores=0,2,4,6
/proc/5398/task/5410/stat : 5410 (java) R 5396 5396 4857 0 -1 1077944384 2291 0 0 0 31 0 0 0 20 0 15 0 515840754 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829556599152 139830688967298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5411] ppid=5396 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5411/stat : 5411 (java) S 5396 5396 4857 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 515840754 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829555546592 139830688966357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
[pid=5398/tid=5412] ppid=5396 vsize=15151156 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/5398/task/5412/stat : 5412 (java) S 5396 5396 4857 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 515840755 15514783744 24154 33554432000 4194304 4196468 140735883485248 139829554494384 139830688967298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6639616 140735883490267 140735883490442 140735883490442 140735883493327 0
Current children cumulated CPU time: 2.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98072 KiB
Child status: 0
Real time (s): 0.953453
CPU time (s): 2.32379
CPU user time (s): 2.25035
CPU system time (s): 0.073439
CPU usage (%): 243.723
Max. virtual memory (cumulated for all children) (KiB): 15266656
Max. memory (cumulated for all children) (KiB): 98072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.25035
system time used= 0.073439
maximum resident set size= 98140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21199
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= 1538
involuntary context switches= 10
# summary of solver processes directly reported to runsolver:
# pid: 5396
# total CPU time (s): 2.32379
# total CPU user time (s): 2.25035
# total CPU system time (s): 0.073439
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025771 second user time and 0.052572 second system time
The end