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 (15315 MiB free)
memory of node 1: 16384 MiB (15140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283562-1503218811/watcher-4283562-1503218811 -o /tmp/evaluation-result-4283562-1503218811/solver-4283562-1503218811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node129-1503171914-32555 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1908996748 HOME/instance-4283562-1503218811.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
solver pid=9391, runsolver pid=9388
Current StackSize limit: 8192 KiB
[startup+0.100161 s]*
/proc/loadavg: 1.92 1.83 1.79 2/196 9392
/proc/meminfo: memFree=31186588/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9508 memory=896 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) R 9388 9391 17292 0 -1 4202496 401 0 0 0 0 0 0 0 20 0 1 0 20290249 9736192 224 18446744073709551615 4194304 5098028 140735516989456 140735516989456 4506080 0 0 5 0 0 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2377 224 186 221 0 86 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9508 KiB
Current children cumulated memory: 896 KiB
[startup+0.211691 s]*
/proc/loadavg: 1.92 1.83 1.79 5/211 9407
/proc/meminfo: memFree=31175028/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13974352 memory=22784 CPUtime=0.06 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 5151 0 0 0 6 0 0 0 20 0 15 0 20290260 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3493588 5696 2715 1 0 3482964 0
[pid=9393/tid=9394] ppid=9391 vsize=13974352 memory=1404226546251833994 CPUtime=0.05 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 3316 0 0 0 5 0 0 0 20 0 15 0 20290260 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194826652048 140194822448285 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13974352 memory=140124209022592 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13974352 memory=140124209022592 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290262 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20290263 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194299729056 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20290263 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194298675952 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 20290265 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20290265 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13974352 memory=140124209022592 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 20290265 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13974352 memory=140124209022592 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290270 14309736448 5696 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 24164 KiB
[startup+0.310322 s]*
/proc/loadavg: 1.92 1.83 1.79 4/211 9407
/proc/meminfo: memFree=31162328/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13974352 memory=36404 CPUtime=0.24 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 8742 0 0 0 22 2 0 0 20 0 15 0 20290260 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3493588 9101 2972 1 0 3482964 0
[pid=9393/tid=9394] ppid=9391 vsize=13974352 memory=6933928925625698159 CPUtime=0.16 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 5997 0 0 0 14 2 0 0 20 0 15 0 20290260 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194826640496 140194806506846 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290261 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290262 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20290263 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194299729056 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20290263 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194298675952 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 500 0 0 0 1 0 0 0 20 0 15 0 20290265 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 246 0 0 0 1 0 0 0 20 0 15 0 20290265 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13974352 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 702 0 0 0 5 0 0 0 20 0 15 0 20290265 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290270 14309736448 9101 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37784 KiB
[startup+0.700767 s]
/proc/loadavg: 1.92 1.83 1.79 4/211 9407
/proc/meminfo: memFree=31151768/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13978684 memory=69284 CPUtime=1.09 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 12535 0 0 0 105 4 0 0 20 0 15 0 20290260 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3494671 17321 3150 1 0 3482964 0
[pid=9393/tid=9394] ppid=9391 vsize=13978684 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 7871 0 0 0 51 2 0 0 20 0 15 0 20290260 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194826664752 140194815104373 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13978684 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13978684 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13978684 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13978684 memory=5404 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290261 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13978684 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290262 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13978684 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20290263 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194299729056 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13978684 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20290263 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194298675952 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13978684 memory=8708 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13978684 memory=792 CPUtime=0.15 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 1113 0 0 0 15 0 0 0 20 0 15 0 20290265 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13978684 memory=1200 CPUtime=0.16 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) R 9391 9391 17292 0 -1 4202560 923 0 0 0 16 0 0 0 20 0 15 0 20290265 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822440223 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13978684 memory=15876 CPUtime=0.22 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 1323 0 0 0 22 0 0 0 20 0 15 0 20290265 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13978684 memory=8764 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13978684 memory=16444 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290270 14314172416 17321 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 1.09 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 70664 KiB
[startup+1.50087 s]
/proc/loadavg: 1.92 1.83 1.79 3/211 9407
/proc/meminfo: memFree=31117308/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13980732 memory=105660 CPUtime=2.14 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 14257 0 0 0 210 4 0 0 20 0 15 0 20290260 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3495183 26415 3166 1 0 3483476 0
[pid=9393/tid=9394] ppid=9391 vsize=13980732 memory=1380 CPUtime=1.34 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 8560 0 0 0 131 3 0 0 20 0 15 0 20290260 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194826662200 140194463712330 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13980732 memory=97416 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 20290261 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 20290261 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 20290262 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13980732 memory=4124 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194299729056 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194298675952 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13980732 memory=288230604624101684 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13980732 memory=14408207351153925 CPUtime=0.24 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 1296 0 0 0 24 0 0 0 20 0 15 0 20290265 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13980732 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 1362 0 0 0 26 0 0 0 20 0 15 0 20290265 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13980732 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 1699 0 0 0 28 0 0 0 20 0 15 0 20290265 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 20290270 14316269568 26415 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
################
# More data... #
################
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194298675968 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13980732 memory=4124 CPUtime=4.74 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 22635 0 0 0 471 3 0 0 20 0 15 0 20290265 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13980732 memory=14280 CPUtime=4.96 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 21104 0 0 0 493 3 0 0 20 0 15 0 20290265 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13980732 memory=1292 CPUtime=0.91 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 10700 0 0 0 89 2 0 0 20 0 15 0 20290265 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13980732 memory=7680170660397595203 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13980732 memory=1236 CPUtime=1.23 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 993 0 0 0 63 60 0 0 20 0 15 0 20290270 14316269568 160008 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 2450.23 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 641412 KiB
[startup+2442.3 s]
/proc/loadavg: 1.67 1.47 1.44 3/211 9656
/proc/meminfo: memFree=30698492/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13980732 memory=594920 CPUtime=2511.29 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 235764 0 0 0 250703 426 0 0 20 0 15 0 20290260 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3495183 148730 3255 1 0 3483476 0
[pid=9393/tid=9394] ppid=9391 vsize=13980732 memory=579868 CPUtime=2420.08 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 68798 0 0 0 241991 17 0 0 20 0 15 0 20290260 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194826665840 140194467286506 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13980732 memory=579868 CPUtime=19.39 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 19537 0 0 0 1855 84 0 0 20 0 15 0 20290261 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.41 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 19188 0 0 0 1858 83 0 0 20 0 15 0 20290261 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.39 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 18966 0 0 0 1858 81 0 0 20 0 15 0 20290261 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.43 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 18743 0 0 0 1859 84 0 0 20 0 15 0 20290261 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13980732 memory=579868 CPUtime=1.63 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 33700 0 0 0 140 23 0 0 20 0 15 0 20290262 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13980732 memory=579868 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194299729120 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13980732 memory=594920 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194298675968 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13980732 memory=649748 CPUtime=4.74 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 22637 0 0 0 471 3 0 0 20 0 15 0 20290265 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13980732 memory=579868 CPUtime=4.96 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 21106 0 0 0 493 3 0 0 20 0 15 0 20290265 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 10703 0 0 0 89 2 0 0 20 0 15 0 20290265 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13980732 memory=579868 CPUtime=1.26 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1014 0 0 0 65 61 0 0 20 0 15 0 20290270 14316269568 148730 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 2511.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 596300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2450.7 s]
/proc/loadavg: 1.72 1.49 1.44 3/211 9656
/proc/meminfo: memFree=30614028/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13980732 memory=628836 CPUtime=2520.09 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 240013 0 0 0 251578 431 0 0 20 0 15 0 20290260 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3495183 157209 3255 1 0 3483476 0
[pid=9393/tid=9394] ppid=9391 vsize=13980732 memory=1380 CPUtime=2428.33 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 72105 0 0 0 242816 17 0 0 20 0 15 0 20290260 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194826662672 140194467328098 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13980732 memory=628836 CPUtime=19.53 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 19782 0 0 0 1868 85 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13980732 memory=617572 CPUtime=19.53 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 19244 0 0 0 1869 84 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.52 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 19008 0 0 0 1870 82 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.57 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 18798 0 0 0 1872 85 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13980732 memory=617572 CPUtime=1.63 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 34242 0 0 0 140 23 0 0 20 0 15 0 20290262 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194299729120 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13980732 memory=628836 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194298675968 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13980732 memory=628836 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13980732 memory=1380 CPUtime=4.74 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 22637 0 0 0 471 3 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13980732 memory=628836 CPUtime=4.96 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 21106 0 0 0 493 3 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 10703 0 0 0 89 2 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13980732 memory=649748 CPUtime=1.27 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1016 0 0 0 65 62 0 0 20 0 15 0 20290270 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 630216 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2450.71 s]
# the end of solver process 9391 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001739 s, system=0.000908 s
[startup+2450.71 s]
# the end of solver process 9393 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.8 s, system=4.32353 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+2450.7 s]
/proc/loadavg: 1.72 1.49 1.44 3/211 9656
/proc/meminfo: memFree=30614028/32770624 swapFree=67108860/67108860
[pid=9391] ppid=9388 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9391/stat : 9391 (xcsp3-exec) S 9388 9391 17292 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 20290249 9740288 345 18446744073709551615 4194304 5098028 140735516989456 140735516987560 140401798091388 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 10 0 0 7196144 7232144 37908480 140735516991865 140735516992070 140735516992070 140735516995563 0
/proc/9391/statm: 2378 345 289 221 0 87 0
[pid=9393] ppid=9391 vsize=13980732 memory=628836 CPUtime=2520.09 cores=0,2,4,6
/proc/9393/stat : 9393 (java) S 9391 9391 17292 0 -1 1077944320 240013 0 0 0 251578 431 0 0 20 0 15 0 20290260 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140726593763712 140194822426359 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
/proc/9393/statm: 3495183 157209 3255 1 0 3483476 0
[pid=9393/tid=9394] ppid=9391 vsize=13980732 memory=1380 CPUtime=2428.33 cores=0,2,4,6
/proc/9393/task/9394/stat : 9394 (java) R 9391 9391 17292 0 -1 4202560 72105 0 0 0 242816 17 0 0 20 0 15 0 20290260 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194826662672 140194467328098 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9395] ppid=9391 vsize=13980732 memory=628836 CPUtime=19.53 cores=0,2,4,6
/proc/9393/task/9395/stat : 9395 (java) S 9391 9391 17292 0 -1 1077944384 19782 0 0 0 1868 85 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194422647824 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9396] ppid=9391 vsize=13980732 memory=617572 CPUtime=19.53 cores=0,2,4,6
/proc/9393/task/9396/stat : 9396 (java) S 9391 9391 17292 0 -1 1077944384 19244 0 0 0 1869 84 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194421595280 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9397] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.52 cores=0,2,4,6
/proc/9393/task/9397/stat : 9397 (java) S 9391 9391 17292 0 -1 1077944384 19008 0 0 0 1870 82 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194420542224 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9398] ppid=9391 vsize=13980732 memory=563132 CPUtime=19.57 cores=0,2,4,6
/proc/9393/task/9398/stat : 9398 (java) S 9391 9391 17292 0 -1 1077944384 18798 0 0 0 1872 85 0 0 20 0 15 0 20290261 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194419489680 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9399] ppid=9391 vsize=13980732 memory=617572 CPUtime=1.63 cores=0,2,4,6
/proc/9393/task/9399/stat : 9399 (java) S 9391 9391 17292 0 -1 1077944384 34242 0 0 0 140 23 0 0 20 0 15 0 20290262 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194300782832 140194822437506 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9400] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9400/stat : 9400 (java) S 9391 9391 17292 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194299729120 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9401] ppid=9391 vsize=13980732 memory=628836 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9401/stat : 9401 (java) S 9391 9391 17292 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 20290263 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194298675968 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9402] ppid=9391 vsize=13980732 memory=628836 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9402/stat : 9402 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194297624528 140194822444955 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9403] ppid=9391 vsize=13980732 memory=1380 CPUtime=4.74 cores=0,2,4,6
/proc/9393/task/9403/stat : 9403 (java) S 9391 9391 17292 0 -1 1077944384 22637 0 0 0 471 3 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194296572656 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9404] ppid=9391 vsize=13980732 memory=628836 CPUtime=4.96 cores=0,2,4,6
/proc/9393/task/9404/stat : 9404 (java) S 9391 9391 17292 0 -1 1077944384 21106 0 0 0 493 3 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194295520112 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9405] ppid=9391 vsize=13980732 memory=1380 CPUtime=0.91 cores=0,2,4,6
/proc/9393/task/9405/stat : 9405 (java) S 9391 9391 17292 0 -1 1077944384 10703 0 0 0 89 2 0 0 20 0 15 0 20290265 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194294467056 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9406] ppid=9391 vsize=13980732 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/9393/task/9406/stat : 9406 (java) S 9391 9391 17292 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 20290266 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194293414752 140194822436565 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
[pid=9393/tid=9407] ppid=9391 vsize=13980732 memory=649748 CPUtime=1.27 cores=0,2,4,6
/proc/9393/task/9407/stat : 9407 (java) S 9391 9391 17292 0 -1 1077944384 1016 0 0 0 65 62 0 0 20 0 15 0 20290270 14316269568 157209 18446744073709551615 4194304 4196468 140726593781168 140194292361776 140194822437506 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37400576 140726593786290 140726593786466 140726593786466 140726593789903 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 630216 KiB
Child status: 143
Real time (s): 2450.71
CPU time (s): 2520.12
CPU user time (s): 2515.8
CPU system time (s): 4.32353
CPU usage (%): 102.832
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 699812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.8
system time used= 4.32353
maximum resident set size= 698432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 240659
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 80834
involuntary context switches= 5240
# summary of solver processes directly reported to runsolver:
# pid: 9391,9393
# total CPU time (s): 2520.12
# total CPU user time (s): 2515.8
# total CPU system time (s): 4.32353
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.3902 second user time and 24.4581 second system time
The end