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 (14061 MiB free)
memory of node 1: 16384 MiB (13388 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405810-1569410040/watcher-4405810-1569410040 -o /var/tmp/evaluation-result-4405810-1569410040/solver-4405810-1569410040 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node107-1569405077-8297 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1581621462 HOME/instance-4405810-1569410040.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=8708, runsolver pid=8705
Current StackSize limit: 8192 KiB
[startup+0.10014 s]*
/proc/loadavg: 1.36 1.42 1.28 4/229 8724
/proc/meminfo: memFree=28092172/32770624 swapFree=66954228/67108860
[pid=8708] ppid=8705 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (xcsp3-exec) S 8705 8708 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517259240 115843072 363 33554432000 4194304 5098028 140733268993088 140733268991192 140445554377340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140733268996950 140733268997209 140733268997209 140733269000134 0
/proc/8708/statm: 28282 363 304 221 0 87 0
[pid=8710] ppid=8708 vsize=15144776 memory=29940 CPUtime=0.13 cores=1,3,5,7
/proc/8710/stat : 8710 (java) S 8708 8708 8265 0 -1 1077944320 5447 0 0 0 12 1 0 0 20 0 15 0 517259240 15508250624 7485 33554432000 4194304 4196468 140724818058432 140724818040976 140383919398647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
/proc/8710/statm: 3786194 7485 3136 1 0 3748377 0
[pid=8710/tid=8711] ppid=8708 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/8710/task/8711/stat : 8711 (java) R 8708 8708 8265 0 -1 4202560 3348 0 0 0 8 1 0 0 20 0 15 0 517259240 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383923626992 140383911635774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8712] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8712/stat : 8712 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383831054736 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8713] ppid=8708 vsize=15144776 memory=140189120381519 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8713/stat : 8713 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383830001936 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8714] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8714/stat : 8714 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383828949648 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8715] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8715/stat : 8715 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383827896848 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8716] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8716/stat : 8716 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259242 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383387933296 140383919409794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8717] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8717/stat : 8717 (java) S 8708 8708 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517259243 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383386879264 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8718] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8718/stat : 8718 (java) S 8708 8708 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517259243 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383385826928 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8719] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8719/stat : 8719 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383384775248 140383919417243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8720] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8720/stat : 8720 (java) S 8708 8708 8265 0 -1 1077944384 351 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383383722096 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8721] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8721/stat : 8721 (java) S 8708 8708 8265 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383382669296 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8722] ppid=8708 vsize=15144776 memory=140189116995200 CPUtime=0.02 cores=1,3,5,7
/proc/8710/task/8722/stat : 8722 (java) R 8708 8708 8265 0 -1 4202560 319 0 0 0 2 0 0 0 20 0 15 0 517259245 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383381617008 140383919410582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8723] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8723/stat : 8723 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383380564448 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8724] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8724/stat : 8724 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259246 15508250624 7485 33554432000 4194304 4196468 140724818058432 140383379512240 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31392 KiB
[startup+0.210831 s]*
/proc/loadavg: 1.36 1.42 1.28 3/229 8724
/proc/meminfo: memFree=28079328/32770624 swapFree=66954228/67108860
[pid=8708] ppid=8705 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (xcsp3-exec) S 8705 8708 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517259240 115843072 363 33554432000 4194304 5098028 140733268993088 140733268991192 140445554377340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140733268996950 140733268997209 140733268997209 140733269000134 0
/proc/8708/statm: 28282 363 304 221 0 87 0
[pid=8710] ppid=8708 vsize=15144776 memory=41312 CPUtime=0.34 cores=1,3,5,7
/proc/8710/stat : 8710 (java) S 8708 8708 8265 0 -1 1077944320 9014 0 0 0 32 2 0 0 20 0 15 0 517259240 15508250624 10328 33554432000 4194304 4196468 140724818058432 140724818040976 140383919398647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
/proc/8710/statm: 3786194 10328 3309 1 0 3748377 0
[pid=8710/tid=8711] ppid=8708 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/8710/task/8711/stat : 8711 (java) R 8708 8708 8265 0 -1 4202560 6158 0 0 0 18 2 0 0 20 0 15 0 517259240 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383923636592 140383903708504 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8712] ppid=8708 vsize=15144776 memory=10594 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8712/stat : 8712 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383831054736 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8713] ppid=8708 vsize=15144776 memory=3833608585649657504 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8713/stat : 8713 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383830001936 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8714] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8714/stat : 8714 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383828949648 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8715] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8715/stat : 8715 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383827896848 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8716] ppid=8708 vsize=15144776 memory=140189116995200 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8716/stat : 8716 (java) S 8708 8708 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517259242 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383387933296 140383919409794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8717] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8717/stat : 8717 (java) S 8708 8708 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517259243 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383386879264 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8718] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8718/stat : 8718 (java) S 8708 8708 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517259243 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383385826928 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8719] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8719/stat : 8719 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383384775248 140383919417243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8720] ppid=8708 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/8710/task/8720/stat : 8720 (java) S 8708 8708 8265 0 -1 1077944384 430 0 0 0 2 0 0 0 20 0 15 0 517259245 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383383722096 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8721] ppid=8708 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/8710/task/8721/stat : 8721 (java) S 8708 8708 8265 0 -1 1077944384 377 0 0 0 2 0 0 0 20 0 15 0 517259245 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383382669296 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8722] ppid=8708 vsize=15144776 memory=140189116995200 CPUtime=0.08 cores=1,3,5,7
/proc/8710/task/8722/stat : 8722 (java) S 8708 8708 8265 0 -1 1077944384 740 0 0 0 8 0 0 0 20 0 15 0 517259245 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383381617008 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8723] ppid=8708 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8723/stat : 8723 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383380564448 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8724] ppid=8708 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8724/stat : 8724 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259246 15508250624 10328 33554432000 4194304 4196468 140724818058432 140383379512240 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42764 KiB
[startup+0.310646 s]*
/proc/loadavg: 1.36 1.42 1.28 5/229 8724
/proc/meminfo: memFree=28072548/32770624 swapFree=66954228/67108860
[pid=8708] ppid=8705 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (xcsp3-exec) S 8705 8708 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517259240 115843072 363 33554432000 4194304 5098028 140733268993088 140733268991192 140445554377340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140733268996950 140733268997209 140733268997209 140733269000134 0
/proc/8708/statm: 28282 363 304 221 0 87 0
[pid=8710] ppid=8708 vsize=15149032 memory=50200 CPUtime=0.53 cores=1,3,5,7
/proc/8710/stat : 8710 (java) S 8708 8708 8265 0 -1 1077944320 10433 0 0 0 50 3 0 0 20 0 15 0 517259240 15512608768 12550 33554432000 4194304 4196468 140724818058432 140724818040976 140383919398647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
/proc/8710/statm: 3787258 12550 3356 1 0 3748377 0
[pid=8710/tid=8711] ppid=8708 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/8710/task/8711/stat : 8711 (java) R 8708 8708 8265 0 -1 4202560 7350 0 0 0 27 3 0 0 20 0 15 0 517259240 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383923629760 140383903479134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8712] ppid=8708 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8712/stat : 8712 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383831054736 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8713] ppid=8708 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8713/stat : 8713 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383830001936 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8714] ppid=8708 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8714/stat : 8714 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259241 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383828949648 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8715] ppid=8708 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8715/stat : 8715 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383827896848 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8716] ppid=8708 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8716/stat : 8716 (java) S 8708 8708 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517259242 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383387933296 140383919409794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8717] ppid=8708 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8717/stat : 8717 (java) S 8708 8708 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517259243 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383386879264 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8718] ppid=8708 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8718/stat : 8718 (java) S 8708 8708 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517259243 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383385826928 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8719] ppid=8708 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8719/stat : 8719 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383384775248 140383919417243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8720] ppid=8708 vsize=15149032 memory=-8412656567168561567 CPUtime=0.04 cores=1,3,5,7
/proc/8710/task/8720/stat : 8720 (java) S 8708 8708 8265 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 517259245 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383383722096 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8721] ppid=8708 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8710/task/8721/stat : 8721 (java) S 8708 8708 8265 0 -1 1077944384 497 0 0 0 5 0 0 0 20 0 15 0 517259245 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383382669296 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8722] ppid=8708 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8710/task/8722/stat : 8722 (java) S 8708 8708 8265 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 517259245 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383381617008 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8723] ppid=8708 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8723/stat : 8723 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383380564448 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8724] ppid=8708 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8724/stat : 8724 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259246 15512608768 12550 33554432000 4194304 4196468 140724818058432 140383379512240 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51652 KiB
[startup+0.585564 s]
# the end of solver process 8708 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.17911 s, system=0.064201 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.41045 s]*
/proc/loadavg: 1.36 1.42 1.28 5/229 8724
/proc/meminfo: memFree=28067916/32770624 swapFree=66954228/67108860
[pid=8708] ppid=8705 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (xcsp3-exec) S 8705 8708 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517259240 115843072 363 33554432000 4194304 5098028 140733268993088 140733268991192 140445554377340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140733268996950 140733268997209 140733268997209 140733269000134 0
/proc/8708/statm: 28282 363 304 221 0 87 0
[pid=8710] ppid=8708 vsize=15151156 memory=55756 CPUtime=0.72 cores=1,3,5,7
/proc/8710/stat : 8710 (java) S 8708 8708 8265 0 -1 1077944320 11668 0 0 0 68 4 0 0 20 0 15 0 517259240 15514783744 13939 33554432000 4194304 4196468 140724818058432 140724818040976 140383919398647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
/proc/8710/statm: 3787789 13939 3414 1 0 3748889 0
[pid=8710/tid=8711] ppid=8708 vsize=15151156 memory=7883960649037381690 CPUtime=0.39 cores=1,3,5,7
/proc/8710/task/8711/stat : 8711 (java) R 8708 8708 8265 0 -1 4202560 8305 0 0 0 36 3 0 0 20 0 15 0 517259240 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383923633584 140383919420573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8712] ppid=8708 vsize=15151156 memory=11146 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8712/stat : 8712 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383831054736 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8713] ppid=8708 vsize=15151156 memory=4121698772684374048 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8713/stat : 8713 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383830001936 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8714] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8714/stat : 8714 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383828949648 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8715] ppid=8708 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8715/stat : 8715 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383827896848 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8716] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8716/stat : 8716 (java) S 8708 8708 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517259242 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383387933296 140383919409794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8717] ppid=8708 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8717/stat : 8717 (java) S 8708 8708 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517259243 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383386879264 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8718] ppid=8708 vsize=15151156 memory=140189116995200 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8718/stat : 8718 (java) S 8708 8708 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517259243 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383385826928 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8719] ppid=8708 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8719/stat : 8719 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383384775248 140383919417243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8720] ppid=8708 vsize=15151156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/8710/task/8720/stat : 8720 (java) R 8708 8708 8265 0 -1 4202560 499 0 0 0 5 0 0 0 20 0 15 0 517259245 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383383711360 140383903795464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8721] ppid=8708 vsize=15151156 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8710/task/8721/stat : 8721 (java) R 8708 8708 8265 0 -1 1077944384 519 0 0 0 8 0 0 0 20 0 15 0 517259245 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383382669392 140383919408853 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8722] ppid=8708 vsize=15151156 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/8710/task/8722/stat : 8722 (java) R 8708 8708 8265 0 -1 4202560 1042 0 0 0 17 0 0 0 20 0 15 0 517259245 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383381613176 140383912495483 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8723] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8723/stat : 8723 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383380564448 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8724] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8724/stat : 8724 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259246 15514783744 13939 33554432000 4194304 4196468 140724818058432 140383379512240 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
Current children cumulated CPU time: 0.72 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 57208 KiB
[startup+0.510739 s]*
/proc/loadavg: 1.36 1.42 1.28 6/229 8724
/proc/meminfo: memFree=28055636/32770624 swapFree=66954228/67108860
[pid=8708] ppid=8705 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/8708/stat : 8708 (xcsp3-exec) S 8705 8708 8265 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517259240 115843072 363 33554432000 4194304 5098028 140733268993088 140733268991192 140445554377340 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34623488 140733268996950 140733268997209 140733268997209 140733269000134 0
/proc/8708/statm: 28282 363 304 221 0 87 0
[pid=8710] ppid=8708 vsize=15151156 memory=70136 CPUtime=1.06 cores=1,3,5,7
/proc/8710/stat : 8710 (java) S 8708 8708 8265 0 -1 1077944320 13641 0 0 0 101 5 0 0 20 0 15 0 517259240 15514783744 17534 33554432000 4194304 4196468 140724818058432 140724818040976 140383919398647 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
/proc/8710/statm: 3787789 17534 3444 1 0 3748889 0
[pid=8710/tid=8711] ppid=8708 vsize=15151156 memory=8317482817917895235 CPUtime=0.5 cores=1,3,5,7
/proc/8710/task/8711/stat : 8711 (java) R 8708 8708 8265 0 -1 4202560 8492 0 0 0 46 4 0 0 20 0 15 0 517259240 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383923632768 140383507027039 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8712] ppid=8708 vsize=15151156 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8712/stat : 8712 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383831054736 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8713] ppid=8708 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8713/stat : 8713 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383830001936 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8714] ppid=8708 vsize=15151156 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8714/stat : 8714 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383828949648 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8715] ppid=8708 vsize=15151156 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8715/stat : 8715 (java) S 8708 8708 8265 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517259241 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383827896848 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8716] ppid=8708 vsize=15151156 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8716/stat : 8716 (java) S 8708 8708 8265 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517259242 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383387933296 140383919409794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8717] ppid=8708 vsize=15151156 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8717/stat : 8717 (java) S 8708 8708 8265 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517259243 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383386879264 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8718] ppid=8708 vsize=15151156 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8718/stat : 8718 (java) S 8708 8708 8265 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517259243 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383385826928 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8719] ppid=8708 vsize=15151156 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8719/stat : 8719 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383384775248 140383919417243 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8720] ppid=8708 vsize=15151156 memory=-8412656567168561567 CPUtime=0.14 cores=1,3,5,7
/proc/8710/task/8720/stat : 8720 (java) R 8708 8708 8265 0 -1 4202560 957 0 0 0 14 0 0 0 20 0 15 0 517259245 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383383715288 140383903791996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8721] ppid=8708 vsize=15151156 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8710/task/8721/stat : 8721 (java) R 8708 8708 8265 0 -1 4202560 1036 0 0 0 14 0 0 0 20 0 15 0 517259245 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383382655320 140383904522652 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8722] ppid=8708 vsize=15151156 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8710/task/8722/stat : 8722 (java) R 8708 8708 8265 0 -1 4202560 1846 0 0 0 24 0 0 0 20 0 15 0 517259245 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383381612368 140383898317236 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8723] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8723/stat : 8723 (java) S 8708 8708 8265 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517259245 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383380564448 140383919408853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
[pid=8710/tid=8724] ppid=8708 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/8710/task/8724/stat : 8724 (java) S 8708 8708 8265 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517259246 15514783744 17534 33554432000 4194304 4196468 140724818058432 140383379512240 140383919409794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14745600 140724818060251 140724818060426 140724818060426 140724818063311 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 71588 KiB
Child status: 0
Real time (s): 0.58561
CPU time (s): 1.24331
CPU user time (s): 1.17911
CPU system time (s): 0.064201
CPU usage (%): 212.31
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 71588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.17911
system time used= 0.064201
maximum resident set size= 75132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14809
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1267
involuntary context switches= 8
# summary of solver processes directly reported to runsolver:
# pid: 8708
# total CPU time (s): 1.24331
# total CPU user time (s): 1.17911
# total CPU system time (s): 0.064201
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031555 second user time and 0.043388 second system time
The end