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-4253404-1500931806/watcher-4253404-1500931806 -o /tmp/evaluation-result-4253404-1500931806/solver-4253404-1500931806 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500914926-3624 --watchdog 2560 ./naxos-xcsp3 HOME/instance-4253404-1500931806.xml
pid=7155
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: 2.00 2.01 2.05 3/181 7158
/proc/meminfo: memFree=32107308/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=24644 CPUtime=0 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 925 0 0 0 0 0 0 0 20 0 1 0 2720526 25235456 748 33554432000 4194304 6986860 140722911291632 140722911288328 139832915090405 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 6161 748 637 682 0 164 0
[startup+0.100119 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7158
/proc/meminfo: memFree=32107308/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=36524 CPUtime=0.09 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 3933 0 0 0 9 0 0 0 20 0 1 0 2720526 37400576 3776 33554432000 4194304 6986860 140722911291632 140722911288328 139832915528704 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 9131 3776 695 682 0 3134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36524
[startup+0.20031 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7158
/proc/meminfo: memFree=32107308/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=42832 CPUtime=0.19 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 5537 0 0 0 18 1 0 0 20 0 1 0 2720526 43859968 5360 33554432000 4194304 6986860 140722911291632 140722911288328 139832915090405 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 10708 5360 702 682 0 4711 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 42832
[startup+0.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7158
/proc/meminfo: memFree=32107308/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=49908 CPUtime=0.29 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 7282 0 0 0 28 1 0 0 20 0 1 0 2720526 51105792 7127 33554432000 4194304 6986860 140722911291632 140722911288328 139832915090405 0 0 4096 0 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 12477 7127 702 682 0 6480 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 49908
[startup+0.700233 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 7158
/proc/meminfo: memFree=32107308/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=81088 CPUtime=0.69 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 15118 0 0 0 67 2 0 0 20 0 1 0 2720526 83034112 14924 33554432000 4194304 6986860 140722911291632 140722911288328 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 20272 14924 702 682 0 14275 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 81088
[startup+1.50019 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32049484/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=82508 CPUtime=1.49 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 16351 0 0 0 147 2 0 0 20 0 1 0 2720526 84488192 15295 33554432000 4194304 6986860 140722911291632 140722911288328 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 20627 15295 716 682 0 14630 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 82508
[startup+3.10024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32048476/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=83072 CPUtime=3.09 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 27148 0 0 0 306 3 0 0 20 0 1 0 2720526 85065728 15459 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 20768 15459 716 682 0 14771 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83072
[startup+6.30021 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32047532/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=83624 CPUtime=6.29 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 38324 0 0 0 624 5 0 0 20 0 1 0 2720526 85630976 15592 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 20906 15592 716 682 0 14909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83624
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32046016/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=83992 CPUtime=12.68 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 49550 0 0 0 1260 8 0 0 20 0 1 0 2720526 86007808 15668 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 20998 15668 716 682 0 15001 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 83992
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32045876/32770624 swapFree=5716/122276
[pid=7158] ppid=7155 vsize=84436 CPUtime=25.49 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 62592 0 0 0 2535 14 0 0 20 0 1 0 2720526 86462464 15788 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21109 15788 716 682 0 15112 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 84436
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7159
/proc/meminfo: memFree=32045656/32770624 swapFree=5716/122356
[pid=7158] ppid=7155 vsize=84828 CPUtime=51.08 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 66806 0 0 0 5088 20 0 0 20 0 1 0 2720526 86863872 15888 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21207 15888 716 682 0 15210 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84828
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7160
/proc/meminfo: memFree=32042080/32770624 swapFree=5716/122392
[pid=7158] ppid=7155 vsize=85268 CPUtime=102.29 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 67544 0 0 0 10196 33 0 0 20 0 1 0 2720526 87314432 15993 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21317 15993 716 682 0 15320 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 85268
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7161
/proc/meminfo: memFree=32040936/32770624 swapFree=5716/122416
[pid=7158] ppid=7155 vsize=85504 CPUtime=162.29 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 68271 0 0 0 16180 49 0 0 20 0 1 0 2720526 87556096 16074 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21376 16074 716 682 0 15379 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 85504
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7162
/proc/meminfo: memFree=32041312/32770624 swapFree=5716/122436
[pid=7158] ppid=7155 vsize=85640 CPUtime=222.3 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 68505 0 0 0 22164 66 0 0 20 0 1 0 2720526 87695360 16092 33554432000 4194304 6986860 140722911291632 140722911286984 5355888 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21410 16092 716 682 0 15413 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 85640
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7224
/proc/meminfo: memFree=32014100/32770624 swapFree=5716/122512
[pid=7158] ppid=7155 vsize=85696 CPUtime=282.3 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 68527 0 0 0 28148 82 0 0 20 0 1 0 2720526 87752704 16120 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21424 16120 716 682 0 15427 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 85696
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7225
/proc/meminfo: memFree=32013940/32770624 swapFree=5716/122552
[pid=7158] ppid=7155 vsize=85928 CPUtime=342.32 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 68834 0 0 0 34134 98 0 0 20 0 1 0 2720526 87990272 16180 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21482 16180 716 682 0 15485 0
Current children cumulated CPU time (s) 342.32
Current children cumulated vsize (KiB) 85928
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7226
/proc/meminfo: memFree=32014220/32770624 swapFree=5716/122568
[pid=7158] ppid=7155 vsize=85928 CPUtime=402.32 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 68834 0 0 0 40118 114 0 0 20 0 1 0 2720526 87990272 16180 33554432000 4194304 6986860 140722911291632 140722911286984 5366199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21482 16180 716 682 0 15485 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 85928
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7227
/proc/meminfo: memFree=32014272/32770624 swapFree=5716/122596
[pid=7158] ppid=7155 vsize=85996 CPUtime=462.33 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 69163 0 0 0 46104 129 0 0 20 0 1 0 2720526 88059904 16197 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21499 16197 716 682 0 15502 0
Current children cumulated CPU time (s) 462.33
Current children cumulated vsize (KiB) 85996
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7228
/proc/meminfo: memFree=32014380/32770624 swapFree=5716/122616
[pid=7158] ppid=7155 vsize=86088 CPUtime=522.34 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 69179 0 0 0 52089 145 0 0 20 0 1 0 2720526 88154112 16210 33554432000 4194304 6986860 140722911291632 140722911286984 139832915099580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21522 16210 716 682 0 15525 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 86088
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7229
/proc/meminfo: memFree=32014240/32770624 swapFree=5716/122640
[pid=7158] ppid=7155 vsize=86088 CPUtime=582.35 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 69509 0 0 0 58074 161 0 0 20 0 1 0 2720526 88154112 16213 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21522 16213 716 682 0 15525 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 86088
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/183 7271
/proc/meminfo: memFree=32012420/32770624 swapFree=5716/123288
[pid=7158] ppid=7155 vsize=86684 CPUtime=1482.46 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 72589 0 0 0 147837 409 0 0 20 0 1 0 2720526 88764416 16369 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21671 16369 716 682 0 15674 0
Current children cumulated CPU time (s) 1482.46
Current children cumulated vsize (KiB) 86684
[startup+1542.31 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 7273
/proc/meminfo: memFree=32012552/32770624 swapFree=5716/123320
[pid=7158] ppid=7155 vsize=86764 CPUtime=1542.46 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 73082 0 0 0 153821 425 0 0 20 0 1 0 2720526 88846336 16370 33554432000 4194304 6986860 140722911291632 140722911287160 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16370 716 682 0 15694 0
Current children cumulated CPU time (s) 1542.46
Current children cumulated vsize (KiB) 86764
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 7274
/proc/meminfo: memFree=32012996/32770624 swapFree=5716/123340
[pid=7158] ppid=7155 vsize=86764 CPUtime=1602.46 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 73093 0 0 0 159804 442 0 0 20 0 1 0 2720526 88846336 16370 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16370 716 682 0 15694 0
Current children cumulated CPU time (s) 1602.46
Current children cumulated vsize (KiB) 86764
[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 7275
/proc/meminfo: memFree=32013120/32770624 swapFree=5716/123368
[pid=7158] ppid=7155 vsize=86764 CPUtime=1662.47 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 73589 0 0 0 165788 459 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1662.47
Current children cumulated vsize (KiB) 86764
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 7277
/proc/meminfo: memFree=32012668/32770624 swapFree=5716/123396
[pid=7158] ppid=7155 vsize=86764 CPUtime=1722.48 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 73589 0 0 0 171773 475 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1722.48
Current children cumulated vsize (KiB) 86764
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 7278
/proc/meminfo: memFree=32012660/32770624 swapFree=5716/123416
[pid=7158] ppid=7155 vsize=86764 CPUtime=1782.49 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 74085 0 0 0 177758 491 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1782.49
Current children cumulated vsize (KiB) 86764
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 7287
/proc/meminfo: memFree=32012556/32770624 swapFree=5716/123448
[pid=7158] ppid=7155 vsize=86764 CPUtime=1842.5 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 74085 0 0 0 183743 507 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1842.5
Current children cumulated vsize (KiB) 86764
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7314
/proc/meminfo: memFree=32012148/32770624 swapFree=5716/123504
[pid=7158] ppid=7155 vsize=86764 CPUtime=1902.51 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 74581 0 0 0 189728 523 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1902.51
Current children cumulated vsize (KiB) 86764
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7315
/proc/meminfo: memFree=32012520/32770624 swapFree=5720/123528
[pid=7158] ppid=7155 vsize=86764 CPUtime=1962.52 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 74582 0 0 0 195713 539 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 5431928 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 1962.52
Current children cumulated vsize (KiB) 86764
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7316
/proc/meminfo: memFree=32012520/32770624 swapFree=5720/123548
[pid=7158] ppid=7155 vsize=86764 CPUtime=2022.52 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 75078 0 0 0 201698 554 0 0 20 0 1 0 2720526 88846336 16384 33554432000 4194304 6986860 140722911291632 140722911286984 139832915083280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21691 16384 716 682 0 15694 0
Current children cumulated CPU time (s) 2022.52
Current children cumulated vsize (KiB) 86764
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 7317
/proc/meminfo: memFree=32012216/32770624 swapFree=5720/123572
[pid=7158] ppid=7155 vsize=86848 CPUtime=2082.53 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 75114 0 0 0 207683 570 0 0 20 0 1 0 2720526 88932352 16410 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21712 16410 716 682 0 15715 0
Current children cumulated CPU time (s) 2082.53
Current children cumulated vsize (KiB) 86848
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 7318
/proc/meminfo: memFree=32012224/32770624 swapFree=5720/123592
[pid=7158] ppid=7155 vsize=86848 CPUtime=2142.53 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 75628 0 0 0 213665 588 0 0 20 0 1 0 2720526 88932352 16410 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21712 16410 716 682 0 15715 0
Current children cumulated CPU time (s) 2142.53
Current children cumulated vsize (KiB) 86848
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7319
/proc/meminfo: memFree=32012232/32770624 swapFree=5720/123612
[pid=7158] ppid=7155 vsize=86920 CPUtime=2202.54 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 75645 0 0 0 219650 604 0 0 20 0 1 0 2720526 89006080 16411 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21730 16411 716 682 0 15733 0
Current children cumulated CPU time (s) 2202.54
Current children cumulated vsize (KiB) 86920
[startup+2262.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 7320
/proc/meminfo: memFree=32011720/32770624 swapFree=5720/123632
[pid=7158] ppid=7155 vsize=86920 CPUtime=2262.55 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 76173 0 0 0 225635 620 0 0 20 0 1 0 2720526 89006080 16411 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21730 16411 716 682 0 15733 0
Current children cumulated CPU time (s) 2262.55
Current children cumulated vsize (KiB) 86920
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7322
/proc/meminfo: memFree=32012696/32770624 swapFree=5720/123672
[pid=7158] ppid=7155 vsize=86920 CPUtime=2322.56 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 76180 0 0 0 231620 636 0 0 20 0 1 0 2720526 89006080 16411 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21730 16411 716 682 0 15733 0
Current children cumulated CPU time (s) 2322.56
Current children cumulated vsize (KiB) 86920
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 7323
/proc/meminfo: memFree=32012820/32770624 swapFree=5720/123692
[pid=7158] ppid=7155 vsize=86920 CPUtime=2382.56 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 76710 0 0 0 237605 651 0 0 20 0 1 0 2720526 89006080 16417 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21730 16417 716 682 0 15733 0
Current children cumulated CPU time (s) 2382.56
Current children cumulated vsize (KiB) 86920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 7331
/proc/meminfo: memFree=32011456/32770624 swapFree=5720/123696
[pid=7158] ppid=7155 vsize=86920 CPUtime=2400.07 cores=1,3,5,7
/proc/7158/stat : 7158 (naxos-xcsp3) R 7155 7158 3592 0 -1 4202496 76711 0 0 0 239350 657 0 0 20 0 1 0 2720526 89006080 16417 33554432000 4194304 6986860 140722911291632 140722911286984 139832915353980 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0 9087712 9120176 29880320 140722911298830 140722911298911 140722911298911 140722911301610 0
/proc/7158/statm: 21730 16417 716 682 0 15733 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 86920
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 7158 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.08
CPU user time (s): 2393.5
CPU system time (s): 6.5738
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 86920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.5
system time used= 6.5738
maximum resident set size= 65708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76742
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= 33
involuntary context switches= 705
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.92109 second user time and 9.1024 second system time
The end