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 (13130 MiB free)
memory of node 1: 16384 MiB (14102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400356-1568694607/watcher-4400356-1568694607 -o /tmp/evaluation-result-4400356-1568694607/solver-4400356-1568694607 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22971 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1390925461 HOME/instance-4400356-1568694607.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=27364, runsolver pid=27361
Current StackSize limit: 8192 KiB
[startup+0.102114 s]*
/proc/loadavg: 9.17 6.76 3.91 6/233 27380
/proc/meminfo: memFree=27869656/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15144776 memory=29332 CPUtime=0.14 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 5784 0 0 0 13 1 0 0 20 0 15 0 445400825 15508250624 7333 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3786194 7333 3175 1 0 3748377 0
[pid=27366/tid=27367] ppid=27364 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) R 27364 27364 22939 0 -1 4202560 3667 0 0 0 9 0 0 0 20 0 15 0 445400825 15508250624 7333 33554432000 4194304 4196468 140730387599808 140127108705120 140126741903904 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 7333 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 7333 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 7333 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 7333 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400827 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400828 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125976589600 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400828 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125975537264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) R 27364 27364 22939 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) R 27364 27364 22939 0 -1 4202560 167 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125972379728 140127090505337 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) R 27364 27364 22939 0 -1 4202560 348 0 0 0 2 0 0 0 20 0 15 0 445400830 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125971327344 140127083431344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400831 15508250624 7333 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30780 KiB
[startup+0.212196 s]*
/proc/loadavg: 9.17 6.76 3.91 7/233 27380
/proc/meminfo: memFree=27843204/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15144776 memory=41236 CPUtime=0.34 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 9519 0 0 0 32 2 0 0 20 0 15 0 445400825 15508250624 10309 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3786194 10309 3319 1 0 3748377 0
[pid=27366/tid=27367] ppid=27364 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) R 27364 27364 22939 0 -1 4202560 6692 0 0 0 18 2 0 0 20 0 15 0 445400825 15508250624 10309 33554432000 4194304 4196468 140730387599808 140127108720880 140127084057272 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 10309 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15144776 memory=140274837475187 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 10309 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 10309 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400826 15508250624 10309 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445400827 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400828 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125976589600 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400828 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125975537264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 349 0 0 0 2 0 0 0 20 0 15 0 445400830 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 423 0 0 0 2 0 0 0 20 0 15 0 445400830 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15144776 memory=140274834122368 CPUtime=0.08 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) R 27364 27364 22939 0 -1 4202560 749 0 0 0 8 0 0 0 20 0 15 0 445400830 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125971327344 140127104504410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400831 15508250624 10309 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42684 KiB
[startup+0.603349 s]*
/proc/loadavg: 9.17 6.76 3.91 6/233 27380
/proc/meminfo: memFree=27841860/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15151156 memory=55572 CPUtime=0.73 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 12161 0 0 0 69 4 0 0 20 0 15 0 445400825 15514783744 13893 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3787789 13893 3416 1 0 3748889 0
[pid=27366/tid=27367] ppid=27364 vsize=15151156 memory=6791534058613427641 CPUtime=0.4 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) R 27364 27364 22939 0 -1 4202560 8949 0 0 0 37 3 0 0 20 0 15 0 445400825 15514783744 13893 33554432000 4194304 4196468 140730387599808 140127108712080 140127096720190 0 4 0 16800975 0 0 0 -1 5 0 0 18 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15151156 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15514783744 13893 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15514783744 13893 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15151156 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400826 15514783744 13893 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15151156 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445400826 15514783744 13893 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15151156 memory=6944656591801720471 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445400827 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15151156 memory=-8458152057954561420 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445400828 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125976589600 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15151156 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445400828 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125975537264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15151156 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15151156 memory=4426078206164241782 CPUtime=0.07 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 493 0 0 0 7 0 0 0 20 0 15 0 445400830 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15151156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 495 0 0 0 6 0 0 0 20 0 15 0 445400830 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15151156 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) S 27364 27364 22939 0 -1 1077944384 922 0 0 0 17 0 0 0 20 0 15 0 445400830 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125971327344 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445400830 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445400831 15514783744 13893 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 57020 KiB
[startup+0.710999 s]*
/proc/loadavg: 9.17 6.76 3.91 13/237 27452
/proc/meminfo: memFree=27737768/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15483976 memory=165212 CPUtime=1.07 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 15464 0 0 0 99 8 0 0 20 0 20 0 445400825 15855591424 41319 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3870994 41303 3452 1 0 3832094 0
[pid=27366/tid=27367] ppid=27364 vsize=15483976 memory=7883960649037381690 CPUtime=0.45 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) R 27364 27364 22939 0 -1 4202560 9092 0 0 0 42 3 0 0 20 0 19 0 445400825 15855591424 41303 33554432000 4194304 4196468 140730387599808 140127108723840 140127104504893 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15483976 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 19 0 445400826 15855591424 41303 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15483976 memory=140274837475187 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 445400826 15855591424 41303 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 445400826 15855591424 41303 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15483976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 445400826 15855591424 41319 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15483976 memory=140274834122368 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 445400827 15855591424 41319 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15483976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 445400828 15855591424 41319 33554432000 4194304 4196468 140730387599808 140125976589600 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 445400828 15855591424 41319 33554432000 4194304 4196468 140730387599808 140125975537264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15483976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 445400830 15855591424 41319 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15485004 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 883 0 0 0 12 0 0 0 20 0 21 0 445400830 15856644096 41319 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15550540 memory=-1 CPUtime=0.12 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 921 0 0 0 12 0 0 0 20 0 21 0 445400830 15923752960 41319 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15551568 memory=140274834122368 CPUtime=0.23 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) R 27364 27364 22939 0 -1 4202560 1529 0 0 0 23 0 0 0 20 0 21 0 445400830 15924805632 41319 33554432000 4194304 4196468 140730387599808 140125971327344 140127096720190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15551568 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 445400830 15924805632 41319 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 445400831 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27460] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27460/stat : 27460 (java) R 27364 27364 22939 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 23 0 445400896 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125959195184 140127104493269 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27461] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27461/stat : 27461 (java) S 27364 27364 22939 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 23 0 445400896 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125957088512 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27462] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27462/stat : 27462 (java) S 27364 27364 22939 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 23 0 445400896 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125956037424 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27463] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27463/stat : 27463 (java) S 27364 27364 22939 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 23 0 445400896 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125958141440 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27465] ppid=27364 vsize=15552596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27465/stat : 27465 (java) R 27364 27364 22939 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 23 0 445400897 15925858304 41319 33554432000 4194304 4196468 140730387599808 140125960243712 140127104494998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
################
# More data... #
################
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 671 0 0 0 0 0 0 0 20 0 19 0 445400831 16060076032 49393 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27549] ppid=27364 vsize=15683668 memory=199624 CPUtime=7.56 cores=1,3,5,7
/proc/27366/task/27549/stat : 27549 (java) R 27364 27364 22939 0 -1 4202560 205 0 0 0 756 0 0 0 20 0 19 0 445400970 16060076032 49393 33554432000 4194304 4196468 140730387599808 140125953924888 140126744369976 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27550] ppid=27364 vsize=15683668 memory=1448 CPUtime=7.63 cores=1,3,5,7
/proc/27366/task/27550/stat : 27550 (java) R 27364 27364 22939 0 -1 4202560 413 0 0 0 763 0 0 0 20 0 19 0 445400970 16060076032 49393 33554432000 4194304 4196468 140730387599808 140125957083288 140126746890359 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27551] ppid=27364 vsize=15683668 memory=207756 CPUtime=7.87 cores=1,3,5,7
/proc/27366/task/27551/stat : 27551 (java) R 27364 27364 22939 0 -1 4202560 750 0 0 0 787 0 0 0 20 0 19 0 445400970 16060076032 49393 33554432000 4194304 4196468 140730387599808 140125960244512 140126746011595 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27552] ppid=27364 vsize=15683668 memory=0 CPUtime=7.93 cores=1,3,5,7
/proc/27366/task/27552/stat : 27552 (java) R 27364 27364 22939 0 -1 4202560 397 0 0 0 793 0 0 0 20 0 19 0 445400970 16060076032 49393 33554432000 4194304 4196468 140730387599808 140125958135136 140126741834043 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 37.43 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 199020 KiB
[startup+10.7009 s]
/proc/loadavg: 9.60 6.93 4.00 9/237 27554
/proc/meminfo: memFree=27692144/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15683668 memory=193988 CPUtime=40.57 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 42767 0 0 0 4044 13 0 0 20 0 19 0 445400825 16060076032 48497 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3920917 48497 3515 1 0 3882017 0
[pid=27366/tid=27367] ppid=27364 vsize=15683668 memory=195528 CPUtime=0.46 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) S 27364 27364 22939 0 -1 1077944384 9093 0 0 0 43 3 0 0 20 0 19 0 445400825 16060076032 48497 33554432000 4194304 4196468 140730387599808 140127108723840 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15683668 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 122 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48497 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15683668 memory=197568 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 190 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48497 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15683668 memory=2008 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 812 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48497 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15683668 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 288 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48497 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15683668 memory=580 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 19 0 445400827 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15683668 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125976589664 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15683668 memory=10604 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125975537280 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15683668 memory=4160 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15683668 memory=776 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 7878 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15683668 memory=1564 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 12486 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15683668 memory=6060 CPUtime=0.5 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) S 27364 27364 22939 0 -1 1077944384 4337 0 0 0 49 1 0 0 20 0 19 0 445400830 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125971327344 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15683668 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15683668 memory=216208 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 19 0 445400831 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27549] ppid=27364 vsize=15683668 memory=-6732414753694149764 CPUtime=8.3 cores=1,3,5,7
/proc/27366/task/27549/stat : 27549 (java) R 27364 27364 22939 0 -1 4202560 208 0 0 0 830 0 0 0 20 0 19 0 445400970 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125953924128 140126746011067 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27550] ppid=27364 vsize=15683668 memory=7896943755076138515 CPUtime=8.42 cores=1,3,5,7
/proc/27366/task/27550/stat : 27550 (java) R 27364 27364 22939 0 -1 4202560 427 0 0 0 842 0 0 0 20 0 19 0 445400970 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125957084408 140126746887802 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27551] ppid=27364 vsize=15683668 memory=-8973588775730263131 CPUtime=8.66 cores=1,3,5,7
/proc/27366/task/27551/stat : 27551 (java) R 27364 27364 22939 0 -1 4202560 752 0 0 0 866 0 0 0 20 0 19 0 445400970 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125960242296 140126744731682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27552] ppid=27364 vsize=15683668 memory=1401630500665511295 CPUtime=8.71 cores=1,3,5,7
/proc/27366/task/27552/stat : 27552 (java) R 27364 27364 22939 0 -1 4202560 399 0 0 0 871 0 0 0 20 0 19 0 445400970 16060076032 48497 33554432000 4194304 4196468 140730387599808 140125958137584 140126745488058 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 40.57 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 195436 KiB
[startup+11.1049 s]
/proc/loadavg: 9.60 6.93 4.00 9/237 27554
/proc/meminfo: memFree=27692144/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15683668 memory=192448 CPUtime=42.16 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 42789 0 0 0 4203 13 0 0 20 0 19 0 445400825 16060076032 48112 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3920917 48112 3515 1 0 3882017 0
[pid=27366/tid=27367] ppid=27364 vsize=15683668 memory=4283934334641278326 CPUtime=0.46 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) S 27364 27364 22939 0 -1 1077944384 9093 0 0 0 43 3 0 0 20 0 19 0 445400825 16060076032 48112 33554432000 4194304 4196468 140730387599808 140127108723840 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15683668 memory=-8817073721047302092 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48112 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15683668 memory=5450916471341747007 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 193 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48112 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15683668 memory=3053511329498284128 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 814 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48112 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15683668 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 48112 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15683668 memory=195528 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 19 0 445400827 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15683668 memory=15261432686053804 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125976589664 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15683668 memory=211 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125975537280 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15683668 memory=204728 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15683668 memory=2580 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 7878 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15683668 memory=6791534058613427641 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 12486 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15683668 memory=111636 CPUtime=0.5 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) S 27364 27364 22939 0 -1 1077944384 4337 0 0 0 49 1 0 0 20 0 19 0 445400830 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125971327344 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15683668 memory=800 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15683668 memory=4104 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 19 0 445400831 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27549] ppid=27364 vsize=15683668 memory=1808 CPUtime=8.7 cores=1,3,5,7
/proc/27366/task/27549/stat : 27549 (java) R 27364 27364 22939 0 -1 4202560 209 0 0 0 870 0 0 0 20 0 19 0 445400970 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125953924112 140126744369986 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27550] ppid=27364 vsize=15683668 memory=924 CPUtime=8.81 cores=1,3,5,7
/proc/27366/task/27550/stat : 27550 (java) R 27364 27364 22939 0 -1 4202560 431 0 0 0 881 0 0 0 20 0 19 0 445400970 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125957083640 140126746890044 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27551] ppid=27364 vsize=15683668 memory=3804 CPUtime=9.06 cores=1,3,5,7
/proc/27366/task/27551/stat : 27551 (java) R 27364 27364 22939 0 -1 4202560 756 0 0 0 906 0 0 0 20 0 19 0 445400970 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125960242160 140126744731548 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27552] ppid=27364 vsize=15683668 memory=2712 CPUtime=9.11 cores=1,3,5,7
/proc/27366/task/27552/stat : 27552 (java) R 27364 27364 22939 0 -1 4202560 401 0 0 0 911 0 0 0 20 0 19 0 445400970 16060076032 48112 33554432000 4194304 4196468 140730387599808 140125958137568 140126745488028 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 42.16 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 193896 KiB
[startup+11.5009 s]
/proc/loadavg: 9.60 6.93 4.00 9/237 27554
/proc/meminfo: memFree=27695228/32770624 swapFree=66959728/67108860
[pid=27364] ppid=27361 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27364/stat : 27364 (xcsp3-exec) S 27361 27364 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445400824 115843072 362 33554432000 4194304 5098028 140722403737856 140722403735960 139631841714812 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33075200 140722403746682 140722403746925 140722403746925 140722403749834 0
/proc/27364/statm: 28282 362 304 221 0 87 0
[pid=27366] ppid=27364 vsize=15683668 memory=190396 CPUtime=43.72 cores=1,3,5,7
/proc/27366/stat : 27366 (java) S 27364 27364 22939 0 -1 1077944320 42829 0 0 0 4359 13 0 0 20 0 19 0 445400825 16060076032 47599 33554432000 4194304 4196468 140730387599808 140730387582352 140127104483063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
/proc/27366/statm: 3920917 47599 3515 1 0 3882017 0
[pid=27366/tid=27367] ppid=27364 vsize=15683668 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/27366/task/27367/stat : 27367 (java) S 27364 27364 22939 0 -1 1077944384 9093 0 0 0 43 3 0 0 20 0 19 0 445400825 16060076032 47599 33554432000 4194304 4196468 140730387599808 140127108723840 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 18 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27368] ppid=27364 vsize=15683668 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27368/stat : 27368 (java) S 27364 27364 22939 0 -1 1077944384 124 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 47599 33554432000 4194304 4196468 140730387599808 140127067589008 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27369] ppid=27364 vsize=15683668 memory=3620 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27369/stat : 27369 (java) S 27364 27364 22939 0 -1 1077944384 195 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 47599 33554432000 4194304 4196468 140730387599808 140126695905552 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27370] ppid=27364 vsize=15683668 memory=1660 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27370/stat : 27370 (java) S 27364 27364 22939 0 -1 1077944384 816 0 0 0 2 0 0 0 20 0 19 0 445400826 16060076032 47599 33554432000 4194304 4196468 140730387599808 140126694853264 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27371] ppid=27364 vsize=15683668 memory=48264 CPUtime=0.03 cores=1,3,5,7
/proc/27366/task/27371/stat : 27371 (java) S 27364 27364 22939 0 -1 1077944384 293 0 0 0 3 0 0 0 20 0 19 0 445400826 16060076032 47599 33554432000 4194304 4196468 140730387599808 140126693800464 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27372] ppid=27364 vsize=15683668 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/27366/task/27372/stat : 27372 (java) S 27364 27364 22939 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 19 0 445400827 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125977643632 140127104494210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27373] ppid=27364 vsize=15683668 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27373/stat : 27373 (java) S 27364 27364 22939 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125976589664 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27374] ppid=27364 vsize=15683668 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27374/stat : 27374 (java) S 27364 27364 22939 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 445400828 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125975537280 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27375] ppid=27364 vsize=15683668 memory=192448 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27375/stat : 27375 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125974485584 140127104501659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27376] ppid=27364 vsize=15683668 memory=-6667384764337066582 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27376/stat : 27376 (java) S 27364 27364 22939 0 -1 1077944384 7908 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125973432432 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27377] ppid=27364 vsize=15683668 memory=1448 CPUtime=1.92 cores=1,3,5,7
/proc/27366/task/27377/stat : 27377 (java) S 27364 27364 22939 0 -1 1077944384 12486 0 0 0 191 1 0 0 20 0 19 0 445400830 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125972379632 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27378] ppid=27364 vsize=15683668 memory=2008 CPUtime=0.5 cores=1,3,5,7
/proc/27366/task/27378/stat : 27378 (java) S 27364 27364 22939 0 -1 1077944384 4337 0 0 0 49 1 0 0 20 0 19 0 445400830 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125971327344 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27379] ppid=27364 vsize=15683668 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27379/stat : 27379 (java) S 27364 27364 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445400830 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125970274784 140127104493269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27380] ppid=27364 vsize=15683668 memory=580 CPUtime=0 cores=1,3,5,7
/proc/27366/task/27380/stat : 27380 (java) S 27364 27364 22939 0 -1 1077944384 796 0 0 0 0 0 0 0 20 0 19 0 445400831 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125969222576 140127104494210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27549] ppid=27364 vsize=15683668 memory=1720 CPUtime=9.09 cores=1,3,5,7
/proc/27366/task/27549/stat : 27549 (java) R 27364 27364 22939 0 -1 4202560 210 0 0 0 909 0 0 0 20 0 19 0 445400970 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125953924888 140126744287004 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27550] ppid=27364 vsize=15683668 memory=10604 CPUtime=9.2 cores=1,3,5,7
/proc/27366/task/27550/stat : 27550 (java) R 27364 27364 22939 0 -1 4202560 431 0 0 0 920 0 0 0 20 0 19 0 445400970 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125957083536 140126746886240 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27551] ppid=27364 vsize=15683668 memory=4160 CPUtime=9.45 cores=1,3,5,7
/proc/27366/task/27551/stat : 27551 (java) R 27364 27364 22939 0 -1 4202560 759 0 0 0 945 0 0 0 20 0 19 0 445400970 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125960244512 140126744369869 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
[pid=27366/tid=27552] ppid=27364 vsize=15683668 memory=776 CPUtime=9.49 cores=1,3,5,7
/proc/27366/task/27552/stat : 27552 (java) R 27364 27364 22939 0 -1 4202560 402 0 0 0 949 0 0 0 20 0 19 0 445400970 16060076032 47599 33554432000 4194304 4196468 140730387599808 140125958135384 140126744288917 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11431936 140730387608559 140730387608730 140730387608730 140730387611599 0
Current children cumulated CPU time: 43.72 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 191844 KiB
Child status: 0
Real time (s): 11.5611
CPU time (s): 43.918
CPU user time (s): 43.7723
CPU system time (s): 0.145702
CPU usage (%): 379.877
Max. virtual memory (cumulated for all children) (KiB): 15798640
Max. memory (cumulated for all children) (KiB): 220316
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.7723
system time used= 0.145702
maximum resident set size= 218872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43963
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3899
involuntary context switches= 1501
# summary of solver processes directly reported to runsolver:
# pid: 27364
# total CPU time (s): 43.918
# total CPU user time (s): 43.7723
# total CPU system time (s): 0.145702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.108003 second user time and 0.163467 second system time
The end