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 (14599 MiB free)
memory of node 1: 16384 MiB (15275 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399112-1568698787/watcher-4399112-1568698787 -o /tmp/evaluation-result-4399112-1568698787/solver-4399112-1568698787 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568694133-19868 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1032514252 HOME/instance-4399112-1568698787.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25215, runsolver pid=25212
Current StackSize limit: 8192 KiB
[startup+0.100206 s]*
/proc/loadavg: 8.81 8.60 8.41 7/233 25231
/proc/meminfo: memFree=30575544/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15144776 memory=28844 CPUtime=0.14 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 5717 0 0 0 13 1 0 0 20 0 15 0 445816589 15508250624 7211 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3786194 7211 3152 1 0 3748377 0
[pid=25217/tid=25218] ppid=25215 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) R 25215 25215 19836 0 -1 4202560 3563 0 0 0 9 0 0 0 20 0 15 0 445816589 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534939805104 140534927813605 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534403105952 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534402052848 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 418 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0.02 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) R 25215 25215 19836 0 -1 4202560 388 0 0 0 2 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534397841744 140534935584150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 7211 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30296 KiB
[startup+0.210759 s]*
/proc/loadavg: 8.81 8.60 8.41 7/233 25231
/proc/meminfo: memFree=30562688/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15144776 memory=40892 CPUtime=0.35 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 9472 0 0 0 32 3 0 0 20 0 15 0 445816589 15508250624 10223 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3786194 10223 3309 1 0 3748377 0
[pid=25217/tid=25218] ppid=25215 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) R 25215 25215 19836 0 -1 4202560 6606 0 0 0 18 2 0 0 20 0 15 0 445816589 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534939807200 140534935594141 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15144776 memory=140353013502761 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534403105952 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445816592 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534402052848 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 626 0 0 0 2 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15144776 memory=140353010198144 CPUtime=0.08 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) S 25215 25215 19836 0 -1 1077944384 827 0 0 0 8 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816595 15508250624 10286 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42344 KiB
[startup+0.310592 s]*
/proc/loadavg: 8.81 8.60 8.41 7/233 25231
/proc/meminfo: memFree=30555160/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15149032 memory=50312 CPUtime=0.54 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 10936 0 0 0 50 4 0 0 20 0 15 0 445816589 15512608768 12578 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3787258 12578 3367 1 0 3748377 0
[pid=25217/tid=25218] ppid=25215 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) R 25215 25215 19836 0 -1 4202560 7825 0 0 0 27 3 0 0 20 0 15 0 445816589 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534939809040 140534935594141 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445816592 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445816592 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534403105952 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445816592 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534402052848 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15149032 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 658 0 0 0 4 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 227 0 0 0 5 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) S 25215 25215 19836 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816595 15512608768 12578 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51764 KiB
[startup+0.700774 s]
/proc/loadavg: 8.81 8.60 8.41 9/233 25231
/proc/meminfo: memFree=30540496/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15151156 memory=91264 CPUtime=1.67 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 14314 0 0 0 162 5 0 0 20 0 15 0 445816589 15514783744 22816 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3787789 22816 3456 1 0 3748889 0
[pid=25217/tid=25218] ppid=25215 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) R 25215 25215 19836 0 -1 4202560 9015 0 0 0 64 4 0 0 20 0 15 0 445816589 15514783744 22816 33554432000 4194304 4196468 140733553958656 140534939808576 140534568951639 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15151156 memory=32752 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816590 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445816590 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445816592 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445816592 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534403105952 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445816592 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534402052848 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15151156 memory=1056 CPUtime=0.27 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) R 25215 25215 19836 0 -1 4202560 1386 0 0 0 27 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534399949680 140534915415833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15151156 memory=11620 CPUtime=0.27 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) R 25215 25215 19836 0 -1 4202560 680 0 0 0 27 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534398897008 140534918940864 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15151156 memory=3992 CPUtime=0.42 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) R 25215 25215 19836 0 -1 1077944384 1926 0 0 0 42 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445816595 15514783744 23328 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 92716 KiB
[startup+1.50823 s]
/proc/loadavg: 8.75 8.59 8.41 10/237 25235
/proc/meminfo: memFree=30474164/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 101375 0 0 0 207214 121 0 0 20 0 19 0 445816589 15787429888 279470 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3854353 279470 3525 1 0 3815453 0
[pid=25217/tid=25218] ppid=25215 vsize=15417412 memory=1123012 CPUtime=0.78 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) S 25215 25215 19836 0 -1 1077944384 9088 0 0 0 74 4 0 0 20 0 19 0 445816589 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534939812992 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15417412 memory=1117880 CPUtime=2.21 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 4347 0 0 0 204 17 0 0 20 0 19 0 445816590 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15417412 memory=1452 CPUtime=2.2 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 4635 0 0 0 204 16 0 0 20 0 19 0 445816590 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15417412 memory=1156844 CPUtime=2.2 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 2344 0 0 0 206 14 0 0 20 0 19 0 445816590 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15417412 memory=1452 CPUtime=2.19 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 3195 0 0 0 203 16 0 0 20 0 19 0 445816590 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15417412 memory=1123012 CPUtime=0.95 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 13380 0 0 0 59 36 0 0 20 0 19 0 445816592 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534403106016 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15417412 memory=7739525378240167504 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534402052864 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15417412 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15417412 memory=1153768 CPUtime=1.22 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 7935 0 0 0 122 0 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15417412 memory=14008 CPUtime=1.39 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 6983 0 0 0 138 1 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15417412 memory=14076 CPUtime=0.66 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) S 25215 25215 19836 0 -1 1077944384 6971 0 0 0 66 0 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15417412 memory=1133784 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15417412 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 487 0 0 0 13 0 0 0 20 0 19 0 445816595 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25232] ppid=25215 vsize=15417412 memory=1452 CPUtime=515.07 cores=1,3,5,7
/proc/25217/task/25232/stat : 25232 (java) R 25215 25215 19836 0 -1 4202560 1825 0 0 0 51505 2 0 0 20 0 19 0 445816669 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534386519672 140534573950330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25233] ppid=25215 vsize=15417412 memory=1452 CPUtime=514.55 cores=1,3,5,7
/proc/25217/task/25233/stat : 25233 (java) R 25215 25215 19836 0 -1 4202560 13507 0 0 0 51447 8 0 0 20 0 19 0 445816669 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534385467224 140534574160089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25234] ppid=25215 vsize=15417412 memory=1452 CPUtime=514.73 cores=1,3,5,7
/proc/25217/task/25234/stat : 25234 (java) R 25215 25215 19836 0 -1 4202560 1682 0 0 0 51471 2 0 0 20 0 19 0 445816669 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534384415008 140534573624606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25235] ppid=25215 vsize=15417412 memory=1123012 CPUtime=514.94 cores=1,3,5,7
/proc/25217/task/25235/stat : 25235 (java) R 25215 25215 19836 0 -1 4202560 23622 0 0 0 51486 8 0 0 20 0 19 0 445816669 15787429888 279470 33554432000 4194304 4196468 140733553958656 140534383365248 140534574962968 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 2073.35 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1119332 KiB
[startup+582.301 s]
/proc/loadavg: 7.96 8.28 8.32 7/233 26155
/proc/meminfo: memFree=28086820/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15417412 memory=1404096 CPUtime=2311.71 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 113022 0 0 0 231032 139 0 0 20 0 19 0 445816589 15787429888 351024 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3854353 351024 3525 1 0 3815453 0
[pid=25217/tid=25218] ppid=25215 vsize=15417412 memory=1406712 CPUtime=0.78 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) S 25215 25215 19836 0 -1 1077944384 9088 0 0 0 74 4 0 0 20 0 19 0 445816589 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534939812992 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15417412 memory=1411296 CPUtime=2.59 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 4649 0 0 0 241 18 0 0 20 0 19 0 445816590 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15417412 memory=1452 CPUtime=2.58 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 5305 0 0 0 240 18 0 0 20 0 19 0 445816590 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15417412 memory=1156844 CPUtime=2.59 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 3074 0 0 0 243 16 0 0 20 0 19 0 445816590 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15417412 memory=164 CPUtime=2.58 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 4092 0 0 0 240 18 0 0 20 0 19 0 445816590 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15417412 memory=1406152 CPUtime=1.06 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 17524 0 0 0 65 41 0 0 20 0 19 0 445816592 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15417412 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534403106016 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15417412 memory=32756 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534402052864 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15417412 memory=1452 CPUtime=1.22 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 7937 0 0 0 122 0 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15417412 memory=1452 CPUtime=1.39 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 6985 0 0 0 138 1 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15417412 memory=1404104 CPUtime=0.66 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) S 25215 25215 19836 0 -1 1077944384 6973 0 0 0 66 0 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15417412 memory=1408728 CPUtime=0.15 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 506 0 0 0 15 0 0 0 20 0 19 0 445816595 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25232] ppid=25215 vsize=15417412 memory=1452 CPUtime=574.2 cores=1,3,5,7
/proc/25217/task/25232/stat : 25232 (java) R 25215 25215 19836 0 -1 4202560 2086 0 0 0 57418 2 0 0 20 0 19 0 445816669 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534386519672 140534574160441 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25233] ppid=25215 vsize=15417412 memory=1452 CPUtime=573.66 cores=1,3,5,7
/proc/25217/task/25233/stat : 25233 (java) R 25215 25215 19836 0 -1 4202560 15705 0 0 0 57354 12 0 0 20 0 19 0 445816669 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534385467104 140534574724111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25234] ppid=25215 vsize=15417412 memory=1411296 CPUtime=573.89 cores=1,3,5,7
/proc/25217/task/25234/stat : 25234 (java) R 25215 25215 19836 0 -1 4202560 1837 0 0 0 57387 2 0 0 20 0 19 0 445816669 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534384414464 140534574168679 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25235] ppid=25215 vsize=15417412 memory=1452 CPUtime=574.21 cores=1,3,5,7
/proc/25217/task/25235/stat : 25235 (java) R 25215 25215 19836 0 -1 4202560 25887 0 0 0 57412 9 0 0 20 0 19 0 445816669 15787429888 351024 33554432000 4194304 4196468 140733553958656 140534383365360 140534574696338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 2311.71 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1405548 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.801 s]
/proc/loadavg: 6.33 7.79 8.15 6/233 26158
/proc/meminfo: memFree=23076036/32770624 swapFree=66922428/67108860
[pid=25215] ppid=25212 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/25215/stat : 25215 (xcsp3-exec) S 25212 25215 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445816589 115843072 363 33554432000 4194304 5098028 140724576271008 140724576269112 139995009729148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 12636160 140724576277370 140724576277613 140724576277613 140724576280522 0
/proc/25215/statm: 28282 363 304 221 0 87 0
[pid=25217] ppid=25215 vsize=15417412 memory=1836012 CPUtime=2520.28 cores=1,3,5,7
/proc/25217/stat : 25217 (java) S 25215 25215 19836 0 -1 1077944320 121046 0 0 0 251870 158 0 0 20 0 19 0 445816589 15787429888 459003 33554432000 4194304 4196468 140733553958656 140733553941200 140534935572215 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
/proc/25217/statm: 3854353 459003 3525 1 0 3815453 0
[pid=25217/tid=25218] ppid=25215 vsize=15417412 memory=588 CPUtime=0.78 cores=1,3,5,7
/proc/25217/task/25218/stat : 25218 (java) S 25215 25215 19836 0 -1 1077944384 9088 0 0 0 74 4 0 0 20 0 19 0 445816589 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534939812992 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25219] ppid=25215 vsize=15417412 memory=6791534058613427641 CPUtime=3.02 cores=1,3,5,7
/proc/25217/task/25219/stat : 25219 (java) S 25215 25215 19836 0 -1 1077944384 4720 0 0 0 282 20 0 0 20 0 19 0 445816590 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534888193040 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25220] ppid=25215 vsize=15417412 memory=1452 CPUtime=3.02 cores=1,3,5,7
/proc/25217/task/25220/stat : 25220 (java) S 25215 25215 19836 0 -1 1077944384 5387 0 0 0 281 21 0 0 20 0 19 0 445816590 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534526958736 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25221] ppid=25215 vsize=15417412 memory=1651772 CPUtime=3.02 cores=1,3,5,7
/proc/25217/task/25221/stat : 25221 (java) S 25215 25215 19836 0 -1 1077944384 3775 0 0 0 284 18 0 0 20 0 19 0 445816590 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534525905680 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25222] ppid=25215 vsize=15417412 memory=1560 CPUtime=3.01 cores=1,3,5,7
/proc/25217/task/25222/stat : 25222 (java) S 25215 25215 19836 0 -1 1077944384 4699 0 0 0 281 20 0 0 20 0 19 0 445816590 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534524853136 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25223] ppid=25215 vsize=15417412 memory=932 CPUtime=1.19 cores=1,3,5,7
/proc/25217/task/25223/stat : 25223 (java) S 25215 25215 19836 0 -1 1077944384 21354 0 0 0 73 46 0 0 20 0 19 0 445816592 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534404159728 140534935583362 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25224] ppid=25215 vsize=15417412 memory=1492 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25224/stat : 25224 (java) S 25215 25215 19836 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534403106016 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25225] ppid=25215 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25225/stat : 25225 (java) S 25215 25215 19836 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 445816592 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534402052864 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25226] ppid=25215 vsize=15417412 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25226/stat : 25226 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534401001424 140534935590811 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25227] ppid=25215 vsize=15417412 memory=1412 CPUtime=1.22 cores=1,3,5,7
/proc/25217/task/25227/stat : 25227 (java) S 25215 25215 19836 0 -1 1077944384 7937 0 0 0 122 0 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534399949552 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25228] ppid=25215 vsize=15417412 memory=3348 CPUtime=1.39 cores=1,3,5,7
/proc/25217/task/25228/stat : 25228 (java) S 25215 25215 19836 0 -1 1077944384 6985 0 0 0 138 1 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534398897008 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25229] ppid=25215 vsize=15417412 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/25217/task/25229/stat : 25229 (java) S 25215 25215 19836 0 -1 1077944384 6973 0 0 0 66 0 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534397843952 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25230] ppid=25215 vsize=15417412 memory=1636988 CPUtime=0 cores=1,3,5,7
/proc/25217/task/25230/stat : 25230 (java) S 25215 25215 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534396791648 140534935582421 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25231] ppid=25215 vsize=15417412 memory=6791534058613427641 CPUtime=0.2 cores=1,3,5,7
/proc/25217/task/25231/stat : 25231 (java) S 25215 25215 19836 0 -1 1077944384 510 0 0 0 20 0 0 0 20 0 19 0 445816595 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534395738672 140534935583362 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25232] ppid=25215 vsize=15417412 memory=1448 CPUtime=625.76 cores=1,3,5,7
/proc/25217/task/25232/stat : 25232 (java) R 25215 25215 19836 0 -1 4202560 2254 0 0 0 62573 3 0 0 20 0 19 0 445816669 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534386519672 140534574696781 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25233] ppid=25215 vsize=15417412 memory=6039388 CPUtime=625.38 cores=1,3,5,7
/proc/25217/task/25233/stat : 25233 (java) R 25215 25215 19836 0 -1 4202560 16627 0 0 0 62524 14 0 0 20 0 19 0 445816669 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534385469920 140534574696364 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25234] ppid=25215 vsize=15417412 memory=1580 CPUtime=625.6 cores=1,3,5,7
/proc/25217/task/25234/stat : 25234 (java) R 25215 25215 19836 0 -1 4202560 2000 0 0 0 62558 2 0 0 20 0 19 0 445816669 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534384415256 140534573950493 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
[pid=25217/tid=25235] ppid=25215 vsize=15417412 memory=8317482817917895235 CPUtime=625.91 cores=1,3,5,7
/proc/25217/task/25235/stat : 25235 (java) R 25215 25215 19836 0 -1 4202560 27363 0 0 0 62578 13 0 0 20 0 19 0 445816669 15787429888 459003 33554432000 4194304 4196468 140733553958656 140534383362336 140534574696698 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10276864 140733553964015 140733553964186 140733553964186 140733553967055 0
Current children cumulated CPU time: 2520.28 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 1837464 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.835 s]
# the end of solver process 25215 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00114 s, system=0.00114 s
[startup+634.871 s]
# the end of solver process 25217 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.92 s, system=1.60522 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): 634.871
CPU time (s): 2520.52
CPU user time (s): 2518.92
CPU system time (s): 1.60522
CPU usage (%): 397.014
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 1837464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.92
system time used= 1.60522
maximum resident set size= 1838352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121759
page faults= 0
swaps= 0
block input operations= 0
block output operations= 856
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38428
involuntary context switches= 47585
# summary of solver processes directly reported to runsolver:
# pid: 25215,25217
# total CPU time (s): 2520.52
# total CPU user time (s): 2518.92
# total CPU system time (s): 1.60522
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.95304 second user time and 7.30729 second system time
The end