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 (14622 MiB free)
memory of node 1: 16384 MiB (13212 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4307023-1534056527/watcher-4307023-1534056527 -o /tmp/evaluation-result-4307023-1534056527/solver-4307023-1534056527 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16488 --watchdog 2580 HOME/xcsp3-exec -seed 772658739 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4307023-1534056527.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=18626, runsolver pid=18623
[startup+0.100059 s]*
/proc/loadavg: 1.36 1.51 1.56 4/217 18642
/proc/meminfo: memFree=28486644/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14082940 memory=29048 CPUtime=0.12 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 5610 0 0 0 11 1 0 0 20 0 15 0 223215868 14420930560 7262 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3520735 7262 3031 1 0 3483012 0
[pid=18628/tid=18629] ppid=18626 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 3629 0 0 0 8 1 0 0 20 0 15 0 223215869 14420930560 7262 33554432000 4194304 4196468 140732159028224 140435108803376 140435104583062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 7262 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 7262 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 7262 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 7262 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434443183648 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434442130800 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 411 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0.01 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 261 0 0 0 1 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 7262 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30504 KiB
[startup+0.212983 s]*
/proc/loadavg: 1.36 1.51 1.56 3/217 18642
/proc/meminfo: memFree=28475604/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14082940 memory=40768 CPUtime=0.34 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 8305 0 0 0 32 2 0 0 20 0 15 0 223215868 14420930560 10192 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3520735 10192 3178 1 0 3483012 0
[pid=18628/tid=18629] ppid=18626 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 5473 0 0 0 19 1 0 0 20 0 15 0 223215869 14420930560 10257 33554432000 4194304 4196468 140732159028224 140435108807824 140435088651614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14082940 memory=8948 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 10257 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14082940 memory=3474729252131247776 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 10257 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 10257 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223215869 14420930560 10257 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434443183648 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223215871 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434442130800 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 503 0 0 0 2 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 245 0 0 0 2 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14082940 memory=140334213174912 CPUtime=0.07 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 780 0 0 0 7 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215874 14420930560 10257 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42224 KiB
[startup+0.31273 s]*
/proc/loadavg: 1.36 1.51 1.56 4/217 18642
/proc/meminfo: memFree=28469028/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14087196 memory=48128 CPUtime=0.53 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 9214 0 0 0 50 3 0 0 20 0 15 0 223215868 14425288704 12032 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3521799 12032 3244 1 0 3483012 0
[pid=18628/tid=18629] ppid=18626 vsize=14087196 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 6168 0 0 0 28 2 0 0 20 0 15 0 223215869 14425288704 12032 33554432000 4194304 4196468 140732159028224 140435108802240 140435088651614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14425288704 12032 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14425288704 12032 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215869 14425288704 12032 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223215869 14425288704 12032 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223215871 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223215871 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434443183648 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223215871 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434442130800 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14087196 memory=4426078206164241782 CPUtime=0.03 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 518 0 0 0 3 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14087196 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 347 0 0 0 5 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 877 0 0 0 12 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215874 14425288704 12032 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49584 KiB
[startup+0.701501 s]
/proc/loadavg: 1.36 1.51 1.56 4/217 18642
/proc/meminfo: memFree=28426652/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14089320 memory=189568 CPUtime=1.63 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 14459 0 0 0 157 6 0 0 20 0 15 0 223215868 14427463680 47392 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3522330 47392 3373 1 0 3483524 0
[pid=18628/tid=18629] ppid=18626 vsize=14089320 memory=33 CPUtime=0.64 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 6829 0 0 0 60 4 0 0 20 0 15 0 223215869 14427463680 47392 33554432000 4194304 4196468 140732159028224 140435108808032 140435104581333 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14089320 memory=288230608902300371 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 223215869 14427463680 47392 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14089320 memory=15260328862699250 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223215869 14427463680 47392 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 15 0 223215869 14427463680 47392 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 223215869 14427463680 47392 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 223215871 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 223215871 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434443183648 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 223215871 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434442130800 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14089320 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) R 18626 18626 15061 0 -1 4202560 1984 0 0 0 29 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434440012576 140435089679897 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14089320 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) R 18626 18626 15061 0 -1 4202560 1703 0 0 0 28 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434438965632 140435088054528 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14089320 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) R 18626 18626 15061 0 -1 4202560 2527 0 0 0 37 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434437920880 140435104583062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14089320 memory=4639074098508484692 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14089320 memory=7380386505129419878 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223215874 14427463680 47392 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 191024 KiB
[startup+1.50154 s]
/proc/loadavg: 1.36 1.51 1.56 6/217 18642
/proc/meminfo: memFree=28299296/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14091368 memory=392732 CPUtime=278.97 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 65124 0 0 0 27870 27 0 0 20 0 15 0 223215868 14429560832 98183 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3522842 98183 3424 1 0 3484036 0
[pid=18628/tid=18629] ppid=18626 vsize=14091368 memory=11068 CPUtime=270.28 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 12670 0 0 0 27021 7 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435108807824 140434719017489 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14091368 memory=1192 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14091368 memory=1520 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 780 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14091368 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14091368 memory=3544 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 211 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14091368 memory=58644 CPUtime=0.01 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 1081 0 0 0 1 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14091368 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434443183712 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14091368 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434442130816 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14091368 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14091368 memory=2428 CPUtime=4.01 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 22162 0 0 0 398 3 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14091368 memory=832 CPUtime=3.38 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 16827 0 0 0 336 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14091368 memory=1440 CPUtime=0.89 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 7526 0 0 0 87 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14091368 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14091368 memory=1560 CPUtime=0.14 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 663 0 0 0 7 7 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 278.97 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 394188 KiB
[startup+271.201 s]
/proc/loadavg: 1.73 1.64 1.61 3/219 18655
/proc/meminfo: memFree=27362264/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14091368 memory=392732 CPUtime=279.77 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 65128 0 0 0 27950 27 0 0 20 0 15 0 223215868 14429560832 98183 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3522842 98183 3424 1 0 3484036 0
[pid=18628/tid=18629] ppid=18626 vsize=14091368 memory=6791534058613427641 CPUtime=271.08 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 12672 0 0 0 27101 7 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435108807712 140434719358112 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14091368 memory=832 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14091368 memory=1440 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 780 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14091368 memory=1836 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14091368 memory=7532 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 211 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 1081 0 0 0 1 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14091368 memory=58644 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434443183712 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14091368 memory=776 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434442130816 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14091368 memory=1876 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14091368 memory=1396 CPUtime=4.01 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 22162 0 0 0 398 3 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14091368 memory=1684 CPUtime=3.38 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 16827 0 0 0 336 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14091368 memory=768 CPUtime=0.89 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 7526 0 0 0 87 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14091368 memory=5264 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14091368 memory=11068 CPUtime=0.14 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 665 0 0 0 7 7 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 279.77 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 394188 KiB
[startup+272.001 s]*
/proc/loadavg: 1.73 1.64 1.61 3/219 18655
/proc/meminfo: memFree=27337564/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14091368 memory=392732 CPUtime=280.58 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 65131 0 0 0 28031 27 0 0 20 0 15 0 223215868 14429560832 98183 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3522842 98183 3424 1 0 3484036 0
[pid=18628/tid=18629] ppid=18626 vsize=14091368 memory=6791534058613427641 CPUtime=271.89 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 12674 0 0 0 27182 7 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435108807712 140434718778634 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14091368 memory=4872558044660077418 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14091368 memory=1684 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 780 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14091368 memory=768 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14091368 memory=5264 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 211 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14091368 memory=11068 CPUtime=0.01 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 1081 0 0 0 1 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14091368 memory=1192 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434443183712 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14091368 memory=1520 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434442130816 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14091368 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14091368 memory=3160 CPUtime=4.01 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 22162 0 0 0 398 3 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14091368 memory=2680 CPUtime=3.38 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 16827 0 0 0 336 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14091368 memory=3160 CPUtime=0.89 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 7526 0 0 0 87 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14091368 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14091368 memory=752 CPUtime=0.14 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 666 0 0 0 7 7 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 280.58 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 394188 KiB
[startup+272.201 s]
/proc/loadavg: 1.73 1.64 1.61 3/219 18655
/proc/meminfo: memFree=27337564/32770624 swapFree=67030644/67108860
[pid=18626] ppid=18623 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/18626/stat : 18626 (xcsp3-exec) S 18623 18626 15061 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 223215868 115843072 364 33554432000 4194304 5098028 140726113572752 140726113570856 140564494729852 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 34840576 140726113575995 140726113576196 140726113576196 140726113578954 0
/proc/18626/statm: 28282 364 306 221 0 87 0
[pid=18628] ppid=18626 vsize=14091368 memory=392732 CPUtime=280.77 cores=0,2,4,6
/proc/18628/stat : 18628 (java) S 18626 18626 15061 0 -1 1077944320 65131 0 0 0 28050 27 0 0 20 0 15 0 223215868 14429560832 98183 33554432000 4194304 4196468 140732159028224 140732159010768 140435104571127 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
/proc/18628/statm: 3522842 98183 3424 1 0 3484036 0
[pid=18628/tid=18629] ppid=18626 vsize=14091368 memory=1456 CPUtime=272.08 cores=0,2,4,6
/proc/18628/task/18629/stat : 18629 (java) R 18626 18626 15061 0 -1 4202560 12674 0 0 0 27201 7 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435108807712 140434718775884 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18630] ppid=18626 vsize=14091368 memory=392732 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18630/stat : 18630 (java) S 18626 18626 15061 0 -1 1077944384 1687 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435034659472 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18631] ppid=18626 vsize=14091368 memory=11904 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18631/stat : 18631 (java) S 18626 18626 15061 0 -1 1077944384 780 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435033606672 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18632] ppid=18626 vsize=14091368 memory=492 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18632/stat : 18632 (java) S 18626 18626 15061 0 -1 1077944384 176 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435032553872 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18633] ppid=18626 vsize=14091368 memory=1560 CPUtime=0.04 cores=0,2,4,6
/proc/18628/task/18633/stat : 18633 (java) S 18626 18626 15061 0 -1 1077944384 211 0 0 0 3 1 0 0 20 0 15 0 223215869 14429560832 98183 33554432000 4194304 4196468 140732159028224 140435031501072 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18634] ppid=18626 vsize=14091368 memory=1156 CPUtime=0.01 cores=0,2,4,6
/proc/18628/task/18634/stat : 18634 (java) S 18626 18626 15061 0 -1 1077944384 1081 0 0 0 1 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434444237680 140435104582274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18635] ppid=18626 vsize=14091368 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18635/stat : 18635 (java) S 18626 18626 15061 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434443183712 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18636] ppid=18626 vsize=14091368 memory=1996 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18636/stat : 18636 (java) S 18626 18626 15061 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 223215871 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434442130816 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18637] ppid=18626 vsize=14091368 memory=2428 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18637/stat : 18637 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434441079120 140435104589723 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18638] ppid=18626 vsize=14091368 memory=832 CPUtime=4.01 cores=0,2,4,6
/proc/18628/task/18638/stat : 18638 (java) S 18626 18626 15061 0 -1 1077944384 22162 0 0 0 398 3 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434440026480 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18639] ppid=18626 vsize=14091368 memory=1440 CPUtime=3.38 cores=0,2,4,6
/proc/18628/task/18639/stat : 18639 (java) S 18626 18626 15061 0 -1 1077944384 16827 0 0 0 336 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434438973680 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18640] ppid=18626 vsize=14091368 memory=1836 CPUtime=0.89 cores=0,2,4,6
/proc/18628/task/18640/stat : 18640 (java) S 18626 18626 15061 0 -1 1077944384 7526 0 0 0 87 2 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434437920880 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 9 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18641] ppid=18626 vsize=14091368 memory=7532 CPUtime=0 cores=0,2,4,6
/proc/18628/task/18641/stat : 18641 (java) S 18626 18626 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434436868320 140435104581333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
[pid=18628/tid=18642] ppid=18626 vsize=14091368 memory=792 CPUtime=0.14 cores=0,2,4,6
/proc/18628/task/18642/stat : 18642 (java) S 18626 18626 15061 0 -1 1077944384 666 0 0 0 7 7 0 0 20 0 15 0 223215874 14429560832 98183 33554432000 4194304 4196468 140732159028224 140434435816624 140435104582274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29548544 140732159030406 140732159030577 140732159030577 140732159033295 0
Current children cumulated CPU time: 280.77 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 394188 KiB
Child status: 0
Real time (s): 272.245
CPU time (s): 280.828
CPU user time (s): 280.547
CPU system time (s): 0.281151
CPU usage (%): 103.153
Max. virtual memory (cumulated for all children) (KiB): 14204496
Max. memory (cumulated for all children) (KiB): 394188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 280.547
system time used= 0.281151
maximum resident set size= 393264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66153
page faults= 0
swaps= 0
block input operations= 4600
block output operations= 424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8840
involuntary context switches= 341
# summary of solver processes directly reported to runsolver:
# pid: 18626
# total CPU time (s): 280.828
# total CPU user time (s): 280.547
# total CPU system time (s): 0.281151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.68788 second user time and 2.71943 second system time
The end