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 (15168 MiB free)
memory of node 1: 16384 MiB (15633 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270127-1502622117/watcher-4270127-1502622117 -o /tmp/evaluation-result-4270127-1502622117/solver-4270127-1502622117 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1702 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 250463386 HOME/instance-4270127-1502622117.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=2862, runsolver pid=2859
Current StackSize limit: 8192 KiB
[startup+0.100166 s]*
/proc/loadavg: 2.00 1.98 1.87 4/217 2878
/proc/meminfo: memFree=31522936/32770624 swapFree=67108860/67108860
[pid=2862] ppid=2859 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2862/stat : 2862 (xcsp3-exec) S 2859 2862 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95299942 9740288 346 33554432000 4194304 5098028 140721842189984 140721842188088 140641692041852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24182784 140721842197621 140721842197824 140721842197824 140721842200555 0
/proc/2862/statm: 2378 346 289 221 0 87 0
[pid=2864] ppid=2862 vsize=13978596 memory=28712 CPUtime=0.11 cores=1,3,5,7
/proc/2864/stat : 2864 (java) S 2862 2862 30973 0 -1 1077944320 5536 0 0 0 11 0 0 0 20 0 15 0 95299942 14314082304 7178 33554432000 4194304 4196468 140730781985664 140730781968208 139808115298039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
/proc/2864/statm: 3494649 7178 2865 1 0 3482966 0
[pid=2864/tid=2865] ppid=2862 vsize=13978596 memory=7898910893248706067 CPUtime=0.09 cores=1,3,5,7
/proc/2864/task/2865/stat : 2865 (java) R 2862 2862 30973 0 -1 4202560 3553 0 0 0 9 0 0 0 20 0 15 0 95299942 14314082304 7243 33554432000 4194304 4196468 140730781985664 139808119529696 139808115309974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2866] ppid=2862 vsize=13978596 memory=3472468792694486224 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2866/stat : 2866 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14314082304 7243 33554432000 4194304 4196468 140730781985664 139808045386896 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2867] ppid=2862 vsize=13978596 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2867/stat : 2867 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14314082304 7243 33554432000 4194304 4196468 140730781985664 139808044334096 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2868] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2868/stat : 2868 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14314082304 7243 33554432000 4194304 4196468 140730781985664 139808043281296 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2869] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2869/stat : 2869 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299943 14314082304 7243 33554432000 4194304 4196468 140730781985664 139808042228496 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2870] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2870/stat : 2870 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299944 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807588727152 139808115309186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2871] ppid=2862 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2871/stat : 2871 (java) S 2862 2862 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95299945 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807587673120 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2872] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2872/stat : 2872 (java) S 2862 2862 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95299945 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807586620272 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2873] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2873/stat : 2873 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299947 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807585568592 139808115316635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2874] ppid=2862 vsize=13978596 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2874/stat : 2874 (java) S 2862 2862 30973 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 95299947 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807584516976 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2875] ppid=2862 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2875/stat : 2875 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299947 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807583464176 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2876] ppid=2862 vsize=13978596 memory=140663799334528 CPUtime=0.01 cores=1,3,5,7
/proc/2864/task/2876/stat : 2876 (java) R 2862 2862 30973 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 95299947 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807582411376 139808094258890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2877] ppid=2862 vsize=13978596 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2877/stat : 2877 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299948 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807581358816 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2878] ppid=2862 vsize=13978596 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2878/stat : 2878 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299948 14314082304 7243 33554432000 4194304 4196468 140730781985664 139807580306096 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30096 KiB
[startup+0.210463 s]*
/proc/loadavg: 2.00 1.98 1.87 3/217 2878
/proc/meminfo: memFree=31511896/32770624 swapFree=67108860/67108860
[pid=2862] ppid=2859 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2862/stat : 2862 (xcsp3-exec) S 2859 2862 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95299942 9740288 346 33554432000 4194304 5098028 140721842189984 140721842188088 140641692041852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24182784 140721842197621 140721842197824 140721842197824 140721842200555 0
/proc/2862/statm: 2378 346 289 221 0 87 0
[pid=2864] ppid=2862 vsize=13982852 memory=40664 CPUtime=0.33 cores=1,3,5,7
/proc/2864/stat : 2864 (java) S 2862 2862 30973 0 -1 1077944320 8127 0 0 0 32 1 0 0 20 0 15 0 95299942 14318440448 10166 33554432000 4194304 4196468 140730781985664 140730781968208 139808115298039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
/proc/2864/statm: 3495713 10166 3084 1 0 3482966 0
[pid=2864/tid=2865] ppid=2862 vsize=13982852 memory=7898910893248706067 CPUtime=0.2 cores=1,3,5,7
/proc/2864/task/2865/stat : 2865 (java) R 2862 2862 30973 0 -1 4202560 5309 0 0 0 19 1 0 0 20 0 15 0 95299942 14318440448 10186 33554432000 4194304 4196468 140730781985664 139808119499728 139808107977261 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2866] ppid=2862 vsize=13982884 memory=3472468792694486224 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2866/stat : 2866 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318473216 10186 33554432000 4194304 4196468 140730781985664 139808045386896 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2867] ppid=2862 vsize=13982884 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2867/stat : 2867 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318473216 10186 33554432000 4194304 4196468 140730781985664 139808044334096 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2868] ppid=2862 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2868/stat : 2868 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318440448 10186 33554432000 4194304 4196468 140730781985664 139808043281296 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2869] ppid=2862 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2869/stat : 2869 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299943 14318440448 10186 33554432000 4194304 4196468 140730781985664 139808042228496 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2870] ppid=2862 vsize=13982852 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2870/stat : 2870 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299944 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807588727152 139808115309186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2871] ppid=2862 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2871/stat : 2871 (java) S 2862 2862 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95299945 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807587673120 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2872] ppid=2862 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2872/stat : 2872 (java) S 2862 2862 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95299945 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807586620272 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2873] ppid=2862 vsize=13982852 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2873/stat : 2873 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299947 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807585568592 139808115316635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2874] ppid=2862 vsize=13982852 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2864/task/2874/stat : 2874 (java) S 2862 2862 30973 0 -1 1077944384 750 0 0 0 3 0 0 0 20 0 15 0 95299947 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807584516976 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2875] ppid=2862 vsize=13982884 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2864/task/2875/stat : 2875 (java) S 2862 2862 30973 0 -1 1077944384 70 0 0 0 1 0 0 0 20 0 15 0 95299947 14318473216 10186 33554432000 4194304 4196468 140730781985664 139807583464176 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2876] ppid=2862 vsize=13982884 memory=140663799334528 CPUtime=0.08 cores=1,3,5,7
/proc/2864/task/2876/stat : 2876 (java) R 2862 2862 30973 0 -1 4202560 731 0 0 0 8 0 0 0 20 0 15 0 95299947 14318473216 10186 33554432000 4194304 4196468 140730781985664 139807582411376 139808107535166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2877] ppid=2862 vsize=13982852 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2877/stat : 2877 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299948 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807581358816 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2878] ppid=2862 vsize=13982852 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2878/stat : 2878 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299948 14318440448 10186 33554432000 4194304 4196468 140730781985664 139807580306096 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42048 KiB
[startup+0.311969 s]*
/proc/loadavg: 2.00 1.98 1.87 3/217 2878
/proc/meminfo: memFree=31504700/32770624 swapFree=67108860/67108860
[pid=2862] ppid=2859 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2862/stat : 2862 (xcsp3-exec) S 2859 2862 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95299942 9740288 346 33554432000 4194304 5098028 140721842189984 140721842188088 140641692041852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24182784 140721842197621 140721842197824 140721842197824 140721842200555 0
/proc/2862/statm: 2378 346 289 221 0 87 0
[pid=2864] ppid=2862 vsize=13982928 memory=47436 CPUtime=0.5 cores=1,3,5,7
/proc/2864/stat : 2864 (java) S 2862 2862 30973 0 -1 1077944320 9064 0 0 0 48 2 0 0 20 0 15 0 95299942 14318518272 11859 33554432000 4194304 4196468 140730781985664 140730781968208 139808115298039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
/proc/2864/statm: 3495732 11859 3097 1 0 3482966 0
[pid=2864/tid=2865] ppid=2862 vsize=13982928 memory=-7174084197796576197 CPUtime=0.29 cores=1,3,5,7
/proc/2864/task/2865/stat : 2865 (java) R 2862 2862 30973 0 -1 4202560 6096 0 0 0 28 1 0 0 20 0 15 0 95299942 14318518272 11924 33554432000 4194304 4196468 140730781985664 139808119531776 139808099378526 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2866] ppid=2862 vsize=13982928 memory=-7001736328920018669 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2866/stat : 2866 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318518272 11924 33554432000 4194304 4196468 140730781985664 139808045386896 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2867] ppid=2862 vsize=13982928 memory=220 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2867/stat : 2867 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318518272 11924 33554432000 4194304 4196468 140730781985664 139808044334096 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2868] ppid=2862 vsize=13982928 memory=49 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2868/stat : 2868 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14318518272 11924 33554432000 4194304 4196468 140730781985664 139808043281296 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2869] ppid=2862 vsize=13982928 memory=140663668746271 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2869/stat : 2869 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299943 14318518272 11924 33554432000 4194304 4196468 140730781985664 139808042228496 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2870] ppid=2862 vsize=13982928 memory=281327337464864 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2870/stat : 2870 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299944 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807588727152 139808115309186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2871] ppid=2862 vsize=13982928 memory=140663668716303 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2871/stat : 2871 (java) S 2862 2862 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95299945 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807587673120 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2872] ppid=2862 vsize=13982928 memory=281327468060000 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2872/stat : 2872 (java) S 2862 2862 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95299945 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807586620272 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2873] ppid=2862 vsize=13982928 memory=140663668720911 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2873/stat : 2873 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299947 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807585568592 139808115316635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2874] ppid=2862 vsize=13982928 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2864/task/2874/stat : 2874 (java) R 2862 2862 30973 0 -1 1077944384 780 0 0 0 4 0 0 0 20 0 15 0 95299947 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807584516976 139808115309186 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2875] ppid=2862 vsize=13982928 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/2864/task/2875/stat : 2875 (java) R 2862 2862 30973 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 95299947 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807583464176 139808115319386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2876] ppid=2862 vsize=13982928 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/2864/task/2876/stat : 2876 (java) R 2862 2862 30973 0 -1 4202560 799 0 0 0 11 0 0 0 20 0 15 0 95299947 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807582411376 139808108394875 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2877] ppid=2862 vsize=13982928 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2877/stat : 2877 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299948 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807581358816 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2878] ppid=2862 vsize=13982928 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2878/stat : 2878 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299948 14318518272 11924 33554432000 4194304 4196468 140730781985664 139807580306096 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 48820 KiB
[startup+0.483457 s]
# the end of solver process 2862 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.833371 s, system=0.039423 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.412997 s]*
/proc/loadavg: 2.00 1.98 1.87 5/217 2878
/proc/meminfo: memFree=31498000/32770624 swapFree=67108860/67108860
[pid=2862] ppid=2859 vsize=9512 memory=1384 CPUtime=0 cores=1,3,5,7
/proc/2862/stat : 2862 (xcsp3-exec) S 2859 2862 30973 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 95299942 9740288 346 33554432000 4194304 5098028 140721842189984 140721842188088 140641692041852 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 24182784 140721842197621 140721842197824 140721842197824 140721842200555 0
/proc/2862/statm: 2378 346 289 221 0 87 0
[pid=2864] ppid=2862 vsize=13984976 memory=55800 CPUtime=0.73 cores=1,3,5,7
/proc/2864/stat : 2864 (java) S 2862 2862 30973 0 -1 1077944320 10180 0 0 0 70 3 0 0 20 0 15 0 95299942 14320615424 13950 33554432000 4194304 4196468 140730781985664 140730781968208 139808115298039 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
/proc/2864/statm: 3496244 13950 3175 1 0 3483478 0
[pid=2864/tid=2865] ppid=2862 vsize=13984976 memory=7898910893248706067 CPUtime=0.4 cores=1,3,5,7
/proc/2864/task/2865/stat : 2865 (java) D 2862 2862 30973 0 -1 4202560 6556 0 0 0 38 2 0 0 20 0 15 0 95299942 14320615424 13950 33554432000 4194304 4196468 140730781985664 139808119532688 139808115319965 0 4 0 16800975 18446744071580419588 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2866] ppid=2862 vsize=13984976 memory=3472468792694486224 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2866/stat : 2866 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14320615424 13950 33554432000 4194304 4196468 140730781985664 139808045386896 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2867] ppid=2862 vsize=13984976 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2867/stat : 2867 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14320615424 13950 33554432000 4194304 4196468 140730781985664 139808044334096 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2868] ppid=2862 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2868/stat : 2868 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299943 14320615424 13950 33554432000 4194304 4196468 140730781985664 139808043281296 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2869] ppid=2862 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2869/stat : 2869 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299943 14320615424 13950 33554432000 4194304 4196468 140730781985664 139808042228496 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2870] ppid=2862 vsize=13984976 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2870/stat : 2870 (java) S 2862 2862 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95299944 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807588727152 139808115309186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2871] ppid=2862 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2871/stat : 2871 (java) S 2862 2862 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95299945 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807587673120 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2872] ppid=2862 vsize=13984976 memory=140663799334528 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2872/stat : 2872 (java) S 2862 2862 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95299945 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807586620272 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2873] ppid=2862 vsize=13984976 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2873/stat : 2873 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299947 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807585568592 139808115316635 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2874] ppid=2862 vsize=13984976 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/2864/task/2874/stat : 2874 (java) R 2862 2862 30973 0 -1 4202560 1116 0 0 0 9 0 0 0 20 0 15 0 95299947 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807584516976 139808098682832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2875] ppid=2862 vsize=13984976 memory=-1 CPUtime=0.06 cores=1,3,5,7
/proc/2864/task/2875/stat : 2875 (java) R 2862 2862 30973 0 -1 4202560 364 0 0 0 6 0 0 0 20 0 15 0 95299947 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807583445192 139808096841762 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2876] ppid=2862 vsize=13984976 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/2864/task/2876/stat : 2876 (java) S 2862 2862 30973 0 -1 1077944384 893 0 0 0 15 0 0 0 20 0 15 0 95299947 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807582411376 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2877] ppid=2862 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2877/stat : 2877 (java) S 2862 2862 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95299948 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807581358816 139808115308245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
[pid=2864/tid=2878] ppid=2862 vsize=13984976 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2864/task/2878/stat : 2878 (java) S 2862 2862 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95299948 14320615424 13950 33554432000 4194304 4196468 140730781985664 139807580306096 139808115309186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19230720 140730781987997 140730781988172 140730781988172 140730781990863 0
Current children cumulated CPU time: 0.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 57184 KiB
Child status: 0
Real time (s): 0.483506
CPU time (s): 0.872794
CPU user time (s): 0.833371
CPU system time (s): 0.039423
CPU usage (%): 180.514
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 57184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.833371
system time used= 0.039423
maximum resident set size= 60952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11338
page faults= 0
swaps= 0
block input operations= 120
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1200
involuntary context switches= 12
# summary of solver processes directly reported to runsolver:
# pid: 2862
# total CPU time (s): 0.872794
# total CPU user time (s): 0.833371
# total CPU system time (s): 0.039423
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019009 second user time and 0.044023 second system time
The end