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-4252170-1500922933/watcher-4252170-1500922933 -o /tmp/evaluation-result-4252170-1500922933/solver-4252170-1500922933 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500914920-3561 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4252170-1500922933.xml
pid=7944
running on 4 cores: 1,3,5,7
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.95 2.00 2.03 3/181 7947
/proc/meminfo: memFree=32118300/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=24608 CPUtime=0 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 992 0 0 0 0 0 0 0 20 0 1 0 1881180 25198592 837 33554432000 4194304 6986860 140729787386224 140729787382920 139910695427045 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6152 837 705 682 0 155 0
[startup+0.100154 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 7947
/proc/meminfo: memFree=32118300/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=24860 CPUtime=0.09 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1092 0 0 0 9 0 0 0 20 0 1 0 1881180 25456640 911 33554432000 4194304 6986860 140729787386224 140729787382920 5646816 0 0 4096 0 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6215 911 744 682 0 218 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24860
[startup+0.200277 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 7947
/proc/meminfo: memFree=32118300/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=26700 CPUtime=0.19 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1565 0 0 0 19 0 0 0 20 0 1 0 1881180 27340800 1405 33554432000 4194304 6986860 140729787386224 140729787382920 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6675 1405 758 682 0 678 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 26700
[startup+0.300259 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 7947
/proc/meminfo: memFree=32118300/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=26832 CPUtime=0.29 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1589 0 0 0 29 0 0 0 20 0 1 0 1881180 27475968 1405 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1405 758 682 0 711 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26832
[startup+0.700227 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 7947
/proc/meminfo: memFree=32118300/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=26832 CPUtime=0.69 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1594 0 0 0 69 0 0 0 20 0 1 0 1881180 27475968 1405 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1405 758 682 0 711 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26832
[startup+1.50023 s]
/proc/loadavg: 1.95 2.00 2.03 3/182 7948
/proc/meminfo: memFree=32115564/32770688 swapFree=5844/114464
[pid=7947] ppid=7944 vsize=26832 CPUtime=1.49 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1594 0 0 0 149 0 0 0 20 0 1 0 1881180 27475968 1405 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1405 758 682 0 711 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26832
[startup+3.10023 s]
/proc/loadavg: 1.88 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32115156/32770688 swapFree=5844/114468
[pid=7947] ppid=7944 vsize=26832 CPUtime=3.09 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 1938 0 0 0 309 0 0 0 20 0 1 0 1881180 27475968 1440 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1440 758 682 0 711 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26832
[startup+6.30023 s]
/proc/loadavg: 1.88 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32115156/32770688 swapFree=5844/114468
[pid=7947] ppid=7944 vsize=26832 CPUtime=6.29 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 2346 0 0 0 628 1 0 0 20 0 1 0 1881180 27475968 1440 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1440 758 682 0 711 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26832
[startup+12.7002 s]
/proc/loadavg: 1.90 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32115032/32770688 swapFree=5844/114476
[pid=7947] ppid=7944 vsize=26832 CPUtime=12.69 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 2714 0 0 0 1267 2 0 0 20 0 1 0 1881180 27475968 1445 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1445 758 682 0 711 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26832
[startup+25.5003 s]
/proc/loadavg: 1.91 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32114908/32770688 swapFree=5844/114492
[pid=7947] ppid=7944 vsize=26832 CPUtime=25.49 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 3463 0 0 0 2544 5 0 0 20 0 1 0 1881180 27475968 1447 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6708 1447 758 682 0 711 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26832
[startup+51.1003 s]
/proc/loadavg: 1.94 1.98 2.03 3/182 7948
/proc/meminfo: memFree=32115156/32770688 swapFree=5844/114512
[pid=7947] ppid=7944 vsize=26956 CPUtime=51.1 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 3860 0 0 0 5097 13 0 0 20 0 1 0 1881180 27602944 1449 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1449 758 682 0 742 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 26956
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/182 7949
/proc/meminfo: memFree=32114304/32770688 swapFree=5844/114540
[pid=7947] ppid=7944 vsize=26956 CPUtime=102.3 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 4270 0 0 0 10206 24 0 0 20 0 1 0 1881180 27602944 1452 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1452 758 682 0 742 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 26956
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/182 7950
/proc/meminfo: memFree=32114308/32770688 swapFree=5844/114568
[pid=7947] ppid=7944 vsize=26956 CPUtime=162.31 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 4719 0 0 0 16189 42 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 162.31
Current children cumulated vsize (KiB) 26956
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/182 7951
/proc/meminfo: memFree=32114892/32770688 swapFree=5844/114588
[pid=7947] ppid=7944 vsize=26956 CPUtime=222.31 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 5134 0 0 0 22173 58 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 26956
[startup+282.3 s]
/proc/loadavg: 2.10 2.02 2.04 3/182 7952
/proc/meminfo: memFree=32115032/32770688 swapFree=5844/114608
[pid=7947] ppid=7944 vsize=26956 CPUtime=282.32 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 5145 0 0 0 28158 74 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 282.32
Current children cumulated vsize (KiB) 26956
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.04 3/182 7953
/proc/meminfo: memFree=32115024/32770688 swapFree=5844/114628
[pid=7947] ppid=7944 vsize=26956 CPUtime=342.32 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 5573 0 0 0 34145 87 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 26956
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 7954
/proc/meminfo: memFree=32114612/32770688 swapFree=5844/114648
[pid=7947] ppid=7944 vsize=26956 CPUtime=402.33 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 5573 0 0 0 40131 102 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 402.33
Current children cumulated vsize (KiB) 26956
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7955
/proc/meminfo: memFree=32114628/32770688 swapFree=5844/114672
[pid=7947] ppid=7944 vsize=26956 CPUtime=462.33 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 6001 0 0 0 46115 118 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 26956
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7963
/proc/meminfo: memFree=32114128/32770688 swapFree=5844/114704
[pid=7947] ppid=7944 vsize=26956 CPUtime=522.34 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 6001 0 0 0 52102 132 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 26956
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7964
/proc/meminfo: memFree=32113880/32770688 swapFree=5844/114724
[pid=7947] ppid=7944 vsize=26956 CPUtime=582.34 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 6423 0 0 0 58088 146 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 26956
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7988
/proc/meminfo: memFree=32113688/32770688 swapFree=5844/115092
[pid=7947] ppid=7944 vsize=26956 CPUtime=1542.43 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10011 0 0 0 153868 375 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1542.43
Current children cumulated vsize (KiB) 26956
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7990
/proc/meminfo: memFree=32113340/32770688 swapFree=5844/115124
[pid=7947] ppid=7944 vsize=26956 CPUtime=1602.42 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10011 0 0 0 159853 389 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1602.42
Current children cumulated vsize (KiB) 26956
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7991
/proc/meminfo: memFree=32113464/32770688 swapFree=5844/115152
[pid=7947] ppid=7944 vsize=26956 CPUtime=1662.43 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10453 0 0 0 165839 404 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1662.43
Current children cumulated vsize (KiB) 26956
[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 8000
/proc/meminfo: memFree=32113132/32770688 swapFree=5844/115180
[pid=7947] ppid=7944 vsize=26956 CPUtime=1722.43 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10455 0 0 0 171824 419 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1722.43
Current children cumulated vsize (KiB) 26956
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 8001
/proc/meminfo: memFree=32113628/32770688 swapFree=5844/115200
[pid=7947] ppid=7944 vsize=26956 CPUtime=1782.44 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10899 0 0 0 177811 433 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (KiB) 26956
[startup+1842.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/183 8002
/proc/meminfo: memFree=32113496/32770688 swapFree=5844/115220
[pid=7947] ppid=7944 vsize=26956 CPUtime=1842.44 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 10909 0 0 0 183796 448 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1842.44
Current children cumulated vsize (KiB) 26956
[startup+1902.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 8003
/proc/meminfo: memFree=32113580/32770688 swapFree=5844/115248
[pid=7947] ppid=7944 vsize=26956 CPUtime=1902.45 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 11351 0 0 0 189783 462 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1902.45
Current children cumulated vsize (KiB) 26956
[startup+1962.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/183 8004
/proc/meminfo: memFree=32113804/32770688 swapFree=5844/115272
[pid=7947] ppid=7944 vsize=26956 CPUtime=1962.45 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 11351 0 0 0 195768 477 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 1962.45
Current children cumulated vsize (KiB) 26956
[startup+2022.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 8005
/proc/meminfo: memFree=32113968/32770688 swapFree=5844/115296
[pid=7947] ppid=7944 vsize=26956 CPUtime=2022.46 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 11793 0 0 0 201755 491 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2022.46
Current children cumulated vsize (KiB) 26956
[startup+2082.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 8006
/proc/meminfo: memFree=32113748/32770688 swapFree=5844/115316
[pid=7947] ppid=7944 vsize=26956 CPUtime=2082.48 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 11793 0 0 0 207743 505 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2082.48
Current children cumulated vsize (KiB) 26956
[startup+2142.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 8007
/proc/meminfo: memFree=32113872/32770688 swapFree=5844/115336
[pid=7947] ppid=7944 vsize=26956 CPUtime=2142.48 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 12235 0 0 0 213728 520 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2142.48
Current children cumulated vsize (KiB) 26956
[startup+2202.31 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 8008
/proc/meminfo: memFree=32113984/32770688 swapFree=5844/115356
[pid=7947] ppid=7944 vsize=26956 CPUtime=2202.48 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 12235 0 0 0 219716 532 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2202.48
Current children cumulated vsize (KiB) 26956
[startup+2262.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/182 8009
/proc/meminfo: memFree=32113976/32770688 swapFree=5844/115384
[pid=7947] ppid=7944 vsize=26956 CPUtime=2262.48 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 12677 0 0 0 225701 547 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2262.48
Current children cumulated vsize (KiB) 26956
[startup+2322.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/182 8017
/proc/meminfo: memFree=32113756/32770688 swapFree=5844/115424
[pid=7947] ppid=7944 vsize=26956 CPUtime=2322.48 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 12677 0 0 0 231687 561 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2322.48
Current children cumulated vsize (KiB) 26956
[startup+2382.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/182 8078
/proc/meminfo: memFree=30581932/32770688 swapFree=5844/116760
[pid=7947] ppid=7944 vsize=26956 CPUtime=2382.49 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 13118 0 0 0 237671 578 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381576 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2382.49
Current children cumulated vsize (KiB) 26956
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 8079
/proc/meminfo: memFree=30581628/32770688 swapFree=5844/116788
[pid=7947] ppid=7944 vsize=26956 CPUtime=2400.1 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 13131 0 0 0 239428 582 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 26956
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 7947 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.01 2.04 2.05 3/182 8079
/proc/meminfo: memFree=30581628/32770688 swapFree=5844/116788
[pid=7947] ppid=7944 vsize=26956 CPUtime=2400.1 cores=1,3,5,7
/proc/7947/stat : 7947 (naxos-xcsp3) R 7944 7947 3529 0 -1 4202496 13131 0 0 0 239428 582 0 0 20 0 1 0 1881180 27602944 1470 33554432000 4194304 6986860 140729787386224 140729787381752 139910695690620 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0 9087712 9120176 41095168 140729787393294 140729787393375 140729787393375 140729787396074 0
/proc/7947/statm: 6739 1470 758 682 0 742 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 26956
Child status: 0
Real time (s): 2399.9
CPU time (s): 2400.1
CPU user time (s): 2394.28
CPU system time (s): 5.8215
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 26956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.28
system time used= 5.82149
maximum resident set size= 5916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13161
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= 616
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.71847 second user time and 9.49828 second system time
The end