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 (15288 MiB free)
memory of node 1: 16384 MiB (15489 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398977-1568697571/watcher-4398977-1568697571 -o /tmp/evaluation-result-4398977-1568697571/solver-4398977-1568697571 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21537 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 546186515 HOME/instance-4398977-1568697571.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=24743, runsolver pid=24740
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.92 8.63 8.06 7/233 24759
/proc/meminfo: memFree=31500976/32770624 swapFree=66977028/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15144776 memory=29108 CPUtime=0.13 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 5655 0 0 0 11 2 0 0 20 0 15 0 446019727 15508250624 7277 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3786194 7277 3155 1 0 3748377 0
[pid=24745/tid=24746] ppid=24743 vsize=15144776 memory=7682489639022458387 CPUtime=0.09 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24743 21506 0 -1 4202560 3575 0 0 0 8 1 0 0 20 0 15 0 446019727 15508250624 7277 33554432000 4194304 4196468 140728727908368 139825167635600 139825155648318 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15144776 memory=3472468645684049104 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 7277 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 7277 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 7277 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 7277 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824304886944 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824303833840 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) R 24743 24743 21506 0 -1 4202560 439 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824301722048 139825146846929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) R 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824300678000 139825163422338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0.02 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) R 24743 24743 21506 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824299624944 139825147491678 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 7277 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30560 KiB
[startup+0.210627 s]*
/proc/loadavg: 8.92 8.63 8.06 7/233 24759
/proc/meminfo: memFree=31487308/32770624 swapFree=66977028/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15144776 memory=40912 CPUtime=0.34 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 9476 0 0 0 31 3 0 0 20 0 15 0 446019727 15508250624 10228 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3786194 10228 3292 1 0 3748377 0
[pid=24745/tid=24746] ppid=24743 vsize=15144776 memory=7682489639022458387 CPUtime=0.2 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24743 21506 0 -1 4202560 6608 0 0 0 18 2 0 0 20 0 15 0 446019727 15508250624 10228 33554432000 4194304 4196468 140728727908368 139825167643104 139825163433117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15144776 memory=3472468645684049104 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 10228 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 10228 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 10228 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019728 15508250624 10228 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824304886944 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446019730 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824303833840 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24743 21506 0 -1 1077944384 557 0 0 0 3 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824301730544 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24743 21506 0 -1 1077944384 262 0 0 0 1 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824300678000 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0.08 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) R 24743 24743 21506 0 -1 4202560 741 0 0 0 8 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824299624944 139825149735549 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15144776 memory=140516788897408 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019733 15508250624 10228 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42364 KiB
[startup+0.310501 s]*
/proc/loadavg: 8.92 8.63 8.06 7/233 24759
/proc/meminfo: memFree=31479092/32770624 swapFree=66977028/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15149032 memory=50216 CPUtime=0.53 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 10897 0 0 0 49 4 0 0 20 0 15 0 446019727 15512608768 12554 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3787258 12554 3342 1 0 3748377 0
[pid=24745/tid=24746] ppid=24743 vsize=15149032 memory=-8439527450518781933 CPUtime=0.3 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) R 24743 24743 21506 0 -1 4202560 7804 0 0 0 27 3 0 0 20 0 15 0 446019727 15512608768 12554 33554432000 4194304 4196468 140728727908368 139825167642304 139825163433117 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15149032 memory=3472468645684049104 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15512608768 12554 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15149032 memory=281033422092672 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15512608768 12554 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15149032 memory=281033266422816 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446019728 15512608768 12554 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15149032 memory=140516633195279 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019728 15512608768 12554 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15149032 memory=281033422099584 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446019730 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15149032 memory=140516633199887 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446019730 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824304886944 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15149032 memory=140516633223730 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446019730 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824303833840 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15149032 memory=140516633229144 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24743 21506 0 -1 1077944384 586 0 0 0 5 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824301730544 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15149032 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) R 24743 24743 21506 0 -1 4202560 371 0 0 0 4 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824300659016 139825140672448 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15149032 memory=140516788897408 CPUtime=0.12 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24743 21506 0 -1 1077944384 832 0 0 0 12 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824299624944 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15149032 memory=140516788898860 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446019733 15512608768 12554 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51668 KiB
[startup+0.700738 s]
/proc/loadavg: 8.92 8.63 8.06 9/233 24759
/proc/meminfo: memFree=31466064/32770624 swapFree=66977028/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15417412 memory=83404 CPUtime=1.58 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 15130 0 0 0 151 7 0 0 20 0 19 0 446019727 15787429888 20851 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3854353 20851 3453 1 0 3815453 0
[pid=24745/tid=24746] ppid=24743 vsize=15417412 memory=7882800638288482663 CPUtime=0.6 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24743 21506 0 -1 1077944384 9343 0 0 0 56 4 0 0 20 0 19 0 446019727 15787429888 20851 33554432000 4194304 4196468 140728727908368 139825167651968 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15417412 memory=7740951466249179473 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446019728 15787429888 20851 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15417412 memory=7453282923495516522 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446019728 15787429888 20851 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 446019728 15787429888 20851 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446019728 15787429888 20851 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15417412 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 446019730 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15417412 memory=756 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446019730 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824304886944 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 446019730 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824303833840 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15417412 memory=7872 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15417412 memory=1164 CPUtime=0.22 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) D 24743 24743 21506 0 -1 4202560 1103 0 0 0 22 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824301710456 139825155700640 0 4 0 16800975 18446744071582151416 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15417412 memory=9448 CPUtime=0.19 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) D 24743 24743 21506 0 -1 4202560 905 0 0 0 19 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824300666392 139825156128343 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15417412 memory=14008 CPUtime=0.38 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) R 24743 24743 21506 0 -1 4202560 1775 0 0 0 38 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824299621624 139825142214503 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15417412 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15417412 memory=11976 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446019733 15787429888 20851 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84856 KiB
[startup+1.50964 s]
/proc/loadavg: 8.92 8.63 8.06 10/237 24763
/proc/meminfo: memFree=31433804/32770624 swapFree=66977028/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 100014 0 0 0 206536 261 0 0 20 0 19 0 446019727 15789527040 79942 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3854865 79942 3541 1 0 3815965 0
[pid=24745/tid=24746] ppid=24743 vsize=15419460 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24743 21506 0 -1 1077944384 9343 0 0 0 56 4 0 0 20 0 19 0 446019727 15789527040 79942 33554432000 4194304 4196468 140728727908368 139825167651968 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15419460 memory=1060 CPUtime=1.41 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2835 0 0 0 132 9 0 0 20 0 19 0 446019728 15789527040 79942 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15419460 memory=1452 CPUtime=1.41 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 2818 0 0 0 133 8 0 0 20 0 19 0 446019728 15789527040 79942 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15419460 memory=0 CPUtime=1.42 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 3785 0 0 0 133 9 0 0 20 0 19 0 446019728 15789527040 79942 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15419460 memory=0 CPUtime=1.41 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 2836 0 0 0 131 10 0 0 20 0 19 0 446019728 15789527040 79942 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15419460 memory=319768 CPUtime=3.27 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 13560 0 0 0 112 215 0 0 20 0 19 0 446019730 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15419460 memory=319768 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824304887008 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15419460 memory=11440 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824303833856 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15419460 memory=512 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15419460 memory=318252 CPUtime=3.25 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24743 21506 0 -1 1077944384 21552 0 0 0 323 2 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824301730544 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15419460 memory=1452 CPUtime=3.37 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24743 21506 0 -1 1077944384 20105 0 0 0 335 2 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824300678000 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15419460 memory=320284 CPUtime=0.67 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24743 21506 0 -1 1077944384 9589 0 0 0 66 1 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824299624944 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15419460 memory=1548 CPUtime=0.13 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 733 0 0 0 0 13 0 0 20 0 19 0 446019733 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24760] ppid=24743 vsize=15419460 memory=7872 CPUtime=512.56 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) R 24743 24743 21506 0 -1 4202560 3207 0 0 0 51255 1 0 0 20 0 19 0 446019789 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824288299768 139824764414767 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24761] ppid=24743 vsize=15419460 memory=288230574492221466 CPUtime=514.36 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) R 24743 24743 21506 0 -1 4202560 2053 0 0 0 51434 2 0 0 20 0 19 0 446019789 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824287247680 139824765499499 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24762] ppid=24743 vsize=15419460 memory=321163189784150326 CPUtime=512.07 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) R 24743 24743 21506 0 -1 4202560 2579 0 0 0 51205 2 0 0 20 0 19 0 446019789 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824286198256 139825143136405 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24763] ppid=24743 vsize=15419460 memory=312604 CPUtime=511.92 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) R 24743 24743 21506 0 -1 4202560 3625 0 0 0 51190 2 0 0 20 0 19 0 446019789 15789527040 79942 33554432000 4194304 4196468 140728727908368 139824285143216 139824765499506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 2067.97 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 321220 KiB
[startup+582.302 s]
/proc/loadavg: 8.96 8.76 8.37 9/237 24981
/proc/meminfo: memFree=31190340/32770624 swapFree=66977040/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15419460 memory=315160 CPUtime=2304.43 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 101088 0 0 0 230115 328 0 0 20 0 19 0 446019727 15789527040 78790 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3854865 78790 3541 1 0 3815965 0
[pid=24745/tid=24746] ppid=24743 vsize=15419460 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24743 21506 0 -1 1077944384 9343 0 0 0 56 4 0 0 20 0 19 0 446019727 15789527040 78790 33554432000 4194304 4196468 140728727908368 139825167651968 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15419460 memory=315160 CPUtime=1.6 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2892 0 0 0 151 9 0 0 20 0 19 0 446019728 15789527040 78790 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15419460 memory=315160 CPUtime=1.61 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 3152 0 0 0 152 9 0 0 20 0 19 0 446019728 15789527040 78790 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15419460 memory=315160 CPUtime=1.61 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 3865 0 0 0 152 9 0 0 20 0 19 0 446019728 15789527040 78790 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15419460 memory=1452 CPUtime=1.6 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 2908 0 0 0 150 10 0 0 20 0 19 0 446019728 15789527040 78790 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15419460 memory=1452 CPUtime=4.21 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) R 24743 24743 21506 0 -1 4202560 13788 0 0 0 138 283 0 0 20 0 19 0 446019730 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824305940856 139825156039399 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15419460 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824304887008 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824303833856 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15419460 memory=315160 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15419460 memory=1452 CPUtime=3.25 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24743 21506 0 -1 1077944384 21554 0 0 0 323 2 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824301730544 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15419460 memory=1452 CPUtime=3.37 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24743 21506 0 -1 1077944384 20107 0 0 0 335 2 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824300678000 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15419460 memory=315160 CPUtime=0.67 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24743 21506 0 -1 1077944384 9591 0 0 0 66 1 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824299624944 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15419460 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15419460 memory=1452 CPUtime=0.15 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 739 0 0 0 0 15 0 0 20 0 19 0 446019733 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24760] ppid=24743 vsize=15419460 memory=3620 CPUtime=571.11 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) S 24743 24743 21506 0 -1 1077944384 3290 0 0 0 57110 1 0 0 20 0 19 0 446019789 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824288299632 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24761] ppid=24743 vsize=15419460 memory=30648 CPUtime=573.6 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) R 24743 24743 21506 0 -1 4202560 2078 0 0 0 57358 2 0 0 20 0 19 0 446019789 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824287247680 139824765499164 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24762] ppid=24743 vsize=15419460 memory=2004 CPUtime=570.57 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) S 24743 24743 21506 0 -1 1077944384 2667 0 0 0 57055 2 0 0 20 0 19 0 446019789 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824286195440 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24763] ppid=24743 vsize=15419460 memory=2004 CPUtime=570.37 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) S 24743 24743 21506 0 -1 1077944384 3720 0 0 0 57034 3 0 0 20 0 19 0 446019789 15789527040 78790 33554432000 4194304 4196468 140728727908368 139824285146256 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 2304.43 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 316612 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+637.002 s]*
/proc/loadavg: 8.87 8.77 8.39 9/237 24983
/proc/meminfo: memFree=31214536/32770624 swapFree=66977040/67108860
[pid=24743] ppid=24740 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/24743/stat : 24743 (xcsp3-exec) S 24740 24743 21506 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446019727 115843072 363 33554432000 4194304 5098028 140728267814432 140728267812536 140569969771132 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24842240 140728267821947 140728267822189 140728267822189 140728267825098 0
/proc/24743/statm: 28282 363 304 221 0 87 0
[pid=24745] ppid=24743 vsize=15419460 memory=323996 CPUtime=2520.22 cores=0,2,4,6
/proc/24745/stat : 24745 (java) S 24743 24743 21506 0 -1 1077944320 105654 0 0 0 251634 388 0 0 20 0 19 0 446019727 15789527040 80999 33554432000 4194304 4196468 140728727908368 140728727890912 139825163411191 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
/proc/24745/statm: 3854865 80999 3541 1 0 3815965 0
[pid=24745/tid=24746] ppid=24743 vsize=15419460 memory=1628 CPUtime=0.6 cores=0,2,4,6
/proc/24745/task/24746/stat : 24746 (java) S 24743 24743 21506 0 -1 1077944384 9343 0 0 0 56 4 0 0 20 0 19 0 446019727 15789527040 80999 33554432000 4194304 4196468 140728727908368 139825167651968 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24747] ppid=24743 vsize=15419460 memory=-7003737579269690708 CPUtime=1.75 cores=0,2,4,6
/proc/24745/task/24747/stat : 24747 (java) S 24743 24743 21506 0 -1 1077944384 2958 0 0 0 165 10 0 0 20 0 19 0 446019728 15789527040 80999 33554432000 4194304 4196468 140728727908368 139825091451920 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24748] ppid=24743 vsize=15419460 memory=-7003737579269690708 CPUtime=1.76 cores=0,2,4,6
/proc/24745/task/24748/stat : 24748 (java) S 24743 24743 21506 0 -1 1077944384 3557 0 0 0 167 9 0 0 20 0 19 0 446019728 15789527040 80999 33554432000 4194304 4196468 140728727908368 139825090399376 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24749] ppid=24743 vsize=15419460 memory=1452 CPUtime=1.76 cores=0,2,4,6
/proc/24745/task/24749/stat : 24749 (java) S 24743 24743 21506 0 -1 1077944384 4178 0 0 0 166 10 0 0 20 0 19 0 446019728 15789527040 80999 33554432000 4194304 4196468 140728727908368 139825089346320 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24750] ppid=24743 vsize=15419460 memory=323996 CPUtime=1.75 cores=0,2,4,6
/proc/24745/task/24750/stat : 24750 (java) S 24743 24743 21506 0 -1 1077944384 2975 0 0 0 165 10 0 0 20 0 19 0 446019728 15789527040 80999 33554432000 4194304 4196468 140728727908368 139825088293776 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24751] ppid=24743 vsize=15419460 memory=323996 CPUtime=5.03 cores=0,2,4,6
/proc/24745/task/24751/stat : 24751 (java) S 24743 24743 21506 0 -1 1077944384 16878 0 0 0 161 342 0 0 20 0 19 0 446019730 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824305940720 139825163422338 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24752] ppid=24743 vsize=15419460 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24752/stat : 24752 (java) S 24743 24743 21506 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824304887008 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24753] ppid=24743 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24753/stat : 24753 (java) S 24743 24743 21506 0 -1 1077944384 94 0 0 0 0 0 0 0 20 0 19 0 446019730 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824303833856 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24754] ppid=24743 vsize=15419460 memory=2664 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24754/stat : 24754 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824302782416 139825163429787 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24755] ppid=24743 vsize=15419460 memory=1412 CPUtime=3.25 cores=0,2,4,6
/proc/24745/task/24755/stat : 24755 (java) S 24743 24743 21506 0 -1 1077944384 21556 0 0 0 323 2 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824301730544 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24756] ppid=24743 vsize=15419460 memory=3436 CPUtime=3.37 cores=0,2,4,6
/proc/24745/task/24756/stat : 24756 (java) S 24743 24743 21506 0 -1 1077944384 20111 0 0 0 335 2 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824300678000 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24757] ppid=24743 vsize=15419460 memory=1452 CPUtime=0.67 cores=0,2,4,6
/proc/24745/task/24757/stat : 24757 (java) S 24743 24743 21506 0 -1 1077944384 9593 0 0 0 66 1 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824299624944 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24758] ppid=24743 vsize=15419460 memory=323996 CPUtime=0 cores=0,2,4,6
/proc/24745/task/24758/stat : 24758 (java) S 24743 24743 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824298572640 139825163421397 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24759] ppid=24743 vsize=15419460 memory=780 CPUtime=0.16 cores=0,2,4,6
/proc/24745/task/24759/stat : 24759 (java) S 24743 24743 21506 0 -1 1077944384 758 0 0 0 0 16 0 0 20 0 19 0 446019733 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824297519664 139825163422338 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24760] ppid=24743 vsize=15419460 memory=4088 CPUtime=624.49 cores=0,2,4,6
/proc/24745/task/24760/stat : 24760 (java) R 24743 24743 21506 0 -1 4202560 3454 0 0 0 62447 2 0 0 20 0 19 0 446019789 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824288299768 139824758624503 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24761] ppid=24743 vsize=15419460 memory=1580 CPUtime=627.73 cores=0,2,4,6
/proc/24745/task/24761/stat : 24761 (java) R 24743 24743 21506 0 -1 4202560 2147 0 0 0 62770 3 0 0 20 0 19 0 446019789 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824287247680 139824765497782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24762] ppid=24743 vsize=15419460 memory=1028 CPUtime=624 cores=0,2,4,6
/proc/24745/task/24762/stat : 24762 (java) R 24743 24743 21506 0 -1 4202560 2843 0 0 0 62398 2 0 0 20 0 19 0 446019789 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824286198448 139824764299939 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
[pid=24745/tid=24763] ppid=24743 vsize=15419460 memory=1060 CPUtime=623.77 cores=0,2,4,6
/proc/24745/task/24763/stat : 24763 (java) R 24743 24743 21506 0 -1 4202560 3909 0 0 0 62374 3 0 0 20 0 19 0 446019789 15789527040 80999 33554432000 4194304 4196468 140728727908368 139824285143176 139824765499485 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21127168 140728727913455 140728727913626 140728727913626 140728727916495 0
Current children cumulated CPU time: 2520.22 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 325448 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+637.041 s]
# the end of solver process 24743 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001139 s, system=0.001139 s
[startup+637.096 s]
# the end of solver process 24745 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.63 s, system=3.89906 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 637.096
CPU time (s): 2520.53
CPU user time (s): 2516.63
CPU system time (s): 3.89906
CPU usage (%): 395.628
Max. virtual memory (cumulated for all children) (KiB): 15537092
Max. memory (cumulated for all children) (KiB): 526724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.63
system time used= 3.89906
maximum resident set size= 525304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106371
page faults= 0
swaps= 0
block input operations= 0
block output operations= 864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 43063
involuntary context switches= 53317
# summary of solver processes directly reported to runsolver:
# pid: 24743,24745
# total CPU time (s): 2520.53
# total CPU user time (s): 2516.63
# total CPU system time (s): 3.89906
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.91021 second user time and 7.09467 second system time
The end