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 (14377 MiB free)
memory of node 1: 16384 MiB (15213 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272578-1502805667/watcher-4272578-1502805667 -o /tmp/evaluation-result-4272578-1502805667/solver-4272578-1502805667 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1783271730 HOME/instance-4272578-1502805667.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=801, runsolver pid=798
Current StackSize limit: 8192 KiB
[startup+0.100062 s]*
/proc/loadavg: 1.71 1.40 1.47 3/204 808
/proc/meminfo: memFree=30294288/32770624 swapFree=67108860/67108860
[pid=801] ppid=798 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/801/stat : 801 (xcsp3-exec) S 798 801 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34449266 9740288 344 18446744073709551615 4194304 5098028 140735794461440 140735794459544 139691191165564 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23658496 140735794463097 140735794463302 140735794463302 140735794466795 0
/proc/801/statm: 2378 344 289 221 0 87 0
[pid=803] ppid=801 vsize=13358712 memory=14104 CPUtime=0 cores=1,3,5,7
/proc/803/stat : 803 (java) S 801 801 7968 0 -1 1077944320 3314 0 0 0 0 0 0 0 20 0 6 0 34449275 13679321088 3526 18446744073709551615 4194304 4196468 140721802377456 140721802360000 140022685507319 0 0 1 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
/proc/803/statm: 3339678 3526 1892 1 0 3329175 0
[pid=803/tid=804] ppid=801 vsize=13358712 memory=7311146985107750967 CPUtime=0 cores=1,3,5,7
/proc/803/task/804/stat : 804 (java) R 801 801 7968 0 -1 4202560 2165 0 0 0 0 0 0 0 20 0 6 0 34449275 13679321088 4169 18446744073709551615 4194304 4196468 140721802377456 140022689743440 140022669587806 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=805] ppid=801 vsize=13358712 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/803/task/805/stat : 805 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34449276 13679321088 4169 18446744073709551615 4194304 4196468 140721802377456 140022646405904 140022685517525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=806] ppid=801 vsize=13358712 memory=288370551090357888 CPUtime=0 cores=1,3,5,7
/proc/803/task/806/stat : 806 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34449276 13679321088 4169 18446744073709551615 4194304 4196468 140721802377456 140022284479376 140022685517525 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=807] ppid=801 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/807/stat : 807 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 34449276 13679321088 4169 18446744073709551615 4194304 4196468 140721802377456 140022283426832 140022685517525 0 4 1 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=808] ppid=801 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/808/stat : 808 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 34449276 13679321088 4169 18446744073709551615 4194304 4196468 140721802377456 140022282374288 140022685517525 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15480 KiB
[startup+0.209976 s]*
/proc/loadavg: 1.71 1.40 1.47 3/213 817
/proc/meminfo: memFree=30284232/32770624 swapFree=67108860/67108860
[pid=801] ppid=798 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/801/stat : 801 (xcsp3-exec) S 798 801 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34449266 9740288 344 18446744073709551615 4194304 5098028 140735794461440 140735794459544 139691191165564 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23658496 140735794463097 140735794463302 140735794463302 140735794466795 0
/proc/801/statm: 2378 344 289 221 0 87 0
[pid=803] ppid=801 vsize=13974352 memory=26672 CPUtime=0.09 cores=1,3,5,7
/proc/803/stat : 803 (java) S 801 801 7968 0 -1 1077944320 5074 0 0 0 8 1 0 0 20 0 15 0 34449275 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140721802360000 140022685507319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
/proc/803/statm: 3493588 6668 2755 1 0 3482964 0
[pid=803/tid=804] ppid=801 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=1,3,5,7
/proc/803/task/804/stat : 804 (java) R 801 801 7968 0 -1 4202560 3251 0 0 0 7 1 0 0 20 0 15 0 34449275 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140022689729568 140022685519254 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=805] ppid=801 vsize=13974352 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/803/task/805/stat : 805 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140022646405904 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=806] ppid=801 vsize=13974352 memory=288370551090357888 CPUtime=0 cores=1,3,5,7
/proc/803/task/806/stat : 806 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140022284479376 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=807] ppid=801 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/807/stat : 807 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140022283426832 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=808] ppid=801 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/808/stat : 808 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140022282374288 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=809] ppid=801 vsize=13974352 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/809/stat : 809 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449277 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021803587568 140022685518466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=810] ppid=801 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/810/stat : 810 (java) S 801 801 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34449278 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021802533792 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=811] ppid=801 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/811/stat : 811 (java) S 801 801 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34449278 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021801481200 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=812] ppid=801 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/812/stat : 812 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021800429776 140022685525915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=813] ppid=801 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/813/stat : 813 (java) S 801 801 7968 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021799377392 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=814] ppid=801 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/814/stat : 814 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021798324848 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=815] ppid=801 vsize=13974352 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/815/stat : 815 (java) S 801 801 7968 0 -1 1077944384 255 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021797272304 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=816] ppid=801 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/816/stat : 816 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021796220000 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=817] ppid=801 vsize=13974352 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/817/stat : 817 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449285 14309736448 6668 18446744073709551615 4194304 4196468 140721802377456 140021795166512 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 28048 KiB
[startup+0.310348 s]*
/proc/loadavg: 1.71 1.40 1.47 4/213 817
/proc/meminfo: memFree=30273052/32770624 swapFree=67108860/67108860
[pid=801] ppid=798 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/801/stat : 801 (xcsp3-exec) S 798 801 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34449266 9740288 344 18446744073709551615 4194304 5098028 140735794461440 140735794459544 139691191165564 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23658496 140735794463097 140735794463302 140735794463302 140735794466795 0
/proc/801/statm: 2378 344 289 221 0 87 0
[pid=803] ppid=801 vsize=13974352 memory=37360 CPUtime=0.28 cores=1,3,5,7
/proc/803/stat : 803 (java) S 801 801 7968 0 -1 1077944320 8925 0 0 0 25 3 0 0 20 0 15 0 34449275 14309736448 9340 18446744073709551615 4194304 4196468 140721802377456 140721802360000 140022685507319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
/proc/803/statm: 3493588 9340 2982 1 0 3482964 0
[pid=803/tid=804] ppid=801 vsize=13974352 memory=7311146985107750967 CPUtime=0.17 cores=1,3,5,7
/proc/803/task/804/stat : 804 (java) R 801 801 7968 0 -1 4202560 6089 0 0 0 15 2 0 0 20 0 15 0 34449275 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140022689745616 140022685529245 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=805] ppid=801 vsize=13974352 memory=11602 CPUtime=0 cores=1,3,5,7
/proc/803/task/805/stat : 805 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140022646405904 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=806] ppid=801 vsize=13974352 memory=300808433590654592 CPUtime=0 cores=1,3,5,7
/proc/803/task/806/stat : 806 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140022284479376 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=807] ppid=801 vsize=13974352 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/803/task/807/stat : 807 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140022283426832 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=808] ppid=801 vsize=13974352 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/803/task/808/stat : 808 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140022282374288 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=809] ppid=801 vsize=13974352 memory=7160715639649277173 CPUtime=0 cores=1,3,5,7
/proc/803/task/809/stat : 809 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449277 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021803587568 140022685518466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=810] ppid=801 vsize=13974352 memory=4210146916469654281 CPUtime=0 cores=1,3,5,7
/proc/803/task/810/stat : 810 (java) S 801 801 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34449278 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021802533792 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=811] ppid=801 vsize=13974352 memory=-8990767739041718176 CPUtime=0 cores=1,3,5,7
/proc/803/task/811/stat : 811 (java) S 801 801 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34449278 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021801481200 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=812] ppid=801 vsize=13974352 memory=-7361183220417256563 CPUtime=0 cores=1,3,5,7
/proc/803/task/812/stat : 812 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021800429776 140022685525915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=813] ppid=801 vsize=13974352 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/803/task/813/stat : 813 (java) R 801 801 7968 0 -1 1077944384 747 0 0 0 2 0 0 0 20 0 15 0 34449280 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021799377392 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=814] ppid=801 vsize=13974352 memory=3472328296227680299 CPUtime=0.02 cores=1,3,5,7
/proc/803/task/814/stat : 814 (java) R 801 801 7968 0 -1 4202560 66 0 0 0 2 0 0 0 20 0 15 0 34449280 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021798324848 140022669001497 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=815] ppid=801 vsize=13974352 memory=8607468441615534559 CPUtime=0.06 cores=1,3,5,7
/proc/803/task/815/stat : 815 (java) R 801 801 7968 0 -1 1077944384 743 0 0 0 6 0 0 0 20 0 15 0 34449280 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021797272304 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=816] ppid=801 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/816/stat : 816 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021796220000 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=817] ppid=801 vsize=13974352 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/817/stat : 817 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449285 14309736448 9405 18446744073709551615 4194304 4196468 140721802377456 140021795166512 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38736 KiB
[startup+0.637357 s]
# the end of solver process 801 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.92044 s, system=0.044809 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.410317 s]*
/proc/loadavg: 1.71 1.40 1.47 6/213 817
/proc/meminfo: memFree=30269748/32770624 swapFree=67108860/67108860
[pid=801] ppid=798 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/801/stat : 801 (xcsp3-exec) S 798 801 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34449266 9740288 344 18446744073709551615 4194304 5098028 140735794461440 140735794459544 139691191165564 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23658496 140735794463097 140735794463302 140735794463302 140735794466795 0
/proc/801/statm: 2378 344 289 221 0 87 0
[pid=803] ppid=801 vsize=13978608 memory=43892 CPUtime=0.45 cores=1,3,5,7
/proc/803/stat : 803 (java) S 801 801 7968 0 -1 1077944320 10339 0 0 0 42 3 0 0 20 0 15 0 34449275 14314094592 10973 18446744073709551615 4194304 4196468 140721802377456 140721802360000 140022685507319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
/proc/803/statm: 3494652 10973 3043 1 0 3482964 0
[pid=803/tid=804] ppid=801 vsize=13978608 memory=-6871798056524144002 CPUtime=0.27 cores=1,3,5,7
/proc/803/task/804/stat : 804 (java) R 801 801 7968 0 -1 4202560 7375 0 0 0 25 2 0 0 20 0 15 0 34449275 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140022689737792 140022669587806 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=805] ppid=801 vsize=13978608 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/803/task/805/stat : 805 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140022646405904 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=806] ppid=801 vsize=13978608 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/806/stat : 806 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140022284479376 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=807] ppid=801 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/807/stat : 807 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140022283426832 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=808] ppid=801 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/808/stat : 808 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140022282374288 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=809] ppid=801 vsize=13978608 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/809/stat : 809 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449277 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021803587568 140022685518466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=810] ppid=801 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/810/stat : 810 (java) S 801 801 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34449278 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021802533792 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=811] ppid=801 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/811/stat : 811 (java) S 801 801 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34449278 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021801481200 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=812] ppid=801 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/812/stat : 812 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021800429776 140022685525915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=813] ppid=801 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/803/task/813/stat : 813 (java) S 801 801 7968 0 -1 1077944384 768 0 0 0 3 0 0 0 20 0 15 0 34449280 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021799377392 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=814] ppid=801 vsize=13978608 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/803/task/814/stat : 814 (java) S 801 801 7968 0 -1 1077944384 124 0 0 0 3 0 0 0 20 0 15 0 34449280 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021798324848 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=815] ppid=801 vsize=13978608 memory=140174938646144 CPUtime=0.1 cores=1,3,5,7
/proc/803/task/815/stat : 815 (java) S 801 801 7968 0 -1 1077944384 822 0 0 0 10 0 0 0 20 0 15 0 34449280 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021797272304 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=816] ppid=801 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/803/task/816/stat : 816 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021796220000 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=817] ppid=801 vsize=13978608 memory=140174938646144 CPUtime=0 cores=1,3,5,7
/proc/803/task/817/stat : 817 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449285 14314094592 11043 18446744073709551615 4194304 4196468 140721802377456 140021795166512 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 45268 KiB
[startup+0.613255 s]
/proc/loadavg: 1.71 1.40 1.47 4/213 817
/proc/meminfo: memFree=30263896/32770624 swapFree=67108860/67108860
[pid=801] ppid=798 vsize=9512 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/801/stat : 801 (xcsp3-exec) S 798 801 7968 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 34449266 9740288 344 18446744073709551615 4194304 5098028 140735794461440 140735794459544 139691191165564 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 23658496 140735794463097 140735794463302 140735794463302 140735794466795 0
/proc/801/statm: 2378 344 289 221 0 87 0
[pid=803] ppid=801 vsize=13980732 memory=61092 CPUtime=0.91 cores=1,3,5,7
/proc/803/stat : 803 (java) S 801 801 7968 0 -1 1077944320 12971 0 0 0 87 4 0 0 20 0 15 0 34449275 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140721802360000 140022685507319 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
/proc/803/statm: 3495183 15273 3161 1 0 3483476 0
[pid=803/tid=804] ppid=801 vsize=13980732 memory=3688509913103095585 CPUtime=0.47 cores=1,3,5,7
/proc/803/task/804/stat : 804 (java) R 801 801 7968 0 -1 4202560 8462 0 0 0 44 3 0 0 20 0 15 0 34449275 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140022689746944 140022669587806 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=805] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/805/stat : 805 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140022646405904 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=806] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/806/stat : 806 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140022284479376 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=807] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/807/stat : 807 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449276 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140022283426832 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=808] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/808/stat : 808 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449276 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140022282374288 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=809] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/809/stat : 809 (java) S 801 801 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 34449277 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021803587568 140022685518466 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=810] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/810/stat : 810 (java) S 801 801 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 34449278 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021802533792 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=811] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/811/stat : 811 (java) S 801 801 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 34449278 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021801481200 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=812] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/812/stat : 812 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021800429776 140022685525915 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=813] ppid=801 vsize=13980732 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/803/task/813/stat : 813 (java) R 801 801 7968 0 -1 4202560 1305 0 0 0 10 0 0 0 20 0 15 0 34449280 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021799363416 140022667051868 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=814] ppid=801 vsize=13980732 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/803/task/814/stat : 814 (java) R 801 801 7968 0 -1 4202560 648 0 0 0 10 0 0 0 20 0 15 0 34449280 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021798305864 140022670632714 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=815] ppid=801 vsize=13980732 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/803/task/815/stat : 815 (java) R 801 801 7968 0 -1 4202560 1254 0 0 0 22 0 0 0 20 0 15 0 34449280 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021797272304 140022678607166 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=816] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/816/stat : 816 (java) S 801 801 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 34449280 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021796220000 140022685517525 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
[pid=803/tid=817] ppid=801 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/803/task/817/stat : 817 (java) S 801 801 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 34449285 14316269568 15273 18446744073709551615 4194304 4196468 140721802377456 140021795166512 140022685518466 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32501760 140721802383794 140721802383970 140721802383970 140721802387407 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 62468 KiB
Child status: 0
Real time (s): 0.637411
CPU time (s): 0.965249
CPU user time (s): 0.92044
CPU system time (s): 0.044809
CPU usage (%): 151.433
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 62468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.92044
system time used= 0.044809
maximum resident set size= 62256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13591
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= 1326
involuntary context switches= 3
# summary of solver processes directly reported to runsolver:
# pid: 801
# total CPU time (s): 0.965249
# total CPU user time (s): 0.92044
# total CPU system time (s): 0.044809
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.023911 second user time and 0.048861 second system time
The end