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 (3476 MiB free)
memory of node 1: 16384 MiB (2389 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404045-1568991069/watcher-4404045-1568991069 -o /var/tmp/evaluation-result-4404045-1568991069/solver-4404045-1568991069 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node124-1568988386-31611 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 53867432 HOME/instance-4404045-1568991069.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=4671, runsolver pid=4668
[startup+0.100163 s]*
/proc/loadavg: 7.88 8.42 8.03 6/233 4687
/proc/meminfo: memFree=5990252/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15144776 memory=29552 CPUtime=0.12 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 5870 0 0 0 11 1 0 0 20 0 15 0 475047011 15508250624 7388 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3786194 7388 3114 1 0 3748377 0
[pid=4673/tid=4674] ppid=4671 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 3813 0 0 0 9 0 0 0 20 0 15 0 475047012 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653819461520 139653807947351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475047014 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475047015 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) R 4671 4671 31580 0 -1 4202560 326 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653346843672 139653798724502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) R 4671 4671 31580 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653345790928 139653815240405 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0.02 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) R 4671 4671 31580 0 -1 4202560 329 0 0 0 2 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653277542896 139653793594875 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 7388 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31004 KiB
[startup+0.211444 s]*
/proc/loadavg: 7.88 8.42 8.03 6/233 4687
/proc/meminfo: memFree=5976968/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15144776 memory=41032 CPUtime=0.34 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 9502 0 0 0 31 3 0 0 20 0 15 0 475047011 15508250624 10258 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3786194 10258 3302 1 0 3748377 0
[pid=4673/tid=4674] ppid=4671 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 475047012 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653819462928 139653815242134 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15144776 memory=4296933242 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15144776 memory=140462448871971 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475047012 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475047014 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475047015 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) S 4671 4671 31580 0 -1 1077944384 473 0 0 0 2 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653346843376 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) S 4671 4671 31580 0 -1 1077944384 396 0 0 0 2 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653345790832 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15144776 memory=140462448842368 CPUtime=0.07 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) R 4671 4671 31580 0 -1 4202560 711 0 0 0 7 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653277542896 139653799475513 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15508250624 10258 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42484 KiB
[startup+0.311763 s]*
/proc/loadavg: 7.88 8.42 8.03 7/233 4687
/proc/meminfo: memFree=5970304/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15149032 memory=49540 CPUtime=0.52 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 10690 0 0 0 48 4 0 0 20 0 15 0 475047011 15512608768 12385 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3787258 12385 3357 1 0 3748377 0
[pid=4673/tid=4674] ppid=4671 vsize=15149032 memory=6935054825532540783 CPUtime=0.29 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 7743 0 0 0 27 2 0 0 20 0 15 0 475047012 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653819457872 139653815252125 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15149032 memory=-2893623298589923098 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475047012 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475047014 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475047015 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15149032 memory=-2026666227646604569 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15149032 memory=7091006018255220888 CPUtime=0.04 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) S 4671 4671 31580 0 -1 1077944384 485 0 0 0 4 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653346843376 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15149032 memory=6944656425123485561 CPUtime=0.04 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) S 4671 4671 31580 0 -1 1077944384 403 0 0 0 4 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653345790832 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15149032 memory=-7739291672887926688 CPUtime=0.12 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) S 4671 4671 31580 0 -1 1077944384 777 0 0 0 12 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653277542896 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15149032 memory=4628975428865778067 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15512608768 12412 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50992 KiB
[startup+0.700753 s]
/proc/loadavg: 7.88 8.42 8.03 9/233 4687
/proc/meminfo: memFree=5951688/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15151156 memory=88444 CPUtime=1.73 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 14926 0 0 0 168 5 0 0 20 0 15 0 475047011 15514783744 22111 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3787789 22111 3449 1 0 3748889 0
[pid=4673/tid=4674] ppid=4671 vsize=15151156 memory=-9110635228796802480 CPUtime=0.67 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 8737 0 0 0 64 3 0 0 20 0 15 0 475047012 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653819465680 139653432428451 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047012 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15151156 memory=56 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475047012 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475047015 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15151156 memory=1660 CPUtime=0.32 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) R 4671 4671 31580 0 -1 4202560 1556 0 0 0 32 0 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653346842560 139653798705608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15151156 memory=55856 CPUtime=0.31 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) R 4671 4671 31580 0 -1 4202560 1369 0 0 0 31 0 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653345782288 139653796774830 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15151156 memory=988 CPUtime=0.41 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) S 4671 4671 31580 0 -1 1077944384 1955 0 0 0 40 1 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653277542896 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15151156 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15151156 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 22111 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 89896 KiB
[startup+1.50086 s]
/proc/loadavg: 7.88 8.42 8.03 8/233 4687
/proc/meminfo: memFree=5836052/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15151156 memory=308684 CPUtime=4.24 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 18319 0 0 0 400 24 0 0 20 0 15 0 475047011 15514783744 77171 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3787789 77171 3498 1 0 3748889 0
[pid=4673/tid=4674] ppid=4671 vsize=15151156 memory=0 CPUtime=1.36 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 9400 0 0 0 130 6 0 0 20 0 15 0 475047012 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653819466832 139653433411347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15151156 memory=6872598998417432672 CPUtime=0.1 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 134 0 0 0 6 4 0 0 20 0 15 0 475047012 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15151156 memory=280924684447840 CPUtime=0.09 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 120 0 0 0 6 3 0 0 20 0 15 0 475047012 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15151156 memory=288230604626067315 CPUtime=0.08 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 15 0 475047012 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15151156 memory=15818902246391760 CPUtime=0.1 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 133 0 0 0 6 4 0 0 20 0 15 0 475047012 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475047015 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15151156 memory=0 CPUtime=0.91 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) R 4671 4671 31580 0 -1 4202560 2256 0 0 0 91 0 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653346834656 139653794447570 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15151156 memory=0 CPUtime=0.93 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) R 4671 4671 31580 0 -1 4202560 2234 0 0 0 93 0 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653345770384 139653795930503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15151156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) S 4671 4671 31580 0 -1 1077944384 2540 0 0 0 58 1 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653277542896 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77171 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 4.24 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 310136 KiB
[startup+2.5195 s]
# the end of solver process 4671 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.44713 s, system=0.458517 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60902 s]
/proc/loadavg: 7.88 8.42 8.03 8/233 4687
/proc/meminfo: memFree=5836052/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15151156 memory=311888 CPUtime=4.56 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 19174 0 0 0 432 24 0 0 20 0 15 0 475047011 15514783744 77972 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3787789 77972 3498 1 0 3748889 0
[pid=4673/tid=4674] ppid=4671 vsize=15151156 memory=300668258655515454 CPUtime=1.47 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 4202560 9400 0 0 0 141 6 0 0 20 0 15 0 475047012 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653819465416 139653433665596 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15151156 memory=6444207291090167907 CPUtime=0.1 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 134 0 0 0 6 4 0 0 20 0 15 0 475047012 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15151156 memory=6444207291090167907 CPUtime=0.09 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 120 0 0 0 6 3 0 0 20 0 15 0 475047012 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15151156 memory=6010425776822829156 CPUtime=0.08 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 118 0 0 0 5 3 0 0 20 0 15 0 475047012 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15151156 memory=7230645025961766505 CPUtime=0.1 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 133 0 0 0 6 4 0 0 20 0 15 0 475047012 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15151156 memory=7372502886515893585 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15151156 memory=6081945714658797411 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15151156 memory=6152568424596071008 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475047015 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15151156 memory=6152568424596071008 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15151156 memory=140462448842368 CPUtime=1.02 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) R 4671 4671 31580 0 -1 4202560 2463 0 0 0 102 0 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653346829400 139653793646501 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15151156 memory=-1 CPUtime=1.04 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) R 4671 4671 31580 0 -1 4202560 2882 0 0 0 104 0 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653345777376 139653794921439 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15151156 memory=0 CPUtime=0.59 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) S 4671 4671 31580 0 -1 1077944384 2540 0 0 0 58 1 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653277542896 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15151156 memory=7245577201579234449 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15514783744 77972 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 4.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 313340 KiB
[startup+2.40071 s]
/proc/loadavg: 7.88 8.42 8.03 8/233 4687
/proc/meminfo: memFree=5601284/32770624 swapFree=66976740/67108860
[pid=4671] ppid=4668 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4671/stat : 4671 (xcsp3-exec) S 4668 4671 31580 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475047011 115843072 363 33554432000 4194304 5098028 140723526689600 140723526687704 140635302699644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 23121920 140723526697816 140723526698073 140723526698073 140723526700998 0
/proc/4671/statm: 28282 363 304 221 0 87 0
[pid=4673] ppid=4671 vsize=15153204 memory=537328 CPUtime=6.54 cores=0,2,4,6
/proc/4673/stat : 4673 (java) S 4671 4671 31580 0 -1 1077944320 19938 0 0 0 610 44 0 0 20 0 15 0 475047011 15516880896 134332 33554432000 4194304 4196468 140736792493264 140736792475808 139653815230199 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
/proc/4673/statm: 3788301 134332 3504 1 0 3749401 0
[pid=4673/tid=4674] ppid=4671 vsize=15153204 memory=7811889804561967717 CPUtime=2.13 cores=0,2,4,6
/proc/4673/task/4674/stat : 4674 (java) R 4671 4671 31580 0 -1 1077944384 9525 0 0 0 205 8 0 0 20 0 15 0 475047012 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653819470944 139653815240405 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4675] ppid=4671 vsize=15153204 memory=7440056984007045732 CPUtime=0.21 cores=0,2,4,6
/proc/4673/task/4675/stat : 4675 (java) S 4671 4671 31580 0 -1 1077944384 192 0 0 0 13 8 0 0 20 0 15 0 475047012 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653751467024 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4676] ppid=4671 vsize=15153204 memory=280924684380704 CPUtime=0.21 cores=0,2,4,6
/proc/4673/task/4676/stat : 4676 (java) S 4671 4671 31580 0 -1 1077944384 179 0 0 0 13 8 0 0 20 0 15 0 475047012 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653750414480 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4677] ppid=4671 vsize=15153204 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/4673/task/4677/stat : 4677 (java) S 4671 4671 31580 0 -1 1077944384 174 0 0 0 12 7 0 0 20 0 15 0 475047012 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653749361424 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4678] ppid=4671 vsize=15153204 memory=19729 CPUtime=0.21 cores=0,2,4,6
/proc/4673/task/4678/stat : 4678 (java) S 4671 4671 31580 0 -1 1077944384 188 0 0 0 13 8 0 0 20 0 15 0 475047012 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653403958160 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4679] ppid=4671 vsize=15153204 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4679/stat : 4679 (java) S 4671 4671 31580 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 15 0 475047014 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653351053552 139653815241346 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4680] ppid=4671 vsize=15153204 memory=-3967418655009478193 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4680/stat : 4680 (java) S 4671 4671 31580 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475047014 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653349999776 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4681] ppid=4671 vsize=15153204 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4681/stat : 4681 (java) S 4671 4671 31580 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 475047015 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653348946672 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4682] ppid=4671 vsize=15153204 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4682/stat : 4682 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653347895248 139653815248795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4683] ppid=4671 vsize=15153204 memory=280924684279088 CPUtime=1.41 cores=0,2,4,6
/proc/4673/task/4683/stat : 4683 (java) R 4671 4671 31580 0 -1 4202560 2516 0 0 0 141 0 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653346843376 139653794923768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4684] ppid=4671 vsize=15153204 memory=-7175753852218530195 CPUtime=1.44 cores=0,2,4,6
/proc/4673/task/4684/stat : 4684 (java) R 4671 4671 31580 0 -1 4202560 3012 0 0 0 144 0 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653345790832 139653796562180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4685] ppid=4671 vsize=15153204 memory=6944656591801718942 CPUtime=0.64 cores=0,2,4,6
/proc/4673/task/4685/stat : 4685 (java) S 4671 4671 31580 0 -1 1077944384 2642 0 0 0 63 1 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653277542896 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4686] ppid=4671 vsize=15153204 memory=6933690287860520857 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4686/stat : 4686 (java) S 4671 4671 31580 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653276490592 139653815240405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
[pid=4673/tid=4687] ppid=4671 vsize=15153204 memory=-8888568365131808707 CPUtime=0 cores=0,2,4,6
/proc/4673/task/4687/stat : 4687 (java) S 4671 4671 31580 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475047017 15516880896 134332 33554432000 4194304 4196468 140736792493264 139653275437616 139653815241346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17842176 140736792495067 140736792495242 140736792495242 140736792498127 0
Current children cumulated CPU time: 6.54 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 538780 KiB
[startup+2.60081 s]*
/proc/loadavg: 7.88 8.42 8.03 5/217 4691
/proc/meminfo: memFree=5977612/32770624 swapFree=66976740/67108860
Current cumulated CPU time of completed processes: 6.90565 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+2.71019 s]
/proc/loadavg: 7.88 8.42 8.03 5/217 4691
/proc/meminfo: memFree=5977612/32770624 swapFree=66976740/67108860
Current cumulated CPU time of completed processes: 6.90565 s
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 2.74432
CPU time (s): 6.90565
CPU user time (s): 6.44713
CPU system time (s): 0.458517
CPU usage (%): 251.635
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 540128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.44714
system time used= 0.458517
maximum resident set size= 539212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20876
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= 2264
involuntary context switches= 78
# summary of solver processes directly reported to runsolver:
# pid: 4671
# total CPU time (s): 6.90565
# total CPU user time (s): 6.44713
# total CPU system time (s): 0.458517
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033651 second user time and 0.083077 second system time
The end