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 (7200 MiB free)
memory of node 1: 16384 MiB (14103 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400610-1568697900/watcher-4400610-1568697900 -o /tmp/evaluation-result-4400610-1568697900/solver-4400610-1568697900 -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 1989681544 HOME/instance-4400610-1568697900.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
Current StackSize limit: 8192 KiB
solver pid=31039, runsolver pid=31036
[startup+0.100058 s]*
/proc/loadavg: 4.78 6.64 7.64 4/234 31055
/proc/meminfo: memFree=21798580/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15144776 memory=28972 CPUtime=0.13 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 445730155 15508250624 7243 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3786194 7243 3158 1 0 3748377 0
[pid=31041/tid=31042] ppid=31039 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) R 31039 31039 22939 0 -1 4202560 3596 0 0 0 9 0 0 0 20 0 15 0 445730155 15508250624 7243 33554432000 4194304 4196468 140721826698672 139628105924128 139628101709206 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 7243 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 7243 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 7243 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 7243 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445730157 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445730157 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627568530592 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445730158 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627567477488 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) R 31039 31039 22939 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627565374288 139628101707477 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) R 31039 31039 22939 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627564313152 139628081557945 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0.02 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) R 31039 31039 22939 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 445730160 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627563268592 139628101709206 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 7243 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) R 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 7309 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30424 KiB
[startup+0.210753 s]*
/proc/loadavg: 4.78 6.64 7.64 3/234 31055
/proc/meminfo: memFree=21785984/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15144776 memory=41172 CPUtime=0.35 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 9477 0 0 0 32 3 0 0 20 0 15 0 445730155 15508250624 10293 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3786194 10293 3310 1 0 3748377 0
[pid=31041/tid=31042] ppid=31039 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) R 31039 31039 22939 0 -1 4202560 6652 0 0 0 18 2 0 0 20 0 15 0 445730155 15508250624 10293 33554432000 4194304 4196468 140721826698672 139628105934032 139628101719197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15144776 memory=1965946 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 10293 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15144776 memory=140694580020323 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 10293 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 10293 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445730156 15508250624 10293 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445730157 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445730157 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627568530592 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445730158 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627567477488 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) S 31039 31039 22939 0 -1 1077944384 471 0 0 0 1 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627565374192 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) S 31039 31039 22939 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627564321648 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15144776 memory=140694576670336 CPUtime=0.08 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) S 31039 31039 22939 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730160 15508250624 10293 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42624 KiB
[startup+0.315712 s]*
/proc/loadavg: 4.78 6.64 7.64 4/234 31055
/proc/meminfo: memFree=21778040/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15149032 memory=50604 CPUtime=0.54 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 10970 0 0 0 50 4 0 0 20 0 15 0 445730155 15512608768 12651 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3787258 12651 3352 1 0 3748377 0
[pid=31041/tid=31042] ppid=31039 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) R 31039 31039 22939 0 -1 4202560 7882 0 0 0 28 2 0 0 20 0 15 0 445730155 15512608768 12651 33554432000 4194304 4196468 140721826698672 139628105928520 139628085777758 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15512608768 12651 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15512608768 12660 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730156 15512608768 12660 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445730156 15512608768 12660 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445730157 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445730157 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627568530592 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445730158 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627567477488 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15149032 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) S 31039 31039 22939 0 -1 1077944384 601 0 0 0 4 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627565374192 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) S 31039 31039 22939 0 -1 1077944384 321 0 0 0 5 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627564321648 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) S 31039 31039 22939 0 -1 1077944384 859 0 0 0 12 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445730160 15512608768 12660 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52056 KiB
[startup+0.70224 s]
/proc/loadavg: 4.78 6.64 7.64 6/234 31055
/proc/meminfo: memFree=21760736/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15417412 memory=93928 CPUtime=1.61 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 15326 0 0 0 155 6 0 0 20 0 19 0 445730155 15787429888 23482 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3854353 23482 3460 1 0 3815453 0
[pid=31041/tid=31042] ppid=31039 vsize=15417412 memory=33 CPUtime=0.59 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) S 31039 31039 22939 0 -1 1077944384 9282 0 0 0 56 3 0 0 20 0 19 0 445730155 15787429888 23482 33554432000 4194304 4196468 140721826698672 139628105938048 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15417412 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445730156 15787429888 23482 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15417412 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445730156 15787429888 23482 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15417412 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445730156 15787429888 23482 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15417412 memory=48352 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445730156 15787429888 23482 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15417412 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 445730157 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15417412 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445730157 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627568530592 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15417412 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445730158 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627567477488 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15417412 memory=580 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15417412 memory=1720 CPUtime=0.23 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) R 31039 31039 22939 0 -1 4202560 1481 0 0 0 23 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627565362272 139628085254695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15417412 memory=10604 CPUtime=0.23 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) R 31039 31039 22939 0 -1 4202560 1107 0 0 0 23 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627564321944 139628085075086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15417412 memory=4160 CPUtime=0.37 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) R 31039 31039 22939 0 -1 1077944384 1877 0 0 0 37 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15417412 memory=776 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15417412 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445730160 15787429888 23482 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 1.61 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 95380 KiB
[startup+1.50171 s]
/proc/loadavg: 4.78 6.64 7.64 11/238 31095
/proc/meminfo: memFree=21652080/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 773 0 0 0 0 19 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31128] ppid=31039 vsize=15621208 memory=10604 CPUtime=215.11 cores=1,3,5,7
/proc/31041/task/31128/stat : 31128 (java) S 31039 31039 22939 0 -1 1077944384 1041 0 0 0 21511 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627552181696 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31129] ppid=31039 vsize=15621208 memory=4160 CPUtime=215.62 cores=1,3,5,7
/proc/31041/task/31129/stat : 31129 (java) S 31039 31039 22939 0 -1 1077944384 2035 0 0 0 21562 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627545866448 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31130] ppid=31039 vsize=15621208 memory=800 CPUtime=215.24 cores=1,3,5,7
/proc/31041/task/31130/stat : 31130 (java) S 31039 31039 22939 0 -1 1077944384 2055 0 0 0 21524 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627543760496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31131] ppid=31039 vsize=15621208 memory=1808 CPUtime=215.64 cores=1,3,5,7
/proc/31041/task/31131/stat : 31131 (java) S 31039 31039 22939 0 -1 1077944384 1224 0 0 0 21564 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627544816528 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 882.99 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 294708 KiB
[startup+222.802 s]
/proc/loadavg: 4.94 5.75 7.06 6/237 31191
/proc/meminfo: memFree=21531968/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15621208 memory=293256 CPUtime=884.58 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 63406 0 0 0 88432 26 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3905302 73314 3519 1 0 3866402 0
[pid=31041/tid=31042] ppid=31039 vsize=15621208 memory=2580 CPUtime=0.6 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) S 31039 31039 22939 0 -1 1077944384 9456 0 0 0 57 3 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628105938048 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15621208 memory=6791534058613427641 CPUtime=0.25 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1612 0 0 0 22 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15621208 memory=111636 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1346 0 0 0 23 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15621208 memory=800 CPUtime=0.25 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 2162 0 0 0 23 2 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15621208 memory=1808 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2875 0 0 0 22 4 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15621208 memory=924 CPUtime=0.18 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 2434 0 0 0 16 2 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15621208 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627568530656 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15621208 memory=2892 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445730158 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627567477504 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15621208 memory=2928 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15621208 memory=4104 CPUtime=3.06 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) S 31039 31039 22939 0 -1 1077944384 13126 0 0 0 304 2 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627565374192 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15621208 memory=1412 CPUtime=3.48 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) S 31039 31039 22939 0 -1 1077944384 13365 0 0 0 347 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627564321648 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15621208 memory=3276 CPUtime=0.72 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) S 31039 31039 22939 0 -1 1077944384 5923 0 0 0 71 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15621208 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15621208 memory=6582408 CPUtime=0.19 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 773 0 0 0 0 19 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31128] ppid=31039 vsize=15621208 memory=1412 CPUtime=215.51 cores=1,3,5,7
/proc/31041/task/31128/stat : 31128 (java) R 31039 31039 22939 0 -1 4202560 1041 0 0 0 21551 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627552181832 139627732317710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31129] ppid=31039 vsize=15621208 memory=3288 CPUtime=216.02 cores=1,3,5,7
/proc/31041/task/31129/stat : 31129 (java) R 31039 31039 22939 0 -1 4202560 2035 0 0 0 21602 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627545866584 139627732856787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31130] ppid=31039 vsize=15621208 memory=1452 CPUtime=215.64 cores=1,3,5,7
/proc/31041/task/31130/stat : 31130 (java) R 31039 31039 22939 0 -1 4202560 2055 0 0 0 21564 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627543760384 139627731650234 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31131] ppid=31039 vsize=15621208 memory=293256 CPUtime=216.04 cores=1,3,5,7
/proc/31041/task/31131/stat : 31131 (java) R 31039 31039 22939 0 -1 4202560 1225 0 0 0 21604 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627544816416 139627730270513 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 884.58 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 294708 KiB
[startup+223.202 s]
/proc/loadavg: 4.94 5.75 7.06 6/237 31192
/proc/meminfo: memFree=21531960/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15621208 memory=293256 CPUtime=886.17 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 63408 0 0 0 88591 26 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3905302 73314 3519 1 0 3866402 0
[pid=31041/tid=31042] ppid=31039 vsize=15621208 memory=832 CPUtime=0.6 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) S 31039 31039 22939 0 -1 1077944384 9456 0 0 0 57 3 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628105938048 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15621208 memory=6791534058613427641 CPUtime=0.25 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1612 0 0 0 22 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15621208 memory=293256 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1346 0 0 0 23 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15621208 memory=2892 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 2163 0 0 0 24 2 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15621208 memory=3620 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2875 0 0 0 22 4 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15621208 memory=1660 CPUtime=0.18 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 2434 0 0 0 16 2 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15621208 memory=48356 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627568530656 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15621208 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445730158 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627567477504 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15621208 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15621208 memory=1984 CPUtime=3.06 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) S 31039 31039 22939 0 -1 1077944384 13126 0 0 0 304 2 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627565374192 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15621208 memory=2580 CPUtime=3.48 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) S 31039 31039 22939 0 -1 1077944384 13365 0 0 0 347 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627564321648 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15621208 memory=1760 CPUtime=0.72 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) S 31039 31039 22939 0 -1 1077944384 5923 0 0 0 71 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15621208 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15621208 memory=1216 CPUtime=0.19 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 773 0 0 0 0 19 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31128] ppid=31039 vsize=15621208 memory=984 CPUtime=215.9 cores=1,3,5,7
/proc/31041/task/31128/stat : 31128 (java) R 31039 31039 22939 0 -1 4202560 1041 0 0 0 21590 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627552181776 139627730270647 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31129] ppid=31039 vsize=15621208 memory=14004 CPUtime=216.42 cores=1,3,5,7
/proc/31041/task/31129/stat : 31129 (java) R 31039 31039 22939 0 -1 4202560 2035 0 0 0 21642 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627545866632 139627732877773 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31130] ppid=31039 vsize=15621208 memory=25848 CPUtime=216.04 cores=1,3,5,7
/proc/31041/task/31130/stat : 31130 (java) R 31039 31039 22939 0 -1 4202560 2056 0 0 0 21604 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627543763888 139627730270107 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31131] ppid=31039 vsize=15621208 memory=14048 CPUtime=216.42 cores=1,3,5,7
/proc/31041/task/31131/stat : 31131 (java) R 31039 31039 22939 0 -1 4202560 1225 0 0 0 21642 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627544813336 139627731724490 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 886.17 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 294708 KiB
[startup+223.302 s]
/proc/loadavg: 4.94 5.75 7.06 6/237 31192
/proc/meminfo: memFree=21531960/32770624 swapFree=66959728/67108860
[pid=31039] ppid=31036 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (xcsp3-exec) S 31036 31039 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445730154 115843072 363 33554432000 4194304 5098028 140729969804944 140729969803048 140496156611196 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 18399232 140729969812346 140729969812589 140729969812589 140729969815498 0
/proc/31039/statm: 28282 363 304 221 0 87 0
[pid=31041] ppid=31039 vsize=15621208 memory=293256 CPUtime=886.57 cores=1,3,5,7
/proc/31041/stat : 31041 (java) S 31039 31039 22939 0 -1 1077944320 63408 0 0 0 88631 26 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 140721826681216 139628101697271 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
/proc/31041/statm: 3905302 73314 3519 1 0 3866402 0
[pid=31041/tid=31042] ppid=31039 vsize=15621208 memory=1452 CPUtime=0.6 cores=1,3,5,7
/proc/31041/task/31042/stat : 31042 (java) S 31039 31039 22939 0 -1 1077944384 9456 0 0 0 57 3 0 0 20 0 19 0 445730155 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628105938048 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31043] ppid=31039 vsize=15621208 memory=293256 CPUtime=0.25 cores=1,3,5,7
/proc/31041/task/31043/stat : 31043 (java) S 31039 31039 22939 0 -1 1077944384 1612 0 0 0 22 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628054318096 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31044] ppid=31039 vsize=15621208 memory=293256 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31044/stat : 31044 (java) S 31039 31039 22939 0 -1 1077944384 1346 0 0 0 23 3 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628053265552 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31045] ppid=31039 vsize=15621208 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31045/stat : 31045 (java) S 31039 31039 22939 0 -1 1077944384 2163 0 0 0 24 2 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628052212496 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31046] ppid=31039 vsize=15621208 memory=1452 CPUtime=0.26 cores=1,3,5,7
/proc/31041/task/31046/stat : 31046 (java) S 31039 31039 22939 0 -1 1077944384 2875 0 0 0 22 4 0 0 20 0 19 0 445730156 15996116992 73314 33554432000 4194304 4196468 140721826698672 139628051159952 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31047] ppid=31039 vsize=15621208 memory=293256 CPUtime=0.18 cores=1,3,5,7
/proc/31041/task/31047/stat : 31047 (java) S 31039 31039 22939 0 -1 1077944384 2434 0 0 0 16 2 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627569584368 139628101708418 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31048] ppid=31039 vsize=15621208 memory=293256 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31048/stat : 31048 (java) S 31039 31039 22939 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 445730157 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627568530656 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31049] ppid=31039 vsize=15621208 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31049/stat : 31049 (java) S 31039 31039 22939 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 445730158 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627567477504 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31050] ppid=31039 vsize=15621208 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31050/stat : 31050 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627566426064 139628101715867 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31051] ppid=31039 vsize=15621208 memory=3620 CPUtime=3.06 cores=1,3,5,7
/proc/31041/task/31051/stat : 31051 (java) S 31039 31039 22939 0 -1 1077944384 13126 0 0 0 304 2 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627565374192 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31052] ppid=31039 vsize=15621208 memory=3620 CPUtime=3.48 cores=1,3,5,7
/proc/31041/task/31052/stat : 31052 (java) S 31039 31039 22939 0 -1 1077944384 13365 0 0 0 347 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627564321648 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31053] ppid=31039 vsize=15621208 memory=1660 CPUtime=0.72 cores=1,3,5,7
/proc/31041/task/31053/stat : 31053 (java) S 31039 31039 22939 0 -1 1077944384 5923 0 0 0 71 1 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627563268592 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31054] ppid=31039 vsize=15621208 memory=293256 CPUtime=0 cores=1,3,5,7
/proc/31041/task/31054/stat : 31054 (java) S 31039 31039 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627562216288 139628101707477 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31055] ppid=31039 vsize=15621208 memory=264480 CPUtime=0.19 cores=1,3,5,7
/proc/31041/task/31055/stat : 31055 (java) S 31039 31039 22939 0 -1 1077944384 773 0 0 0 0 19 0 0 20 0 19 0 445730160 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627561163312 139628101708418 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31128] ppid=31039 vsize=15621208 memory=1452 CPUtime=216 cores=1,3,5,7
/proc/31041/task/31128/stat : 31128 (java) R 31039 31039 22939 0 -1 4202560 1041 0 0 0 21600 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627552181776 139627731648740 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31129] ppid=31039 vsize=15621208 memory=293256 CPUtime=216.52 cores=1,3,5,7
/proc/31041/task/31129/stat : 31129 (java) R 31039 31039 22939 0 -1 4202560 2035 0 0 0 21652 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627545866632 139627730821248 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31130] ppid=31039 vsize=15621208 memory=111636 CPUtime=216.14 cores=1,3,5,7
/proc/31041/task/31130/stat : 31130 (java) R 31039 31039 22939 0 -1 4202560 2056 0 0 0 21614 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627543763888 139627730499514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
[pid=31041/tid=31131] ppid=31039 vsize=15621208 memory=800 CPUtime=216.52 cores=1,3,5,7
/proc/31041/task/31131/stat : 31131 (java) R 31039 31039 22939 0 -1 4202560 1225 0 0 0 21652 0 0 0 20 0 19 0 445730668 15996116992 73314 33554432000 4194304 4196468 140721826698672 139627544813336 139627730270507 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28921856 140721826702319 140721826702490 140721826702490 140721826705359 0
Current children cumulated CPU time: 886.57 s
Current children cumulated vsize: 15734336 KiB
Current children cumulated memory: 294708 KiB
Child status: 0
Real time (s): 223.342
CPU time (s): 886.709
CPU user time (s): 886.439
CPU system time (s): 0.269694
CPU usage (%): 397.018
Max. virtual memory (cumulated for all children) (KiB): 15734336
Max. memory (cumulated for all children) (KiB): 294708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 886.439
system time used= 0.269694
maximum resident set size= 293264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65100
page faults= 0
swaps= 0
block input operations= 0
block output operations= 368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14317
involuntary context switches= 9200
# summary of solver processes directly reported to runsolver:
# pid: 31039
# total CPU time (s): 886.709
# total CPU user time (s): 886.439
# total CPU system time (s): 0.269694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.40018 second user time and 2.5916 second system time
The end