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 (14958 MiB free)
memory of node 1: 16384 MiB (14719 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281749-1503155252/watcher-4281749-1503155252 -o /tmp/evaluation-result-4281749-1503155252/solver-4281749-1503155252 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503095799-28950 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1707716856 HOME/instance-4281749-1503155252.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6568, runsolver pid=6565
Current StackSize limit: 8192 KiB
[startup+0.100104 s]*
/proc/loadavg: 2.16 2.04 1.97 2/199 6571
/proc/meminfo: memFree=30389060/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13358712 memory=14196 CPUtime=0 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 3321 0 0 0 0 0 0 0 20 0 6 0 117718214 13679321088 3549 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3339678 3549 1892 1 0 3329175 0
[pid=6570/tid=6571] ppid=6568 vsize=13358712 memory=1404226546252096138 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 2104 0 0 0 0 0 0 0 20 0 6 0 117718214 13679321088 4061 18446744073709551615 4194304 4196468 140728855176608 139838474031696 139838469817501 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13358712 memory=4122819170707441977 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117718215 13679321088 4061 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13358712 memory=140560527369856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 117718215 13679321088 4061 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13358712 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117718215 13679321088 4061 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13358712 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 117718215 13679321088 4061 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15576 KiB
[startup+0.210084 s]*
/proc/loadavg: 2.16 2.04 1.97 5/212 6584
/proc/meminfo: memFree=30376588/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13974352 memory=27032 CPUtime=0.1 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 5164 0 0 0 9 1 0 0 20 0 15 0 117718214 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3493588 6758 2761 1 0 3482964 0
[pid=6570/tid=6571] ppid=6568 vsize=13974352 memory=7022364594140610616 CPUtime=0.08 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 3319 0 0 0 7 1 0 0 20 0 15 0 117718214 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139838474026848 139838453876062 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13974352 memory=4294981025 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13974352 memory=288370936679081600 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13974352 memory=140560527369856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718216 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117718217 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117718217 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 15 0 117718219 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13974352 memory=140560527369856 CPUtime=0.01 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 238 0 0 0 1 0 0 0 20 0 15 0 117718219 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13974352 memory=140560527369856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718223 14309736448 6758 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28412 KiB
[startup+0.313074 s]*
/proc/loadavg: 2.16 2.04 1.97 3/212 6584
/proc/meminfo: memFree=30364628/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13974352 memory=39724 CPUtime=0.31 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 9128 0 0 0 28 3 0 0 20 0 15 0 117718214 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3493588 9931 3010 1 0 3482964 0
[pid=6570/tid=6571] ppid=6568 vsize=13974352 memory=6933928925625698159 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 6256 0 0 0 16 2 0 0 20 0 15 0 117718214 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139838474013664 139838469807510 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13974352 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718216 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117718217 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117718217 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 522 0 0 0 2 0 0 0 20 0 15 0 117718219 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13974352 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) R 6568 6568 28892 0 -1 1077944384 330 0 0 0 2 0 0 0 20 0 15 0 117718219 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13974352 memory=140560527369856 CPUtime=0.07 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) R 6568 6568 28892 0 -1 4202560 722 0 0 0 7 0 0 0 20 0 15 0 117718219 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838448315710 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13974352 memory=140560527369856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718223 14309736448 9931 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41104 KiB
[startup+0.701694 s]
/proc/loadavg: 2.16 2.04 1.97 5/212 6584
/proc/meminfo: memFree=30353168/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13980732 memory=63344 CPUtime=1.24 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 14031 0 0 0 117 7 0 0 20 0 15 0 117718214 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3495183 15836 3170 1 0 3483476 0
[pid=6570/tid=6571] ppid=6568 vsize=13980732 memory=0 CPUtime=0.55 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 8463 0 0 0 51 4 0 0 20 0 15 0 117718214 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139838474029888 139838469807510 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13980732 memory=758 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13980732 memory=441 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13980732 memory=4016 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=281120776265192 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117718216 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=281120776372112 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=4596 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13980732 memory=6944656575208382560 CPUtime=0.2 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) R 6568 6568 28892 0 -1 4202560 1379 0 0 0 20 0 0 0 20 0 15 0 117718219 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837944147712 139838451340776 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) R 6568 6568 28892 0 -1 4202560 1512 0 0 0 21 0 0 0 20 0 15 0 117718219 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837943091912 139838449488679 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13980732 memory=8708 CPUtime=0.23 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 1369 0 0 0 23 0 0 0 20 0 15 0 117718219 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13980732 memory=-1891255765032775953 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718223 14316269568 15836 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 1.24 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 64724 KiB
[startup+1.5042 s]
/proc/loadavg: 2.16 2.04 1.97 5/212 6584
/proc/meminfo: memFree=30336556/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13980732 memory=71632 CPUtime=3.18 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 20386 0 0 0 311 7 0 0 20 0 15 0 117718214 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3495183 17908 3178 1 0 3483476 0
[pid=6570/tid=6571] ppid=6568 vsize=13980732 memory=168821272914637 CPUtime=1.35 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 8873 0 0 0 131 4 0 0 20 0 15 0 117718214 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139838474034696 139838110028526 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13980732 memory=4050231204093440611 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13980732 memory=281120776194800 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 117718215 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=281120776194864 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 117718216 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=40 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 17908 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=758 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=4028 CPUtime=0.2 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 4476 0 0 0 17 3 0 0 20 0 15 0 117718216 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=63468 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13980732 memory=63468 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13980732 memory=1444 CPUtime=1.5 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 12200 0 0 0 149 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13980732 memory=1228 CPUtime=1.46 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 28892 0 -1 1077944384 12174 0 0 0 145 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.4 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 6242 0 0 0 38 2 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13980732 memory=194856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13980732 memory=1380 CPUtime=0.68 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1091 0 0 0 29 39 0 0 20 0 15 0 117718223 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 2386.5 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196236 KiB
[startup+2442.3 s]
/proc/loadavg: 1.82 1.86 1.91 3/212 6829
/proc/meminfo: memFree=30204328/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13980732 memory=194856 CPUtime=2446.53 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 67926 0 0 0 244611 42 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3495183 48714 3221 1 0 3483476 0
[pid=6570/tid=6571] ppid=6568 vsize=13980732 memory=1380 CPUtime=2441.48 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 21466 0 0 0 244140 8 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838474035152 139838113858648 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 2898 0 0 0 17 1 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 2994 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2092 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.17 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 931 0 0 0 15 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.2 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 4480 0 0 0 17 3 0 0 20 0 15 0 117718216 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=194856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13980732 memory=4028 CPUtime=1.5 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 12200 0 0 0 149 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 28892 0 -1 1077944384 12174 0 0 0 145 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.4 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 6242 0 0 0 38 2 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13980732 memory=1380 CPUtime=0.7 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1095 0 0 0 30 40 0 0 20 0 15 0 117718223 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 2446.53 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196236 KiB
[startup+2502.3 s]
/proc/loadavg: 1.81 1.85 1.91 3/212 6831
/proc/meminfo: memFree=30204808/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13980732 memory=194856 CPUtime=2506.54 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 68760 0 0 0 250611 43 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3495183 48714 3221 1 0 3483476 0
[pid=6570/tid=6571] ppid=6568 vsize=13980732 memory=1380 CPUtime=2501.46 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 21751 0 0 0 250138 8 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838474034992 139838113994435 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 3156 0 0 0 17 1 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 3000 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2133 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.17 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 972 0 0 0 15 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.2 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 4655 0 0 0 17 3 0 0 20 0 15 0 117718216 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13980732 memory=194856 CPUtime=1.5 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 12203 0 0 0 149 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 28892 0 -1 1077944384 12176 0 0 0 145 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13980732 memory=1380 CPUtime=0.4 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 6244 0 0 0 38 2 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13980732 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13980732 memory=63468 CPUtime=0.72 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1116 0 0 0 31 41 0 0 20 0 15 0 117718223 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 2506.54 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196236 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2515.8 s]
/proc/loadavg: 1.78 1.84 1.90 3/211 6832
/proc/meminfo: memFree=30204824/32770624 swapFree=67108860/67108860
[pid=6568] ppid=6565 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/6568/stat : 6568 (xcsp3-exec) S 6565 6568 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 117718205 9740288 345 18446744073709551615 4194304 5098028 140737485271584 140737485269688 140602053145212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 10293248 140737485279608 140737485279813 140737485279813 140737485283307 0
/proc/6568/statm: 2378 345 289 221 0 87 0
[pid=6570] ppid=6568 vsize=13980732 memory=194856 CPUtime=2520.04 cores=0,2,4,6
/proc/6570/stat : 6570 (java) S 6568 6568 28892 0 -1 1077944320 68764 0 0 0 251961 43 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 140728855159152 139838469795575 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
/proc/6570/statm: 3495183 48714 3221 1 0 3483476 0
[pid=6570/tid=6571] ppid=6568 vsize=13980732 memory=15880 CPUtime=2514.96 cores=0,2,4,6
/proc/6570/task/6571/stat : 6571 (java) R 6568 6568 28892 0 -1 4202560 21753 0 0 0 251488 8 0 0 20 0 15 0 117718214 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838474034992 139838113994718 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6572] ppid=6568 vsize=13980732 memory=4048 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6572/stat : 6572 (java) S 6568 6568 28892 0 -1 1077944384 3156 0 0 0 17 1 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838432902032 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6573] ppid=6568 vsize=13980732 memory=36128 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6573/stat : 6573 (java) S 6568 6568 28892 0 -1 1077944384 3000 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838068439824 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6574] ppid=6568 vsize=13980732 memory=7680170660397595203 CPUtime=0.18 cores=0,2,4,6
/proc/6570/task/6574/stat : 6574 (java) S 6568 6568 28892 0 -1 1077944384 2133 0 0 0 16 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838067387536 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6575] ppid=6568 vsize=13980732 memory=640 CPUtime=0.17 cores=0,2,4,6
/proc/6570/task/6575/stat : 6575 (java) S 6568 6568 28892 0 -1 1077944384 972 0 0 0 15 2 0 0 20 0 15 0 117718215 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139838066334736 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6576] ppid=6568 vsize=13980732 memory=1380 CPUtime=0.2 cores=0,2,4,6
/proc/6570/task/6576/stat : 6576 (java) S 6568 6568 28892 0 -1 1077944384 4657 0 0 0 17 3 0 0 20 0 15 0 117718216 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837948369008 139838469806722 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6577] ppid=6568 vsize=13980732 memory=194856 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6577/stat : 6577 (java) S 6568 6568 28892 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837947314976 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6578] ppid=6568 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6578/stat : 6578 (java) S 6568 6568 28892 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 117718217 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837946262640 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6579] ppid=6568 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6579/stat : 6579 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837945210960 139838469814171 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6580] ppid=6568 vsize=13980732 memory=1380 CPUtime=1.5 cores=0,2,4,6
/proc/6570/task/6580/stat : 6580 (java) S 6568 6568 28892 0 -1 1077944384 12203 0 0 0 149 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837944158832 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6581] ppid=6568 vsize=13980732 memory=1380 CPUtime=1.46 cores=0,2,4,6
/proc/6570/task/6581/stat : 6581 (java) S 6568 6568 28892 0 -1 1077944384 12176 0 0 0 145 1 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837943106032 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6582] ppid=6568 vsize=13980732 memory=194856 CPUtime=0.4 cores=0,2,4,6
/proc/6570/task/6582/stat : 6582 (java) S 6568 6568 28892 0 -1 1077944384 6244 0 0 0 38 2 0 0 20 0 15 0 117718219 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837942053744 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6583] ppid=6568 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/6570/task/6583/stat : 6583 (java) S 6568 6568 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 117718220 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837941001184 139838469805781 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
[pid=6570/tid=6584] ppid=6568 vsize=13980732 memory=6944656592455360604 CPUtime=0.72 cores=0,2,4,6
/proc/6570/task/6584/stat : 6584 (java) S 6568 6568 28892 0 -1 1077944384 1116 0 0 0 31 41 0 0 20 0 15 0 117718223 14316269568 48714 18446744073709551615 4194304 4196468 140728855176608 139837939947952 139838469806722 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31174656 140728855179697 140728855179873 140728855179873 140728855183311 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 196236 KiB
Sending SIGTERM to process tree (bottom up)
[startup+2515.81 s]
# the end of solver process 6568 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.63 s, system=0.440078 s
Solver just ended.
Sleeping 2 seconds
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2515.81
CPU time (s): 2520.07
CPU user time (s): 2519.63
CPU system time (s): 0.440078
CPU usage (%): 100.169
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 201868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.440078
maximum resident set size= 202536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69524
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60883
involuntary context switches= 2738
# summary of solver processes directly reported to runsolver:
# pid: 6568
# total CPU time (s): 2520.07
# total CPU user time (s): 2519.63
# total CPU system time (s): 0.440078
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.0958 second user time and 23.1639 second system time
The end