runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4253933-1501616758/watcher-4253933-1501616758 -o /tmp/evaluation-result-4253933-1501616758/solver-4253933-1501616758 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node133-1501610528-5289 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 793943823 HOME/instance-4253933-1501616758.xml
pid=9697
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.07 1.96 1.90 3/201 9700
/proc/meminfo: memFree=26102480/32770624 swapFree=0/185012
[pid=9700] ppid=9697 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (runsolver) D 9697 9700 5228 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9491154 24240128 106 18446744073709551615 4194304 4338465 140725478390512 140725478388152 140538220958423 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 26259456 140725478395998 140725478396486 140725478396486 140725478399946 0
/proc/9700/statm: 5918 106 53 36 0 2156 0
[startup+0.100139 s]
/proc/loadavg: 2.07 1.96 1.90 3/201 9700
/proc/meminfo: memFree=26102480/32770624 swapFree=0/185012
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200315 s]
/proc/loadavg: 2.07 1.96 1.90 3/201 9700
/proc/meminfo: memFree=26102480/32770624 swapFree=0/185012
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.302553 s]
/proc/loadavg: 2.07 1.96 1.90 3/201 9700
/proc/meminfo: memFree=26102480/32770624 swapFree=0/185012
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706461 s]
/proc/loadavg: 2.07 1.96 1.90 3/201 9700
/proc/meminfo: memFree=26102480/32770624 swapFree=0/185012
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5015 s]
/proc/loadavg: 2.07 1.96 1.90 4/217 9716
/proc/meminfo: memFree=25966764/32770624 swapFree=0/185048
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=2.82 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 19775 0 0 0 272 10 0 0 20 0 15 0 9491163 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 50178 3201 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=1.28 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 9923 0 0 0 123 5 0 0 20 0 15 0 9491163 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671697149224 140671333678402 0 4 1 16800974 0 0 0 -1 7 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=0.57 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 2190 0 0 0 57 0 0 0 20 0 15 0 9491168 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=0.51 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) R 9700 9700 5228 0 -1 4202560 2150 0 0 0 50 1 0 0 20 0 15 0 9491168 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671165824528 140671671076808 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.34 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 3111 0 0 0 33 1 0 0 20 0 15 0 9491168 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9491178 14316269568 50178 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 13990244
[startup+3.1007 s]
/proc/loadavg: 2.07 1.96 1.90 3/217 9716
/proc/meminfo: memFree=25912092/32770624 swapFree=0/185048
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=4.87 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 20925 0 0 0 477 10 0 0 20 0 15 0 9491163 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 50543 3203 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=2.87 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 9928 0 0 0 282 5 0 0 20 0 15 0 9491163 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671697145968 140671338097027 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=0.79 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 3057 0 0 0 79 0 0 0 20 0 15 0 9491168 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=0.7 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 2354 0 0 0 69 1 0 0 20 0 15 0 9491168 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 3184 0 0 0 38 1 0 0 20 0 15 0 9491168 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 9491178 14316269568 50543 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 13990244
[startup+6.30073 s]
/proc/loadavg: 2.06 1.96 1.90 3/217 9716
/proc/meminfo: memFree=25910696/32770624 swapFree=0/185060
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=8.3 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 21436 0 0 0 819 11 0 0 20 0 15 0 9491163 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 50764 3208 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=6.07 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 9933 0 0 0 602 5 0 0 20 0 15 0 9491163 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671697145968 140671338096568 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=0.9 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 3144 0 0 0 90 0 0 0 20 0 15 0 9491168 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=0.8 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 2742 0 0 0 79 1 0 0 20 0 15 0 9491168 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.39 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 3189 0 0 0 38 1 0 0 20 0 15 0 9491168 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 9491178 14316269568 50764 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 8.3
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.06 1.96 1.90 3/217 9717
/proc/meminfo: memFree=25908712/32770624 swapFree=0/185068
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=15.04 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 25237 0 0 0 1493 11 0 0 20 0 15 0 9491163 14316269568 51228 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 51228 3210 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=12.47 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 10355 0 0 0 1242 5 0 0 20 0 15 0 9491163 14316269568 51228 18446744073709551615 4194304 4196468 140733080896288 140671697146600 140671338097116 0 4 1 16800974 0 0 0 -1 1 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 51228 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 51228 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
################
# More data... #
################
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=1.38 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 8709 0 0 0 137 1 0 0 20 0 15 0 9491168 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=1.2 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 6353 0 0 0 119 1 0 0 20 0 15 0 9491168 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.42 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 4023 0 0 0 41 1 0 0 20 0 15 0 9491168 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 536 0 0 0 2 2 0 0 20 0 15 0 9491178 14316269568 53087 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 105.25
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.96 1.96 1.91 3/217 9799
/proc/meminfo: memFree=31249404/32770624 swapFree=0/185212
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=166.81 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 42956 0 0 0 16665 16 0 0 20 0 15 0 9491163 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 53500 3215 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=162.07 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 12662 0 0 0 16201 6 0 0 20 0 15 0 9491163 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671697145840 140671338097311 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 487 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=2.33 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 12882 0 0 0 232 1 0 0 20 0 15 0 9491168 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=1.71 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 8850 0 0 0 170 1 0 0 20 0 15 0 9491168 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.5 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 5428 0 0 0 49 1 0 0 20 0 15 0 9491168 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 576 0 0 0 3 3 0 0 20 0 15 0 9491178 14316269568 53500 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 166.81
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 2.02 1.98 1.92 3/216 9802
/proc/meminfo: memFree=31006308/32770624 swapFree=0/185248
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=227.09 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 43577 0 0 0 22692 17 0 0 20 0 15 0 9491163 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 53561 3216 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=222.08 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 12972 0 0 0 22202 6 0 0 20 0 15 0 9491163 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671697146856 140671338096781 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 12930 0 0 0 249 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 8874 0 0 0 174 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 5620 0 0 0 51 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0.08 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 613 0 0 0 4 4 0 0 20 0 15 0 9491178 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 227.09
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.98 1.93 3/216 9802
/proc/meminfo: memFree=30985828/32770624 swapFree=0/185260
[pid=9700] ppid=9697 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/9700/stat : 9700 (xcsp3-exec) S 9697 9700 5228 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 9491154 9740288 344 18446744073709551615 4194304 5098028 140727932796336 140727932794440 140235002065532 0 65536 5 65538 18446744071579417331 0 0 17 1 0 0 8 0 0 7196144 7232144 16482304 140727932797340 140727932797543 140727932797543 140727932801003 0
/proc/9700/statm: 2378 344 289 221 0 87 0
[pid=9702] ppid=9700 vsize=13980732 CPUtime=244.79 cores=1,3,5,7
/proc/9702/stat : 9702 (java) S 9700 9700 5228 0 -1 1077944320 43580 0 0 0 24462 17 0 0 20 0 15 0 9491163 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140733080878832 140671692910327 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
/proc/9702/statm: 3495183 53561 3216 1 0 3483484 0
[pid=9702/tid=9703] ppid=9700 vsize=13980732 CPUtime=239.78 cores=1,3,5,7
/proc/9702/task/9703/stat : 9703 (java) R 9700 9700 5228 0 -1 4202560 12975 0 0 0 23972 6 0 0 20 0 15 0 9491163 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671697146856 140671338097037 0 4 1 16800974 0 0 0 -1 5 0 0 9 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9704] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9704/stat : 9704 (java) S 9700 9700 5228 0 -1 1077944384 253 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671656016272 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9705] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9705/stat : 9705 (java) S 9700 9700 5228 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671292094736 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9706] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9706/stat : 9706 (java) S 9700 9700 5228 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671291042448 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9707] ppid=9700 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/9702/task/9707/stat : 9707 (java) S 9700 9700 5228 0 -1 1077944384 313 0 0 0 1 0 0 0 20 0 15 0 9491164 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671289989648 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9708] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9708/stat : 9708 (java) S 9700 9700 5228 0 -1 1077944384 497 0 0 0 0 0 0 0 20 0 15 0 9491165 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671171107440 140671692921474 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9709] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9709/stat : 9709 (java) S 9700 9700 5228 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671170053408 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9710] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9710/stat : 9710 (java) S 9700 9700 5228 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 9491166 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671169001072 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9711] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9711/stat : 9711 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671167949392 140671692928923 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9712] ppid=9700 vsize=13980732 CPUtime=2.5 cores=1,3,5,7
/proc/9702/task/9712/stat : 9712 (java) S 9700 9700 5228 0 -1 1077944384 12930 0 0 0 249 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671166896240 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9713] ppid=9700 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/9702/task/9713/stat : 9713 (java) S 9700 9700 5228 0 -1 1077944384 8874 0 0 0 174 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671165843440 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9714] ppid=9700 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/9702/task/9714/stat : 9714 (java) S 9700 9700 5228 0 -1 1077944384 5620 0 0 0 51 1 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671164791152 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9715] ppid=9700 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/9702/task/9715/stat : 9715 (java) S 9700 9700 5228 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9491168 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671163738592 140671692920533 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
[pid=9702/tid=9716] ppid=9700 vsize=13980732 CPUtime=0.1 cores=1,3,5,7
/proc/9702/task/9716/stat : 9716 (java) S 9700 9700 5228 0 -1 1077944384 613 0 0 0 5 5 0 0 20 0 15 0 9491178 14316269568 53561 18446744073709551615 4194304 4196468 140733080896288 140671162686384 140671692921474 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11689984 140733080900052 140733080900227 140733080900227 140733080903631 0
Current children cumulated CPU time (s) 244.79
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9702 sig 9
??? kill 9700 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9700 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=946
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=946
# CPU time returned by wait4() is 0.001892
# while last known CPU time is 244.79
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 244.79
CPU user time (s): 244.62
CPU system time (s): 0.17
CPU usage (%): 101.991
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000946
system time used= 0.000946
maximum resident set size= 1380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00922 second user time and 1.63775 second system time
The end