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-4252167-1500922868/watcher-4252167-1500922868 -o /tmp/evaluation-result-4252167-1500922868/solver-4252167-1500922868 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3560 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252167-1500922868.xml
pid=7879
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: 1.87 2.00 2.03 3/181 7882
/proc/meminfo: memFree=32104360/32770688 swapFree=5844/114344
[pid=7882] ppid=7879 vsize=24736 CPUtime=0 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 1021 0 0 0 0 0 0 0 20 0 1 0 1874650 25329664 814 33554432000 4194304 6986860 140723700068528 140723700065224 140429360074400 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 6184 814 659 682 0 187 0
[startup+0.100155 s]
/proc/loadavg: 1.87 2.00 2.03 3/181 7882
/proc/meminfo: memFree=32104360/32770688 swapFree=5844/114344
[pid=7882] ppid=7879 vsize=24988 CPUtime=0.09 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 1124 0 0 0 9 0 0 0 20 0 1 0 1874650 25587712 942 33554432000 4194304 6986860 140723700068528 140723700065224 140429359983589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 6247 942 744 682 0 250 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24988
[startup+0.200264 s]
/proc/loadavg: 1.87 2.00 2.03 3/181 7882
/proc/meminfo: memFree=32104360/32770688 swapFree=5844/114344
[pid=7882] ppid=7879 vsize=25244 CPUtime=0.19 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 1188 0 0 0 19 0 0 0 20 0 1 0 1874650 25849856 1007 33554432000 4194304 6986860 140723700068528 140723700060664 140429359983589 0 0 4096 0 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 6311 1007 745 682 0 314 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25244
[startup+0.300264 s]
/proc/loadavg: 1.87 2.00 2.03 3/181 7882
/proc/meminfo: memFree=32104360/32770688 swapFree=5844/114344
[pid=7882] ppid=7879 vsize=30764 CPUtime=0.29 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 2560 0 0 0 29 0 0 0 20 0 1 0 1874650 31502336 2368 33554432000 4194304 6986860 140723700068528 140723700060664 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7691 2368 758 682 0 1694 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30764
[startup+0.700232 s]
/proc/loadavg: 1.87 2.00 2.03 3/181 7882
/proc/meminfo: memFree=32104360/32770688 swapFree=5844/114344
[pid=7882] ppid=7879 vsize=30764 CPUtime=0.69 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 2578 0 0 0 69 0 0 0 20 0 1 0 1874650 31502336 2368 33554432000 4194304 6986860 140723700068528 140723700060664 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7691 2368 758 682 0 1694 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30764
[startup+1.50023 s]
/proc/loadavg: 1.87 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097736/32770688 swapFree=5844/114168
[pid=7882] ppid=7879 vsize=30764 CPUtime=1.49 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 2581 0 0 0 149 0 0 0 20 0 1 0 1874650 31502336 2368 33554432000 4194304 6986860 140723700068528 140723700060664 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7691 2368 758 682 0 1694 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30764
[startup+3.10023 s]
/proc/loadavg: 1.87 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097108/32770688 swapFree=5844/114400
[pid=7882] ppid=7879 vsize=31024 CPUtime=3.09 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 3049 0 0 0 308 1 0 0 20 0 1 0 1874650 31768576 2436 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7756 2436 758 682 0 1759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31024
[startup+6.30023 s]
/proc/loadavg: 1.88 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097132/32770688 swapFree=5844/114408
[pid=7882] ppid=7879 vsize=31124 CPUtime=6.29 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 3548 0 0 0 627 2 0 0 20 0 1 0 1874650 31870976 2501 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7781 2501 758 682 0 1784 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31124
[startup+12.7002 s]
/proc/loadavg: 1.89 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097156/32770688 swapFree=5844/114420
[pid=7882] ppid=7879 vsize=31036 CPUtime=12.69 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 4102 0 0 0 1265 4 0 0 20 0 1 0 1874650 31780864 2483 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7759 2483 758 682 0 1762 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31036
[startup+25.5003 s]
/proc/loadavg: 1.91 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097052/32770688 swapFree=5844/114424
[pid=7882] ppid=7879 vsize=31036 CPUtime=25.49 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 5076 0 0 0 2541 8 0 0 20 0 1 0 1874650 31780864 2495 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7759 2495 758 682 0 1762 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 31036
[startup+51.1003 s]
/proc/loadavg: 1.94 2.00 2.03 3/182 7883
/proc/meminfo: memFree=32097172/32770688 swapFree=5844/114432
[pid=7882] ppid=7879 vsize=31144 CPUtime=51.09 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 5629 0 0 0 5091 18 0 0 20 0 1 0 1874650 31891456 2503 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2503 758 682 0 1789 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 31144
[startup+102.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32114908/32770688 swapFree=5844/114500
[pid=7882] ppid=7879 vsize=31144 CPUtime=102.31 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 6155 0 0 0 10197 34 0 0 20 0 1 0 1874650 31891456 2503 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2503 758 682 0 1789 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 31144
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/182 7949
/proc/meminfo: memFree=32114304/32770688 swapFree=5844/114540
[pid=7882] ppid=7879 vsize=31144 CPUtime=162.3 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 6671 0 0 0 16175 55 0 0 20 0 1 0 1874650 31891456 2503 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2503 758 682 0 1789 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 31144
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 7950
/proc/meminfo: memFree=32114308/32770688 swapFree=5844/114568
[pid=7882] ppid=7879 vsize=31144 CPUtime=222.31 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 7211 0 0 0 22156 75 0 0 20 0 1 0 1874650 31891456 2503 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2503 758 682 0 1789 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 31144
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 7951
/proc/meminfo: memFree=32114892/32770688 swapFree=5844/114588
[pid=7882] ppid=7879 vsize=31144 CPUtime=282.32 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 7229 0 0 0 28134 98 0 0 20 0 1 0 1874650 31891456 2503 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2503 758 682 0 1789 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 31144
[startup+342.3 s]
/proc/loadavg: 2.11 2.02 2.04 3/182 7952
/proc/meminfo: memFree=32115032/32770688 swapFree=5844/114608
[pid=7882] ppid=7879 vsize=31144 CPUtime=342.32 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 7777 0 0 0 34114 118 0 0 20 0 1 0 1874650 31891456 2520 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2520 758 682 0 1789 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 31144
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.04 3/182 7953
/proc/meminfo: memFree=32115024/32770688 swapFree=5844/114628
[pid=7882] ppid=7879 vsize=31144 CPUtime=402.33 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 7777 0 0 0 40094 139 0 0 20 0 1 0 1874650 31891456 2520 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2520 758 682 0 1789 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 31144
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 7954
/proc/meminfo: memFree=32114612/32770688 swapFree=5844/114648
[pid=7882] ppid=7879 vsize=31144 CPUtime=462.33 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 8325 0 0 0 46074 159 0 0 20 0 1 0 1874650 31891456 2520 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2520 758 682 0 1789 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 31144
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 7955
/proc/meminfo: memFree=32114628/32770688 swapFree=5844/114672
[pid=7882] ppid=7879 vsize=31144 CPUtime=522.33 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 8325 0 0 0 52054 179 0 0 20 0 1 0 1874650 31891456 2520 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2520 758 682 0 1789 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 31144
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7963
/proc/meminfo: memFree=32114128/32770688 swapFree=5844/114704
[pid=7882] ppid=7879 vsize=31144 CPUtime=582.34 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 8873 0 0 0 58034 200 0 0 20 0 1 0 1874650 31891456 2520 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7786 2520 758 682 0 1789 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 31144
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7986
/proc/meminfo: memFree=32113448/32770688 swapFree=5844/115052
[pid=7882] ppid=7879 vsize=31240 CPUtime=1482.43 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 12734 0 0 0 147741 502 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1482.43
Current children cumulated vsize (KiB) 31240
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7987
/proc/meminfo: memFree=32113696/32770688 swapFree=5844/115072
[pid=7882] ppid=7879 vsize=31240 CPUtime=1542.43 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 13284 0 0 0 153722 521 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 31240
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7988
/proc/meminfo: memFree=32113696/32770688 swapFree=5844/115092
[pid=7882] ppid=7879 vsize=31240 CPUtime=1602.44 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 13284 0 0 0 159702 542 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1602.44
Current children cumulated vsize (KiB) 31240
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7990
/proc/meminfo: memFree=32113340/32770688 swapFree=5844/115124
[pid=7882] ppid=7879 vsize=31240 CPUtime=1662.44 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 13831 0 0 0 165683 561 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1662.44
Current children cumulated vsize (KiB) 31240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7991
/proc/meminfo: memFree=32113464/32770688 swapFree=5844/115152
[pid=7882] ppid=7879 vsize=31240 CPUtime=1722.45 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 13834 0 0 0 171665 580 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1722.45
Current children cumulated vsize (KiB) 31240
[startup+1782.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 8000
/proc/meminfo: memFree=32113132/32770688 swapFree=5844/115180
[pid=7882] ppid=7879 vsize=31240 CPUtime=1782.46 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 14381 0 0 0 177647 599 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (KiB) 31240
[startup+1842.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/183 8001
/proc/meminfo: memFree=32113628/32770688 swapFree=5844/115200
[pid=7882] ppid=7879 vsize=31240 CPUtime=1842.47 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 14381 0 0 0 183631 616 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1842.47
Current children cumulated vsize (KiB) 31240
[startup+1902.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/183 8002
/proc/meminfo: memFree=32113496/32770688 swapFree=5844/115220
[pid=7882] ppid=7879 vsize=31240 CPUtime=1902.46 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 14928 0 0 0 189611 635 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1902.46
Current children cumulated vsize (KiB) 31240
[startup+1962.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 8003
/proc/meminfo: memFree=32113580/32770688 swapFree=5844/115248
[pid=7882] ppid=7879 vsize=31240 CPUtime=1962.47 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 14931 0 0 0 195592 655 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 1962.47
Current children cumulated vsize (KiB) 31240
[startup+2022.3 s]
/proc/loadavg: 2.05 2.06 2.05 3/183 8004
/proc/meminfo: memFree=32113804/32770688 swapFree=5844/115272
[pid=7882] ppid=7879 vsize=31240 CPUtime=2022.48 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 15479 0 0 0 201574 674 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2022.48
Current children cumulated vsize (KiB) 31240
[startup+2082.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 8005
/proc/meminfo: memFree=32113968/32770688 swapFree=5844/115296
[pid=7882] ppid=7879 vsize=31240 CPUtime=2082.48 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 15479 0 0 0 207554 694 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2082.48
Current children cumulated vsize (KiB) 31240
[startup+2142.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/182 8006
/proc/meminfo: memFree=32113748/32770688 swapFree=5844/115316
[pid=7882] ppid=7879 vsize=31240 CPUtime=2142.49 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 16034 0 0 0 213533 716 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2142.49
Current children cumulated vsize (KiB) 31240
[startup+2202.31 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 8007
/proc/meminfo: memFree=32113872/32770688 swapFree=5844/115336
[pid=7882] ppid=7879 vsize=31240 CPUtime=2202.5 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 16048 0 0 0 219513 737 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2202.5
Current children cumulated vsize (KiB) 31240
[startup+2262.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 8008
/proc/meminfo: memFree=32113860/32770688 swapFree=5844/115356
[pid=7882] ppid=7879 vsize=31240 CPUtime=2262.5 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 16598 0 0 0 225493 757 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2262.5
Current children cumulated vsize (KiB) 31240
[startup+2322.3 s]
/proc/loadavg: 2.14 2.06 2.05 3/182 8009
/proc/meminfo: memFree=32113976/32770688 swapFree=5844/115384
[pid=7882] ppid=7879 vsize=31240 CPUtime=2322.51 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 16598 0 0 0 231473 778 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2322.51
Current children cumulated vsize (KiB) 31240
[startup+2382.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 8017
/proc/meminfo: memFree=32113756/32770688 swapFree=5844/115424
[pid=7882] ppid=7879 vsize=31240 CPUtime=2382.51 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 17146 0 0 0 237450 801 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700064056 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2382.51
Current children cumulated vsize (KiB) 31240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.04 2.05 2.05 3/182 8017
/proc/meminfo: memFree=32113756/32770688 swapFree=5844/115428
[pid=7882] ppid=7879 vsize=31240 CPUtime=2400.01 cores=0,2,4,6
/proc/7882/stat : 7882 (naxos-xcsp3) R 7879 7882 3529 0 -1 4202496 17146 0 0 0 239194 807 0 0 20 0 1 0 1874650 31989760 2532 33554432000 4194304 6986860 140723700068528 140723700063880 140429360247164 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0 9087712 9120176 15675392 140723700069646 140723700069727 140723700069727 140723700072426 0
/proc/7882/statm: 7810 2532 758 682 0 1813 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 31240
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 7882 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2399.8
CPU time (s): 2400.03
CPU user time (s): 2391.95
CPU system time (s): 8.07976
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 31272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2391.95
system time used= 8.07976
maximum resident set size= 10164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17175
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= 7
involuntary context switches= 623
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.74393 second user time and 9.39927 second system time
The end