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 (14081 MiB free)
memory of node 1: 16384 MiB (15277 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399398-1568694446/watcher-4399398-1568694446 -o /tmp/evaluation-result-4399398-1568694446/solver-4399398-1568694446 -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 1336427319 HOME/instance-4399398-1568694446.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
Current StackSize limit: 8192 KiB
solver pid=20664, runsolver pid=20661
[startup+0.101336 s]*
/proc/loadavg: 8.07 4.74 2.48 6/233 20680
/proc/meminfo: memFree=30043224/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15144776 memory=30312 CPUtime=0.13 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 5511 0 0 0 12 1 0 0 20 0 15 0 445382480 15508250624 7578 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3786194 7578 3154 1 0 3748377 0
[pid=20666/tid=20667] ppid=20664 vsize=15144776 memory=7100839878744900722 CPUtime=0.09 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 19836 0 -1 4202560 3405 0 0 0 9 0 0 0 20 0 15 0 445382480 15508250624 7578 33554432000 4194304 4196468 140723889568736 140167376918608 140167372718682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382482 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382483 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166706033440 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382483 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) R 20664 20664 19836 0 -1 4202560 451 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166702868800 140167356677012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) R 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0.02 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) R 20664 20664 19836 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 445382485 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166700772208 140167372709270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382486 15508250624 7578 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31764 KiB
[startup+0.210621 s]*
/proc/loadavg: 8.07 4.74 2.48 6/233 20680
/proc/meminfo: memFree=30030828/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15144776 memory=41260 CPUtime=0.35 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 9011 0 0 0 32 3 0 0 20 0 15 0 445382480 15508250624 10315 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3786194 10315 3303 1 0 3748377 0
[pid=20666/tid=20667] ppid=20664 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 19836 0 -1 4202560 6219 0 0 0 18 2 0 0 20 0 15 0 445382480 15508250624 10315 33554432000 4194304 4196468 140723889568736 140167376932320 140167372709270 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15144776 memory=2810770 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15144776 memory=3689772908948113056 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382481 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382482 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382483 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166706033440 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382483 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 19836 0 -1 1077944384 554 0 0 0 2 0 0 0 20 0 15 0 445382485 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166702877296 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 19836 0 -1 1077944384 189 0 0 0 2 0 0 0 20 0 15 0 445382485 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15144776 memory=140394473080448 CPUtime=0.08 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) R 20664 20664 19836 0 -1 4202560 744 0 0 0 8 0 0 0 20 0 15 0 445382485 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166700772208 140167372718682 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382486 15508250624 10315 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42712 KiB
[startup+0.316103 s]*
/proc/loadavg: 8.07 4.74 2.48 7/233 20680
/proc/meminfo: memFree=30024300/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15149032 memory=50660 CPUtime=0.54 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 10454 0 0 0 50 4 0 0 20 0 15 0 445382480 15512608768 12665 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3787258 12665 3367 1 0 3748377 0
[pid=20666/tid=20667] ppid=20664 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 19836 0 -1 4202560 7455 0 0 0 27 3 0 0 20 0 15 0 445382480 15512608768 12665 33554432000 4194304 4196468 140723889568736 140167376931392 140167356777822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382481 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382482 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382483 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166706033440 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382483 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 19836 0 -1 1077944384 656 0 0 0 5 0 0 0 20 0 15 0 445382485 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166702877296 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 19836 0 -1 1077944384 221 0 0 0 3 0 0 0 20 0 15 0 445382485 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 19836 0 -1 1077944384 823 0 0 0 12 0 0 0 20 0 15 0 445382485 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166700772208 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382486 15512608768 12665 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52112 KiB
[startup+0.705049 s]
/proc/loadavg: 8.07 4.74 2.48 9/233 20680
/proc/meminfo: memFree=30004328/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15151156 memory=113800 CPUtime=1.64 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 13536 0 0 0 158 6 0 0 20 0 15 0 445382480 15514783744 28450 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3787789 28450 3460 1 0 3748889 0
[pid=20666/tid=20667] ppid=20664 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) R 20664 20664 19836 0 -1 4202560 8806 0 0 0 63 4 0 0 20 0 15 0 445382480 15514783744 28450 33554432000 4194304 4196468 140723889568736 140167376921232 140167358132664 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15151156 memory=32652 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382481 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15151156 memory=1324 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445382481 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15151156 memory=1704 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445382482 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15151156 memory=5972 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445382483 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166706033440 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15151156 memory=588 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445382483 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15151156 memory=1056 CPUtime=0.33 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) R 20664 20664 19836 0 -1 4202560 1120 0 0 0 33 0 0 0 20 0 15 0 445382485 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166702877424 140167352352160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15151156 memory=11620 CPUtime=0.32 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) R 20664 20664 19836 0 -1 4202560 994 0 0 0 32 0 0 0 20 0 15 0 445382485 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166701817520 140167354220625 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15151156 memory=3992 CPUtime=0.29 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 19836 0 -1 1077944384 1310 0 0 0 29 0 0 0 20 0 15 0 445382485 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166700772208 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445382485 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445382486 15514783744 28450 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 115252 KiB
[startup+1.50105 s]
/proc/loadavg: 8.07 4.80 2.51 8/233 20680
/proc/meminfo: memFree=29826968/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 93368 0 0 0 207564 107 0 0 20 0 19 0 445382480 15787429888 724899 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3854353 724899 3522 1 0 3815453 0
[pid=20666/tid=20667] ppid=20664 vsize=15417412 memory=2897500 CPUtime=0.96 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) S 20664 20664 19836 0 -1 1077944384 8974 0 0 0 91 5 0 0 20 0 19 0 445382480 15787429888 724899 33554432000 4194304 4196468 140723889568736 140167376938112 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15417412 memory=2899548 CPUtime=1.15 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 5273 0 0 0 108 7 0 0 20 0 19 0 445382481 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15417412 memory=2899548 CPUtime=1.16 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 2938 0 0 0 108 8 0 0 20 0 19 0 445382481 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15417412 memory=2899548 CPUtime=1.13 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 2126 0 0 0 106 7 0 0 20 0 19 0 445382481 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15417412 memory=2899596 CPUtime=1.16 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2716 0 0 0 109 7 0 0 20 0 19 0 445382481 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15417412 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 5840 0 0 0 20 3 0 0 20 0 19 0 445382482 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15417412 memory=280788723129952 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166706033504 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15417412 memory=2895296 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15417412 memory=1452 CPUtime=1.85 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 19836 0 -1 1077944384 7112 0 0 0 184 1 0 0 20 0 19 0 445382485 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166702877296 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15417412 memory=3616 CPUtime=2.06 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 19836 0 -1 1077944384 10711 0 0 0 206 0 0 0 20 0 19 0 445382485 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15417412 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 19836 0 -1 1077944384 5867 0 0 0 65 1 0 0 20 0 19 0 445382485 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166700772208 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15417412 memory=2897500 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15417412 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) R 20664 20664 19836 0 -1 1077944384 912 0 0 0 0 20 0 0 20 0 19 0 445382486 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20681] ppid=20664 vsize=15417412 memory=0 CPUtime=517 cores=1,3,5,7
/proc/20666/task/20681/stat : 20681 (java) R 20664 20664 19836 0 -1 4202560 1905 0 0 0 51700 0 0 0 20 0 19 0 445382586 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166689446536 140167016886991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20682] ppid=20664 vsize=15417412 memory=1452 CPUtime=515.88 cores=1,3,5,7
/proc/20666/task/20682/stat : 20682 (java) R 20664 20664 19836 0 -1 4202560 31243 0 0 0 51528 60 0 0 20 0 19 0 445382586 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166688398240 140167016934927 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20683] ppid=20664 vsize=15417412 memory=2899548 CPUtime=517.41 cores=1,3,5,7
/proc/20666/task/20683/stat : 20683 (java) R 20664 20664 19836 0 -1 4202560 2912 0 0 0 51740 1 0 0 20 0 19 0 445382586 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166687342368 140167016601360 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20684] ppid=20664 vsize=15417412 memory=1980 CPUtime=515.71 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) R 20664 20664 19836 0 -1 4202560 3542 0 0 0 51569 2 0 0 20 0 19 0 445382586 15787429888 724899 33554432000 4194304 4196468 140723889568736 140166686290176 140167016000071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 2076.71 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2901048 KiB
[startup+582.31 s]
/proc/loadavg: 8.58 8.04 5.33 9/238 21129
/proc/meminfo: memFree=23808708/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15417412 memory=2905828 CPUtime=2314.95 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 96968 0 0 0 231384 111 0 0 20 0 19 0 445382480 15787429888 726457 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3854353 726457 3522 1 0 3815453 0
[pid=20666/tid=20667] ppid=20664 vsize=15417412 memory=2905828 CPUtime=0.96 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) S 20664 20664 19836 0 -1 1077944384 8974 0 0 0 91 5 0 0 20 0 19 0 445382480 15787429888 726457 33554432000 4194304 4196468 140723889568736 140167376938112 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15417412 memory=2905828 CPUtime=1.6 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 6161 0 0 0 153 7 0 0 20 0 19 0 445382481 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15417412 memory=1452 CPUtime=1.62 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 3097 0 0 0 153 9 0 0 20 0 19 0 445382481 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15417412 memory=280788723129952 CPUtime=1.59 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 2339 0 0 0 151 8 0 0 20 0 19 0 445382481 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15417412 memory=3616 CPUtime=1.63 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 2820 0 0 0 155 8 0 0 20 0 19 0 445382481 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15417412 memory=32660 CPUtime=0.37 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 6408 0 0 0 31 6 0 0 20 0 19 0 445382482 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15417412 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166706033504 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15417412 memory=32660 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15417412 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15417412 memory=2116 CPUtime=1.85 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 19836 0 -1 1077944384 7118 0 0 0 184 1 0 0 20 0 19 0 445382485 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166702877296 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15417412 memory=2903716 CPUtime=2.06 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 19836 0 -1 1077944384 10720 0 0 0 206 0 0 0 20 0 19 0 445382485 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15417412 memory=1452 CPUtime=0.66 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 19836 0 -1 1077944384 5873 0 0 0 65 1 0 0 20 0 19 0 445382485 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166700772208 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15417412 memory=2905828 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15417412 memory=1452 CPUtime=0.23 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 950 0 0 0 0 23 0 0 20 0 19 0 445382486 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20681] ppid=20664 vsize=15417412 memory=1452 CPUtime=576.04 cores=1,3,5,7
/proc/20666/task/20681/stat : 20681 (java) R 20664 20664 19836 0 -1 4202560 2174 0 0 0 57604 0 0 0 20 0 19 0 445382586 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166689446536 140167016887701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20682] ppid=20664 vsize=15417412 memory=2905828 CPUtime=574.87 cores=1,3,5,7
/proc/20666/task/20682/stat : 20682 (java) R 20664 20664 19836 0 -1 4202560 31807 0 0 0 57426 61 0 0 20 0 19 0 445382586 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166688398352 140167016935078 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20683] ppid=20664 vsize=15417412 memory=1452 CPUtime=576.55 cores=1,3,5,7
/proc/20666/task/20683/stat : 20683 (java) R 20664 20664 19836 0 -1 4202560 3246 0 0 0 57654 1 0 0 20 0 19 0 445382586 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166687342512 140167016885505 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20684] ppid=20664 vsize=15417412 memory=2899596 CPUtime=574.8 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) R 20664 20664 19836 0 -1 4202560 3984 0 0 0 57478 2 0 0 20 0 19 0 445382586 15787429888 726457 33554432000 4194304 4196468 140723889568736 140166686290304 140167016000097 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 2314.95 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2907280 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.001 s]*
/proc/loadavg: 9.53 8.36 5.58 9/238 21134
/proc/meminfo: memFree=23801580/32770624 swapFree=66922404/67108860
[pid=20664] ppid=20661 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20664/stat : 20664 (xcsp3-exec) S 20661 20664 19836 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445382479 115843072 363 33554432000 4194304 5098028 140726703246368 140726703244472 140153367655036 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 31838208 140726703252346 140726703252589 140726703252589 140726703255498 0
/proc/20664/statm: 28282 363 304 221 0 87 0
[pid=20666] ppid=20664 vsize=15417412 memory=2912096 CPUtime=2520.29 cores=1,3,5,7
/proc/20666/stat : 20666 (java) S 20664 20664 19836 0 -1 1077944320 102219 0 0 0 251915 114 0 0 20 0 19 0 445382480 15787429888 728024 33554432000 4194304 4196468 140723889568736 140723889551280 140167372697335 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
/proc/20666/statm: 3854353 728024 3522 1 0 3815453 0
[pid=20666/tid=20667] ppid=20664 vsize=15417412 memory=8317482817917895235 CPUtime=0.96 cores=1,3,5,7
/proc/20666/task/20667/stat : 20667 (java) S 20664 20664 19836 0 -1 1077944384 8974 0 0 0 91 5 0 0 20 0 19 0 445382480 15787429888 728024 33554432000 4194304 4196468 140723889568736 140167376938112 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20668] ppid=20664 vsize=15417412 memory=4872558044660077418 CPUtime=1.99 cores=1,3,5,7
/proc/20666/task/20668/stat : 20668 (java) S 20664 20664 19836 0 -1 1077944384 6254 0 0 0 191 8 0 0 20 0 19 0 445382481 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166965570448 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20669] ppid=20664 vsize=15417412 memory=11620 CPUtime=2 cores=1,3,5,7
/proc/20666/task/20669/stat : 20669 (java) S 20664 20664 19836 0 -1 1077944384 3401 0 0 0 191 9 0 0 20 0 19 0 445382481 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166964517648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20670] ppid=20664 vsize=15417412 memory=3992 CPUtime=1.98 cores=1,3,5,7
/proc/20666/task/20670/stat : 20670 (java) S 20664 20664 19836 0 -1 1077944384 3001 0 0 0 190 8 0 0 20 0 19 0 445382481 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166963465360 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20671] ppid=20664 vsize=15417412 memory=2828 CPUtime=2.01 cores=1,3,5,7
/proc/20666/task/20671/stat : 20671 (java) S 20664 20664 19836 0 -1 1077944384 3746 0 0 0 193 8 0 0 20 0 19 0 445382481 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166962412560 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20672] ppid=20664 vsize=15417412 memory=3616 CPUtime=0.48 cores=1,3,5,7
/proc/20666/task/20672/stat : 20672 (java) S 20664 20664 19836 0 -1 1077944384 7226 0 0 0 40 8 0 0 20 0 19 0 445382482 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166707087472 140167372708482 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20673] ppid=20664 vsize=15417412 memory=32660 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20673/stat : 20673 (java) S 20664 20664 19836 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166706033504 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20674] ppid=20664 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20674/stat : 20674 (java) S 20664 20664 19836 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445382483 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166704981104 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20675] ppid=20664 vsize=15417412 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20675/stat : 20675 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166703929424 140167372715931 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20676] ppid=20664 vsize=15417412 memory=3324 CPUtime=1.85 cores=1,3,5,7
/proc/20666/task/20676/stat : 20676 (java) S 20664 20664 19836 0 -1 1077944384 7124 0 0 0 184 1 0 0 20 0 19 0 445382485 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166702877296 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20677] ppid=20664 vsize=15417412 memory=1452 CPUtime=2.06 cores=1,3,5,7
/proc/20666/task/20677/stat : 20677 (java) S 20664 20664 19836 0 -1 1077944384 11257 0 0 0 206 0 0 0 20 0 19 0 445382485 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166701824496 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20678] ppid=20664 vsize=15417412 memory=2910028 CPUtime=0.66 cores=1,3,5,7
/proc/20666/task/20678/stat : 20678 (java) S 20664 20664 19836 0 -1 1077944384 5879 0 0 0 65 1 0 0 20 0 19 0 445382485 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166700772208 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20679] ppid=20664 vsize=15417412 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/20666/task/20679/stat : 20679 (java) S 20664 20664 19836 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445382485 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166699719648 140167372707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20680] ppid=20664 vsize=15417412 memory=3260 CPUtime=0.25 cores=1,3,5,7
/proc/20666/task/20680/stat : 20680 (java) S 20664 20664 19836 0 -1 1077944384 1003 0 0 0 0 25 0 0 20 0 19 0 445382486 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166698666416 140167372708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20681] ppid=20664 vsize=15417412 memory=2912096 CPUtime=626.9 cores=1,3,5,7
/proc/20666/task/20681/stat : 20681 (java) R 20664 20664 19836 0 -1 4202560 2474 0 0 0 62690 0 0 0 20 0 19 0 445382586 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166689446304 140167017215429 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20682] ppid=20664 vsize=15417412 memory=4872558044660077418 CPUtime=625.76 cores=1,3,5,7
/proc/20666/task/20682/stat : 20682 (java) R 20664 20664 19836 0 -1 4202560 32416 0 0 0 62515 61 0 0 20 0 19 0 445382586 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166688398352 140167016935078 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20683] ppid=20664 vsize=15417412 memory=2910028 CPUtime=627.52 cores=1,3,5,7
/proc/20666/task/20683/stat : 20683 (java) R 20664 20664 19836 0 -1 4202560 3752 0 0 0 62751 1 0 0 20 0 19 0 445382586 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166687342552 140167016885500 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
[pid=20666/tid=20684] ppid=20664 vsize=15417412 memory=2116 CPUtime=625.73 cores=1,3,5,7
/proc/20666/task/20684/stat : 20684 (java) R 20664 20664 19836 0 -1 4202560 4415 0 0 0 62571 2 0 0 20 0 19 0 445382586 15787429888 728024 33554432000 4194304 4196468 140723889568736 140166686290064 140167017215919 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8499200 140723889574895 140723889575066 140723889575066 140723889577935 0
Current children cumulated CPU time: 2520.29 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 2913548 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.044 s]
# the end of solver process 20664 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002237 s, system=0 s
[startup+634.095 s]
# the end of solver process 20666 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.43 s, system=1.15872 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.095
CPU time (s): 2520.59
CPU user time (s): 2519.43
CPU system time (s): 1.15872
CPU usage (%): 397.51
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 3492736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.43
system time used= 1.15872
maximum resident set size= 3494568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103243
page faults= 0
swaps= 0
block input operations= 0
block output operations= 808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33670
involuntary context switches= 53355
# summary of solver processes directly reported to runsolver:
# pid: 20664,20666
# total CPU time (s): 2520.59
# total CPU user time (s): 2519.43
# total CPU system time (s): 1.15872
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07608 second user time and 7.28839 second system time
The end