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 (5027 MiB free)
memory of node 1: 16384 MiB (5560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404002-1568989987/watcher-4404002-1568989987 -o /var/tmp/evaluation-result-4404002-1568989987/solver-4404002-1568989987 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568989944-5358 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 2063454009 HOME/instance-4404002-1568989987.xml
running on 4 cores: 0,2,4,6
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=5385, runsolver pid=5380
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 0.93 1.17 1.41 5/230 5419
/proc/meminfo: memFree=10806976/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15144776 memory=29784 CPUtime=0.12 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 5426 0 0 0 11 1 0 0 20 0 15 0 474940558 15508250624 7446 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3786194 7446 3114 1 0 3748377 0
[pid=5391/tid=5393] ppid=5385 vsize=15144776 memory=7100839852958450802 CPUtime=0.09 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) R 5385 5385 5327 0 -1 4202560 3362 0 0 0 8 1 0 0 20 0 15 0 474940558 15508250624 7446 33554432000 4194304 4196468 140722984973440 139738078231584 139738074017174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7446 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737407337888 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737406285296 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) R 5385 5385 5327 0 -1 4202560 330 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737402075376 139738074017174 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 7446 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31240 KiB
[startup+0.211001 s]*
/proc/loadavg: 0.93 1.17 1.41 6/230 5419
/proc/meminfo: memFree=10780872/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15144776 memory=41288 CPUtime=0.34 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 9011 0 0 0 31 3 0 0 20 0 15 0 474940558 15508250624 10322 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3786194 10322 3298 1 0 3748377 0
[pid=5391/tid=5393] ppid=5385 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) R 5385 5385 5327 0 -1 4202560 6172 0 0 0 18 2 0 0 20 0 15 0 474940558 15508250624 10322 33554432000 4194304 4196468 140722984973440 139738078238944 139737710833775 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15144776 memory=13657 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10322 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15144776 memory=139993014397074 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737407337888 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737406285296 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 535 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 250 0 0 0 2 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15144776 memory=139993011054208 CPUtime=0.08 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) R 5385 5385 5327 0 -1 4202560 746 0 0 0 8 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737402075376 139738066242366 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15508250624 10322 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42744 KiB
[startup+0.311834 s]*
/proc/loadavg: 0.93 1.17 1.41 5/230 5419
/proc/meminfo: memFree=10770220/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15149032 memory=49632 CPUtime=0.51 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 10154 0 1 0 48 3 0 0 20 0 15 0 474940558 15512608768 12408 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3787258 12408 3362 1 0 3748377 0
[pid=5391/tid=5393] ppid=5385 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) R 5385 5385 5327 0 -1 4202560 7230 0 1 0 27 3 0 0 20 0 15 0 474940558 15512608768 12408 33554432000 4194304 4196468 140722984973440 139738078236352 139738058085726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12408 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737407337888 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737406285296 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15149032 memory=-9062862659931694204 CPUtime=0.04 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 549 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15149032 memory=3047711566422646390 CPUtime=0.04 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 264 0 0 0 4 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15149032 memory=-8412656567168561567 CPUtime=0.13 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) S 5385 5385 5327 0 -1 1077944384 812 0 0 0 13 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737402075376 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15512608768 12408 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51088 KiB
[startup+0.700733 s]
/proc/loadavg: 0.93 1.17 1.41 12/230 5419
/proc/meminfo: memFree=10730588/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15151156 memory=81956 CPUtime=1.56 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 14143 0 1 0 151 5 0 0 20 0 15 0 474940558 15514783744 20489 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3787789 20489 3453 1 0 3748889 0
[pid=5391/tid=5393] ppid=5385 vsize=15151156 memory=-7816663703405220396 CPUtime=0.67 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) R 5385 5385 5327 0 -1 4202560 8684 0 1 0 63 4 0 0 20 0 15 0 474940558 15514783744 20489 33554432000 4194304 4196468 140722984973440 139738078241680 139738074017174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 20489 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15151156 memory=54 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474940559 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737407337888 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15151156 memory=43040 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474940561 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737406285296 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15151156 memory=992 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15151156 memory=2044 CPUtime=0.23 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) R 5385 5385 5327 0 -1 4202560 1242 0 0 0 23 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737404165424 139738057908329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15151156 memory=1432 CPUtime=0.23 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) R 5385 5385 5327 0 -1 4202560 970 0 0 0 23 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737403117184 139738055524824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15151156 memory=11624 CPUtime=0.4 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) R 5385 5385 5327 0 -1 1077944384 1938 0 0 0 40 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737402075376 139738074016386 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474940564 15514783744 20489 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83412 KiB
[startup+1.50431 s]
/proc/loadavg: 0.93 1.17 1.41 9/234 5427
/proc/meminfo: memFree=10599700/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 55254 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5424] ppid=5385 vsize=15419460 memory=6656426216303648864 CPUtime=8.28 cores=0,2,4,6
/proc/5391/task/5424/stat : 5424 (java) R 5385 5385 5327 0 -1 4202560 170 0 0 0 828 0 0 0 20 0 19 0 474940635 15789527040 55254 33554432000 4194304 4196468 140722984973440 139737389698584 139737717430399 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5425] ppid=5385 vsize=15419460 memory=1220 CPUtime=8.88 cores=0,2,4,6
/proc/5391/task/5425/stat : 5425 (java) R 5385 5385 5327 0 -1 4202560 577 0 0 0 886 2 0 0 20 0 19 0 474940635 15789527040 55254 33554432000 4194304 4196468 140722984973440 139737388646688 139737716495089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5426] ppid=5385 vsize=15419460 memory=6948326706619770984 CPUtime=8.81 cores=0,2,4,6
/proc/5391/task/5426/stat : 5426 (java) R 5385 5385 5327 0 -1 4202560 974 0 0 0 879 2 0 0 20 0 19 0 474940635 15789527040 55254 33554432000 4194304 4196468 140722984973440 139737390752408 139737717430280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5427] ppid=5385 vsize=15419460 memory=7594598810448582504 CPUtime=8.39 cores=0,2,4,6
/proc/5391/task/5427/stat : 5427 (java) R 5385 5385 5327 0 -1 4202560 478 0 0 0 839 0 0 0 20 0 19 0 474940635 15789527040 55254 33554432000 4194304 4196468 140722984973440 139737387596752 139737717448556 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 39.77 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 222472 KiB
[startup+11.2013 s]
/proc/loadavg: 1.88 1.36 1.47 9/232 5584
/proc/meminfo: memFree=10598720/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15419460 memory=222540 CPUtime=42.88 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 41719 0 1 0 4273 15 0 0 20 0 19 0 474940558 15789527040 55635 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3854865 55635 3515 1 0 3815965 0
[pid=5391/tid=5393] ppid=5385 vsize=15419460 memory=279985697630080 CPUtime=0.72 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) S 5385 5385 5327 0 -1 1077944384 8751 0 1 0 68 4 0 0 20 0 19 0 474940558 15789527040 55635 33554432000 4194304 4196468 140722984973440 139738078246016 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15419460 memory=6944656575208382560 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 151 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 55635 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15419460 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1493 0 0 0 2 0 0 0 20 0 19 0 474940559 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 427 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15419460 memory=279985697080064 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737407337952 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15419460 memory=219440 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737406285312 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15419460 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15419460 memory=222540 CPUtime=1.96 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 10028 0 0 0 195 1 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15419460 memory=279985697048960 CPUtime=1.83 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 11199 0 0 0 183 0 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15419460 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) S 5385 5385 5327 0 -1 1077944384 5197 0 0 0 70 1 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737402075376 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15419460 memory=139992848530064 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15419460 memory=139993011053025 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5424] ppid=5385 vsize=15419460 memory=780 CPUtime=9.07 cores=0,2,4,6
/proc/5391/task/5424/stat : 5424 (java) R 5385 5385 5327 0 -1 4202560 170 0 0 0 907 0 0 0 20 0 19 0 474940635 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737389698224 139737716844267 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5425] ppid=5385 vsize=15419460 memory=1436 CPUtime=9.61 cores=0,2,4,6
/proc/5391/task/5425/stat : 5425 (java) R 5385 5385 5327 0 -1 4202560 579 0 0 0 959 2 0 0 20 0 19 0 474940635 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737388647048 139737717430333 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5426] ppid=5385 vsize=15419460 memory=1984 CPUtime=9.61 cores=0,2,4,6
/proc/5391/task/5426/stat : 5426 (java) R 5385 5385 5327 0 -1 4202560 978 0 0 0 959 2 0 0 20 0 19 0 474940635 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737390752536 139737716495362 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5427] ppid=5385 vsize=15419460 memory=2424 CPUtime=9.15 cores=0,2,4,6
/proc/5391/task/5427/stat : 5427 (java) R 5385 5385 5327 0 -1 4202560 480 0 0 0 915 0 0 0 20 0 19 0 474940635 15789527040 55635 33554432000 4194304 4196468 140722984973440 139737387595808 139737717448449 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 42.88 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 223996 KiB
[startup+11.6093 s]
/proc/loadavg: 1.88 1.36 1.47 9/232 5584
/proc/meminfo: memFree=10598720/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15419460 memory=219488 CPUtime=44.51 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 41777 0 1 0 4435 16 0 0 20 0 19 0 474940558 15789527040 54872 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3854865 54872 3515 1 0 3815965 0
[pid=5391/tid=5393] ppid=5385 vsize=15419460 memory=1452 CPUtime=0.72 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) S 5385 5385 5327 0 -1 1077944384 8751 0 1 0 68 4 0 0 20 0 19 0 474940558 15789527040 54872 33554432000 4194304 4196468 140722984973440 139738078246016 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15419460 memory=322276 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15419460 memory=1732 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1495 0 0 0 2 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15419460 memory=279985697336960 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15419460 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15419460 memory=-2746958450906831424 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15419460 memory=-6150329983456535647 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737407337952 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15419460 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737406285312 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15419460 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15419460 memory=4134692831991783777 CPUtime=1.99 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 10079 0 0 0 198 1 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15419460 memory=8112282956445269571 CPUtime=1.83 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 11199 0 0 0 183 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15419460 memory=-8452003588831232445 CPUtime=0.71 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) S 5385 5385 5327 0 -1 1077944384 5197 0 0 0 70 1 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737402075376 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15419460 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15419460 memory=139993011110257 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5424] ppid=5385 vsize=15419460 memory=1436 CPUtime=9.47 cores=0,2,4,6
/proc/5391/task/5424/stat : 5424 (java) R 5385 5385 5327 0 -1 4202560 170 0 0 0 947 0 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737389698336 139737717968370 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5425] ppid=5385 vsize=15419460 memory=1984 CPUtime=10.01 cores=0,2,4,6
/proc/5391/task/5425/stat : 5425 (java) R 5385 5385 5327 0 -1 4202560 579 0 0 0 999 2 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737388648224 139737716493592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5426] ppid=5385 vsize=15419460 memory=2424 CPUtime=10.01 cores=0,2,4,6
/proc/5391/task/5426/stat : 5426 (java) R 5385 5385 5327 0 -1 4202560 978 0 0 0 999 2 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737390751888 139737717994004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5427] ppid=5385 vsize=15419460 memory=1764 CPUtime=9.53 cores=0,2,4,6
/proc/5391/task/5427/stat : 5427 (java) R 5385 5385 5327 0 -1 4202560 481 0 0 0 953 0 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737387594384 139737717429889 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 44.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 220944 KiB
[startup+11.7014 s]
/proc/loadavg: 1.88 1.36 1.47 9/232 5584
/proc/meminfo: memFree=10598720/32770624 swapFree=66972236/67108860
[pid=5385] ppid=5380 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5385/stat : 5385 (xcsp3-exec) S 5380 5385 5327 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 474940558 115843072 364 33554432000 4194304 5098028 140735769737536 140735769735640 140715912110716 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 16842752 140735769744214 140735769744473 140735769744473 140735769747398 0
/proc/5385/statm: 28282 364 305 221 0 87 0
[pid=5391] ppid=5385 vsize=15419460 memory=219488 CPUtime=44.88 cores=0,2,4,6
/proc/5391/stat : 5391 (java) S 5385 5385 5327 0 -1 1077944320 41777 0 1 0 4472 16 0 0 20 0 19 0 474940558 15789527040 54872 33554432000 4194304 4196468 140722984973440 140722984955984 139738074005239 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
/proc/5391/statm: 3854865 54872 3515 1 0 3815965 0
[pid=5391/tid=5393] ppid=5385 vsize=15419460 memory=222540 CPUtime=0.72 cores=0,2,4,6
/proc/5391/task/5393/stat : 5393 (java) S 5385 5385 5327 0 -1 1077944384 8751 0 1 0 68 4 0 0 20 0 19 0 474940558 15789527040 54872 33554432000 4194304 4196468 140722984973440 139738078246016 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5395] ppid=5385 vsize=15419460 memory=222568 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5395/stat : 5395 (java) S 5385 5385 5327 0 -1 1077944384 152 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139738037111056 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5396] ppid=5385 vsize=15419460 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5396/stat : 5396 (java) S 5385 5385 5327 0 -1 1077944384 1495 0 0 0 2 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737665821072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5398] ppid=5385 vsize=15419460 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5398/stat : 5398 (java) S 5385 5385 5327 0 -1 1077944384 429 0 0 0 1 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737664768528 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5401] ppid=5385 vsize=15419460 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5391/task/5401/stat : 5401 (java) S 5385 5385 5327 0 -1 1077944384 162 0 0 0 2 0 0 0 20 0 19 0 474940559 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737663715984 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5403] ppid=5385 vsize=15419460 memory=186 CPUtime=0.01 cores=0,2,4,6
/proc/5391/task/5403/stat : 5403 (java) S 5385 5385 5327 0 -1 1077944384 510 0 0 0 1 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737408391664 139738074016386 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5405] ppid=5385 vsize=15419460 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5405/stat : 5405 (java) S 5385 5385 5327 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737407337952 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5407] ppid=5385 vsize=15419460 memory=111636 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5407/stat : 5407 (java) S 5385 5385 5327 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 474940561 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737406285312 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5412] ppid=5385 vsize=15419460 memory=804 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5412/stat : 5412 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737405233872 139738074023835 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5413] ppid=5385 vsize=15419460 memory=185 CPUtime=1.99 cores=0,2,4,6
/proc/5391/task/5413/stat : 5413 (java) S 5385 5385 5327 0 -1 1077944384 10079 0 0 0 198 1 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737404180464 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5414] ppid=5385 vsize=15419460 memory=159 CPUtime=1.83 cores=0,2,4,6
/proc/5391/task/5414/stat : 5414 (java) S 5385 5385 5327 0 -1 1077944384 11199 0 0 0 183 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737403127920 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5415] ppid=5385 vsize=15419460 memory=70 CPUtime=0.71 cores=0,2,4,6
/proc/5391/task/5415/stat : 5415 (java) S 5385 5385 5327 0 -1 1077944384 5197 0 0 0 70 1 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737402075376 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5417] ppid=5385 vsize=15419460 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5417/stat : 5417 (java) S 5385 5385 5327 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737401023072 139738074015445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5419] ppid=5385 vsize=15419460 memory=2304 CPUtime=0 cores=0,2,4,6
/proc/5391/task/5419/stat : 5419 (java) S 5385 5385 5327 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474940564 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737399970608 139738074016386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5424] ppid=5385 vsize=15419460 memory=2596 CPUtime=9.56 cores=0,2,4,6
/proc/5391/task/5424/stat : 5424 (java) R 5385 5385 5327 0 -1 4202560 170 0 0 0 956 0 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737389698336 139737716491968 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5425] ppid=5385 vsize=15419460 memory=1412 CPUtime=10.11 cores=0,2,4,6
/proc/5391/task/5425/stat : 5425 (java) R 5385 5385 5327 0 -1 4202560 579 0 0 0 1009 2 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737388648224 139737717450204 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5426] ppid=5385 vsize=15419460 memory=2636 CPUtime=10.1 cores=0,2,4,6
/proc/5391/task/5426/stat : 5426 (java) R 5385 5385 5327 0 -1 4202560 978 0 0 0 1008 2 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737390751888 139737716491919 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
[pid=5391/tid=5427] ppid=5385 vsize=15419460 memory=0 CPUtime=9.62 cores=0,2,4,6
/proc/5391/task/5427/stat : 5427 (java) R 5385 5385 5327 0 -1 4202560 481 0 0 0 962 0 0 0 20 0 19 0 474940635 15789527040 54872 33554432000 4194304 4196468 140722984973440 139737387594384 139737717430280 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33366016 140722984977371 140722984977546 140722984977546 140722984980431 0
Current children cumulated CPU time: 44.88 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 220944 KiB
Child status: 0
Real time (s): 11.7951
CPU time (s): 45.238
CPU user time (s): 45.0669
CPU system time (s): 0.171169
CPU usage (%): 383.533
Max. virtual memory (cumulated for all children) (KiB): 15534328
Max. memory (cumulated for all children) (KiB): 224024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 45.0669
system time used= 0.171169
maximum resident set size= 224616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42637
page faults= 1
swaps= 0
block input operations= 48
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3408
involuntary context switches= 2280
# summary of solver processes directly reported to runsolver:
# pid: 5385
# total CPU time (s): 45.238
# total CPU user time (s): 45.0669
# total CPU system time (s): 0.171169
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.101823 second user time and 0.165119 second system time
The end