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 (13304 MiB free)
memory of node 1: 16384 MiB (13748 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306843-1534055599/watcher-4306843-1534055599 -o /tmp/evaluation-result-4306843-1534055599/solver-4306843-1534055599 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1534038962-16489 --watchdog 2580 HOME/xcsp3-exec -seed 736611306 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306843-1534055599.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
solver pid=18526, runsolver pid=18523
Current StackSize limit: 8192 KiB
[startup+0.100137 s]*
/proc/loadavg: 1.60 1.50 1.59 3/219 18542
/proc/meminfo: memFree=27684256/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14082940 memory=29116 CPUtime=0.12 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 5192 0 0 0 11 1 0 0 20 0 15 0 223123116 14420930560 7279 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3520735 7279 2995 1 0 3483012 0
[pid=18528/tid=18529] ppid=18526 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 3209 0 0 0 9 0 0 0 20 0 15 0 223123117 14420930560 7279 33554432000 4194304 4196468 140734558060208 140087347115088 140087323091680 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 7279 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14082940 memory=140529647134336 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 7279 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14082940 memory=140529647134336 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223123119 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223123119 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223123119 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14082940 memory=140529647134336 CPUtime=0.01 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) R 18526 18526 15061 0 -1 4202560 263 0 0 0 1 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086877993584 140087322034595 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14082940 memory=140529647134336 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123122 14420930560 7279 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30572 KiB
[startup+0.21078 s]*
/proc/loadavg: 1.60 1.50 1.59 5/219 18542
/proc/meminfo: memFree=27673308/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14082940 memory=41268 CPUtime=0.34 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 7814 0 0 0 32 2 0 0 20 0 15 0 223123116 14420930560 10317 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3520735 10317 3201 1 0 3483012 0
[pid=18528/tid=18529] ppid=18526 vsize=14082940 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 1077944384 4971 0 0 0 18 1 0 0 20 0 15 0 223123117 14420930560 10320 33554432000 4194304 4196468 140734558060208 140087347123104 140087345174215 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14082940 memory=8948 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 10320 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14082940 memory=3474729447565207200 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 10320 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 10320 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223123117 14420930560 10320 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14082940 memory=140529647134336 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223123119 14420930560 10320 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223123119 14420930560 10320 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223123119 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14085056 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 567 0 0 0 2 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14085056 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 220 0 0 0 2 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14085056 memory=140529647134336 CPUtime=0.08 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 756 0 0 0 8 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123122 14423097344 10320 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42724 KiB
[startup+0.310728 s]*
/proc/loadavg: 1.60 1.50 1.59 4/219 18542
/proc/meminfo: memFree=27666360/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14087196 memory=48492 CPUtime=0.53 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 8742 0 0 0 50 3 0 0 20 0 15 0 223123116 14425288704 12123 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3521799 12123 3258 1 0 3483012 0
[pid=18528/tid=18529] ppid=18526 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 5696 0 0 0 27 2 0 0 20 0 15 0 223123117 14425288704 12131 33554432000 4194304 4196468 140734558060208 140087347136224 140087326979422 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14425288704 12131 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14425288704 12131 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14087196 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14087196 memory=4572146066226452084 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223123117 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14087196 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223123119 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14087196 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223123119 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14087196 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223123119 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14087196 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14087196 memory=4426078206164241782 CPUtime=0.05 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 670 0 0 0 5 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14087196 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 238 0 0 0 4 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14087196 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 832 0 0 0 13 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123122 14425288704 12131 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49948 KiB
[startup+0.701164 s]
/proc/loadavg: 1.60 1.50 1.59 4/219 18542
/proc/meminfo: memFree=27644852/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14089320 memory=73404 CPUtime=1.6 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 12543 0 0 0 156 4 0 0 20 0 15 0 223123116 14427463680 18351 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3522330 18351 3360 1 0 3483524 0
[pid=18528/tid=18529] ppid=18526 vsize=14089320 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 6516 0 0 0 65 2 0 0 20 0 15 0 223123117 14427463680 18351 33554432000 4194304 4196468 140734558060208 140087347135872 140086955474109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14089320 memory=288230608902300371 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14427463680 18351 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14089320 memory=15260328862699250 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14427463680 18351 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123117 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 223123117 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14089320 memory=0 CPUtime=0.28 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) R 18526 18526 15061 0 -1 4202560 1529 0 0 0 28 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086880080752 140087324427222 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14089320 memory=0 CPUtime=0.3 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) R 18526 18526 15061 0 -1 4202560 1302 0 0 0 30 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086879033168 140087324442658 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14089320 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 1888 0 0 0 32 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14089320 memory=4639074098508484691 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14089320 memory=7521403273733434472 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 18351 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 74860 KiB
[startup+1.5009 s]
/proc/loadavg: 1.60 1.50 1.59 5/219 18542
/proc/meminfo: memFree=27634496/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14089320 memory=1136568 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14089320 memory=1136568 CPUtime=2.1 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 12184 0 0 0 208 2 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14089320 memory=1210588 CPUtime=1.98 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 10764 0 0 0 196 2 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14089320 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 8027 0 0 0 55 1 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14089320 memory=0 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14089320 memory=492 CPUtime=1.02 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1874 0 0 0 45 57 0 0 20 0 15 0 223123122 14427463680 302647 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 26 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 2408.74 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 1212044 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.70 1.68 3/218 19095
/proc/meminfo: memFree=25826336/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14089320 memory=2563656 CPUtime=2469.7 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 190507 0 0 0 246558 412 0 0 20 0 15 0 223123116 14427463680 640914 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3522330 640914 3439 1 0 3483524 0
[pid=18528/tid=18529] ppid=18526 vsize=14089320 memory=2563656 CPUtime=2432.04 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 93308 0 0 0 242914 290 0 0 20 0 15 0 223123117 14427463680 640914 33554432000 4194304 4196468 140734558060208 140087347138496 140086958368992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14089320 memory=2563656 CPUtime=7.57 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 10240 0 0 0 743 14 0 0 20 0 15 0 223123117 14427463680 640914 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14089320 memory=2561452 CPUtime=7.58 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 12111 0 0 0 743 15 0 0 20 0 15 0 223123117 14427463680 640914 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14089320 memory=2561608 CPUtime=7.57 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 9731 0 0 0 744 13 0 0 20 0 15 0 223123117 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14089320 memory=2561608 CPUtime=7.58 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 14104 0 0 0 746 12 0 0 20 0 15 0 223123117 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14089320 memory=1456 CPUtime=1.58 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 16812 0 0 0 138 20 0 0 20 0 15 0 223123119 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14089320 memory=2561608 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14089320 memory=2561608 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14089320 memory=2561608 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14089320 memory=2563656 CPUtime=2.1 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 12184 0 0 0 208 2 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14089320 memory=2563656 CPUtime=1.98 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 10764 0 0 0 196 2 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14089320 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 8027 0 0 0 55 1 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14089320 memory=2563656 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14089320 memory=3160 CPUtime=1.05 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1878 0 0 0 47 58 0 0 20 0 15 0 223123122 14427463680 640914 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 2469.7 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2565112 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2491.7 s]
/proc/loadavg: 1.67 1.71 1.68 3/218 19095
/proc/meminfo: memFree=25813392/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2520.05 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 196815 0 0 0 251590 415 0 0 20 0 15 0 223123116 14427463680 644206 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3522330 644206 3439 1 0 3483524 0
[pid=18528/tid=18529] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2481.08 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 96850 0 0 0 247818 290 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087347138384 140086958368992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14089320 memory=2576824 CPUtime=7.9 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 11102 0 0 0 775 15 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14089320 memory=1456 CPUtime=7.88 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 12947 0 0 0 773 15 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14089320 memory=2576712 CPUtime=7.89 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 10205 0 0 0 776 13 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14089320 memory=1456 CPUtime=7.89 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 14504 0 0 0 777 12 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14089320 memory=2576712 CPUtime=1.6 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 16983 0 0 0 140 20 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2.1 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 12186 0 0 0 208 2 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14089320 memory=1456 CPUtime=1.98 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 10766 0 0 0 196 2 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14089320 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 8029 0 0 0 55 1 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14089320 memory=1456 CPUtime=1.07 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1895 0 0 0 47 60 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2578280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2491.71 s]
# the end of solver process 18526 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001106 s, system=0.001106 s
[startup+2491.73 s]
# the end of solver process 18528 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.92 s, system=4.17396 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
[startup+2491.7 s]
/proc/loadavg: 1.67 1.71 1.68 3/218 19095
/proc/meminfo: memFree=25813392/32770624 swapFree=67030644/67108860
[pid=18526] ppid=18523 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18526/stat : 18526 (xcsp3-exec) S 18523 18526 15061 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 223123116 115843072 364 33554432000 4194304 5098028 140720337867936 140720337866040 139992914702972 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 38981632 140720337876027 140720337876228 140720337876228 140720337878986 0
/proc/18526/statm: 28282 364 306 221 0 87 0
[pid=18528] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2520.05 cores=1,3,5,7
/proc/18528/stat : 18528 (java) S 18526 18526 15061 0 -1 1077944320 196815 0 0 0 251590 415 0 0 20 0 15 0 223123116 14427463680 644206 33554432000 4194304 4196468 140734558060208 140734558042752 140087342898935 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
/proc/18528/statm: 3522330 644206 3439 1 0 3483524 0
[pid=18528/tid=18529] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2481.08 cores=1,3,5,7
/proc/18528/task/18529/stat : 18529 (java) R 18526 18526 15061 0 -1 4202560 96850 0 0 0 247818 290 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087347138384 140086958368992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18530] ppid=18526 vsize=14089320 memory=2576824 CPUtime=7.9 cores=1,3,5,7
/proc/18528/task/18530/stat : 18530 (java) S 18526 18526 15061 0 -1 1077944384 11102 0 0 0 775 15 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087272987792 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18531] ppid=18526 vsize=14089320 memory=1456 CPUtime=7.88 cores=1,3,5,7
/proc/18528/task/18531/stat : 18531 (java) S 18526 18526 15061 0 -1 1077944384 12947 0 0 0 773 15 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140087271934992 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18532] ppid=18526 vsize=14089320 memory=2576712 CPUtime=7.89 cores=1,3,5,7
/proc/18528/task/18532/stat : 18532 (java) S 18526 18526 15061 0 -1 1077944384 10205 0 0 0 776 13 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086936779664 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18533] ppid=18526 vsize=14089320 memory=1456 CPUtime=7.89 cores=1,3,5,7
/proc/18528/task/18533/stat : 18533 (java) S 18526 18526 15061 0 -1 1077944384 14504 0 0 0 777 12 0 0 20 0 15 0 223123117 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086935726864 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18534] ppid=18526 vsize=14089320 memory=2576712 CPUtime=1.6 cores=1,3,5,7
/proc/18528/task/18534/stat : 18534 (java) S 18526 18526 15061 0 -1 1077944384 16983 0 0 0 140 20 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086884309360 140087342910082 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18535] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18535/stat : 18535 (java) S 18526 18526 15061 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086883255328 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18536] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18536/stat : 18536 (java) S 18526 18526 15061 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 223123119 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086882202480 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18537] ppid=18526 vsize=14089320 memory=2576824 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18537/stat : 18537 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086881150800 140087342917531 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18538] ppid=18526 vsize=14089320 memory=2576824 CPUtime=2.1 cores=1,3,5,7
/proc/18528/task/18538/stat : 18538 (java) S 18526 18526 15061 0 -1 1077944384 12186 0 0 0 208 2 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086880099184 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18539] ppid=18526 vsize=14089320 memory=1456 CPUtime=1.98 cores=1,3,5,7
/proc/18528/task/18539/stat : 18539 (java) S 18526 18526 15061 0 -1 1077944384 10766 0 0 0 196 2 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086879046384 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 25 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18540] ppid=18526 vsize=14089320 memory=1456 CPUtime=0.56 cores=1,3,5,7
/proc/18528/task/18540/stat : 18540 (java) S 18526 18526 15061 0 -1 1077944384 8029 0 0 0 55 1 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086877993584 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18541] ppid=18526 vsize=14089320 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/18528/task/18541/stat : 18541 (java) S 18526 18526 15061 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086876941024 140087342909141 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
[pid=18528/tid=18542] ppid=18526 vsize=14089320 memory=1456 CPUtime=1.07 cores=1,3,5,7
/proc/18528/task/18542/stat : 18542 (java) S 18526 18526 15061 0 -1 1077944384 1895 0 0 0 47 60 0 0 20 0 15 0 223123122 14427463680 644206 33554432000 4194304 4196468 140734558060208 140086875888304 140087342910082 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 26 0 0 6293624 6294260 26259456 140734558065798 140734558065969 140734558065969 140734558068687 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 2578280 KiB
Child status: 143
Real time (s): 2491.73
CPU time (s): 2520.1
CPU user time (s): 2515.92
CPU system time (s): 4.17396
CPU usage (%): 101.139
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 3574552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.92
system time used= 4.17396
maximum resident set size= 3601936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 197565
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91502
involuntary context switches= 3134
# summary of solver processes directly reported to runsolver:
# pid: 18526,18528
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.92
# total CPU system time (s): 4.17396
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.5055 second user time and 23.9564 second system time
The end