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 (7648 MiB free)
memory of node 1: 16384 MiB (9584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394171-1568330730/watcher-4394171-1568330730 -o /tmp/evaluation-result-4394171-1568330730/solver-4394171-1568330730 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18218 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1224094168 HOME/instance-4394171-1568330730.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=23141, runsolver pid=23138
[startup+0.100459 s]*
/proc/loadavg: 8.73 8.44 6.64 6/234 23157
/proc/meminfo: memFree=17628868/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15144768 memory=30028 CPUtime=0.12 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 5908 0 0 0 11 1 0 0 20 0 15 0 409013216 15508242432 7507 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3786192 7507 3154 1 0 3748377 0
[pid=23143/tid=23144] ppid=23141 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) R 23141 23141 18186 0 -1 4202560 3822 0 0 0 8 1 0 0 20 0 15 0 409013216 15508242432 7507 33554432000 4194304 4196468 140734947355760 139721192947600 139721188738205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15144768 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013218 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013219 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013219 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) R 23141 23141 18186 0 -1 4202560 436 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720652736496 139721174731292 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) R 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720651683952 139721188727426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0.02 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) R 23141 23141 18186 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 409013221 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720650631408 139721168185410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013222 15508242432 7507 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31476 KiB
[startup+0.210814 s]*
/proc/loadavg: 8.73 8.44 6.64 9/234 23157
/proc/meminfo: memFree=17616508/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15144768 memory=41044 CPUtime=0.34 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 9475 0 0 0 31 3 0 0 20 0 15 0 409013216 15508242432 10261 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3786192 10261 3301 1 0 3748377 0
[pid=23143/tid=23144] ppid=23141 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) R 23141 23141 18186 0 -1 4202560 6634 0 0 0 18 2 0 0 20 0 15 0 409013216 15508242432 10261 33554432000 4194304 4196468 140734947355760 139721192952976 139721188738205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15144768 memory=1965945 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15144768 memory=3688924912438281888 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013218 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013219 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013219 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) S 23141 23141 18186 0 -1 1077944384 517 0 0 0 2 0 0 0 20 0 15 0 409013221 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720652736496 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) S 23141 23141 18186 0 -1 1077944384 266 0 0 0 2 0 0 0 20 0 15 0 409013221 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720651683952 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15144768 memory=140125723231872 CPUtime=0.08 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) R 23141 23141 18186 0 -1 4202560 752 0 0 0 8 0 0 0 20 0 15 0 409013221 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720650631408 139721172796766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013222 15508242432 10261 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42492 KiB
[startup+0.310665 s]*
/proc/loadavg: 8.73 8.44 6.64 7/234 23157
/proc/meminfo: memFree=17609228/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15149024 memory=49968 CPUtime=0.54 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 10877 0 0 0 49 5 0 0 20 0 15 0 409013216 15512600576 12492 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3787256 12492 3350 1 0 3748377 0
[pid=23143/tid=23144] ppid=23141 vsize=15149024 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) R 23141 23141 18186 0 -1 4202560 7832 0 0 0 27 3 0 0 20 0 15 0 409013216 15512600576 12492 33554432000 4194304 4196468 140734947355760 139721192942896 139721172796766 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013218 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013219 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013219 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15149024 memory=4426078206164241782 CPUtime=0.03 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) S 23141 23141 18186 0 -1 1077944384 525 0 0 0 3 0 0 0 20 0 15 0 409013221 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720652736496 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) S 23141 23141 18186 0 -1 1077944384 381 0 0 0 5 0 0 0 20 0 15 0 409013221 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720651683952 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) S 23141 23141 18186 0 -1 1077944384 839 0 0 0 12 0 0 0 20 0 15 0 409013221 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720650631408 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013222 15512600576 12492 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51416 KiB
[startup+0.7014 s]
/proc/loadavg: 8.73 8.44 6.64 8/234 23157
/proc/meminfo: memFree=17592580/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15151148 memory=86492 CPUtime=1.67 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 14779 0 0 0 160 7 0 0 20 0 15 0 409013216 15514775552 21623 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3787787 21623 3453 1 0 3748889 0
[pid=23143/tid=23144] ppid=23141 vsize=15151148 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) R 23141 23141 18186 0 -1 4202560 9040 0 0 0 63 4 0 0 20 0 15 0 409013216 15514775552 21623 33554432000 4194304 4196468 140734947355760 139721192953432 139720806994287 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15151148 memory=-7816663703405220396 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15151148 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15151148 memory=1660 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013217 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15151148 memory=38304 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409013217 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15151148 memory=988 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409013218 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15151148 memory=2008 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409013219 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15151148 memory=1436 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409013219 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15151148 memory=580 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15151148 memory=1720 CPUtime=0.28 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) R 23141 23141 18186 0 -1 4202560 1333 0 0 0 28 0 0 0 20 0 15 0 409013221 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720652714816 139721181813155 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15151148 memory=10604 CPUtime=0.27 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) R 23141 23141 18186 0 -1 4202560 1094 0 0 0 27 0 0 0 20 0 15 0 409013221 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720651674784 139721170260036 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15151148 memory=3360 CPUtime=0.4 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) R 23141 23141 18186 0 -1 4202560 2004 0 0 0 40 0 0 0 20 0 15 0 409013221 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720650631408 139721181813115 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15151148 memory=776 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409013221 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409013222 15514775552 21623 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 87940 KiB
[startup+1.5014 s]
/proc/loadavg: 8.67 8.43 6.65 8/234 23157
/proc/meminfo: memFree=17526496/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15419452 memory=222124 CPUtime=4.32 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 25528 0 0 0 420 12 0 0 20 0 19 0 409013216 15789518848 55531 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3854863 55531 3482 1 0 3815965 0
[pid=23143/tid=23144] ppid=23141 vsize=15419452 memory=-7816663703405220396 CPUtime=1.35 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) S 23141 23141 18186 0 -1 1077944384 11705 0 0 0 129 6 0 0 20 0 19 0 409013216 15789518848 55531 33554432000 4194304 4196468 140734947355760 139721192957056 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15419452 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 19 0 409013217 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15419452 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 19 0 409013217 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15419452 memory=280251179649264 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 19 0 409013217 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15419452 memory=1966185 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 409013217 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15419452 memory=1967567 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 19 0 409013218 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 19 0 409013219 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 19 0 409013219 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013221 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15419452 memory=0 CPUtime=1.05 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) R 23141 23141 18186 0 -1 4202560 4208 0 0 0 104 1 0 0 20 0 19 0 409013221 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720652720832 139721173833436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15419452 memory=0 CPUtime=1.01 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) R 23141 23141 18186 0 -1 4202560 3965 0 0 0 101 0 0 0 20 0 19 0 409013221 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720651669920 139721167888514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15419452 memory=0 CPUtime=0.61 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) S 23141 23141 18186 0 -1 1077944384 3507 0 0 0 60 1 0 0 20 0 19 0 409013221 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720650631408 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15419452 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409013221 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15419452 memory=3620 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409013222 15789518848 55531 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 4.32 s
Current children cumulated vsize: 15532580 KiB
Current children cumulated memory: 223572 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+1.7044 s]
/proc/loadavg: 8.67 8.43 6.65 8/234 23157
/proc/meminfo: memFree=17526496/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15888608 memory=224648 CPUtime=5.11 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 26499 0 0 0 499 12 0 0 20 0 27 0 409013216 16269934592 56162 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3972152 56162 3494 1 0 3933254 0
[pid=23143/tid=23144] ppid=23141 vsize=15888608 memory=222124 CPUtime=1.35 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) S 23141 23141 18186 0 -1 1077944384 11720 0 0 0 129 6 0 0 20 0 27 0 409013216 16269934592 56162 33554432000 4194304 4196468 140734947355760 139721192957056 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15888608 memory=-7816663703405220396 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15888608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15888608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15888608 memory=280251179649264 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15888608 memory=1966185 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 27 0 409013218 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15888608 memory=1967567 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 27 0 409013219 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 27 0 409013219 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15888608 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) R 23141 23141 18186 0 -1 4202560 4428 0 0 0 118 1 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720652725856 139721167905728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15888608 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) R 23141 23141 18186 0 -1 4202560 4010 0 0 0 114 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720651670048 139721188737626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15888608 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) R 23141 23141 18186 0 -1 1077944384 3614 0 0 0 64 1 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720650631408 139721188727426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 409013222 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 16001736 KiB
Current children cumulated memory: 226096 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+1.72505 s]
# the end of solver process 23141 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00113 s, system=0.00113 s
[startup+1.74339 s]
# the end of solver process 23143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.07304 s, system=0.132292 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.7044 s]
/proc/loadavg: 8.67 8.43 6.65 8/234 23157
/proc/meminfo: memFree=17526496/32770624 swapFree=66959212/67108860
[pid=23141] ppid=23138 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23141/stat : 23141 (xcsp3-exec) S 23138 23141 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409013215 115843072 362 33554432000 4194304 5098028 140728646864048 140728646862152 139633223537276 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 32591872 140728646869882 140728646870125 140728646870125 140728646873034 0
/proc/23141/statm: 28282 362 304 221 0 87 0
[pid=23143] ppid=23141 vsize=15888608 memory=224648 CPUtime=5.11 cores=1,3,5,7
/proc/23143/stat : 23143 (java) S 23141 23141 18186 0 -1 1077944320 26499 0 0 0 499 12 0 0 20 0 27 0 409013216 16269934592 56162 33554432000 4194304 4196468 140734947355760 140734947338304 139721188716279 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
/proc/23143/statm: 3972152 56162 3494 1 0 3933254 0
[pid=23143/tid=23144] ppid=23141 vsize=15888608 memory=222124 CPUtime=1.35 cores=1,3,5,7
/proc/23143/task/23144/stat : 23144 (java) S 23141 23141 18186 0 -1 1077944384 11720 0 0 0 129 6 0 0 20 0 27 0 409013216 16269934592 56162 33554432000 4194304 4196468 140734947355760 139721192957056 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23145] ppid=23141 vsize=15888608 memory=-7816663703405220396 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23145/stat : 23145 (java) S 23141 23141 18186 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720781256976 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23146] ppid=23141 vsize=15888608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23146/stat : 23146 (java) S 23141 23141 18186 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720780204432 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23147] ppid=23141 vsize=15888608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23143/task/23147/stat : 23147 (java) S 23141 23141 18186 0 -1 1077944384 31 0 0 0 1 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720779151888 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23148] ppid=23141 vsize=15888608 memory=280251179649264 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23148/stat : 23148 (java) S 23141 23141 18186 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 27 0 409013217 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720778099344 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23149] ppid=23141 vsize=15888608 memory=1966185 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23149/stat : 23149 (java) S 23141 23141 18186 0 -1 1077944384 223 0 0 0 0 0 0 0 20 0 27 0 409013218 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720724503024 139721188727426 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23150] ppid=23141 vsize=15888608 memory=1967567 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23150/stat : 23150 (java) S 23141 23141 18186 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 27 0 409013219 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720723449248 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23151] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23151/stat : 23151 (java) S 23141 23141 18186 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 27 0 409013219 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720654841328 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23152] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23152/stat : 23152 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720653789904 139721188734875 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23153] ppid=23141 vsize=15888608 memory=0 CPUtime=1.19 cores=1,3,5,7
/proc/23143/task/23153/stat : 23153 (java) R 23141 23141 18186 0 -1 4202560 4428 0 0 0 118 1 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720652725856 139721167905728 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23154] ppid=23141 vsize=15888608 memory=0 CPUtime=1.14 cores=1,3,5,7
/proc/23143/task/23154/stat : 23154 (java) R 23141 23141 18186 0 -1 4202560 4010 0 0 0 114 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720651670048 139721188737626 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23155] ppid=23141 vsize=15888608 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/23143/task/23155/stat : 23155 (java) R 23141 23141 18186 0 -1 1077944384 3614 0 0 0 64 1 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720650631408 139721188727426 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23156] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23156/stat : 23156 (java) S 23141 23141 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 27 0 409013221 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720649579104 139721188726485 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
[pid=23143/tid=23157] ppid=23141 vsize=15888608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23143/task/23157/stat : 23157 (java) S 23141 23141 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 27 0 409013222 16269934592 56162 33554432000 4194304 4196468 140734947355760 139720648526640 139721188727426 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17715200 140734947361775 140734947361946 140734947361946 140734947364815 0
Current children cumulated CPU time: 5.11 s
Current children cumulated vsize: 16001736 KiB
Current children cumulated memory: 226096 KiB
Child status: 143
Real time (s): 1.74343
CPU time (s): 5.20533
CPU user time (s): 5.07304
CPU system time (s): 0.132292
CPU usage (%): 298.568
Max. virtual memory (cumulated for all children) (KiB): 16001736
Max. memory (cumulated for all children) (KiB): 226096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.07304
system time used= 0.132292
maximum resident set size= 225672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27219
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= 2315
involuntary context switches= 72
# summary of solver processes directly reported to runsolver:
# pid: 23141,23143
# total CPU time (s): 5.20533
# total CPU user time (s): 5.07304
# total CPU system time (s): 0.132292
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.034197 second user time and 0.059858 second system time
The end