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 (4363 MiB free)
memory of node 1: 16384 MiB (6263 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403597-1568991655/watcher-4403597-1568991655 -o /var/tmp/evaluation-result-4403597-1568991655/solver-4403597-1568991655 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node133-1568990876-1248 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 106458303 HOME/instance-4403597-1568991655.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3824, runsolver pid=3821
[startup+0.100105 s]*
/proc/loadavg: 7.62 7.95 5.16 7/238 3840
/proc/meminfo: memFree=10864660/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15144776 memory=29088 CPUtime=0.12 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 5759 0 0 0 12 0 0 0 20 0 15 0 475405093 15508250624 7272 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3786194 7272 3119 1 0 3748377 0
[pid=3826/tid=3827] ppid=3824 vsize=15144776 memory=-8995268955501137787 CPUtime=0.09 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) R 3824 3824 1216 0 -1 4202560 3703 0 0 0 9 0 0 0 20 0 15 0 475405094 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121986637536 140121965599115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121449435936 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) R 3824 3824 1216 0 -1 4202560 355 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121446260696 140121963934546 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) R 3824 3824 1216 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0.02 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) R 3824 3824 1216 0 -1 4202560 333 0 0 0 2 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121444171720 140121974643518 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 7404 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30544 KiB
[startup+0.21113 s]*
/proc/loadavg: 7.62 7.95 5.16 7/238 3840
/proc/meminfo: memFree=10852488/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15144776 memory=40176 CPUtime=0.34 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 9292 0 0 0 32 2 0 0 20 0 15 0 475405093 15508250624 10044 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3786194 10044 3287 1 0 3748377 0
[pid=3826/tid=3827] ppid=3824 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) R 3824 3824 1216 0 -1 4202560 6558 0 0 0 18 2 0 0 20 0 15 0 475405094 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121986639648 140121982428317 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15144776 memory=13589 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15144776 memory=3977724447227213472 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121449435936 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405096 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) S 3824 3824 1216 0 -1 1077944384 443 0 0 0 2 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121446279792 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) S 3824 3824 1216 0 -1 1077944384 212 0 0 0 2 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15144776 memory=139758812100224 CPUtime=0.08 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 781 0 0 0 8 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405099 15508250624 10044 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41632 KiB
[startup+0.311564 s]*
/proc/loadavg: 7.62 7.95 5.16 6/238 3840
/proc/meminfo: memFree=10844592/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15149032 memory=49364 CPUtime=0.52 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 10695 0 0 0 49 3 0 0 20 0 15 0 475405093 15512608768 12341 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3787258 12341 3322 1 0 3748377 0
[pid=3826/tid=3827] ppid=3824 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) R 3824 3824 1216 0 -1 4202560 7795 0 0 0 27 3 0 0 20 0 15 0 475405094 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121986640176 140121966486878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15149032 memory=13951 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15149032 memory=3569859 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405096 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405096 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121449435936 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405096 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) S 3824 3824 1216 0 -1 1077944384 452 0 0 0 4 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121446279792 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) S 3824 3824 1216 0 -1 1077944384 218 0 0 0 3 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 946 0 0 0 13 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405099 15512608768 12413 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50820 KiB
[startup+0.701478 s]
/proc/loadavg: 7.62 7.95 5.16 9/238 3840
/proc/meminfo: memFree=10823688/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15151156 memory=97340 CPUtime=1.72 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 15555 0 0 0 167 5 0 0 20 0 15 0 475405093 15514783744 24335 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3787789 24335 3447 1 0 3748889 0
[pid=3826/tid=3827] ppid=3824 vsize=15151156 memory=1808650993665 CPUtime=0.68 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) R 3824 3824 1216 0 -1 4202560 8357 0 0 0 64 4 0 0 20 0 15 0 475405094 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121986638800 140121582696128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15151156 memory=29264 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15151156 memory=496 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15151156 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405094 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15151156 memory=928 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475405094 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15151156 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475405096 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15151156 memory=920 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475405096 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121449435936 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15151156 memory=3832 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475405096 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15151156 memory=2708 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15151156 memory=2604 CPUtime=0.35 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) R 3824 3824 1216 0 -1 4202560 1756 0 0 0 35 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121446266256 140121982420240 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15151156 memory=1744 CPUtime=0.32 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) R 3824 3824 1216 0 -1 4202560 2014 0 0 0 32 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121445215616 140121965817405 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15151156 memory=780 CPUtime=0.35 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 2120 0 0 0 35 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475405099 15514783744 24335 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 98796 KiB
[startup+1.50083 s]
/proc/loadavg: 7.62 7.95 5.16 8/238 3840
/proc/meminfo: memFree=10744704/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 74872 0 0 0 207471 51 0 0 20 0 19 0 475405093 15787429888 48939 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3854353 48939 3537 1 0 3815453 0
[pid=3826/tid=3827] ppid=3824 vsize=15417412 memory=195756 CPUtime=1.47 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) S 3824 3824 1216 0 -1 1077944384 10825 0 0 0 142 5 0 0 20 0 19 0 475405094 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121986647168 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.78 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1500 0 0 0 72 6 0 0 20 0 19 0 475405094 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.79 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2413 0 0 0 72 7 0 0 20 0 19 0 475405094 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.77 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1895 0 0 0 71 6 0 0 20 0 19 0 475405094 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.78 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 3131 0 0 0 71 7 0 0 20 0 19 0 475405094 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15417412 memory=195756 CPUtime=0.32 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 2322 0 0 0 22 10 0 0 20 0 19 0 475405096 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15417412 memory=195756 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121449436000 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15417412 memory=279517411405120 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15417412 memory=0 CPUtime=3 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) S 3824 3824 1216 0 -1 1077944384 16146 0 0 0 299 1 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121446279792 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15417412 memory=1456 CPUtime=3.01 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) S 3824 3824 1216 0 -1 1077944384 16540 0 0 0 300 1 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.82 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 10401 0 0 0 81 1 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15417412 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15417412 memory=195660 CPUtime=0.21 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 420 0 0 0 0 21 0 0 20 0 19 0 475405099 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 9 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3870] ppid=3824 vsize=15417412 memory=1456 CPUtime=515.56 cores=1,3,5,7
/proc/3826/task/3870/stat : 3870 (java) R 3824 3824 1216 0 -1 4202560 1213 0 0 0 51556 0 0 0 20 0 19 0 475405246 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121433085936 140121587435200 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3871] ppid=3824 vsize=15417412 memory=1456 CPUtime=516.11 cores=1,3,5,7
/proc/3826/task/3871/stat : 3871 (java) R 3824 3824 1216 0 -1 4202560 3390 0 0 0 51608 3 0 0 20 0 19 0 475405246 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121432038032 140121587435538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3872] ppid=3824 vsize=15417412 memory=1456 CPUtime=515.76 cores=1,3,5,7
/proc/3826/task/3872/stat : 3872 (java) R 3824 3824 1216 0 -1 4202560 1428 0 0 0 51574 2 0 0 20 0 19 0 475405246 15787429888 48939 33554432000 4194304 4196468 140720800818416 140121430982568 140121587435200 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3873] ppid=3824 vsize=15417412 memory=1456 CPUtime=515.69 cores=1,3,5,7
/proc/3826/task/3873/stat : 3873 (java) R 3824 3824 1216 0 -1 4202560 1903 0 0 0 51569 0 0 0 20 0 19 0 475405247 15787429888 48939 33554432000 4194304 4196468 140720800818416 140120834429088 140121587435226 0 4 0 16800975 0 0 0 -1 5 0 0 8 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 2075.22 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 197212 KiB
[startup+582.301 s]
/proc/loadavg: 8.29 8.43 6.75 9/243 4122
/proc/meminfo: memFree=10269500/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15417412 memory=197836 CPUtime=2313.83 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 75353 0 0 0 231331 52 0 0 20 0 19 0 475405093 15787429888 49459 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3854353 49459 3537 1 0 3815453 0
[pid=3826/tid=3827] ppid=3824 vsize=15417412 memory=197804 CPUtime=1.47 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) S 3824 3824 1216 0 -1 1077944384 10825 0 0 0 142 5 0 0 20 0 19 0 475405094 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121986647168 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15417412 memory=1456 CPUtime=0.86 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1529 0 0 0 80 6 0 0 20 0 19 0 475405094 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15417412 memory=197804 CPUtime=0.86 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2440 0 0 0 79 7 0 0 20 0 19 0 475405094 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15417412 memory=1456 CPUtime=0.84 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1913 0 0 0 78 6 0 0 20 0 19 0 475405094 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15417412 memory=1456 CPUtime=0.87 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 3386 0 0 0 79 8 0 0 20 0 19 0 475405094 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15417412 memory=197804 CPUtime=0.35 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 2352 0 0 0 25 10 0 0 20 0 19 0 475405096 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15417412 memory=197804 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121449436000 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15417412 memory=197836 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15417412 memory=0 CPUtime=3 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) S 3824 3824 1216 0 -1 1077944384 16146 0 0 0 299 1 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121446279792 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15417412 memory=0 CPUtime=3.01 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) S 3824 3824 1216 0 -1 1077944384 16540 0 0 0 300 1 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15417412 memory=1456 CPUtime=0.82 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 10401 0 0 0 81 1 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15417412 memory=3280 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15417412 memory=1456 CPUtime=0.23 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 424 0 0 0 0 23 0 0 20 0 19 0 475405099 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3870] ppid=3824 vsize=15417412 memory=197804 CPUtime=575.05 cores=1,3,5,7
/proc/3826/task/3870/stat : 3870 (java) R 3824 3824 1216 0 -1 4202560 1218 0 0 0 57505 0 0 0 20 0 19 0 475405246 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121433086536 140121587838677 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3871] ppid=3824 vsize=15417412 memory=1036 CPUtime=575.75 cores=1,3,5,7
/proc/3826/task/3871/stat : 3871 (java) R 3824 3824 1216 0 -1 4202560 3457 0 0 0 57572 3 0 0 20 0 19 0 475405246 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121432037920 140121587435493 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3872] ppid=3824 vsize=15417412 memory=4096 CPUtime=575.16 cores=1,3,5,7
/proc/3826/task/3872/stat : 3872 (java) R 3824 3824 1216 0 -1 4202560 1439 0 0 0 57514 2 0 0 20 0 19 0 475405246 15787429888 49459 33554432000 4194304 4196468 140720800818416 140121430982568 140121587435915 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3873] ppid=3824 vsize=15417412 memory=1456 CPUtime=575.41 cores=1,3,5,7
/proc/3826/task/3873/stat : 3873 (java) R 3824 3824 1216 0 -1 4202560 1938 0 0 0 57541 0 0 0 20 0 19 0 475405247 15787429888 49459 33554432000 4194304 4196468 140720800818416 140120834429120 140121587436147 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 2313.83 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 199292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.201 s]
/proc/loadavg: 8.61 8.48 6.85 9/242 4134
/proc/meminfo: memFree=10243224/32770624 swapFree=67001888/67108860
[pid=3824] ppid=3821 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3824/stat : 3824 (xcsp3-exec) S 3821 3824 1216 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 475405093 115843072 364 33554432000 4194304 5098028 140720651634192 140720651632296 139738920493692 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 10477568 140720651637591 140720651637849 140720651637849 140720651640774 0
/proc/3824/statm: 28282 364 305 221 0 87 0
[pid=3826] ppid=3824 vsize=15417412 memory=197332 CPUtime=2520.27 cores=1,3,5,7
/proc/3826/stat : 3826 (java) S 3824 3824 1216 0 -1 1077944320 75823 0 0 0 251973 54 0 0 20 0 19 0 475405093 15787429888 49333 33554432000 4194304 4196468 140720800818416 140720800800960 140121982406391 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
/proc/3826/statm: 3854353 49333 3537 1 0 3815453 0
[pid=3826/tid=3827] ppid=3824 vsize=15417412 memory=1212 CPUtime=1.47 cores=1,3,5,7
/proc/3826/task/3827/stat : 3827 (java) S 3824 3824 1216 0 -1 1077944384 10825 0 0 0 142 5 0 0 20 0 19 0 475405094 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121986647168 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3828] ppid=3824 vsize=15417412 memory=1036 CPUtime=0.92 cores=1,3,5,7
/proc/3826/task/3828/stat : 3828 (java) S 3824 3824 1216 0 -1 1077944384 1720 0 0 0 86 6 0 0 20 0 19 0 475405094 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121910446992 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3829] ppid=3824 vsize=15417412 memory=4486604260213485459 CPUtime=0.93 cores=1,3,5,7
/proc/3826/task/3829/stat : 3829 (java) S 3824 3824 1216 0 -1 1077944384 2577 0 0 0 86 7 0 0 20 0 19 0 475405094 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121909394192 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3830] ppid=3824 vsize=15417412 memory=804 CPUtime=0.92 cores=1,3,5,7
/proc/3826/task/3830/stat : 3830 (java) S 3824 3824 1216 0 -1 1077944384 1916 0 0 0 85 7 0 0 20 0 19 0 475405094 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121908341904 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3831] ppid=3824 vsize=15417412 memory=1412 CPUtime=0.93 cores=1,3,5,7
/proc/3826/task/3831/stat : 3831 (java) S 3824 3824 1216 0 -1 1077944384 3451 0 0 0 85 8 0 0 20 0 19 0 475405094 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121907289104 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3832] ppid=3824 vsize=15417412 memory=3392 CPUtime=0.37 cores=1,3,5,7
/proc/3826/task/3832/stat : 3832 (java) S 3824 3824 1216 0 -1 1077944384 2357 0 0 0 27 10 0 0 20 0 19 0 475405096 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121450489968 140121982417538 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3833] ppid=3824 vsize=15417412 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3833/stat : 3833 (java) S 3824 3824 1216 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121449436000 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3834] ppid=3824 vsize=15417412 memory=197332 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3834/stat : 3834 (java) S 3824 3824 1216 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 475405096 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121448383600 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3835] ppid=3824 vsize=15417412 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3835/stat : 3835 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121447331920 140121982424987 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3836] ppid=3824 vsize=15417412 memory=2376 CPUtime=3 cores=1,3,5,7
/proc/3826/task/3836/stat : 3836 (java) S 3824 3824 1216 0 -1 1077944384 16146 0 0 0 299 1 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121446279792 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3837] ppid=3824 vsize=15417412 memory=1768 CPUtime=3.01 cores=1,3,5,7
/proc/3826/task/3837/stat : 3837 (java) S 3824 3824 1216 0 -1 1077944384 16540 0 0 0 300 1 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121445226992 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3838] ppid=3824 vsize=15417412 memory=111628 CPUtime=0.82 cores=1,3,5,7
/proc/3826/task/3838/stat : 3838 (java) S 3824 3824 1216 0 -1 1077944384 10401 0 0 0 81 1 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121444174704 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3839] ppid=3824 vsize=15417412 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/3826/task/3839/stat : 3839 (java) S 3824 3824 1216 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121443122144 140121982416597 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3840] ppid=3824 vsize=15417412 memory=14008 CPUtime=0.25 cores=1,3,5,7
/proc/3826/task/3840/stat : 3840 (java) S 3824 3824 1216 0 -1 1077944384 426 0 0 0 0 25 0 0 20 0 19 0 475405099 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121442068912 140121982417538 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3870] ppid=3824 vsize=15417412 memory=12024 CPUtime=626.52 cores=1,3,5,7
/proc/3826/task/3870/stat : 3870 (java) R 3824 3824 1216 0 -1 4202560 1221 0 0 0 62651 1 0 0 20 0 19 0 475405246 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121433086536 140121587435506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3871] ppid=3824 vsize=15417412 memory=2116 CPUtime=627.25 cores=1,3,5,7
/proc/3826/task/3871/stat : 3871 (java) R 3824 3824 1216 0 -1 4202560 3492 0 0 0 62722 3 0 0 20 0 19 0 475405246 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121432037920 140121587435819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3872] ppid=3824 vsize=15417412 memory=29292 CPUtime=626.78 cores=1,3,5,7
/proc/3826/task/3872/stat : 3872 (java) R 3824 3824 1216 0 -1 4202560 1442 0 0 0 62675 3 0 0 20 0 19 0 475405246 15787429888 49333 33554432000 4194304 4196468 140720800818416 140121430982432 140121587435671 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
[pid=3826/tid=3873] ppid=3824 vsize=15417412 memory=496 CPUtime=626.97 cores=1,3,5,7
/proc/3826/task/3873/stat : 3873 (java) R 3824 3824 1216 0 -1 4202560 1964 0 0 0 62696 1 0 0 20 0 19 0 475405247 15787429888 49333 33554432000 4194304 4196468 140720800818416 140120834428976 140121588565468 0 4 0 16800975 0 0 0 -1 1 0 0 8 0 0 6293624 6294260 30515200 140720800826331 140720800826506 140720800826506 140720800829391 0
Current children cumulated CPU time: 2520.27 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 198788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.232 s]
# the end of solver process 3824 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002227 s, system=0 s
[startup+634.277 s]
# the end of solver process 3826 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.02 s, system=0.551984 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 634.277
CPU time (s): 2520.57
CPU user time (s): 2520.02
CPU system time (s): 0.551984
CPU usage (%): 397.393
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 430936
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.02
system time used= 0.551984
maximum resident set size= 445944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76613
page faults= 0
swaps= 0
block input operations= 0
block output operations= 848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28488
involuntary context switches= 47515
# summary of solver processes directly reported to runsolver:
# pid: 3824,3826
# total CPU time (s): 2520.57
# total CPU user time (s): 2520.02
# total CPU system time (s): 0.551984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.10127 second user time and 7.72307 second system time
The end