runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4251671-1500917337/watcher-4251671-1500917337 -o /tmp/evaluation-result-4251671-1500917337/solver-4251671-1500917337 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1500914921-3495 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4251671-1500917337.xml
pid=4043
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.00 1.99 1.95 4/181 4046
/proc/meminfo: memFree=32121748/32770624 swapFree=5784/115492
[pid=4046] ppid=4043 vsize=25124 CPUtime=0 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1072 0 0 0 0 0 0 0 20 0 1 0 1287017 25726976 879 33554432000 4194304 6986860 140722192828544 140722192825240 139938183777253 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6281 879 649 682 0 284 0
[startup+0.100201 s]
/proc/loadavg: 2.00 1.99 1.95 4/181 4046
/proc/meminfo: memFree=32121748/32770624 swapFree=5784/115492
[pid=4046] ppid=4043 vsize=25836 CPUtime=0.09 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1241 0 0 0 9 0 0 0 20 0 1 0 1287017 26456064 1035 33554432000 4194304 6986860 140722192828544 140722192825240 5811076 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6459 1035 663 682 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25836
[startup+0.200308 s]
/proc/loadavg: 2.00 1.99 1.95 4/181 4046
/proc/meminfo: memFree=32121748/32770624 swapFree=5784/115492
[pid=4046] ppid=4043 vsize=26484 CPUtime=0.19 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1459 0 0 0 19 0 0 0 20 0 1 0 1287017 27119616 1147 33554432000 4194304 6986860 140722192828544 140722192825240 5529198 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6621 1147 663 682 0 624 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26484
[startup+0.300304 s]
/proc/loadavg: 2.00 1.99 1.95 4/181 4046
/proc/meminfo: memFree=32121748/32770624 swapFree=5784/115492
[pid=4046] ppid=4043 vsize=26484 CPUtime=0.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1508 0 0 0 29 0 0 0 20 0 1 0 1287017 27119616 1147 33554432000 4194304 6986860 140722192828544 140722192825240 5887584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6621 1147 663 682 0 624 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26484
[startup+0.700285 s]
/proc/loadavg: 2.00 1.99 1.95 4/181 4046
/proc/meminfo: memFree=32121748/32770624 swapFree=5784/115492
[pid=4046] ppid=4043 vsize=26616 CPUtime=0.69 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1519 0 0 0 69 0 0 0 20 0 1 0 1287017 27254784 1212 33554432000 4194304 6986860 140722192828544 140722192823224 5646584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6654 1212 705 682 0 657 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26616
[startup+1.50028 s]
/proc/loadavg: 2.00 1.99 1.95 3/182 4047
/proc/meminfo: memFree=32119532/32770624 swapFree=5784/115504
[pid=4046] ppid=4043 vsize=26616 CPUtime=1.49 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1540 0 0 0 149 0 0 0 20 0 1 0 1287017 27254784 1212 33554432000 4194304 6986860 140722192828544 140722192818792 6250962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6654 1212 705 682 0 657 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26616
[startup+3.10028 s]
/proc/loadavg: 2.00 1.99 1.95 3/182 4047
/proc/meminfo: memFree=32118776/32770624 swapFree=5784/115516
[pid=4046] ppid=4043 vsize=26748 CPUtime=3.09 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 1829 0 0 0 309 0 0 0 20 0 1 0 1287017 27389952 1258 33554432000 4194304 6986860 140722192828544 140722192818792 6250962 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6687 1258 705 682 0 690 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26748
[startup+6.30027 s]
/proc/loadavg: 2.00 1.99 1.95 2/179 4079
/proc/meminfo: memFree=32122220/32770624 swapFree=5784/115496
[pid=4046] ppid=4043 vsize=27144 CPUtime=6.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 2217 0 0 0 629 0 0 0 20 0 1 0 1287017 27795456 1352 33554432000 4194304 6986860 140722192828544 140722192818792 5620916 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 6786 1352 705 682 0 789 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27144
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.95 3/182 4111
/proc/meminfo: memFree=32112784/32770624 swapFree=5784/115508
[pid=4046] ppid=4043 vsize=34824 CPUtime=12.69 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 5066 0 0 0 1268 1 0 0 20 0 1 0 1287017 35659776 3349 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3349 725 682 0 2709 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34824
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.95 3/182 4111
/proc/meminfo: memFree=32112304/32770624 swapFree=5784/115516
[pid=4046] ppid=4043 vsize=34824 CPUtime=25.49 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 6675 0 0 0 2540 9 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 34824
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.95 3/182 4111
/proc/meminfo: memFree=32112248/32770624 swapFree=5784/115544
[pid=4046] ppid=4043 vsize=34824 CPUtime=51.09 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 7486 0 0 0 5086 23 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34824
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/183 4120
/proc/meminfo: memFree=32109928/32770624 swapFree=5784/115588
[pid=4046] ppid=4043 vsize=34824 CPUtime=102.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 7948 0 0 0 10174 55 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 34824
[startup+162.3 s]
/proc/loadavg: 2.05 2.00 1.96 3/183 4121
/proc/meminfo: memFree=32110092/32770624 swapFree=5784/115620
[pid=4046] ppid=4043 vsize=34824 CPUtime=162.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 8405 0 0 0 16132 97 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 34824
[startup+222.306 s]
/proc/loadavg: 2.02 2.00 1.96 3/183 4122
/proc/meminfo: memFree=32110260/32770624 swapFree=5784/115648
[pid=4046] ppid=4043 vsize=34824 CPUtime=222.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 8862 0 0 0 22097 132 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 34824
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/183 4123
/proc/meminfo: memFree=32110428/32770624 swapFree=5784/115680
[pid=4046] ppid=4043 vsize=34824 CPUtime=282.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 9318 0 0 0 28060 169 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 34824
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 4124
/proc/meminfo: memFree=32110720/32770624 swapFree=5784/115712
[pid=4046] ppid=4043 vsize=34824 CPUtime=342.28 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 9770 0 0 0 34024 204 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 34824
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 4125
/proc/meminfo: memFree=32110660/32770624 swapFree=5784/115748
[pid=4046] ppid=4043 vsize=34824 CPUtime=402.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 10228 0 0 0 39988 241 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 34824
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 4126
/proc/meminfo: memFree=32110960/32770624 swapFree=5784/115780
[pid=4046] ppid=4043 vsize=34824 CPUtime=462.28 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 10693 0 0 0 45953 275 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 34824
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 4127
/proc/meminfo: memFree=32110852/32770624 swapFree=5784/115808
[pid=4046] ppid=4043 vsize=34824 CPUtime=522.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 11152 0 0 0 51923 306 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 5357081 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 34824
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 4128
/proc/meminfo: memFree=32110904/32770624 swapFree=5784/115836
[pid=4046] ppid=4043 vsize=34824 CPUtime=582.28 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 11611 0 0 0 57891 337 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 34824
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 1.99 3/183 4159
/proc/meminfo: memFree=32110748/32770624 swapFree=5784/116320
[pid=4046] ppid=4043 vsize=34824 CPUtime=1542.3 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 18531 0 0 0 153314 916 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 34824
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/182 4161
/proc/meminfo: memFree=32110556/32770624 swapFree=5784/116356
[pid=4046] ppid=4043 vsize=34824 CPUtime=1602.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 18947 0 0 0 159275 954 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 34824
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4162
/proc/meminfo: memFree=32110816/32770624 swapFree=5784/116384
[pid=4046] ppid=4043 vsize=34824 CPUtime=1662.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 19363 0 0 0 165236 993 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 34824
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4163
/proc/meminfo: memFree=32110988/32770624 swapFree=5784/116412
[pid=4046] ppid=4043 vsize=34824 CPUtime=1722.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 19778 0 0 0 171194 1035 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 34824
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4165
/proc/meminfo: memFree=32110660/32770624 swapFree=5784/116452
[pid=4046] ppid=4043 vsize=34824 CPUtime=1782.28 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 20217 0 0 0 177158 1070 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 34824
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4166
/proc/meminfo: memFree=32110360/32770624 swapFree=5784/116480
[pid=4046] ppid=4043 vsize=34824 CPUtime=1842.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 20618 0 0 0 183123 1106 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1842.29
Current children cumulated vsize (KiB) 34824
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4174
/proc/meminfo: memFree=32110660/32770624 swapFree=5784/116516
[pid=4046] ppid=4043 vsize=34824 CPUtime=1902.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 21029 0 0 0 189088 1141 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1902.29
Current children cumulated vsize (KiB) 34824
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4198
/proc/meminfo: memFree=32110088/32770624 swapFree=5784/116556
[pid=4046] ppid=4043 vsize=34824 CPUtime=1962.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 21435 0 0 0 195051 1178 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 1962.29
Current children cumulated vsize (KiB) 34824
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4199
/proc/meminfo: memFree=32110136/32770624 swapFree=5784/116584
[pid=4046] ppid=4043 vsize=34824 CPUtime=2022.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 21836 0 0 0 201012 1217 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2022.29
Current children cumulated vsize (KiB) 34824
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 4200
/proc/meminfo: memFree=32110312/32770624 swapFree=5784/116612
[pid=4046] ppid=4043 vsize=34824 CPUtime=2082.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 22251 0 0 0 206973 1256 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2082.29
Current children cumulated vsize (KiB) 34824
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 4201
/proc/meminfo: memFree=32110468/32770624 swapFree=5784/116640
[pid=4046] ppid=4043 vsize=34824 CPUtime=2142.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 22676 0 0 0 212937 1292 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2142.29
Current children cumulated vsize (KiB) 34824
[startup+2202.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 4202
/proc/meminfo: memFree=32110388/32770624 swapFree=5784/116676
[pid=4046] ppid=4043 vsize=34824 CPUtime=2202.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 23096 0 0 0 218899 1330 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192823896 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2202.29
Current children cumulated vsize (KiB) 34824
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 4203
/proc/meminfo: memFree=32110568/32770624 swapFree=5784/116704
[pid=4046] ppid=4043 vsize=34824 CPUtime=2262.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 23521 0 0 0 224858 1371 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2262.29
Current children cumulated vsize (KiB) 34824
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4204
/proc/meminfo: memFree=32110752/32770624 swapFree=5784/116732
[pid=4046] ppid=4043 vsize=34824 CPUtime=2322.29 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 23944 0 0 0 230816 1413 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2322.29
Current children cumulated vsize (KiB) 34824
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4205
/proc/meminfo: memFree=32110056/32770624 swapFree=5784/116768
[pid=4046] ppid=4043 vsize=34824 CPUtime=2382.28 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 24364 0 0 0 236775 1453 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2382.28
Current children cumulated vsize (KiB) 34824
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4205
/proc/meminfo: memFree=32110056/32770624 swapFree=5784/116780
[pid=4046] ppid=4043 vsize=34824 CPUtime=2400.09 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 24762 0 0 0 238546 1463 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 34824
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4046 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 4205
/proc/meminfo: memFree=32110056/32770624 swapFree=5784/116780
[pid=4046] ppid=4043 vsize=34824 CPUtime=2400.09 cores=0,2,4,6
/proc/4046/stat : 4046 (naxos-xcsp3) R 4043 4046 3464 0 -1 4202496 24762 0 0 0 238546 1463 0 0 20 0 1 0 1287017 35659776 3414 33554432000 4194304 6986860 140722192828544 140722192824072 139938184040828 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0 9087712 9120176 30511104 140722192831758 140722192831839 140722192831839 140722192834538 0
/proc/4046/statm: 8706 3414 729 682 0 2709 0
Current children cumulated CPU time (s) 2400.09
Current children cumulated vsize (KiB) 34824
Child status: 0
Real time (s): 2400.1
CPU time (s): 2400.1
CPU user time (s): 2385.46
CPU system time (s): 14.636
CPU usage (%): 99.9999
Max. virtual memory (cumulated for all children) (KiB): 34824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.46
system time used= 14.636
maximum resident set size= 13676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24791
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8
involuntary context switches= 957
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.06219 second user time and 7.86732 second system time
The end