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 (10705 MiB free)
memory of node 1: 16384 MiB (13261 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306847-1534139456/watcher-4306847-1534139456 -o /tmp/evaluation-result-4306847-1534139456/solver-4306847-1534139456 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1534136952-1000 --watchdog 2580 HOME/xcsp3-exec -seed 2040446736 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306847-1534139456.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=1218, runsolver pid=1215
Current StackSize limit: 8192 KiB
[startup+0.100163 s]*
/proc/loadavg: 1.32 1.31 1.40 4/218 1234
/proc/meminfo: memFree=24526488/32770624 swapFree=67058936/67108860
[pid=1218] ppid=1215 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (xcsp3-exec) S 1215 1218 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231508752 115843072 364 33554432000 4194304 5098028 140734931547296 140734931545400 139781997175420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13881344 140734931555386 140734931555588 140734931555588 140734931558346 0
/proc/1218/statm: 28282 364 306 221 0 87 0
[pid=1220] ppid=1218 vsize=14082940 memory=27740 CPUtime=0.12 cores=0,2,4,6
/proc/1220/stat : 1220 (java) S 1218 1218 636 0 -1 1077944320 5331 0 0 0 11 1 0 0 20 0 15 0 231508752 14420930560 6935 33554432000 4194304 4196468 140729457515984 140729457498528 140203062509303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
/proc/1220/statm: 3520735 6935 3013 1 0 3483012 0
[pid=1220/tid=1221] ppid=1218 vsize=14082940 memory=7022364632946311227 CPUtime=0.08 cores=0,2,4,6
/proc/1220/task/1221/stat : 1221 (java) R 1218 1218 636 0 -1 4202560 3313 0 0 0 8 0 0 0 20 0 15 0 231508752 14420930560 6935 33554432000 4194304 4196468 140729457515984 140203066742576 140203062521238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1222] ppid=1218 vsize=14082940 memory=4294979980 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1222/stat : 1222 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202657815184 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1223] ppid=1218 vsize=14082940 memory=139789676914207 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1223/stat : 1223 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202656762384 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1224] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1224/stat : 1224 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202655709584 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1225] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1225/stat : 1225 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202654656784 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1226] ppid=1218 vsize=14082940 memory=139789676893824 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1226/stat : 1226 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508754 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202536725360 140203062520450 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1227] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1227/stat : 1227 (java) S 1218 1218 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231508755 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202535671328 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1228] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1228/stat : 1228 (java) S 1218 1218 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231508755 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202534618480 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1229] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1229/stat : 1229 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202533566800 140203062527899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1230] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1230/stat : 1230 (java) S 1218 1218 636 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202532514160 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1231] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1231/stat : 1231 (java) S 1218 1218 636 0 -1 1077944384 129 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202531461360 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1232] ppid=1218 vsize=14082940 memory=139789676893824 CPUtime=0.01 cores=0,2,4,6
/proc/1220/task/1232/stat : 1232 (java) R 1218 1218 636 0 -1 4202560 300 0 0 0 1 0 0 0 20 0 15 0 231508757 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202530408560 140203055606139 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1233] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1233/stat : 1233 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202529356000 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1234] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1234/stat : 1234 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508758 14420930560 6935 33554432000 4194304 4196468 140729457515984 140202528304304 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29196 KiB
[startup+0.210598 s]*
/proc/loadavg: 1.32 1.31 1.40 4/218 1234
/proc/meminfo: memFree=24515444/32770624 swapFree=67058936/67108860
[pid=1218] ppid=1215 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (xcsp3-exec) S 1215 1218 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231508752 115843072 364 33554432000 4194304 5098028 140734931547296 140734931545400 139781997175420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13881344 140734931555386 140734931555588 140734931555588 140734931558346 0
/proc/1218/statm: 28282 364 306 221 0 87 0
[pid=1220] ppid=1218 vsize=14082940 memory=39900 CPUtime=0.34 cores=0,2,4,6
/proc/1220/stat : 1220 (java) S 1218 1218 636 0 -1 1077944320 8026 0 0 0 31 3 0 0 20 0 15 0 231508752 14420930560 9975 33554432000 4194304 4196468 140729457515984 140729457498528 140203062509303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
/proc/1220/statm: 3520735 9975 3206 1 0 3483012 0
[pid=1220/tid=1221] ppid=1218 vsize=14082940 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/1220/task/1221/stat : 1221 (java) R 1218 1218 636 0 -1 4202560 5012 0 0 0 18 1 0 0 20 0 15 0 231508752 14420930560 9975 33554432000 4194304 4196468 140729457515984 140203066744288 140203046552933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1222] ppid=1218 vsize=14082940 memory=4294979980 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1222/stat : 1222 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202657815184 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1223] ppid=1218 vsize=14082940 memory=139789676914207 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1223/stat : 1223 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202656762384 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1224] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1224/stat : 1224 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202655709584 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1225] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1225/stat : 1225 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508753 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202654656784 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1226] ppid=1218 vsize=14082940 memory=139789676893824 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1226/stat : 1226 (java) S 1218 1218 636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231508754 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202536725360 140203062520450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1227] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1227/stat : 1227 (java) S 1218 1218 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231508755 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202535671328 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1228] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1228/stat : 1228 (java) S 1218 1218 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231508755 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202534618480 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1229] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1229/stat : 1229 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202533566800 140203062527899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1230] ppid=1218 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1220/task/1230/stat : 1230 (java) S 1218 1218 636 0 -1 1077944384 615 0 0 0 3 0 0 0 20 0 15 0 231508757 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202532514160 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1231] ppid=1218 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/1220/task/1231/stat : 1231 (java) S 1218 1218 636 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 231508757 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202531461360 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1232] ppid=1218 vsize=14082940 memory=139789676893824 CPUtime=0.08 cores=0,2,4,6
/proc/1220/task/1232/stat : 1232 (java) S 1218 1218 636 0 -1 1077944384 923 0 0 0 8 0 0 0 20 0 15 0 231508757 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202530408560 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1233] ppid=1218 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1233/stat : 1233 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202529356000 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1234] ppid=1218 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1234/stat : 1234 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508758 14420930560 9975 33554432000 4194304 4196468 140729457515984 140202528304304 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41356 KiB
[startup+0.313032 s]*
/proc/loadavg: 1.32 1.31 1.40 4/218 1234
/proc/meminfo: memFree=24508744/32770624 swapFree=67058936/67108860
[pid=1218] ppid=1215 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (xcsp3-exec) S 1215 1218 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231508752 115843072 364 33554432000 4194304 5098028 140734931547296 140734931545400 139781997175420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13881344 140734931555386 140734931555588 140734931555588 140734931558346 0
/proc/1218/statm: 28282 364 306 221 0 87 0
[pid=1220] ppid=1218 vsize=14087196 memory=47372 CPUtime=0.53 cores=0,2,4,6
/proc/1220/stat : 1220 (java) S 1218 1218 636 0 -1 1077944320 9004 0 0 0 50 3 0 0 20 0 15 0 231508752 14425288704 11843 33554432000 4194304 4196468 140729457515984 140729457498528 140203062509303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
/proc/1220/statm: 3521799 11843 3255 1 0 3483012 0
[pid=1220/tid=1221] ppid=1218 vsize=14087196 memory=1399051139730258233 CPUtime=0.3 cores=0,2,4,6
/proc/1220/task/1221/stat : 1221 (java) R 1218 1218 636 0 -1 4202560 5741 0 0 0 28 2 0 0 20 0 15 0 231508752 14425288704 11843 33554432000 4194304 4196468 140729457515984 140203066740416 140203046589790 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1222] ppid=1218 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1222/stat : 1222 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202657815184 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1223] ppid=1218 vsize=14087196 memory=139789575741904 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1223/stat : 1223 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202656762384 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1224] ppid=1218 vsize=14087196 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1224/stat : 1224 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202655709584 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1225] ppid=1218 vsize=14087196 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1225/stat : 1225 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508753 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202654656784 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1226] ppid=1218 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1226/stat : 1226 (java) S 1218 1218 636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231508754 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202536725360 140203062520450 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1227] ppid=1218 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1227/stat : 1227 (java) S 1218 1218 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231508755 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202535671328 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1228] ppid=1218 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1228/stat : 1228 (java) S 1218 1218 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231508755 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202534618480 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1229] ppid=1218 vsize=14087196 memory=-6452064069391756930 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1229/stat : 1229 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202533566800 140203062527899 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1230] ppid=1218 vsize=14087196 memory=6943526294502006880 CPUtime=0.05 cores=0,2,4,6
/proc/1220/task/1230/stat : 1230 (java) R 1218 1218 636 0 -1 1077944384 639 0 0 0 5 0 0 0 20 0 15 0 231508757 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202532514160 140203062520450 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1231] ppid=1218 vsize=14087196 memory=6944656575208382560 CPUtime=0.04 cores=0,2,4,6
/proc/1220/task/1231/stat : 1231 (java) R 1218 1218 636 0 -1 4202560 291 0 0 0 4 0 0 0 20 0 15 0 231508757 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202531451744 140203042341501 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1232] ppid=1218 vsize=14087196 memory=6944656575208382560 CPUtime=0.12 cores=0,2,4,6
/proc/1220/task/1232/stat : 1232 (java) S 1218 1218 636 0 -1 1077944384 1066 0 0 0 12 0 0 0 20 0 15 0 231508757 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202530408560 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1233] ppid=1218 vsize=14087196 memory=-6873162000112450758 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1233/stat : 1233 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202529356000 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1234] ppid=1218 vsize=14087196 memory=7682475212697334547 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1234/stat : 1234 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508758 14425288704 11843 33554432000 4194304 4196468 140729457515984 140202528304304 140203062520450 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48828 KiB
[startup+0.700736 s]
/proc/loadavg: 1.45 1.34 1.41 6/218 1234
/proc/meminfo: memFree=24491996/32770624 swapFree=67058936/67108860
[pid=1218] ppid=1215 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (xcsp3-exec) S 1215 1218 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231508752 115843072 364 33554432000 4194304 5098028 140734931547296 140734931545400 139781997175420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13881344 140734931555386 140734931555588 140734931555588 140734931558346 0
/proc/1218/statm: 28282 364 306 221 0 87 0
[pid=1220] ppid=1218 vsize=14089320 memory=74132 CPUtime=1.64 cores=0,2,4,6
/proc/1220/stat : 1220 (java) S 1218 1218 636 0 -1 1077944320 12184 0 0 0 159 5 0 0 20 0 15 0 231508752 14427463680 18533 33554432000 4194304 4196468 140729457515984 140729457498528 140203062509303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
/proc/1220/statm: 3522330 18533 3367 1 0 3483524 0
[pid=1220/tid=1221] ppid=1218 vsize=14089320 memory=5795153719298590087 CPUtime=0.67 cores=0,2,4,6
/proc/1220/task/1221/stat : 1221 (java) S 1218 1218 636 0 -1 1077944384 6628 0 0 0 64 3 0 0 20 0 15 0 231508752 14427463680 18533 33554432000 4194304 4196468 140729457515984 140203066752144 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1222] ppid=1218 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1222/stat : 1222 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202657815184 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1223] ppid=1218 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1223/stat : 1223 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202656762384 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1224] ppid=1218 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1224/stat : 1224 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202655709584 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1225] ppid=1218 vsize=14089320 memory=5116 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1225/stat : 1225 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202654656784 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1226] ppid=1218 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1226/stat : 1226 (java) R 1218 1218 636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231508754 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202536725360 140203062520450 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1227] ppid=1218 vsize=14089320 memory=13608 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1227/stat : 1227 (java) S 1218 1218 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231508755 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202535671328 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1228] ppid=1218 vsize=14089320 memory=912 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1228/stat : 1228 (java) S 1218 1218 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231508755 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202534618480 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1229] ppid=1218 vsize=14089320 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1229/stat : 1229 (java) D 1218 1218 636 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202533566984 140203055226266 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1230] ppid=1218 vsize=14089320 memory=4104 CPUtime=0.26 cores=0,2,4,6
/proc/1220/task/1230/stat : 1230 (java) R 1218 1218 636 0 -1 4202560 1219 0 0 0 26 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202532502848 140203045920194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1231] ppid=1218 vsize=14089320 memory=1860 CPUtime=0.28 cores=0,2,4,6
/proc/1220/task/1231/stat : 1231 (java) R 1218 1218 636 0 -1 4202560 898 0 0 0 28 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202531447904 140203048524832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1232] ppid=1218 vsize=14089320 memory=33256 CPUtime=0.4 cores=0,2,4,6
/proc/1220/task/1232/stat : 1232 (java) R 1218 1218 636 0 -1 4202560 2111 0 0 0 40 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202530408560 140203041314314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1233] ppid=1218 vsize=14089320 memory=13808 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1233/stat : 1233 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202529356000 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1234] ppid=1218 vsize=14089320 memory=524 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1234/stat : 1234 (java) R 1218 1218 636 0 -1 4202564 2 0 0 0 0 0 0 0 20 0 15 0 231508758 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202528304928 140203062505044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75588 KiB
[startup+0.718331 s]
# the end of solver process 1218 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.61004 s, system=0.056635 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.700736 s]
/proc/loadavg: 1.45 1.34 1.41 6/218 1234
/proc/meminfo: memFree=24491996/32770624 swapFree=67058936/67108860
[pid=1218] ppid=1215 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1218/stat : 1218 (xcsp3-exec) S 1215 1218 636 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 231508752 115843072 364 33554432000 4194304 5098028 140734931547296 140734931545400 139781997175420 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 13881344 140734931555386 140734931555588 140734931555588 140734931558346 0
/proc/1218/statm: 28282 364 306 221 0 87 0
[pid=1220] ppid=1218 vsize=14089320 memory=74132 CPUtime=1.64 cores=0,2,4,6
/proc/1220/stat : 1220 (java) S 1218 1218 636 0 -1 1077944320 12184 0 0 0 159 5 0 0 20 0 15 0 231508752 14427463680 18533 33554432000 4194304 4196468 140729457515984 140729457498528 140203062509303 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
/proc/1220/statm: 3522330 18533 3367 1 0 3483524 0
[pid=1220/tid=1221] ppid=1218 vsize=14089320 memory=5795153719298590087 CPUtime=0.67 cores=0,2,4,6
/proc/1220/task/1221/stat : 1221 (java) S 1218 1218 636 0 -1 1077944384 6628 0 0 0 64 3 0 0 20 0 15 0 231508752 14427463680 18533 33554432000 4194304 4196468 140729457515984 140203066752144 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1222] ppid=1218 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1222/stat : 1222 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202657815184 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1223] ppid=1218 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1223/stat : 1223 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202656762384 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1224] ppid=1218 vsize=14089320 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1224/stat : 1224 (java) S 1218 1218 636 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202655709584 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1225] ppid=1218 vsize=14089320 memory=5116 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1225/stat : 1225 (java) S 1218 1218 636 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 231508753 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202654656784 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1226] ppid=1218 vsize=14089320 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1226/stat : 1226 (java) R 1218 1218 636 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 231508754 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202536725360 140203062520450 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1227] ppid=1218 vsize=14089320 memory=13608 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1227/stat : 1227 (java) S 1218 1218 636 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 231508755 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202535671328 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1228] ppid=1218 vsize=14089320 memory=912 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1228/stat : 1228 (java) S 1218 1218 636 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 231508755 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202534618480 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1229] ppid=1218 vsize=14089320 memory=3852 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1229/stat : 1229 (java) D 1218 1218 636 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202533566984 140203055226266 0 4 0 16800975 18446744071582151463 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1230] ppid=1218 vsize=14089320 memory=4104 CPUtime=0.26 cores=0,2,4,6
/proc/1220/task/1230/stat : 1230 (java) R 1218 1218 636 0 -1 4202560 1219 0 0 0 26 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202532502848 140203045920194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1231] ppid=1218 vsize=14089320 memory=1860 CPUtime=0.28 cores=0,2,4,6
/proc/1220/task/1231/stat : 1231 (java) R 1218 1218 636 0 -1 4202560 898 0 0 0 28 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202531447904 140203048524832 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1232] ppid=1218 vsize=14089320 memory=33256 CPUtime=0.4 cores=0,2,4,6
/proc/1220/task/1232/stat : 1232 (java) R 1218 1218 636 0 -1 4202560 2111 0 0 0 40 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202530408560 140203041314314 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1233] ppid=1218 vsize=14089320 memory=13808 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1233/stat : 1233 (java) S 1218 1218 636 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 231508757 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202529356000 140203062519509 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
[pid=1220/tid=1234] ppid=1218 vsize=14089320 memory=524 CPUtime=0 cores=0,2,4,6
/proc/1220/task/1234/stat : 1234 (java) R 1218 1218 636 0 -1 4202564 2 0 0 0 0 0 0 0 20 0 15 0 231508758 14427463680 18533 33554432000 4194304 4196468 140729457515984 140202528304928 140203062505044 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38391808 140729457517702 140729457517873 140729457517873 140729457520591 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 75588 KiB
Child status: 0
Real time (s): 0.718369
CPU time (s): 1.66668
CPU user time (s): 1.61004
CPU system time (s): 0.056635
CPU usage (%): 232.009
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 75588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.61004
system time used= 0.056635
maximum resident set size= 74772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12795
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= 1772
involuntary context switches= 13
# summary of solver processes directly reported to runsolver:
# pid: 1218
# total CPU time (s): 1.66668
# total CPU user time (s): 1.61004
# total CPU system time (s): 0.056635
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.026425 second user time and 0.048785 second system time
The end