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 (14821 MiB free)
memory of node 1: 16384 MiB (14928 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284000-1503172116/watcher-4284000-1503172116 -o /tmp/evaluation-result-4284000-1503172116/solver-4284000-1503172116 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1503171261-25500 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1684583051 HOME/instance-4284000-1503172116.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=25773, runsolver pid=25770
[startup+0.100148 s]*
/proc/loadavg: 1.11 1.33 1.62 4/197 25774
/proc/meminfo: memFree=30464604/32770624 swapFree=67108860/67108860
[pid=25773] ppid=25770 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25773/stat : 25773 (xcsp3-exec) S 25770 25773 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119432022 9740288 345 18446744073709551615 4194304 5098028 140726938959776 140726938957880 140131062530684 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 24969216 140726938964344 140726938964549 140726938964549 140726938968043 0
/proc/25773/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9512 KiB
Current children cumulated memory: 1380 KiB
[startup+0.209326 s]*
/proc/loadavg: 1.11 1.33 1.62 4/211 25788
/proc/meminfo: memFree=30457552/32770624 swapFree=67108860/67108860
[pid=25773] ppid=25770 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25773/stat : 25773 (xcsp3-exec) S 25770 25773 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119432022 9740288 345 18446744073709551615 4194304 5098028 140726938959776 140726938957880 140131062530684 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 24969216 140726938964344 140726938964549 140726938964549 140726938968043 0
/proc/25773/statm: 2378 345 289 221 0 87 0
[pid=25775] ppid=25773 vsize=13973868 memory=21736 CPUtime=0.06 cores=0,2,4,6
/proc/25775/stat : 25775 (java) S 25773 25773 8563 0 -1 1077944320 4878 0 0 0 6 0 0 0 20 0 15 0 119432032 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140736071098176 140574333312759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
/proc/25775/statm: 3493467 5434 2575 1 0 3482964 0
[pid=25775/tid=25776] ppid=25773 vsize=13973868 memory=7311146985107750967 CPUtime=0.04 cores=0,2,4,6
/proc/25775/task/25776/stat : 25776 (java) R 25773 25773 8563 0 -1 4202560 3035 0 0 0 4 0 0 0 20 0 15 0 119432033 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140574337555040 140574325549886 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25777] ppid=25773 vsize=13973868 memory=12619 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25777/stat : 25777 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432033 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140574290278672 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25778] ppid=25773 vsize=13973868 memory=140371753332588 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25778/stat : 25778 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140574289226128 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25779] ppid=25773 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25779/stat : 25779 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140574288173584 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25780] ppid=25773 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25780/stat : 25780 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432034 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140574287121040 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25781] ppid=25773 vsize=13973868 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25781/stat : 25781 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432035 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573518600688 140574333323906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25782] ppid=25773 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25782/stat : 25782 (java) S 25773 25773 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119432035 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573517546912 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25783] ppid=25773 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25783/stat : 25783 (java) S 25773 25773 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119432036 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573516494320 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25784] ppid=25773 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25784/stat : 25784 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573515442896 140574333331355 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25785] ppid=25773 vsize=13973868 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25785/stat : 25785 (java) S 25773 25773 8563 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 119432038 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573514389488 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25786] ppid=25773 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25786/stat : 25786 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573513336944 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25787] ppid=25773 vsize=13973868 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25787/stat : 25787 (java) S 25773 25773 8563 0 -1 1077944384 232 0 0 0 0 0 0 0 20 0 15 0 119432038 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573512284400 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25788] ppid=25773 vsize=13973868 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25788/stat : 25788 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14309240832 5434 18446744073709551615 4194304 4196468 140736071115632 140573511232096 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25789] ppid=25773 vsize=13974352 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25789/stat : 25789 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432043 14309736448 5434 18446744073709551615 4194304 4196468 140736071115632 140573510179632 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
Current children cumulated CPU time: 0.06 s
Current children cumulated vsize: 13983380 KiB
Current children cumulated memory: 23116 KiB
[startup+0.311836 s]*
/proc/loadavg: 1.11 1.33 1.62 5/212 25789
/proc/meminfo: memFree=30443796/32770624 swapFree=67108860/67108860
[pid=25773] ppid=25770 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25773/stat : 25773 (xcsp3-exec) S 25770 25773 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119432022 9740288 345 18446744073709551615 4194304 5098028 140726938959776 140726938957880 140131062530684 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 24969216 140726938964344 140726938964549 140726938964549 140726938968043 0
/proc/25773/statm: 2378 345 289 221 0 87 0
[pid=25775] ppid=25773 vsize=13974352 memory=36608 CPUtime=0.24 cores=0,2,4,6
/proc/25775/stat : 25775 (java) S 25773 25773 8563 0 -1 1077944320 8718 0 0 0 22 2 0 0 20 0 15 0 119432032 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140736071098176 140574333312759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
/proc/25775/statm: 3493588 9152 2974 1 0 3482964 0
[pid=25775/tid=25776] ppid=25773 vsize=13974352 memory=-8774313645642428999 CPUtime=0.14 cores=0,2,4,6
/proc/25775/task/25776/stat : 25776 (java) R 25773 25773 8563 0 -1 4202560 5944 0 0 0 13 1 0 0 20 0 15 0 119432033 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140574337535136 140574317393246 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25777] ppid=25773 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25777/stat : 25777 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432033 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140574290278672 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25778] ppid=25773 vsize=13974352 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25778/stat : 25778 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140574289226128 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25779] ppid=25773 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25779/stat : 25779 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140574288173584 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25780] ppid=25773 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25780/stat : 25780 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432034 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140574287121040 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25781] ppid=25773 vsize=13974352 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25781/stat : 25781 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432035 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573518600688 140574333323906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25782] ppid=25773 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25782/stat : 25782 (java) S 25773 25773 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119432035 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573517546912 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25783] ppid=25773 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25783/stat : 25783 (java) S 25773 25773 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119432036 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573516494320 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25784] ppid=25773 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25784/stat : 25784 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573515442896 140574333331355 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25785] ppid=25773 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/25775/task/25785/stat : 25785 (java) S 25773 25773 8563 0 -1 1077944384 388 0 0 0 1 0 0 0 20 0 15 0 119432038 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573514389488 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25786] ppid=25773 vsize=13974352 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/25775/task/25786/stat : 25786 (java) S 25773 25773 8563 0 -1 1077944384 347 0 0 0 1 0 0 0 20 0 15 0 119432038 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573513336944 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25787] ppid=25773 vsize=13974352 memory=140371752998528 CPUtime=0.05 cores=0,2,4,6
/proc/25775/task/25787/stat : 25787 (java) S 25773 25773 8563 0 -1 1077944384 735 0 0 0 5 0 0 0 20 0 15 0 119432038 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573512284400 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25788] ppid=25773 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25788/stat : 25788 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573511232096 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25789] ppid=25773 vsize=13974352 memory=140371752998528 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25789/stat : 25789 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432043 14309736448 9152 18446744073709551615 4194304 4196468 140736071115632 140573510179632 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 37988 KiB
[startup+0.702085 s]
/proc/loadavg: 1.11 1.33 1.62 7/212 25789
/proc/meminfo: memFree=30426640/32770624 swapFree=67108860/67108860
[pid=25773] ppid=25770 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25773/stat : 25773 (xcsp3-exec) S 25770 25773 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119432022 9740288 345 18446744073709551615 4194304 5098028 140726938959776 140726938957880 140131062530684 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 24969216 140726938964344 140726938964549 140726938964549 140726938968043 0
/proc/25773/statm: 2378 345 289 221 0 87 0
[pid=25775] ppid=25773 vsize=13980732 memory=64496 CPUtime=1.06 cores=0,2,4,6
/proc/25775/stat : 25775 (java) S 25773 25773 8563 0 -1 1077944320 13532 0 0 0 102 4 0 0 20 0 15 0 119432032 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140736071098176 140574333312759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
/proc/25775/statm: 3495183 16124 3171 1 0 3483476 0
[pid=25775/tid=25776] ppid=25773 vsize=13980732 memory=7660742144744843625 CPUtime=0.53 cores=0,2,4,6
/proc/25775/task/25776/stat : 25776 (java) R 25773 25773 8563 0 -1 4202560 8959 0 0 0 50 3 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574337550816 140574333324694 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25777] ppid=25773 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25777/stat : 25777 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574290278672 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25778] ppid=25773 vsize=13980732 memory=6940416806629691476 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25778/stat : 25778 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574289226128 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25779] ppid=25773 vsize=13980732 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25779/stat : 25779 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574288173584 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25780] ppid=25773 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25780/stat : 25780 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432034 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574287121040 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25781] ppid=25773 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25781/stat : 25781 (java) S 25773 25773 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119432035 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573518600688 140574333323906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25782] ppid=25773 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25782/stat : 25782 (java) S 25773 25773 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119432035 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573517546912 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25783] ppid=25773 vsize=13980732 memory=-8815662549083463029 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25783/stat : 25783 (java) S 25773 25773 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119432036 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573516494320 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25784] ppid=25773 vsize=13980732 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25784/stat : 25784 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573515442896 140574333331355 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25785] ppid=25773 vsize=13980732 memory=400 CPUtime=0.11 cores=0,2,4,6
/proc/25775/task/25785/stat : 25785 (java) S 25773 25773 8563 0 -1 1077944384 841 0 0 0 11 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573514389488 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25786] ppid=25773 vsize=13980732 memory=116 CPUtime=0.12 cores=0,2,4,6
/proc/25775/task/25786/stat : 25786 (java) S 25773 25773 8563 0 -1 1077944384 992 0 0 0 12 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573513336944 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25787] ppid=25773 vsize=13980732 memory=7 CPUtime=0.27 cores=0,2,4,6
/proc/25775/task/25787/stat : 25787 (java) R 25773 25773 8563 0 -1 4202560 1434 0 0 0 27 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573512280128 140574326409595 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25788] ppid=25773 vsize=13980732 memory=614 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25788/stat : 25788 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573511232096 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25789] ppid=25773 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25789/stat : 25789 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432043 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573510179632 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65876 KiB
[startup+0.787725 s]
# the end of solver process 25773 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.23032 s, system=0.057346 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.702085 s]
/proc/loadavg: 1.11 1.33 1.62 7/212 25789
/proc/meminfo: memFree=30426640/32770624 swapFree=67108860/67108860
[pid=25773] ppid=25770 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/25773/stat : 25773 (xcsp3-exec) S 25770 25773 8563 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 119432022 9740288 345 18446744073709551615 4194304 5098028 140726938959776 140726938957880 140131062530684 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 10 0 0 7196144 7232144 24969216 140726938964344 140726938964549 140726938964549 140726938968043 0
/proc/25773/statm: 2378 345 289 221 0 87 0
[pid=25775] ppid=25773 vsize=13980732 memory=64496 CPUtime=1.06 cores=0,2,4,6
/proc/25775/stat : 25775 (java) S 25773 25773 8563 0 -1 1077944320 13532 0 0 0 102 4 0 0 20 0 15 0 119432032 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140736071098176 140574333312759 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
/proc/25775/statm: 3495183 16124 3171 1 0 3483476 0
[pid=25775/tid=25776] ppid=25773 vsize=13980732 memory=7660742144744843625 CPUtime=0.53 cores=0,2,4,6
/proc/25775/task/25776/stat : 25776 (java) R 25773 25773 8563 0 -1 4202560 8959 0 0 0 50 3 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574337550816 140574333324694 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25777] ppid=25773 vsize=13980732 memory=6935650355287975249 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25777/stat : 25777 (java) S 25773 25773 8563 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574290278672 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25778] ppid=25773 vsize=13980732 memory=6940416806629691476 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25778/stat : 25778 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574289226128 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25779] ppid=25773 vsize=13980732 memory=-7098080424032564416 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25779/stat : 25779 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432033 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574288173584 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25780] ppid=25773 vsize=13980732 memory=8370611207638964880 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25780/stat : 25780 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432034 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140574287121040 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25781] ppid=25773 vsize=13980732 memory=-7737605734073691286 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25781/stat : 25781 (java) S 25773 25773 8563 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 119432035 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573518600688 140574333323906 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25782] ppid=25773 vsize=13980732 memory=4427207343990470186 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25782/stat : 25782 (java) S 25773 25773 8563 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119432035 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573517546912 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25783] ppid=25773 vsize=13980732 memory=-8815662549083463029 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25783/stat : 25783 (java) S 25773 25773 8563 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119432036 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573516494320 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25784] ppid=25773 vsize=13980732 memory=1532 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25784/stat : 25784 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573515442896 140574333331355 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25785] ppid=25773 vsize=13980732 memory=400 CPUtime=0.11 cores=0,2,4,6
/proc/25775/task/25785/stat : 25785 (java) S 25773 25773 8563 0 -1 1077944384 841 0 0 0 11 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573514389488 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25786] ppid=25773 vsize=13980732 memory=116 CPUtime=0.12 cores=0,2,4,6
/proc/25775/task/25786/stat : 25786 (java) S 25773 25773 8563 0 -1 1077944384 992 0 0 0 12 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573513336944 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25787] ppid=25773 vsize=13980732 memory=7 CPUtime=0.27 cores=0,2,4,6
/proc/25775/task/25787/stat : 25787 (java) R 25773 25773 8563 0 -1 4202560 1434 0 0 0 27 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573512280128 140574326409595 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25788] ppid=25773 vsize=13980732 memory=614 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25788/stat : 25788 (java) S 25773 25773 8563 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119432038 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573511232096 140574333322965 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
[pid=25775/tid=25789] ppid=25773 vsize=13980732 memory=1 CPUtime=0 cores=0,2,4,6
/proc/25775/task/25789/stat : 25789 (java) S 25773 25773 8563 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119432043 14316269568 16124 18446744073709551615 4194304 4196468 140736071115632 140573510179632 140574333323906 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12976128 140736071119281 140736071119457 140736071119457 140736071122895 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 65876 KiB
Child status: 0
Real time (s): 0.787765
CPU time (s): 1.28767
CPU user time (s): 1.23032
CPU system time (s): 0.057346
CPU usage (%): 163.458
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 65876
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.23032
system time used= 0.057346
maximum resident set size= 68024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14359
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= 1864
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 25773
# total CPU time (s): 1.28767
# total CPU user time (s): 1.23032
# total CPU system time (s): 0.057346
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030477 second user time and 0.04254 second system time
The end