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 (15137 MiB free)
memory of node 1: 16384 MiB (14868 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271934-1502833915/watcher-4271934-1502833915 -o /tmp/evaluation-result-4271934-1502833915/solver-4271934-1502833915 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29000 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1747654771 HOME/instance-4271934-1502833915.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
Current StackSize limit: 8192 KiB
solver pid=6543, runsolver pid=6540
[startup+0.101588 s]*
/proc/loadavg: 1.77 1.76 1.72 3/206 6552
/proc/meminfo: memFree=30716804/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13574484 memory=17728 CPUtime=0.02 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 3758 0 0 0 2 0 0 0 20 0 9 0 37274060 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3393621 4432 2086 1 0 3383118 0
[pid=6545/tid=6546] ppid=6543 vsize=13574484 memory=8508281356422317474 CPUtime=0.02 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 2464 0 0 0 2 0 0 0 20 0 9 0 37274061 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108573524584 140108569310365 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13574484 memory=3691042058319900680 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 37274061 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13574484 memory=139898141054592 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 37274061 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 37274061 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 37274061 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13574484 memory=139898141054592 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 37274063 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 37274063 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108046521504 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 37274063 13900271616 4432 18446744073709551615 4194304 4196468 140733497118816 140108045468464 140108569298645 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 19104 KiB
[startup+0.210148 s]*
/proc/loadavg: 1.77 1.76 1.72 3/213 6559
/proc/meminfo: memFree=30708356/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13974352 memory=29192 CPUtime=0.14 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 5195 0 0 0 13 1 0 0 20 0 15 0 37274060 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3493588 7298 2861 1 0 3482964 0
[pid=6545/tid=6546] ppid=6543 vsize=13974352 memory=7022364594140610616 CPUtime=0.1 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 3125 0 0 0 10 0 0 0 20 0 15 0 37274061 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108573515856 140108569300374 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13974352 memory=4294978898 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13974352 memory=139898141482276 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13974352 memory=139898141054592 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274063 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 37274063 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108046521504 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 37274063 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108045468400 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) R 6543 6543 7968 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 15 0 37274066 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108043365200 140108569298645 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) R 6543 6543 7968 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 37274066 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108042304208 140108549149113 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13974352 memory=139898141054592 CPUtime=0.02 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) R 6543 6543 7968 0 -1 4202560 337 0 0 0 2 0 0 0 20 0 15 0 37274066 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569300374 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13974352 memory=139898141054592 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274070 14309736448 7298 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30568 KiB
[startup+0.312561 s]*
/proc/loadavg: 1.77 1.76 1.72 3/213 6559
/proc/meminfo: memFree=30695464/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13978608 memory=40096 CPUtime=0.33 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 8767 0 0 0 30 3 0 0 20 0 15 0 37274060 14314094592 10024 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3494652 10024 3033 1 0 3482964 0
[pid=6545/tid=6546] ppid=6543 vsize=13978608 memory=4278483708103473607 CPUtime=0.2 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 5907 0 0 0 18 2 0 0 20 0 15 0 37274061 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108573509432 140108561966453 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13978608 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274063 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 37274063 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108046521504 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 37274063 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108045468400 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13978608 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) S 6543 6543 7968 0 -1 1077944384 612 0 0 0 3 0 0 0 20 0 15 0 37274066 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108043365104 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13978608 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) S 6543 6543 7968 0 -1 1077944384 242 0 0 0 1 0 0 0 20 0 15 0 37274066 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13978608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) R 6543 6543 7968 0 -1 4202560 705 0 0 0 7 0 0 0 20 0 15 0 37274066 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569300374 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13978608 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274070 14314094592 10071 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41472 KiB
[startup+0.701329 s]
/proc/loadavg: 1.77 1.76 1.72 5/213 6559
/proc/meminfo: memFree=30686648/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13980732 memory=63972 CPUtime=1.33 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 13145 0 0 0 128 5 0 0 20 0 15 0 37274060 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3495183 15993 3177 1 0 3483476 0
[pid=6545/tid=6546] ppid=6543 vsize=13980732 memory=279796047151344 CPUtime=0.57 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 8081 0 0 0 54 3 0 0 20 0 15 0 37274061 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108573526672 140108158330580 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13980732 memory=279796047151344 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13980732 memory=279796047151344 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108046521504 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108045468400 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) R 6543 6543 7968 0 -1 4202560 1506 0 0 0 23 0 0 0 20 0 15 0 37274066 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108043346120 140108552771934 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13980732 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) R 6543 6543 7968 0 -1 4202560 722 0 0 0 21 0 0 0 20 0 15 0 37274066 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108552782901 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13980732 memory=8 CPUtime=0.29 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) R 6543 6543 7968 0 -1 4202560 1528 0 0 0 29 0 0 0 20 0 15 0 37274066 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108547969744 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13980732 memory=36 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13980732 memory=2 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274070 14316269568 15993 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65348 KiB
[startup+1.5012 s]
/proc/loadavg: 1.77 1.76 1.72 5/213 6559
/proc/meminfo: memFree=30655924/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13980732 memory=137628 CPUtime=3.84 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 23951 0 0 0 377 7 0 0 20 0 15 0 37274060 14316269568 34407 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3495183 34407 3196 1 0 3483476 0
[pid=6545/tid=6546] ppid=6543 vsize=13980732 memory=1376 CPUtime=1.37 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 8816 0 0 0 133 4 0 0 20 0 15 0 37274061 14316269568 34407 18446744073709551615 4194304 4196468 140733497118816 140108573527024 140108162378279 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13980732 memory=114872 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 34407 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 34407 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13980732 memory=-7175204567652784766 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 37274061 14316269568 34407 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13980732 memory=7100839861465685612 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108045468416 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13980732 memory=1376 CPUtime=4.35 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) S 6543 6543 7968 0 -1 1077944384 29912 0 0 0 432 3 0 0 20 0 15 0 37274066 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108043365104 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13980732 memory=371212 CPUtime=3.91 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) S 6543 6543 7968 0 -1 1077944384 22765 0 0 0 389 2 0 0 20 0 15 0 37274066 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 9 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13980732 memory=360952 CPUtime=0.7 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) S 6543 6543 7968 0 -1 1077944384 9152 0 0 0 68 2 0 0 20 0 15 0 37274066 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13980732 memory=1376 CPUtime=1.32 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 2382 0 0 0 65 67 0 0 20 0 15 0 37274070 14316269568 89725 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 2384.67 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 360276 KiB
[startup+2382.3 s]
/proc/loadavg: 1.22 1.32 1.40 3/213 6889
/proc/meminfo: memFree=30378064/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13980732 memory=352512 CPUtime=2446.13 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 359856 0 0 0 244045 568 0 0 20 0 15 0 37274060 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3495183 88128 3256 1 0 3483476 0
[pid=6545/tid=6546] ppid=6543 vsize=13980732 memory=353540 CPUtime=2357.63 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 159634 0 0 0 235720 43 0 0 20 0 15 0 37274061 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108573527568 140108164488403 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13980732 memory=361664 CPUtime=18.64 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 25334 0 0 0 1756 108 0 0 20 0 15 0 37274061 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13980732 memory=359612 CPUtime=18.62 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 23183 0 0 0 1756 106 0 0 20 0 15 0 37274061 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13980732 memory=332236 CPUtime=18.63 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 25907 0 0 0 1756 107 0 0 20 0 15 0 37274061 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13980732 memory=320964 CPUtime=18.65 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 23229 0 0 0 1760 105 0 0 20 0 15 0 37274061 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13980732 memory=353540 CPUtime=3.53 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 36993 0 0 0 297 56 0 0 20 0 15 0 37274063 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13980732 memory=352512 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108046521568 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108045468416 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13980732 memory=332268 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13980732 memory=1376 CPUtime=4.35 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) S 6543 6543 7968 0 -1 1077944384 29914 0 0 0 432 3 0 0 20 0 15 0 37274066 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108043365104 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13980732 memory=1376 CPUtime=3.91 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) S 6543 6543 7968 0 -1 1077944384 22767 0 0 0 389 2 0 0 20 0 15 0 37274066 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13980732 memory=353540 CPUtime=0.7 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) S 6543 6543 7968 0 -1 1077944384 9154 0 0 0 68 2 0 0 20 0 15 0 37274066 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13980732 memory=3868 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13980732 memory=3904 CPUtime=1.35 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 2397 0 0 0 67 68 0 0 20 0 15 0 37274070 14316269568 88128 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 2446.13 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 353888 KiB
[startup+2442.3 s]
/proc/loadavg: 1.20 1.31 1.39 3/213 6893
/proc/meminfo: memFree=30371084/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13980732 memory=372612 CPUtime=2507.59 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 366291 0 0 0 250177 582 0 0 20 0 15 0 37274060 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3495183 93153 3256 1 0 3483476 0
[pid=6545/tid=6546] ppid=6543 vsize=13980732 memory=318736 CPUtime=2416.97 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 162295 0 0 0 241653 44 0 0 20 0 15 0 37274061 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108573527568 140108551716839 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13980732 memory=320964 CPUtime=19.15 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 26034 0 0 0 1804 111 0 0 20 0 15 0 37274061 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13980732 memory=353540 CPUtime=19.12 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 23823 0 0 0 1803 109 0 0 20 0 15 0 37274061 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13980732 memory=328480 CPUtime=19.13 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 26776 0 0 0 1803 110 0 0 20 0 15 0 37274061 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13980732 memory=319248 CPUtime=19.15 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 24086 0 0 0 1807 108 0 0 20 0 15 0 37274061 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13980732 memory=338740 CPUtime=3.61 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 37681 0 0 0 304 57 0 0 20 0 15 0 37274063 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13980732 memory=318736 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108046521568 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108045468416 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13980732 memory=372612 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13980732 memory=1376 CPUtime=4.35 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) S 6543 6543 7968 0 -1 1077944384 29916 0 0 0 432 3 0 0 20 0 15 0 37274066 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108043365104 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13980732 memory=365672 CPUtime=3.91 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) S 6543 6543 7968 0 -1 1077944384 22769 0 0 0 389 2 0 0 20 0 15 0 37274066 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13980732 memory=1376 CPUtime=0.7 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) S 6543 6543 7968 0 -1 1077944384 9156 0 0 0 68 2 0 0 20 0 15 0 37274066 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13980732 memory=288230617509003574 CPUtime=1.38 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 2411 0 0 0 69 69 0 0 20 0 15 0 37274070 14316269568 93153 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 2507.59 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 373988 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2454.6 s]
/proc/loadavg: 1.18 1.30 1.39 3/213 6894
/proc/meminfo: memFree=30375972/32770624 swapFree=67108860/67108860
[pid=6543] ppid=6540 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6543/stat : 6543 (xcsp3-exec) S 6540 6543 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 37274053 9740288 344 18446744073709551615 4194304 5098028 140721068477904 140721068476008 140188202156668 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 22532096 140721068478841 140721068479046 140721068479046 140721068482539 0
/proc/6543/statm: 2378 344 289 221 0 87 0
[pid=6545] ppid=6543 vsize=13980732 memory=347208 CPUtime=2520.07 cores=0,2,4,6
/proc/6545/stat : 6545 (java) S 6543 6543 7968 0 -1 1077944320 366311 0 0 0 251424 583 0 0 20 0 15 0 37274060 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140733497101360 140108569288439 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
/proc/6545/statm: 3495183 86802 3256 1 0 3483476 0
[pid=6545/tid=6546] ppid=6543 vsize=13980732 memory=4612 CPUtime=2429.19 cores=0,2,4,6
/proc/6545/task/6546/stat : 6546 (java) R 6543 6543 7968 0 -1 4202560 162310 0 0 0 242875 44 0 0 20 0 15 0 37274061 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108573527680 140108164615609 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6547] ppid=6543 vsize=13980732 memory=792 CPUtime=19.21 cores=0,2,4,6
/proc/6545/task/6547/stat : 6547 (java) S 6543 6543 7968 0 -1 1077944384 26037 0 0 0 1810 111 0 0 20 0 15 0 37274061 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108488702992 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6548] ppid=6543 vsize=13980732 memory=353880 CPUtime=19.19 cores=0,2,4,6
/proc/6545/task/6548/stat : 6548 (java) S 6543 6543 7968 0 -1 1077944384 23823 0 0 0 1809 110 0 0 20 0 15 0 37274061 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108487650448 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6549] ppid=6543 vsize=13980732 memory=1700 CPUtime=19.19 cores=0,2,4,6
/proc/6545/task/6549/stat : 6549 (java) S 6543 6543 7968 0 -1 1077944384 26776 0 0 0 1809 110 0 0 20 0 15 0 37274061 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108486597392 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6550] ppid=6543 vsize=13980732 memory=1228 CPUtime=19.2 cores=0,2,4,6
/proc/6545/task/6550/stat : 6550 (java) S 6543 6543 7968 0 -1 1077944384 24086 0 0 0 1812 108 0 0 20 0 15 0 37274061 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108485544848 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6551] ppid=6543 vsize=13980732 memory=928 CPUtime=3.62 cores=0,2,4,6
/proc/6545/task/6551/stat : 6551 (java) S 6543 6543 7968 0 -1 1077944384 37683 0 0 0 305 57 0 0 20 0 15 0 37274063 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108047575280 140108569299586 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6552] ppid=6543 vsize=13980732 memory=2164 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6552/stat : 6552 (java) S 6543 6543 7968 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108046521568 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6553] ppid=6543 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6553/stat : 6553 (java) S 6543 6543 7968 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 37274063 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108045468416 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6554] ppid=6543 vsize=13980732 memory=22472 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6554/stat : 6554 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108044416976 140108569307035 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6555] ppid=6543 vsize=13980732 memory=1376 CPUtime=4.35 cores=0,2,4,6
/proc/6545/task/6555/stat : 6555 (java) S 6543 6543 7968 0 -1 1077944384 29916 0 0 0 432 3 0 0 20 0 15 0 37274066 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108043365104 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6556] ppid=6543 vsize=13980732 memory=365164 CPUtime=3.91 cores=0,2,4,6
/proc/6545/task/6556/stat : 6556 (java) S 6543 6543 7968 0 -1 1077944384 22769 0 0 0 389 2 0 0 20 0 15 0 37274066 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108042312560 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6557] ppid=6543 vsize=13980732 memory=4304 CPUtime=0.7 cores=0,2,4,6
/proc/6545/task/6557/stat : 6557 (java) S 6543 6543 7968 0 -1 1077944384 9156 0 0 0 68 2 0 0 20 0 15 0 37274066 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108041259504 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6558] ppid=6543 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/6545/task/6558/stat : 6558 (java) S 6543 6543 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 37274066 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108040207200 140108569298645 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
[pid=6545/tid=6559] ppid=6543 vsize=13980732 memory=349776 CPUtime=1.39 cores=0,2,4,6
/proc/6545/task/6559/stat : 6559 (java) S 6543 6543 7968 0 -1 1077944384 2411 0 0 0 69 70 0 0 20 0 15 0 37274070 14316269568 86802 18446744073709551615 4194304 4196468 140733497118816 140108039154224 140108569299586 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 6782976 140733497123250 140733497123426 140733497123426 140733497126863 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 348584 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2454.61 s]
# the end of solver process 6543 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.000939 s, system=0.000939 s
[startup+2454.61 s]
# the end of solver process 6545 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.25 s, system=5.83822 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): 2454.61
CPU time (s): 2520.09
CPU user time (s): 2514.25
CPU system time (s): 5.83822
CPU usage (%): 102.667
Max. virtual memory (cumulated for all children) (KiB): 13994260
Max. memory (cumulated for all children) (KiB): 516564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.25
system time used= 5.83822
maximum resident set size= 537364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 366954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124705
involuntary context switches= 6682
# summary of solver processes directly reported to runsolver:
# pid: 6543,6545
# total CPU time (s): 2520.09
# total CPU user time (s): 2514.25
# total CPU system time (s): 5.83822
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0796 second user time and 24.3171 second system time
The end