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 (13761 MiB free)
memory of node 1: 16384 MiB (3526 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398881-1568699942/watcher-4398881-1568699942 -o /tmp/evaluation-result-4398881-1568699942/solver-4398881-1568699942 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node147-1568698283-25924 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1248231050 HOME/instance-4398881-1568699942.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=27084, runsolver pid=27081
Current StackSize limit: 8192 KiB
[startup+0.100058 s]*
/proc/loadavg: 8.00 7.18 6.15 8/229 27100
/proc/meminfo: memFree=17685816/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15144776 memory=29888 CPUtime=0.13 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 5854 0 0 0 12 1 0 0 20 0 15 0 445908065 15508250624 7472 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3786194 7472 3211 1 0 3748377 0
[pid=27086/tid=27087] ppid=27084 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 3730 0 0 0 8 1 0 0 20 0 15 0 445908066 15508250624 7472 33554432000 4194304 4196468 140735146156272 139628164061392 139628159853146 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908068 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445908068 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627627218208 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445908069 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627626165872 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) R 27084 27084 25893 0 -1 1077944384 462 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) R 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0.02 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) R 27084 27084 25893 0 -1 4202560 355 0 0 0 2 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627621955952 139628159853146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 7472 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31340 KiB
[startup+0.211726 s]*
/proc/loadavg: 8.00 7.18 6.15 6/229 27100
/proc/meminfo: memFree=17672668/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15144776 memory=41160 CPUtime=0.34 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 9486 0 0 0 31 3 0 0 20 0 15 0 445908065 15508250624 10290 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3786194 10290 3325 1 0 3748377 0
[pid=27086/tid=27087] ppid=27084 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 6651 0 0 0 18 2 0 0 20 0 15 0 445908066 15508250624 10290 33554432000 4194304 4196468 140735146156272 139628164065264 139627793034469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15144776 memory=8955 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15144776 memory=3616587885537842848 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445908068 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445908068 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627627218208 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445908069 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627626165872 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 703 0 0 0 3 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) S 27084 27084 25893 0 -1 1077944384 68 0 0 0 1 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15144776 memory=139981682300544 CPUtime=0.08 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) R 27084 27084 25893 0 -1 4202560 756 0 0 0 8 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627621955952 139628159843734 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908071 15508250624 10290 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42612 KiB
[startup+0.310546 s]*
/proc/loadavg: 8.00 7.18 6.15 8/229 27100
/proc/meminfo: memFree=17666316/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15149032 memory=50308 CPUtime=0.53 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 10889 0 0 0 49 4 0 0 20 0 15 0 445908065 15512608768 12577 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3787258 12577 3368 1 0 3748377 0
[pid=27086/tid=27087] ppid=27084 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 7839 0 0 0 27 3 0 0 20 0 15 0 445908066 15512608768 12577 33554432000 4194304 4196468 140735146156272 139628164062912 139628159853725 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908067 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15149032 memory=7089274314207166114 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445908067 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445908068 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445908068 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627627218208 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445908069 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627626165872 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 823 0 0 0 5 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) S 27084 27084 25893 0 -1 1077944384 83 0 0 0 3 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) S 27084 27084 25893 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627621955952 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908071 15512608768 12577 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51760 KiB
[startup+0.703157 s]
/proc/loadavg: 8.00 7.18 6.15 8/229 27100
/proc/meminfo: memFree=17639348/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15151156 memory=196484 CPUtime=1.64 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 13705 0 0 0 157 7 0 0 20 0 15 0 445908065 15514783744 49121 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3787789 49121 3440 1 0 3748889 0
[pid=27086/tid=27087] ppid=27084 vsize=15151156 memory=48356 CPUtime=0.67 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) S 27084 27084 25893 0 -1 1077944384 8381 0 0 0 63 4 0 0 20 0 15 0 445908066 15514783744 49121 33554432000 4194304 4196468 140735146156272 139628164068512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15151156 memory=2020 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 445908067 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 445908067 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15151156 memory=1368 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 445908067 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15151156 memory=1056 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) R 27084 27084 25893 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 445908067 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15151156 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) R 27084 27084 25893 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627628270752 139628152928667 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15151156 memory=6032 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627627218208 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15151156 memory=11416 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445908069 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627626165872 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15151156 memory=776 CPUtime=0.34 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 1615 0 0 0 34 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627624045136 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15151156 memory=1560 CPUtime=0.32 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) R 27084 27084 25893 0 -1 4202560 895 0 0 0 32 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627622994264 139628141375572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15151156 memory=4040 CPUtime=0.24 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) S 27084 27084 25893 0 -1 1077944384 1460 0 0 0 24 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627621955952 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15151156 memory=1124 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 49121 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 197936 KiB
[startup+1.5009 s]
/proc/loadavg: 8.08 7.21 6.16 6/229 27100
/proc/meminfo: memFree=17461552/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15151156 memory=462964 CPUtime=3.44 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 15318 0 0 0 313 31 0 0 20 0 15 0 445908065 15514783744 115741 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3787789 115741 3482 1 0 3748889 0
[pid=27086/tid=27087] ppid=27084 vsize=15151156 memory=7307482201391194987 CPUtime=1.35 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 8772 0 0 0 129 6 0 0 20 0 15 0 445908066 15514783744 115741 33554432000 4194304 4196468 140735146156272 139628164066336 139627796925855 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15151156 memory=6011290023697539171 CPUtime=0.1 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 171 0 0 0 5 5 0 0 20 0 15 0 445908067 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15151156 memory=508685634 CPUtime=0.11 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 146 0 0 0 6 5 0 0 20 0 15 0 445908067 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15151156 memory=139981574255444 CPUtime=0.11 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 151 0 0 0 6 5 0 0 20 0 15 0 445908067 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15151156 memory=279963148463472 CPUtime=0.11 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 148 0 0 0 5 6 0 0 20 0 15 0 445908067 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 208 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627627218272 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445908069 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627626165888 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15151156 memory=825241649 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15151156 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 1702 0 0 0 61 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15151156 memory=279963148252664 CPUtime=0.59 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) S 27084 27084 25893 0 -1 1077944384 994 0 0 0 59 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15151156 memory=279963148309680 CPUtime=0.38 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) S 27084 27084 25893 0 -1 1077944384 1727 0 0 0 38 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627621955952 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 115741 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 3.44 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 464416 KiB
[startup+3.11351 s]
/proc/loadavg: 8.08 7.21 6.16 9/229 27100
/proc/meminfo: memFree=16693260/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15151156 memory=1024312 CPUtime=6.97 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 19042 0 0 0 618 79 0 0 20 0 15 0 445908065 15514783744 256078 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3787789 256078 3498 1 0 3748889 0
[pid=27086/tid=27087] ppid=27084 vsize=15151156 memory=896360 CPUtime=2.14 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 9156 0 0 0 205 9 0 0 20 0 15 0 445908066 15514783744 256078 33554432000 4194304 4196468 140735146156272 139628164070120 139627793294892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15151156 memory=6791534058613427641 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 443 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15151156 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 1005 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15151156 memory=139981574142944 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 695 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15151156 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 730 0 0 0 53 17 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15151156 memory=53 CPUtime=0.21 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 1107 0 0 0 21 0 0 0 20 0 15 0 445908068 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627627218272 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445908069 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627626165888 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15151156 memory=60 CPUtime=0.64 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 1723 0 0 0 64 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15151156 memory=60 CPUtime=0.61 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) S 27084 27084 25893 0 -1 1077944384 1005 0 0 0 61 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15151156 memory=5087 CPUtime=0.44 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) S 27084 27084 25893 0 -1 1077944384 1877 0 0 0 44 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627621955952 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15151156 memory=139981574185953 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15151156 memory=279963148225840 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 6.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1025764 KiB
[startup+3.45695 s]
# the end of solver process 27084 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.69219 s, system=0.819946 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.11351 s]
/proc/loadavg: 8.08 7.21 6.16 9/229 27100
/proc/meminfo: memFree=16693260/32770624 swapFree=66917056/67108860
[pid=27084] ppid=27081 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27084/stat : 27084 (xcsp3-exec) S 27081 27084 25893 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445908065 115843072 363 33554432000 4194304 5098028 140730625430624 140730625428728 140416316891772 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 29876224 140730625438586 140730625438829 140730625438829 140730625441738 0
/proc/27084/statm: 28282 363 304 221 0 87 0
[pid=27086] ppid=27084 vsize=15151156 memory=1024312 CPUtime=6.97 cores=0,2,4,6
/proc/27086/stat : 27086 (java) S 27084 27084 25893 0 -1 1077944320 19042 0 0 0 618 79 0 0 20 0 15 0 445908065 15514783744 256078 33554432000 4194304 4196468 140735146156272 140735146138816 139628159831799 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
/proc/27086/statm: 3787789 256078 3498 1 0 3748889 0
[pid=27086/tid=27087] ppid=27084 vsize=15151156 memory=896360 CPUtime=2.14 cores=0,2,4,6
/proc/27086/task/27087/stat : 27087 (java) R 27084 27084 25893 0 -1 4202560 9156 0 0 0 205 9 0 0 20 0 15 0 445908066 15514783744 256078 33554432000 4194304 4196468 140735146156272 139628164070120 139627793294892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27088] ppid=27084 vsize=15151156 memory=6791534058613427641 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27088/stat : 27088 (java) S 27084 27084 25893 0 -1 1077944384 443 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627751987600 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27089] ppid=27084 vsize=15151156 memory=0 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27089/stat : 27089 (java) S 27084 27084 25893 0 -1 1077944384 1005 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627750934800 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27090] ppid=27084 vsize=15151156 memory=139981574142944 CPUtime=0.71 cores=0,2,4,6
/proc/27086/task/27090/stat : 27090 (java) S 27084 27084 25893 0 -1 1077944384 695 0 0 0 55 16 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627749882512 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27091] ppid=27084 vsize=15151156 memory=0 CPUtime=0.7 cores=0,2,4,6
/proc/27086/task/27091/stat : 27091 (java) S 27084 27084 25893 0 -1 1077944384 730 0 0 0 53 17 0 0 20 0 15 0 445908067 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627748829712 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27092] ppid=27084 vsize=15151156 memory=53 CPUtime=0.21 cores=0,2,4,6
/proc/27086/task/27092/stat : 27092 (java) S 27084 27084 25893 0 -1 1077944384 1107 0 0 0 21 0 0 0 20 0 15 0 445908068 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627628272240 139628159842946 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27093] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27093/stat : 27093 (java) S 27084 27084 25893 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 445908068 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627627218272 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27094] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27094/stat : 27094 (java) S 27084 27084 25893 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 445908069 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627626165888 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27095] ppid=27084 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27095/stat : 27095 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627625114192 139628159850395 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27096] ppid=27084 vsize=15151156 memory=60 CPUtime=0.64 cores=0,2,4,6
/proc/27086/task/27096/stat : 27096 (java) S 27084 27084 25893 0 -1 1077944384 1723 0 0 0 64 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627624061040 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27097] ppid=27084 vsize=15151156 memory=60 CPUtime=0.61 cores=0,2,4,6
/proc/27086/task/27097/stat : 27097 (java) S 27084 27084 25893 0 -1 1077944384 1005 0 0 0 61 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627623008240 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27098] ppid=27084 vsize=15151156 memory=5087 CPUtime=0.44 cores=0,2,4,6
/proc/27086/task/27098/stat : 27098 (java) S 27084 27084 25893 0 -1 1077944384 1877 0 0 0 44 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627621955952 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27099] ppid=27084 vsize=15151156 memory=139981574185953 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27099/stat : 27099 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627620903392 139628159842005 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
[pid=27086/tid=27100] ppid=27084 vsize=15151156 memory=279963148225840 CPUtime=0 cores=0,2,4,6
/proc/27086/task/27100/stat : 27100 (java) S 27084 27084 25893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445908071 15514783744 256078 33554432000 4194304 4196468 140735146156272 139627619851184 139628159842946 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21577728 140735146165231 140735146165402 140735146165402 140735146168271 0
Current children cumulated CPU time: 6.97 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 1025764 KiB
Child status: 0
Real time (s): 3.45701
CPU time (s): 7.51214
CPU user time (s): 6.69219
CPU system time (s): 0.819946
CPU usage (%): 217.302
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 1025764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.69219
system time used= 0.819946
maximum resident set size= 1026332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2209
involuntary context switches= 94
# summary of solver processes directly reported to runsolver:
# pid: 27084
# total CPU time (s): 7.51214
# total CPU user time (s): 6.69219
# total CPU system time (s): 0.819946
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042047 second user time and 0.079227 second system time
The end