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 (9770 MiB free)
memory of node 1: 16384 MiB (11069 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4306772-1534114471/watcher-4306772-1534114471 -o /tmp/evaluation-result-4306772-1534114471/solver-4306772-1534114471 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1534095837-31733 --watchdog 2580 HOME/xcsp3-exec -seed 145373822 -dir HOME -tl 2520 -ml 11000 -p 1 HOME/instance-4306772-1534114471.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
Current StackSize limit: 8192 KiB
solver pid=2162, runsolver pid=2159
[startup+0.10046 s]*
/proc/loadavg: 2.04 2.04 2.03 3/217 2180
/proc/meminfo: memFree=21323032/32770624 swapFree=67108688/67108860
[pid=2162] ppid=2159 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2162/stat : 2162 (xcsp3-exec) S 2159 2162 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229009933 115843072 363 33554432000 4194304 5098028 140734707102672 140734707100776 140252858380924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22974464 140734707106875 140734707107076 140734707107076 140734707109834 0
/proc/2162/statm: 28282 363 305 221 0 87 0
[pid=2164] ppid=2162 vsize=14082940 memory=29580 CPUtime=0.11 cores=0,2,4,6
/proc/2164/stat : 2164 (java) S 2162 2162 31702 0 -1 1077944320 5234 0 0 0 10 1 0 0 20 0 15 0 229009933 14420930560 7395 33554432000 4194304 4196468 140725644293952 140725644276496 140402910297847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
/proc/2164/statm: 3520735 7395 3027 1 0 3483012 0
[pid=2164/tid=2165] ppid=2162 vsize=14082940 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2164/task/2165/stat : 2165 (java) R 2162 2162 31702 0 -1 4202560 3257 0 0 0 8 1 0 0 20 0 15 0 229009934 14420930560 7459 33554432000 4194304 4196468 140725644293952 140402914531120 140402889375343 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2166] ppid=2162 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2166/stat : 2166 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14420930560 7459 33554432000 4194304 4196468 140725644293952 140402825366160 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2167] ppid=2162 vsize=14082940 memory=139805645883008 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2167/stat : 2167 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14420930560 7459 33554432000 4194304 4196468 140725644293952 140402824313360 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2168] ppid=2162 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2168/stat : 2168 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14420930560 7459 33554432000 4194304 4196468 140725644293952 140402823260560 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2169] ppid=2162 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2169/stat : 2169 (java) S 2162 2162 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229009934 14420930560 7459 33554432000 4194304 4196468 140725644293952 140402822207760 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2170] ppid=2162 vsize=14082940 memory=139805645883008 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2170/stat : 2170 (java) S 2162 2162 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229009936 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401822120816 140402910308994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2171] ppid=2162 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2171/stat : 2171 (java) S 2162 2162 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229009936 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401821066784 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2172] ppid=2162 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2172/stat : 2172 (java) S 2162 2162 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229009936 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401820013936 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2173] ppid=2162 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2173/stat : 2173 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401818962256 140402910316443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2174] ppid=2162 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2174/stat : 2174 (java) S 2162 2162 31702 0 -1 1077944384 423 0 0 0 0 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401817909616 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2175] ppid=2162 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2175/stat : 2175 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401816856816 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2176] ppid=2162 vsize=14082940 memory=139805645883008 CPUtime=0.01 cores=0,2,4,6
/proc/2164/task/2176/stat : 2176 (java) R 2162 2162 31702 0 -1 4202560 324 0 0 0 1 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401815804016 140402889696363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2178] ppid=2162 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2178/stat : 2178 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401814751456 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2180] ppid=2162 vsize=14082940 memory=139805645883008 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2180/stat : 2180 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009939 14420930560 7459 33554432000 4194304 4196468 140725644293952 140401813699760 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 31032 KiB
[startup+0.213892 s]*
/proc/loadavg: 2.04 2.04 2.03 3/217 2180
/proc/meminfo: memFree=21311804/32770624 swapFree=67108688/67108860
[pid=2162] ppid=2159 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2162/stat : 2162 (xcsp3-exec) S 2159 2162 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229009933 115843072 363 33554432000 4194304 5098028 140734707102672 140734707100776 140252858380924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22974464 140734707106875 140734707107076 140734707107076 140734707109834 0
/proc/2162/statm: 28282 363 305 221 0 87 0
[pid=2164] ppid=2162 vsize=14087196 memory=41024 CPUtime=0.34 cores=0,2,4,6
/proc/2164/stat : 2164 (java) S 2162 2162 31702 0 -1 1077944320 7827 0 0 0 32 2 0 0 20 0 15 0 229009933 14425288704 10256 33554432000 4194304 4196468 140725644293952 140725644276496 140402910297847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
/proc/2164/statm: 3521799 10256 3157 1 0 3483012 0
[pid=2164/tid=2165] ppid=2162 vsize=14087196 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/2164/task/2165/stat : 2165 (java) R 2162 2162 31702 0 -1 4202560 5008 0 0 0 19 1 0 0 20 0 15 0 229009934 14425288704 10256 33554432000 4194304 4196468 140725644293952 140402914518840 140402902975861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2166] ppid=2162 vsize=14087196 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2166/stat : 2166 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 10256 33554432000 4194304 4196468 140725644293952 140402825366160 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2167] ppid=2162 vsize=14087196 memory=3834167845023925920 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2167/stat : 2167 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 10256 33554432000 4194304 4196468 140725644293952 140402824313360 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2168] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2168/stat : 2168 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 10256 33554432000 4194304 4196468 140725644293952 140402823260560 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2169] ppid=2162 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2169/stat : 2169 (java) S 2162 2162 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 10256 33554432000 4194304 4196468 140725644293952 140402822207760 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2170] ppid=2162 vsize=14087196 memory=139805645883008 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2170/stat : 2170 (java) S 2162 2162 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401822120816 140402910308994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2171] ppid=2162 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2171/stat : 2171 (java) S 2162 2162 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401821066784 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2172] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2172/stat : 2172 (java) S 2162 2162 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401820013936 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2173] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2173/stat : 2173 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401818962256 140402910316443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2174] ppid=2162 vsize=14087196 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2164/task/2174/stat : 2174 (java) S 2162 2162 31702 0 -1 1077944384 432 0 0 0 1 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401817909616 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2175] ppid=2162 vsize=14087196 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2164/task/2175/stat : 2175 (java) S 2162 2162 31702 0 -1 1077944384 329 0 0 0 3 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401816856816 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2176] ppid=2162 vsize=14087196 memory=139805645883008 CPUtime=0.08 cores=0,2,4,6
/proc/2164/task/2176/stat : 2176 (java) R 2162 2162 31702 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401815804016 140402910309782 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2178] ppid=2162 vsize=14087196 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2178/stat : 2178 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401814751456 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2180] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2180/stat : 2180 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 10256 33554432000 4194304 4196468 140725644293952 140401813699760 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 42476 KiB
[startup+0.310435 s]*
/proc/loadavg: 2.04 2.04 2.03 4/217 2180
/proc/meminfo: memFree=21305324/32770624 swapFree=67108688/67108860
[pid=2162] ppid=2159 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2162/stat : 2162 (xcsp3-exec) S 2159 2162 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229009933 115843072 363 33554432000 4194304 5098028 140734707102672 140734707100776 140252858380924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22974464 140734707106875 140734707107076 140734707107076 140734707109834 0
/proc/2162/statm: 28282 363 305 221 0 87 0
[pid=2164] ppid=2162 vsize=14087196 memory=48056 CPUtime=0.52 cores=0,2,4,6
/proc/2164/stat : 2164 (java) S 2162 2162 31702 0 -1 1077944320 8687 0 0 0 50 2 0 0 20 0 15 0 229009933 14425288704 12014 33554432000 4194304 4196468 140725644293952 140725644276496 140402910297847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
/proc/2164/statm: 3521799 12014 3277 1 0 3483012 0
[pid=2164/tid=2165] ppid=2162 vsize=14087196 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2164/task/2165/stat : 2165 (java) R 2162 2162 31702 0 -1 4202560 5678 0 0 0 28 2 0 0 20 0 15 0 229009934 14425288704 12087 33554432000 4194304 4196468 140725644293952 140402914528960 140402894378334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2166] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2166/stat : 2166 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 12087 33554432000 4194304 4196468 140725644293952 140402825366160 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2167] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2167/stat : 2167 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 12087 33554432000 4194304 4196468 140725644293952 140402824313360 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2168] ppid=2162 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2168/stat : 2168 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 12087 33554432000 4194304 4196468 140725644293952 140402823260560 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2169] ppid=2162 vsize=14087196 memory=3976732485301903407 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2169/stat : 2169 (java) S 2162 2162 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229009934 14425288704 12087 33554432000 4194304 4196468 140725644293952 140402822207760 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2170] ppid=2162 vsize=14087196 memory=7883313791582418224 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2170/stat : 2170 (java) S 2162 2162 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401822120816 140402910308994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2171] ppid=2162 vsize=14087196 memory=8104553123142645809 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2171/stat : 2171 (java) S 2162 2162 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401821066784 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2172] ppid=2162 vsize=14087196 memory=7526543326677590629 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2172/stat : 2172 (java) S 2162 2162 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229009936 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401820013936 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2173] ppid=2162 vsize=14087196 memory=8463010574043013765 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2173/stat : 2173 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401818962256 140402910316443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2174] ppid=2162 vsize=14087196 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/2164/task/2174/stat : 2174 (java) S 2162 2162 31702 0 -1 1077944384 472 0 0 0 3 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401817909616 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2175] ppid=2162 vsize=14087196 memory=2319389199166681138 CPUtime=0.06 cores=0,2,4,6
/proc/2164/task/2175/stat : 2175 (java) S 2162 2162 31702 0 -1 1077944384 412 0 0 0 6 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401816856816 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2176] ppid=2162 vsize=14087196 memory=3833328952098977970 CPUtime=0.12 cores=0,2,4,6
/proc/2164/task/2176/stat : 2176 (java) S 2162 2162 31702 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401815804016 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2178] ppid=2162 vsize=14087196 memory=3467824627879784479 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2178/stat : 2178 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401814751456 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2180] ppid=2162 vsize=14087196 memory=3475003584008709812 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2180/stat : 2180 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009939 14425288704 12087 33554432000 4194304 4196468 140725644293952 140401813699760 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49508 KiB
[startup+0.521217 s]
# the end of solver process 2162 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.961398 s, system=0.046412 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.412147 s]*
/proc/loadavg: 2.04 2.04 2.03 4/217 2180
/proc/meminfo: memFree=21298408/32770624 swapFree=67108688/67108860
[pid=2162] ppid=2159 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2162/stat : 2162 (xcsp3-exec) S 2159 2162 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229009933 115843072 363 33554432000 4194304 5098028 140734707102672 140734707100776 140252858380924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22974464 140734707106875 140734707107076 140734707107076 140734707109834 0
/proc/2162/statm: 28282 363 305 221 0 87 0
[pid=2164] ppid=2162 vsize=14089320 memory=55148 CPUtime=0.71 cores=0,2,4,6
/proc/2164/stat : 2164 (java) S 2162 2162 31702 0 -1 1077944320 9412 0 0 0 68 3 0 0 20 0 15 0 229009933 14427463680 13787 33554432000 4194304 4196468 140725644293952 140725644276496 140402910297847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
/proc/2164/statm: 3522330 13787 3303 1 0 3483524 0
[pid=2164/tid=2165] ppid=2162 vsize=14089320 memory=7022364632946311227 CPUtime=0.39 cores=0,2,4,6
/proc/2164/task/2165/stat : 2165 (java) R 2162 2162 31702 0 -1 4202560 6152 0 0 0 37 2 0 0 20 0 15 0 229009934 14427463680 13807 33554432000 4194304 4196468 140725644293952 140402914534048 140402894378334 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2166] ppid=2162 vsize=14089320 memory=4294979926 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2166/stat : 2166 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14427463680 13807 33554432000 4194304 4196468 140725644293952 140402825366160 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2167] ppid=2162 vsize=14089320 memory=3834167845023925920 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2167/stat : 2167 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14427463680 13807 33554432000 4194304 4196468 140725644293952 140402824313360 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2168] ppid=2162 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2168/stat : 2168 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009934 14427463680 13807 33554432000 4194304 4196468 140725644293952 140402823260560 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2169] ppid=2162 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2169/stat : 2169 (java) S 2162 2162 31702 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 229009934 14427463680 13807 33554432000 4194304 4196468 140725644293952 140402822207760 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2170] ppid=2162 vsize=14089320 memory=139805645883008 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2170/stat : 2170 (java) S 2162 2162 31702 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 229009936 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401822120816 140402910308994 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2171] ppid=2162 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2171/stat : 2171 (java) S 2162 2162 31702 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 229009936 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401821066784 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2172] ppid=2162 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2172/stat : 2172 (java) S 2162 2162 31702 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 229009936 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401820013936 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2173] ppid=2162 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2173/stat : 2173 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401818962256 140402910316443 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2174] ppid=2162 vsize=14089320 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/2164/task/2174/stat : 2174 (java) R 2162 2162 31702 0 -1 4202560 499 0 0 0 4 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401817900000 140402893756976 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2175] ppid=2162 vsize=14089320 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/2164/task/2175/stat : 2175 (java) R 2162 2162 31702 0 -1 1077944384 429 0 0 0 8 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401816856816 140402910308994 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2176] ppid=2162 vsize=14089320 memory=139805645883008 CPUtime=0.18 cores=0,2,4,6
/proc/2164/task/2176/stat : 2176 (java) R 2162 2162 31702 0 -1 4202560 1062 0 0 0 18 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401815804016 140402910319194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2178] ppid=2162 vsize=14089320 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2178/stat : 2178 (java) S 2162 2162 31702 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401814751456 140402910308053 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
[pid=2164/tid=2180] ppid=2162 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2164/task/2180/stat : 2180 (java) S 2162 2162 31702 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 229009939 14427463680 13807 33554432000 4194304 4196468 140725644293952 140401813699760 140402910308994 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 56600 KiB
[startup+0.510295 s]*
/proc/loadavg: 2.04 2.04 2.03 2/215 2180
/proc/meminfo: memFree=21289228/32770624 swapFree=67108688/67108860
[pid=2162] ppid=2159 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/2162/stat : 2162 (xcsp3-exec) S 2159 2162 31702 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 229009933 115843072 363 33554432000 4194304 5098028 140734707102672 140734707100776 140252858380924 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22974464 140734707106875 140734707107076 140734707107076 140734707109834 0
/proc/2162/statm: 28282 363 305 221 0 87 0
[pid=2164] ppid=2162 vsize=14089320 memory=65008 CPUtime=0.99 cores=0,2,4,6
/proc/2164/stat : 2164 (java) S 2162 2162 31702 0 -1 1077944320 10908 0 0 0 95 4 0 0 20 0 13 0 229009933 14427463680 16252 33554432000 4194304 4196468 140725644293952 140725644276496 140402910297847 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10149888 140725644301446 140725644301617 140725644301617 140725644304335 0
/proc/2164/statm: 3522330 16252 3355 1 0 3483524 0
[pid=2164/tid=2176] ppid=2162 vsize=0 memory=6935054825532540783 CPUtime=0.24 cores=0,2,4,6
/proc/2164/task/2176/stat : 2176 (java) R 2162 2162 31702 0 -1 4203588 1316 0 0 0 24 0 0 0 20 0 2 0 229009939 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 66460 KiB
Child status: 0
Real time (s): 0.521261
CPU time (s): 1.00781
CPU user time (s): 0.961398
CPU system time (s): 0.046412
CPU usage (%): 193.341
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 66460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.961398
system time used= 0.046412
maximum resident set size= 65308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11460
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= 1409
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 2162
# total CPU time (s): 1.00781
# total CPU user time (s): 0.961398
# total CPU system time (s): 0.046412
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024167 second user time and 0.048334 second system time
The end