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-4242826-1500662606/watcher-4242826-1500662606 -o /tmp/evaluation-result-4242826-1500662606/solver-4242826-1500662606 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1500648174-2479 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 555961304 HOME/instance-4242826-1500662606.xml
pid=4487
running on 8 cores: 1,3,5,7,9,11,13,15
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.03 2.02 2.05 3/243 4490
/proc/meminfo: memFree=31867084/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=29064 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 1528259 29761536 854 33554432000 4194304 7402444 140737330483088 140737330476328 140700533124069 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 7266 854 621 784 0 280 0
[startup+0.10016 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4490
/proc/meminfo: memFree=31867084/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=39984 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 3913 0 0 0 9 0 0 0 20 0 1 0 1528259 40943616 3628 33554432000 4194304 7402444 140737330483088 140737330473848 4731480 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 9996 3628 689 784 0 3010 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 39984
[startup+0.200385 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4490
/proc/meminfo: memFree=31867084/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=49068 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 6451 0 0 0 18 0 0 0 20 0 1 0 1528259 50245632 5934 33554432000 4194304 7402444 140737330483088 140737330473640 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 12267 5934 689 784 0 5281 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 49068
[startup+0.300364 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4490
/proc/meminfo: memFree=31867084/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=54056 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 7737 0 0 0 28 1 0 0 20 0 1 0 1528259 55353344 7181 33554432000 4194304 7402444 140737330483088 140737330473848 4731648 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 13514 7181 689 784 0 6528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54056
[startup+0.700272 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 4490
/proc/meminfo: memFree=31867084/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=74452 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 12534 0 0 0 67 1 0 0 20 0 1 0 1528259 76238848 12273 33554432000 4194304 7402444 140737330483088 140737330473848 4731636 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 18613 12273 689 784 0 11627 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 74452
[startup+1.50023 s]
/proc/loadavg: 1.94 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31807576/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=92884 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 17286 0 0 0 147 2 0 0 20 0 1 0 1528259 95113216 16853 33554432000 4194304 7402444 140737330483088 140737330473848 140700533134202 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 23221 16853 689 784 0 16235 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 92884
[startup+3.10022 s]
/proc/loadavg: 1.94 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31787472/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=115572 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 25453 0 0 0 305 3 0 0 20 0 1 0 1528259 118345728 22557 33554432000 4194304 7402444 140737330483088 140737330473848 4731639 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 28893 22557 689 784 0 21907 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 115572
[startup+6.30021 s]
/proc/loadavg: 1.95 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31729368/32770624 swapFree=5800/218216
[pid=4490] ppid=4487 vsize=165948 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 52524 0 0 0 624 5 0 0 20 0 1 0 1528259 169930752 35122 33554432000 4194304 7402444 140737330483088 140737330473848 4731632 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 41487 35122 689 784 0 34501 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165948
[startup+12.7002 s]
/proc/loadavg: 1.95 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31672880/32770624 swapFree=5800/218360
[pid=4490] ppid=4487 vsize=214560 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 67517 0 0 0 1262 7 0 0 20 0 1 0 1528259 219709440 47299 33554432000 4194304 7402444 140737330483088 140737330473848 4731653 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 53640 47299 689 784 0 46654 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 214560
[startup+25.5082 s]
/proc/loadavg: 1.96 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31574760/32770624 swapFree=5800/218396
[pid=4490] ppid=4487 vsize=304108 CPUtime=25.49 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 147116 0 0 0 2536 13 0 0 20 0 1 0 1528259 311406592 69765 33554432000 4194304 7402444 140737330483088 140737330477784 5746100 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76027 69765 763 784 0 69041 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 304108
[startup+51.1003 s]
/proc/loadavg: 1.98 2.01 2.04 3/244 4491
/proc/meminfo: memFree=31571836/32770624 swapFree=5800/218396
[pid=4490] ppid=4487 vsize=304108 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 173339 0 0 0 5092 15 0 0 20 0 1 0 1528259 311406592 69767 33554432000 4194304 7402444 140737330483088 140737330477784 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76027 69767 765 784 0 69041 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 304108
[startup+102.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/243 4492
/proc/meminfo: memFree=31571440/32770624 swapFree=5800/218448
[pid=4490] ppid=4487 vsize=303976 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 217835 0 0 0 10205 18 0 0 20 0 1 0 1528259 311271424 69736 33554432000 4194304 7402444 140737330483088 140737330478264 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 75994 69736 767 784 0 69008 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 303976
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 4493
/proc/meminfo: memFree=31569892/32770624 swapFree=5800/218448
[pid=4490] ppid=4487 vsize=304240 CPUtime=162.17 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 244125 0 0 0 16198 19 0 0 20 0 1 0 1528259 311541760 69813 33554432000 4194304 7402444 140737330483088 140737330477592 5747585 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76060 69813 767 784 0 69074 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 304240
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/243 4494
/proc/meminfo: memFree=31569256/32770624 swapFree=5800/218448
[pid=4490] ppid=4487 vsize=304240 CPUtime=222.1 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 252154 0 0 0 22190 20 0 0 20 0 1 0 1528259 311541760 69813 33554432000 4194304 7402444 140737330483088 140737330477592 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76060 69813 767 784 0 69074 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 304240
[startup+282.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/243 4495
/proc/meminfo: memFree=31569164/32770624 swapFree=5800/218448
[pid=4490] ppid=4487 vsize=304372 CPUtime=282.06 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 253009 0 0 0 28186 20 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 304372
[startup+342.308 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4496
/proc/meminfo: memFree=31570116/32770624 swapFree=5800/218612
[pid=4490] ppid=4487 vsize=304372 CPUtime=342.03 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 253757 0 0 0 34183 20 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 304372
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4504
/proc/meminfo: memFree=31569492/32770624 swapFree=5800/218664
[pid=4490] ppid=4487 vsize=304372 CPUtime=401.99 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 254504 0 0 0 40178 21 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5746096 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 304372
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 4505
/proc/meminfo: memFree=31570048/32770624 swapFree=5796/218664
[pid=4490] ppid=4487 vsize=304372 CPUtime=461.95 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 255251 0 0 0 46174 21 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5327254 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 304372
[startup+522.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4506
/proc/meminfo: memFree=31569564/32770624 swapFree=5796/218664
[pid=4490] ppid=4487 vsize=304372 CPUtime=521.91 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 255998 0 0 0 52170 21 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 521.91
Current children cumulated vsize (KiB) 304372
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4507
/proc/meminfo: memFree=31570116/32770624 swapFree=5796/218664
[pid=4490] ppid=4487 vsize=304372 CPUtime=581.87 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 256751 0 0 0 58166 21 0 0 20 0 1 0 1528259 311676928 69849 33554432000 4194304 7402444 140737330483088 140737330477608 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69849 767 784 0 69107 0
Current children cumulated CPU time (s) 581.87
Current children cumulated vsize (KiB) 304372
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4555
/proc/meminfo: memFree=31571296/32770624 swapFree=5800/219384
[pid=4490] ppid=4487 vsize=304372 CPUtime=1541.29 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 268807 0 0 0 154107 22 0 0 20 0 1 0 1528259 311676928 69858 33554432000 4194304 7402444 140737330483088 140737330477608 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69858 767 784 0 69107 0
Current children cumulated CPU time (s) 1541.29
Current children cumulated vsize (KiB) 304372
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4563
/proc/meminfo: memFree=31567744/32770624 swapFree=5800/219384
[pid=4490] ppid=4487 vsize=304372 CPUtime=1601.25 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 269565 0 0 0 160103 22 0 0 20 0 1 0 1528259 311676928 69858 33554432000 4194304 7402444 140737330483088 140737330477608 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76093 69858 767 784 0 69107 0
Current children cumulated CPU time (s) 1601.25
Current children cumulated vsize (KiB) 304372
[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4564
/proc/meminfo: memFree=31568328/32770624 swapFree=5800/219384
[pid=4490] ppid=4487 vsize=304504 CPUtime=1661.22 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 270340 0 0 0 166100 22 0 0 20 0 1 0 1528259 311812096 69858 33554432000 4194304 7402444 140737330483088 140737330477576 5747600 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69858 767 784 0 69140 0
Current children cumulated CPU time (s) 1661.22
Current children cumulated vsize (KiB) 304504
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4565
/proc/meminfo: memFree=31568524/32770624 swapFree=5800/219384
[pid=4490] ppid=4487 vsize=304504 CPUtime=1721.17 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 271143 0 0 0 172095 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 1721.17
Current children cumulated vsize (KiB) 304504
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/243 4566
/proc/meminfo: memFree=31569748/32770624 swapFree=5800/219384
[pid=4490] ppid=4487 vsize=304504 CPUtime=1781.14 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 271926 0 0 0 178092 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (KiB) 304504
[startup+1842.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 4567
/proc/meminfo: memFree=31570084/32770624 swapFree=5800/219588
[pid=4490] ppid=4487 vsize=304504 CPUtime=1841.1 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 272709 0 0 0 184088 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 1841.1
Current children cumulated vsize (KiB) 304504
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4568
/proc/meminfo: memFree=31570036/32770624 swapFree=5796/219588
[pid=4490] ppid=4487 vsize=304504 CPUtime=1901.06 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 273420 0 0 0 190084 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 1901.06
Current children cumulated vsize (KiB) 304504
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4569
/proc/meminfo: memFree=31568404/32770624 swapFree=5796/219588
[pid=4490] ppid=4487 vsize=304504 CPUtime=1961.03 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 274275 0 0 0 196081 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 1961.03
Current children cumulated vsize (KiB) 304504
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4570
/proc/meminfo: memFree=31568616/32770624 swapFree=5796/219588
[pid=4490] ppid=4487 vsize=304504 CPUtime=2020.99 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 274936 0 0 0 202077 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2020.99
Current children cumulated vsize (KiB) 304504
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4571
/proc/meminfo: memFree=31568832/32770624 swapFree=5796/219588
[pid=4490] ppid=4487 vsize=304504 CPUtime=2080.95 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 275818 0 0 0 208073 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 4238492 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2080.95
Current children cumulated vsize (KiB) 304504
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4572
/proc/meminfo: memFree=31569124/32770624 swapFree=5796/219724
[pid=4490] ppid=4487 vsize=304504 CPUtime=2140.92 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 276601 0 0 0 214070 22 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2140.92
Current children cumulated vsize (KiB) 304504
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4581
/proc/meminfo: memFree=31568916/32770624 swapFree=5800/219772
[pid=4490] ppid=4487 vsize=304504 CPUtime=2200.9 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 277384 0 0 0 220067 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 4248742 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2200.9
Current children cumulated vsize (KiB) 304504
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 4582
/proc/meminfo: memFree=31569764/32770624 swapFree=5800/219772
[pid=4490] ppid=4487 vsize=304504 CPUtime=2260.86 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 278167 0 0 0 226063 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2260.86
Current children cumulated vsize (KiB) 304504
[startup+2322.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/244 4583
/proc/meminfo: memFree=31568560/32770624 swapFree=5800/219772
[pid=4490] ppid=4487 vsize=304504 CPUtime=2320.83 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 278937 0 0 0 232060 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327213 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2320.83
Current children cumulated vsize (KiB) 304504
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/244 4584
/proc/meminfo: memFree=31569072/32770624 swapFree=5800/219772
[pid=4490] ppid=4487 vsize=304504 CPUtime=2380.78 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 279577 0 0 0 238055 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5747605 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2380.78
Current children cumulated vsize (KiB) 304504
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.6 s]
/proc/loadavg: 2.09 2.05 2.05 3/244 4716
/proc/meminfo: memFree=31728320/32770624 swapFree=5800/220208
[pid=4490] ppid=4487 vsize=304504 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 280001 0 0 0 239984 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327254 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 304504
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 4490 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.6 s]
/proc/loadavg: 2.09 2.05 2.05 3/244 4716
/proc/meminfo: memFree=31728320/32770624 swapFree=5800/220208
[pid=4490] ppid=4487 vsize=304504 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/4490/stat : 4490 (MistralXCSP) R 4487 4490 2447 0 -1 4202496 280001 0 0 0 239984 23 0 0 20 0 1 0 1528259 311812096 69885 33554432000 4194304 7402444 140737330483088 140737330477576 5327254 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 16535552 140737330488489 140737330488638 140737330488638 140737330491337 0
/proc/4490/statm: 76126 69885 767 784 0 69140 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 304504
Child status: 0
Real time (s): 2401.6
CPU time (s): 2400.08
CPU user time (s): 2399.84
CPU system time (s): 0.236856
CPU usage (%): 99.9366
Max. virtual memory (cumulated for all children) (KiB): 304504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.84
system time used= 0.236856
maximum resident set size= 289092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280037
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= 79
involuntary context switches= 120707
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.45754 second user time and 12.9543 second system time
The end