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 (10844 MiB free)
memory of node 1: 16384 MiB (14073 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405959-1569410432/watcher-4405959-1569410432 -o /tmp/evaluation-result-4405959-1569410432/solver-4405959-1569410432 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569407822-5223 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 205454108 HOME/instance-4405959-1569410432.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=5831, runsolver pid=5828
Current StackSize limit: 8192 KiB
[startup+0.100521 s]*
/proc/loadavg: 2.14 1.91 1.88 4/229 5847
/proc/meminfo: memFree=25501088/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15144776 memory=28932 CPUtime=0.12 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 5645 0 0 0 11 1 0 0 20 0 15 0 517307989 15508250624 7233 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3786194 7233 3160 1 0 3748377 0
[pid=5833/tid=5834] ppid=5831 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 3565 0 0 0 8 1 0 0 20 0 15 0 517307989 15508250624 7233 33554432000 4194304 4196468 140728484254816 139952308092360 139952288375936 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 7233 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 7233 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 7233 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 7233 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307991 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307992 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951771452576 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307992 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951770399472 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) S 5831 5831 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0.01 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) R 5831 5831 5192 0 -1 4202560 364 0 0 0 1 0 0 0 20 0 15 0 517307994 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951766190576 139952296102718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307995 15508250624 7233 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30380 KiB
[startup+0.213581 s]*
/proc/loadavg: 2.14 1.91 1.88 3/229 5847
/proc/meminfo: memFree=25488748/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15144776 memory=40532 CPUtime=0.34 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 9342 0 0 0 31 3 0 0 20 0 15 0 517307989 15508250624 10133 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3786194 10133 3313 1 0 3748377 0
[pid=5833/tid=5834] ppid=5831 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 6597 0 0 0 18 2 0 0 20 0 15 0 517307989 15508250624 10133 33554432000 4194304 4196468 140728484254816 139952308095872 139951928919655 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15144776 memory=9780 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 10133 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15144776 memory=140570281152033 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 10133 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 10133 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307990 15508250624 10133 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307991 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307992 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951771452576 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307992 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951770399472 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 506 0 0 0 3 0 0 0 20 0 15 0 517307994 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) R 5831 5831 5192 0 -1 1077944384 129 0 0 0 1 0 0 0 20 0 15 0 517307994 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15144776 memory=140570277652096 CPUtime=0.08 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) R 5831 5831 5192 0 -1 4202560 805 0 0 0 8 0 0 0 20 0 15 0 517307994 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951766190384 139952282820848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307995 15508250624 10133 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41980 KiB
[startup+0.310753 s]*
/proc/loadavg: 2.14 1.91 1.88 4/229 5847
/proc/meminfo: memFree=25483288/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15149032 memory=49820 CPUtime=0.52 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 10732 0 0 0 49 3 0 0 20 0 15 0 517307989 15512608768 12455 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3787258 12455 3371 1 0 3748377 0
[pid=5833/tid=5834] ppid=5831 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 7700 0 0 0 27 3 0 0 20 0 15 0 517307989 15512608768 12498 33554432000 4194304 4196468 140728484254816 139952308092208 139952287946078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15512608768 12498 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15512608768 12498 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15512608768 12498 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307990 15512608768 12498 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307991 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307992 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951771452576 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307992 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951770399472 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 532 0 0 0 4 0 0 0 20 0 15 0 517307994 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) R 5831 5831 5192 0 -1 4202560 277 0 0 0 4 0 0 0 20 0 15 0 517307994 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951767224648 139952283719173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 949 0 0 0 12 0 0 0 20 0 15 0 517307994 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307995 15512608768 12498 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51268 KiB
[startup+0.700767 s]
/proc/loadavg: 2.14 1.91 1.88 6/229 5847
/proc/meminfo: memFree=25457516/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15151156 memory=129164 CPUtime=1.75 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 13756 0 0 0 170 5 0 0 20 0 15 0 517307989 15514783744 32291 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3787789 32291 3452 1 0 3748889 0
[pid=5833/tid=5834] ppid=5831 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 8367 0 0 0 64 4 0 0 20 0 15 0 517307989 15514783744 32291 33554432000 4194304 4196468 140728484254816 139952308103232 139951932650452 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15151156 memory=64924 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15514783744 32291 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15514783744 32291 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307990 15514783744 32291 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15151156 memory=1432 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517307990 15514783744 32291 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517307991 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15151156 memory=656 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951771452576 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15151156 memory=3612 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951770399472 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15151156 memory=1712 CPUtime=0.37 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) R 5831 5831 5192 0 -1 4202560 1283 0 0 0 37 0 0 0 20 0 15 0 517307994 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951768282960 139952285389942 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15151156 memory=1204 CPUtime=0.37 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) R 5831 5831 5192 0 -1 4202560 1099 0 0 0 37 0 0 0 20 0 15 0 517307994 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951767236656 139952283580380 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15151156 memory=1072 CPUtime=0.3 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 1701 0 0 0 30 0 0 0 20 0 15 0 517307994 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15151156 memory=6220 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15151156 memory=1544 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517307995 15514783744 32291 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 130612 KiB
[startup+1.50082 s]
/proc/loadavg: 2.14 1.91 1.88 5/229 5847
/proc/meminfo: memFree=25353140/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
[pid=5833/tid=5839] ppid=5831 vsize=15151156 memory=199364 CPUtime=0.26 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 4793 0 0 0 22 4 0 0 20 0 15 0 517307991 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15151156 memory=199364 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951771452640 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951770399488 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15151156 memory=199364 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15151156 memory=199364 CPUtime=1.69 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 10838 0 0 0 168 1 0 0 20 0 15 0 517307994 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15151156 memory=1448 CPUtime=1.37 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) S 5831 5831 5192 0 -1 1077944384 7130 0 0 0 136 1 0 0 20 0 15 0 517307994 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15151156 memory=3580 CPUtime=0.63 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 8288 0 0 0 61 2 0 0 20 0 15 0 517307994 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15151156 memory=65000 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15151156 memory=199364 CPUtime=0.63 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 825 0 0 0 28 35 0 0 20 0 15 0 517307995 15514783744 49841 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 2388.36 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 200812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.19 1.79 1.76 3/230 6158
/proc/meminfo: memFree=25278332/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15151156 memory=201476 CPUtime=2448.51 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 71374 0 0 0 244781 70 0 0 20 0 15 0 517307989 15514783744 50369 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3787789 50369 3513 1 0 3748889 0
[pid=5833/tid=5834] ppid=5831 vsize=15151156 memory=201476 CPUtime=2440.82 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 22183 0 0 0 244066 16 0 0 20 0 15 0 517307989 15514783744 50369 33554432000 4194304 4196468 140728484254816 139952308105216 139951934463797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15151156 memory=201412 CPUtime=0.73 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 3546 0 0 0 69 4 0 0 20 0 15 0 517307990 15514783744 50369 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15151156 memory=201412 CPUtime=0.74 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 3697 0 0 0 70 4 0 0 20 0 15 0 517307990 15514783744 50369 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15151156 memory=201412 CPUtime=0.74 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 5487 0 0 0 70 4 0 0 20 0 15 0 517307990 15514783744 50369 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15151156 memory=1448 CPUtime=0.74 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 3034 0 0 0 69 5 0 0 20 0 15 0 517307990 15514783744 50369 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15151156 memory=1448 CPUtime=0.28 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 4972 0 0 0 24 4 0 0 20 0 15 0 517307991 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15151156 memory=201476 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951771452640 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15151156 memory=201476 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951770399488 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15151156 memory=1448 CPUtime=1.69 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 10840 0 0 0 168 1 0 0 20 0 15 0 517307994 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15151156 memory=1448 CPUtime=1.37 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) S 5831 5831 5192 0 -1 1077944384 7132 0 0 0 136 1 0 0 20 0 15 0 517307994 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15151156 memory=201476 CPUtime=0.63 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 8291 0 0 0 61 2 0 0 20 0 15 0 517307994 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15151156 memory=1448 CPUtime=0.65 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 840 0 0 0 29 36 0 0 20 0 15 0 517307995 15514783744 50369 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 2448.51 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 202924 KiB
[startup+2502.3 s]
/proc/loadavg: 2.09 1.84 1.78 3/230 6184
/proc/meminfo: memFree=25268752/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15151156 memory=207488 CPUtime=2508.72 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 71707 0 0 0 250801 71 0 0 20 0 15 0 517307989 15514783744 51872 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3787789 51872 3513 1 0 3748889 0
[pid=5833/tid=5834] ppid=5831 vsize=15151156 memory=207488 CPUtime=2500.72 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 22300 0 0 0 250056 16 0 0 20 0 15 0 517307989 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952308105216 139951934464101 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15151156 memory=205440 CPUtime=0.8 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 3554 0 0 0 76 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15151156 memory=203388 CPUtime=0.8 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 3703 0 0 0 76 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15151156 memory=203388 CPUtime=0.8 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 5491 0 0 0 76 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15151156 memory=203388 CPUtime=0.8 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 3036 0 0 0 75 5 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15151156 memory=203388 CPUtime=0.3 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 4979 0 0 0 25 5 0 0 20 0 15 0 517307991 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15151156 memory=205436 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951771452640 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15151156 memory=205440 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951770399488 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15151156 memory=207488 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15151156 memory=1448 CPUtime=1.69 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 10840 0 0 0 168 1 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15151156 memory=1448 CPUtime=1.39 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) S 5831 5831 5192 0 -1 1077944384 7317 0 0 0 138 1 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15151156 memory=207488 CPUtime=0.63 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 8291 0 0 0 61 2 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15151156 memory=65024 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15151156 memory=988 CPUtime=0.67 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 844 0 0 0 30 37 0 0 20 0 15 0 517307995 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 2508.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208936 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2513.6 s]
/proc/loadavg: 2.00 1.83 1.78 3/230 6184
/proc/meminfo: memFree=25269032/32770624 swapFree=66999860/67108860
[pid=5831] ppid=5828 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5831/stat : 5831 (xcsp3-exec) S 5828 5831 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517307988 115843072 362 33554432000 4194304 5098028 140732376354992 140732376353096 139950254248572 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31035392 140732376359803 140732376360045 140732376360045 140732376362954 0
/proc/5831/statm: 28282 362 304 221 0 87 0
[pid=5833] ppid=5831 vsize=15151156 memory=207488 CPUtime=2520.06 cores=0,2,4,6
/proc/5833/stat : 5833 (java) S 5831 5831 5192 0 -1 1077944320 71717 0 0 0 251934 72 0 0 20 0 15 0 517307989 15514783744 51872 33554432000 4194304 4196468 140728484254816 140728484237360 139952303865591 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
/proc/5833/statm: 3787789 51872 3513 1 0 3748889 0
[pid=5833/tid=5834] ppid=5831 vsize=15151156 memory=207488 CPUtime=2511.99 cores=0,2,4,6
/proc/5833/task/5834/stat : 5834 (java) R 5831 5831 5192 0 -1 4202560 22310 0 0 0 251183 16 0 0 20 0 15 0 517307989 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952308105216 139951934464069 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5835] ppid=5831 vsize=15151156 memory=1448 CPUtime=0.81 cores=0,2,4,6
/proc/5833/task/5835/stat : 5835 (java) S 5831 5831 5192 0 -1 1077944384 3554 0 0 0 77 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952256486416 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5836] ppid=5831 vsize=15151156 memory=207488 CPUtime=0.82 cores=0,2,4,6
/proc/5833/task/5836/stat : 5836 (java) S 5831 5831 5192 0 -1 1077944384 3703 0 0 0 78 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952255433872 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5837] ppid=5831 vsize=15151156 memory=2912 CPUtime=0.82 cores=0,2,4,6
/proc/5833/task/5837/stat : 5837 (java) S 5831 5831 5192 0 -1 1077944384 5491 0 0 0 78 4 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952254380816 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5838] ppid=5831 vsize=15151156 memory=1448 CPUtime=0.82 cores=0,2,4,6
/proc/5833/task/5838/stat : 5838 (java) S 5831 5831 5192 0 -1 1077944384 3036 0 0 0 77 5 0 0 20 0 15 0 517307990 15514783744 51872 33554432000 4194304 4196468 140728484254816 139952253328272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5839] ppid=5831 vsize=15151156 memory=3580 CPUtime=0.31 cores=0,2,4,6
/proc/5833/task/5839/stat : 5839 (java) S 5831 5831 5192 0 -1 1077944384 4979 0 0 0 26 5 0 0 20 0 15 0 517307991 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951772506352 139952303876738 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5840] ppid=5831 vsize=15151156 memory=4486604260213485459 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5840/stat : 5840 (java) S 5831 5831 5192 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951771452640 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5841] ppid=5831 vsize=15151156 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5841/stat : 5841 (java) S 5831 5831 5192 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 517307992 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951770399488 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5842] ppid=5831 vsize=15151156 memory=207488 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5842/stat : 5842 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951769348048 139952303884187 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5843] ppid=5831 vsize=15151156 memory=988 CPUtime=1.69 cores=0,2,4,6
/proc/5833/task/5843/stat : 5843 (java) S 5831 5831 5192 0 -1 1077944384 10840 0 0 0 168 1 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951768296176 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5844] ppid=5831 vsize=15151156 memory=8112282956445269571 CPUtime=1.39 cores=0,2,4,6
/proc/5833/task/5844/stat : 5844 (java) S 5831 5831 5192 0 -1 1077944384 7317 0 0 0 138 1 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951767243632 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5845] ppid=5831 vsize=15151156 memory=1432 CPUtime=0.63 cores=0,2,4,6
/proc/5833/task/5845/stat : 5845 (java) S 5831 5831 5192 0 -1 1077944384 8291 0 0 0 61 2 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951766190576 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5846] ppid=5831 vsize=15151156 memory=9396 CPUtime=0 cores=0,2,4,6
/proc/5833/task/5846/stat : 5846 (java) S 5831 5831 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517307994 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951765138272 139952303875797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
[pid=5833/tid=5847] ppid=5831 vsize=15151156 memory=656 CPUtime=0.68 cores=0,2,4,6
/proc/5833/task/5847/stat : 5847 (java) S 5831 5831 5192 0 -1 1077944384 844 0 0 0 30 38 0 0 20 0 15 0 517307995 15514783744 51872 33554432000 4194304 4196468 140728484254816 139951764085296 139952303876738 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13283328 140728484258799 140728484258970 140728484258970 140728484261839 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 208936 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2513.61 s]
# the end of solver process 5831 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.36 s, system=0.72871 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2513.61
CPU time (s): 2520.09
CPU user time (s): 2519.36
CPU system time (s): 0.72871
CPU usage (%): 100.258
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 357680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.36
system time used= 0.72871
maximum resident set size= 363004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63856
involuntary context switches= 3765
# summary of solver processes directly reported to runsolver:
# pid: 5831
# total CPU time (s): 2520.09
# total CPU user time (s): 2519.36
# total CPU system time (s): 0.72871
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.1143 second user time and 23.9355 second system time
The end