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-4253046-1500927995/watcher-4253046-1500927995 -o /tmp/evaluation-result-4253046-1500927995/solver-4253046-1500927995 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500914920-3841 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253046-1500927995.xml
pid=7582
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.92 2.01 2.04 3/181 7585
/proc/meminfo: memFree=32110160/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=25508 CPUtime=0 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 1183 0 0 0 0 0 0 0 20 0 1 0 2450144 26120192 1008 33554432000 4194304 6986860 140724747809632 140724747806328 5265600 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 6377 1008 672 682 0 380 0
[startup+0.10011 s]
/proc/loadavg: 1.92 2.01 2.04 3/181 7585
/proc/meminfo: memFree=32110160/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=33056 CPUtime=0.09 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 7473 0 0 0 8 1 0 0 20 0 1 0 2450144 33849344 2891 33554432000 4194304 6986860 140724747809632 140724747806328 139751164349413 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8264 2891 712 682 0 2267 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 33056
[startup+0.200287 s]
/proc/loadavg: 1.92 2.01 2.04 3/181 7585
/proc/meminfo: memFree=32110160/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=34028 CPUtime=0.19 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 9592 0 0 0 18 1 0 0 20 0 1 0 2450144 34844672 3167 33554432000 4194304 6986860 140724747809632 140724747806328 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8507 3167 712 682 0 2510 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34028
[startup+0.300201 s]
/proc/loadavg: 1.92 2.01 2.04 3/181 7585
/proc/meminfo: memFree=32110160/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=34028 CPUtime=0.29 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 9592 0 0 0 28 1 0 0 20 0 1 0 2450144 34844672 3167 33554432000 4194304 6986860 140724747809632 140724747806328 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8507 3167 712 682 0 2510 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34028
[startup+0.700177 s]
/proc/loadavg: 1.92 2.01 2.04 3/181 7585
/proc/meminfo: memFree=32110160/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=34028 CPUtime=0.69 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 9592 0 0 0 68 1 0 0 20 0 1 0 2450144 34844672 3167 33554432000 4194304 6986860 140724747809632 140724747806328 139751164341785 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8507 3167 712 682 0 2510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 34028
[startup+1.50017 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32100424/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=34472 CPUtime=1.49 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 11664 0 0 0 147 2 0 0 20 0 1 0 2450144 35299328 3246 33554432000 4194304 6986860 140724747809632 140724747806328 5355828 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8618 3246 712 682 0 2621 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 34472
[startup+3.10017 s]
/proc/loadavg: 1.92 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32099788/32770624 swapFree=5756/126820
[pid=7585] ppid=7582 vsize=34472 CPUtime=3.09 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 13164 0 0 0 307 2 0 0 20 0 1 0 2450144 35299328 3311 33554432000 4194304 6986860 140724747809632 140724747804984 5356960 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8618 3311 712 682 0 2621 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 34472
[startup+6.30018 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32099564/32770624 swapFree=5756/126824
[pid=7585] ppid=7582 vsize=34472 CPUtime=6.29 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 14664 0 0 0 627 2 0 0 20 0 1 0 2450144 35299328 3311 33554432000 4194304 6986860 140724747809632 140724747804984 139751164348871 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8618 3311 712 682 0 2621 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34472
[startup+12.7002 s]
/proc/loadavg: 1.93 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32098552/32770624 swapFree=5756/126824
[pid=7585] ppid=7582 vsize=34968 CPUtime=12.69 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 25897 0 0 0 1263 6 0 0 20 0 1 0 2450144 35807232 3402 33554432000 4194304 6986860 140724747809632 140724747805160 5476255 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8742 3402 712 682 0 2745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34968
[startup+25.5002 s]
/proc/loadavg: 1.95 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32098912/32770624 swapFree=5756/126860
[pid=7585] ppid=7582 vsize=34968 CPUtime=25.48 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 27071 0 0 0 2540 8 0 0 20 0 1 0 2450144 35807232 3427 33554432000 4194304 6986860 140724747809632 140724747805160 5356166 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8742 3427 712 682 0 2745 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34968
[startup+51.1002 s]
/proc/loadavg: 1.97 2.01 2.04 3/182 7586
/proc/meminfo: memFree=32098912/32770624 swapFree=5756/126872
[pid=7585] ppid=7582 vsize=34968 CPUtime=51.09 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 27657 0 0 0 5095 14 0 0 20 0 1 0 2450144 35807232 3427 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8742 3427 712 682 0 2745 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34968
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 7588
/proc/meminfo: memFree=32098912/32770624 swapFree=5756/126916
[pid=7585] ppid=7582 vsize=34968 CPUtime=102.29 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 28243 0 0 0 10205 24 0 0 20 0 1 0 2450144 35807232 3427 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8742 3427 712 682 0 2745 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 34968
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/182 7589
/proc/meminfo: memFree=32098680/32770624 swapFree=5756/126956
[pid=7585] ppid=7582 vsize=35416 CPUtime=162.29 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 133237 0 0 0 16180 49 0 0 20 0 1 0 2450144 36265984 3482 33554432000 4194304 6986860 140724747809632 140724747805160 5475598 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3482 712 682 0 2857 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 35416
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7597
/proc/meminfo: memFree=32097336/32770624 swapFree=5756/126992
[pid=7585] ppid=7582 vsize=35416 CPUtime=222.3 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 133943 0 0 0 22168 62 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35416
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 7598
/proc/meminfo: memFree=32097596/32770624 swapFree=5756/127024
[pid=7585] ppid=7582 vsize=35416 CPUtime=282.3 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 134649 0 0 0 28155 75 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 5435569 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 35416
[startup+342.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 7721
/proc/meminfo: memFree=30436604/32770624 swapFree=5756/168508
[pid=7585] ppid=7582 vsize=35416 CPUtime=342.3 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 135355 0 0 0 34144 86 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747804984 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 35416
[startup+402.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/183 7722
/proc/meminfo: memFree=29917632/32770624 swapFree=5756/168540
[pid=7585] ppid=7582 vsize=35416 CPUtime=402.3 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 136061 0 0 0 40129 101 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747804984 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 35416
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/183 7784
/proc/meminfo: memFree=32048368/32770624 swapFree=5756/168596
[pid=7585] ppid=7582 vsize=35416 CPUtime=462.31 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 136767 0 0 0 46118 113 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 5472752 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 35416
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7785
/proc/meminfo: memFree=32048272/32770624 swapFree=5756/168660
[pid=7585] ppid=7582 vsize=35416 CPUtime=522.31 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 136767 0 0 0 52106 125 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 35416
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7786
/proc/meminfo: memFree=32048172/32770624 swapFree=5756/168688
[pid=7585] ppid=7582 vsize=35416 CPUtime=582.31 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 137473 0 0 0 58094 137 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 35416
################
# More data... #
################
[pid=7585] ppid=7582 vsize=35416 CPUtime=1662.35 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 146651 0 0 0 165864 371 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 35416
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7941
/proc/meminfo: memFree=32051680/32770624 swapFree=5736/169452
[pid=7585] ppid=7582 vsize=35416 CPUtime=1722.35 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 147357 0 0 0 171853 382 0 0 20 0 1 0 2450144 36265984 3547 33554432000 4194304 6986860 140724747809632 140724747804984 5284448 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8854 3547 712 682 0 2857 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 35416
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7942
/proc/meminfo: memFree=32050960/32770624 swapFree=5736/169460
[pid=7585] ppid=7582 vsize=35960 CPUtime=1782.36 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 591446 0 0 0 177795 441 0 0 20 0 1 0 2450144 36823040 3650 33554432000 4194304 6986860 140724747809632 140724747804984 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3650 712 682 0 2993 0
Current children cumulated CPU time (s) 1782.36
Current children cumulated vsize (KiB) 35960
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7943
/proc/meminfo: memFree=32050424/32770624 swapFree=5736/169492
[pid=7585] ppid=7582 vsize=35960 CPUtime=1842.35 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 592270 0 0 0 183782 453 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 1842.35
Current children cumulated vsize (KiB) 35960
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7945
/proc/meminfo: memFree=32050388/32770624 swapFree=5736/169528
[pid=7585] ppid=7582 vsize=35960 CPUtime=1902.35 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 592582 0 0 0 189769 466 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747804984 139751164347530 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 1902.35
Current children cumulated vsize (KiB) 35960
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7946
/proc/meminfo: memFree=32050656/32770624 swapFree=5736/169564
[pid=7585] ppid=7582 vsize=35960 CPUtime=1962.36 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 592894 0 0 0 195758 478 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747804984 139751164348857 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 1962.36
Current children cumulated vsize (KiB) 35960
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7955
/proc/meminfo: memFree=32050440/32770624 swapFree=5736/169616
[pid=7585] ppid=7582 vsize=35960 CPUtime=2022.36 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 593206 0 0 0 201747 489 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747804984 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2022.36
Current children cumulated vsize (KiB) 35960
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7978
/proc/meminfo: memFree=32050480/32770624 swapFree=5736/169652
[pid=7585] ppid=7582 vsize=35960 CPUtime=2082.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 593518 0 0 0 207737 500 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747805160 139751164358512 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2082.37
Current children cumulated vsize (KiB) 35960
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7979
/proc/meminfo: memFree=32050664/32770624 swapFree=5736/169696
[pid=7585] ppid=7582 vsize=35960 CPUtime=2142.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 593830 0 0 0 213725 512 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2142.37
Current children cumulated vsize (KiB) 35960
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7980
/proc/meminfo: memFree=32050680/32770624 swapFree=5736/169728
[pid=7585] ppid=7582 vsize=35960 CPUtime=2202.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 594142 0 0 0 219713 524 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2202.37
Current children cumulated vsize (KiB) 35960
[startup+2262.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/183 7981
/proc/meminfo: memFree=32051024/32770624 swapFree=5736/169768
[pid=7585] ppid=7582 vsize=35960 CPUtime=2262.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 594439 0 0 0 225701 536 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747804984 5475698 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2262.37
Current children cumulated vsize (KiB) 35960
[startup+2322.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 7982
/proc/meminfo: memFree=32051068/32770624 swapFree=5736/169804
[pid=7585] ppid=7582 vsize=35960 CPUtime=2322.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 594752 0 0 0 231688 549 0 0 20 0 1 0 2450144 36823040 3667 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3667 712 682 0 2993 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 35960
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7983
/proc/meminfo: memFree=32050500/32770624 swapFree=5736/169840
[pid=7585] ppid=7582 vsize=35960 CPUtime=2382.37 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 595070 0 0 0 237675 562 0 0 20 0 1 0 2450144 36823040 3668 33554432000 4194304 6986860 140724747809632 140724747805160 139751164612988 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3668 712 682 0 2993 0
Current children cumulated CPU time (s) 2382.37
Current children cumulated vsize (KiB) 35960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7983
/proc/meminfo: memFree=32050508/32770624 swapFree=5736/169844
[pid=7585] ppid=7582 vsize=35960 CPUtime=2400.07 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) R 7582 7585 3809 0 -1 4202496 595070 0 0 0 239442 565 0 0 20 0 1 0 2450144 36823040 3668 33554432000 4194304 6986860 140724747809632 140724747804984 5355460 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8990 3668 712 682 0 2993 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 35960
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -7585
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7585 sig 9
??? end of watcher thread
Solver just ended.
Dumping a history of the last processes samples
[startup+2400.8 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 7983
/proc/meminfo: memFree=32050512/32770624 swapFree=5736/169844
[pid=7585] ppid=7582 vsize=35964 CPUtime=2400.07 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) S 7582 7585 3809 0 -1 1077944320 595086 0 0 0 239442 565 0 0 20 0 1 0 2450144 36827136 3668 33554432000 4194304 6986860 140724747809632 140724747802744 139751164903676 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8991 3668 712 682 0 2994 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 35964
[startup+2401.6 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 7983
/proc/meminfo: memFree=32050512/32770624 swapFree=5736/169844
[pid=7585] ppid=7582 vsize=35964 CPUtime=2400.07 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) S 7582 7585 3809 0 -1 1077944320 595086 0 0 0 239442 565 0 0 20 0 1 0 2450144 36827136 3668 33554432000 4194304 6986860 140724747809632 140724747802744 139751164903676 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8991 3668 712 682 0 2994 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 35964
[startup+2402 s]
/proc/loadavg: 2.01 2.02 2.05 2/182 7983
/proc/meminfo: memFree=32050512/32770624 swapFree=5736/169844
[pid=7585] ppid=7582 vsize=35964 CPUtime=2400.07 cores=1,3,5,7
/proc/7585/stat : 7585 (naxos-xcsp3) S 7582 7585 3809 0 -1 1077944320 595086 0 0 0 239442 565 0 0 20 0 1 0 2450144 36827136 3668 33554432000 4194304 6986860 140724747809632 140724747802744 139751164903676 0 16384 4096 16384 18446744071579849748 0 0 17 3 0 0 0 0 0 9087712 9120176 9216000 140724747814158 140724747814239 140724747814239 140724747816938 0
/proc/7585/statm: 8991 3668 712 682 0 2994 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 35964
Child ended because it received signal 9 (SIGKILL)
Real time (s): 2402
CPU time (s): 2400.09
CPU user time (s): 2394.43
CPU system time (s): 5.65921
CPU usage (%): 99.9202
Max. virtual memory (cumulated for all children) (KiB): 35964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2394.43
system time used= 5.65921
maximum resident set size= 14696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595086
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= 13
involuntary context switches= 1032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.56229 second user time and 8.01073 second system time
The end