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-4261672-1502381755/watcher-4261672-1502381755 -o /tmp/evaluation-result-4261672-1502381755/solver-4261672-1502381755 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20547 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 215158679 HOME/instance-4261672-1502381755.xml
pid=29426
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.03 2.05 2/183 29429
/proc/meminfo: memFree=31223184/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29429/stat : 29429 (runsolver) D 29426 29429 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 40396272 24240128 107 18446744073709551615 4194304 4338465 140728842089744 140728842087384 140006919385815 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 16818176 140728842096780 140728842097226 140728842097226 140728842100682 0
/proc/29429/statm: 5918 107 54 36 0 2156 0
[startup+0.100202 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 29429
/proc/meminfo: memFree=31223184/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=36916 CPUtime=0.02 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 2997 0 0 0 2 0 0 0 20 0 1 0 40396272 37801984 2782 18446744073709551615 4194304 7396336 140728410996896 140728410993896 5789772 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 9229 2848 640 782 0 2245 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 36916
[startup+0.200351 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 29429
/proc/meminfo: memFree=31223184/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=140544 CPUtime=0.12 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 29013 0 0 0 9 3 0 0 20 0 1 0 40396272 143917056 28749 18446744073709551615 4194304 7396336 140728410996896 140728410993896 4565880 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 35136 28749 664 782 0 28152 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 140544
[startup+0.300349 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 29429
/proc/meminfo: memFree=31223184/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=153228 CPUtime=0.22 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 32454 0 0 0 19 3 0 0 20 0 1 0 40396272 156905472 31943 18446744073709551615 4194304 7396336 140728410996896 140728410993896 4566039 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 38307 31943 666 782 0 31323 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 153228
[startup+0.700316 s]
/proc/loadavg: 2.00 2.03 2.05 2/183 29429
/proc/meminfo: memFree=31223184/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=176556 CPUtime=0.62 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 38026 0 0 0 58 4 0 0 20 0 1 0 40396272 180793344 37757 18446744073709551615 4194304 7396336 140728410996896 140728410993896 4566039 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 44139 37757 666 782 0 37155 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 176556
[startup+1.50028 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29430
/proc/meminfo: memFree=31065420/32770624 swapFree=0/485864
[pid=29429] ppid=29426 vsize=195496 CPUtime=1.42 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 42991 0 0 0 138 4 0 0 20 0 1 0 40396272 200187904 42549 18446744073709551615 4194304 7396336 140728410996896 140728410986792 4566039 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 48874 42549 750 782 0 41890 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 195496
[startup+3.10029 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29430
/proc/meminfo: memFree=31045984/32770624 swapFree=0/485864
[pid=29429] ppid=29426 vsize=217880 CPUtime=3.01 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 50197 0 0 0 296 5 0 0 20 0 1 0 40396272 223109120 48153 18446744073709551615 4194304 7396336 140728410996896 140728410986792 4566048 0 0 1 0 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 54470 48153 750 782 0 47486 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 217880
[startup+6.30033 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29430
/proc/meminfo: memFree=30898540/32770624 swapFree=0/485864
[pid=29429] ppid=29426 vsize=360120 CPUtime=6.22 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 125757 0 0 0 609 13 0 0 20 0 1 0 40396272 368762880 83747 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 90030 83747 790 782 0 83046 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 360120
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29430
/proc/meminfo: memFree=30791764/32770624 swapFree=0/485872
[pid=29429] ppid=29426 vsize=459600 CPUtime=12.62 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 187988 0 0 0 1244 18 0 0 20 0 1 0 40396272 470630400 108659 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 114900 108659 790 782 0 107916 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 459600
[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/184 29430
/proc/meminfo: memFree=30786060/32770624 swapFree=0/485872
[pid=29429] ppid=29426 vsize=465012 CPUtime=25.42 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 246780 0 0 0 2521 21 0 0 20 0 1 0 40396272 476172288 110008 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162969 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 116253 110008 790 782 0 109269 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 465012
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 29431
/proc/meminfo: memFree=30783456/32770624 swapFree=0/485876
[pid=29429] ppid=29426 vsize=468048 CPUtime=51.02 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 305875 0 0 0 5077 25 0 0 20 0 1 0 40396272 479281152 110768 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4582143 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 117012 110768 790 782 0 110028 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 468048
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29433
/proc/meminfo: memFree=30783880/32770624 swapFree=0/485888
[pid=29429] ppid=29426 vsize=471084 CPUtime=102.24 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 365684 0 0 0 10196 28 0 0 20 0 1 0 40396272 482390016 111521 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162969 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 117771 111521 790 782 0 110787 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 471084
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29435
/proc/meminfo: memFree=30781396/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=473600 CPUtime=162.21 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 425940 0 0 0 16190 31 0 0 20 0 1 0 40396272 484966400 112169 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 118400 112169 790 782 0 111416 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 473600
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29437
/proc/meminfo: memFree=30777112/32770624 swapFree=0/485900
[pid=29429] ppid=29426 vsize=477824 CPUtime=222.18 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 477623 0 0 0 22184 34 0 0 20 0 1 0 40396272 489291776 113192 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5586420 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 119456 113192 790 782 0 112472 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 477824
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 29438
/proc/meminfo: memFree=30772268/32770624 swapFree=0/485920
[pid=29429] ppid=29426 vsize=482840 CPUtime=282.15 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 513202 0 0 0 28179 36 0 0 20 0 1 0 40396272 494428160 114461 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4246600 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 120710 114461 790 782 0 113726 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 482840
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29440
/proc/meminfo: memFree=30770040/32770624 swapFree=0/485940
[pid=29429] ppid=29426 vsize=486144 CPUtime=342.13 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 516806 0 0 0 34177 36 0 0 20 0 1 0 40396272 497811456 115319 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4581576 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 121536 115319 790 782 0 114552 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 486144
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 29442
/proc/meminfo: memFree=30766768/32770624 swapFree=0/485952
[pid=29429] ppid=29426 vsize=489444 CPUtime=402.14 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 520023 0 0 0 40176 38 0 0 20 0 1 0 40396272 501190656 116086 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4407283 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 122361 116086 790 782 0 115377 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 489444
[startup+462.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 29504
/proc/meminfo: memFree=30866108/32770624 swapFree=0/485952
[pid=29429] ppid=29426 vsize=492744 CPUtime=462.14 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 523963 0 0 0 46176 38 0 0 20 0 1 0 40396272 504569856 116932 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4547381 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 123186 116932 790 782 0 116202 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 492744
[startup+522.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 29521
/proc/meminfo: memFree=30858596/32770624 swapFree=0/485984
[pid=29429] ppid=29426 vsize=495524 CPUtime=522.14 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 528379 0 0 0 52176 38 0 0 20 0 1 0 40396272 507416576 117636 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 123881 117636 790 782 0 116897 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 495524
[startup+582.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 29523
/proc/meminfo: memFree=30855316/32770624 swapFree=0/485992
[pid=29429] ppid=29426 vsize=498440 CPUtime=582.15 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 533639 0 0 0 58176 39 0 0 20 0 1 0 40396272 510402560 118360 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 124610 118360 790 782 0 117626 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 498440
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 2.03 3/181 29636
/proc/meminfo: memFree=30754884/32770624 swapFree=0/486184
[pid=29429] ppid=29426 vsize=520884 CPUtime=1602.21 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 578354 0 0 0 160175 46 0 0 20 0 1 0 40396272 533385216 123954 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4543827 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130221 123954 790 782 0 123237 0
Current children cumulated CPU time (s) 1602.21
Current children cumulated vsize (KiB) 520884
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 29638
/proc/meminfo: memFree=30753652/32770624 swapFree=0/486192
[pid=29429] ppid=29426 vsize=521544 CPUtime=1662.21 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 581308 0 0 0 166175 46 0 0 20 0 1 0 40396272 534061056 124142 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4581738 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130386 124142 790 782 0 123402 0
Current children cumulated CPU time (s) 1662.21
Current children cumulated vsize (KiB) 521544
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 29654
/proc/meminfo: memFree=30749508/32770624 swapFree=0/486228
[pid=29429] ppid=29426 vsize=521940 CPUtime=1722.22 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 584396 0 0 0 172175 47 0 0 20 0 1 0 40396272 534466560 124265 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5163034 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130485 124265 790 782 0 123501 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 521940
[startup+1782.3 s]
/proc/loadavg: 2.05 2.00 2.03 3/184 29656
/proc/meminfo: memFree=30748476/32770624 swapFree=0/486268
[pid=29429] ppid=29426 vsize=522600 CPUtime=1782.22 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 587633 0 0 0 178175 47 0 0 20 0 1 0 40396272 535142400 124397 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162969 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130650 124397 790 782 0 123666 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 522600
[startup+1842.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/182 29659
/proc/meminfo: memFree=30750632/32770624 swapFree=0/486296
[pid=29429] ppid=29426 vsize=523260 CPUtime=1842.22 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 591025 0 0 0 184175 47 0 0 20 0 1 0 40396272 535818240 124542 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4547381 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130815 124542 790 782 0 123831 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 523260
[startup+1902.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/182 29661
/proc/meminfo: memFree=30749640/32770624 swapFree=0/486324
[pid=29429] ppid=29426 vsize=523788 CPUtime=1902.23 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 592638 0 0 0 190175 48 0 0 20 0 1 0 40396272 536358912 124708 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 130947 124708 790 782 0 123963 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 523788
[startup+1962.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/182 29663
/proc/meminfo: memFree=30749892/32770624 swapFree=0/486340
[pid=29429] ppid=29426 vsize=524052 CPUtime=1962.23 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 594302 0 0 0 196175 48 0 0 20 0 1 0 40396272 536629248 124769 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5703504 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 131013 124769 790 782 0 124029 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 524052
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 29665
/proc/meminfo: memFree=30748908/32770624 swapFree=0/486340
[pid=29429] ppid=29426 vsize=526032 CPUtime=2022.23 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 596445 0 0 0 202174 49 0 0 20 0 1 0 40396272 538656768 125222 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5685068 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 131508 125222 790 782 0 124524 0
Current children cumulated CPU time (s) 2022.23
Current children cumulated vsize (KiB) 526032
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 29667
/proc/meminfo: memFree=30743956/32770624 swapFree=0/486356
[pid=29429] ppid=29426 vsize=531324 CPUtime=2082.24 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 600972 0 0 0 208175 49 0 0 20 0 1 0 40396272 544075776 126574 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5839012 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 132831 126574 790 782 0 125847 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 531324
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 29669
/proc/meminfo: memFree=30743548/32770624 swapFree=0/486356
[pid=29429] ppid=29426 vsize=531720 CPUtime=2142.23 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 604526 0 0 0 214174 49 0 0 20 0 1 0 40396272 544481280 126696 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 132930 126696 790 782 0 125946 0
Current children cumulated CPU time (s) 2142.23
Current children cumulated vsize (KiB) 531720
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 29671
/proc/meminfo: memFree=30742944/32770624 swapFree=0/486360
[pid=29429] ppid=29426 vsize=532116 CPUtime=2202.25 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 608151 0 0 0 220175 50 0 0 20 0 1 0 40396272 544886784 126801 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5792165 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133029 126801 790 782 0 126045 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 532116
[startup+2262.3 s]
/proc/loadavg: 2.10 2.04 2.05 3/181 29673
/proc/meminfo: memFree=30742644/32770624 swapFree=0/486372
[pid=29429] ppid=29426 vsize=532380 CPUtime=2262.24 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 611801 0 0 0 226174 50 0 0 20 0 1 0 40396272 545157120 126841 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133095 126841 790 782 0 126111 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 532380
[startup+2322.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 29689
/proc/meminfo: memFree=30736048/32770624 swapFree=0/486416
[pid=29429] ppid=29426 vsize=532908 CPUtime=2322.24 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 613695 0 0 0 232174 50 0 0 20 0 1 0 40396272 545697792 126995 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133227 126995 790 782 0 126243 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 532908
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 29691
/proc/meminfo: memFree=30735676/32770624 swapFree=0/486428
[pid=29429] ppid=29426 vsize=533304 CPUtime=2382.25 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 615656 0 0 0 238174 51 0 0 20 0 1 0 40396272 546103296 127076 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162969 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133326 127076 790 782 0 126342 0
Current children cumulated CPU time (s) 2382.25
Current children cumulated vsize (KiB) 533304
[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 29693
/proc/meminfo: memFree=30739708/32770624 swapFree=0/486436
[pid=29429] ppid=29426 vsize=533568 CPUtime=2442.25 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 617636 0 0 0 244174 51 0 0 20 0 1 0 40396272 546373632 127135 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133392 127135 790 782 0 126408 0
Current children cumulated CPU time (s) 2442.25
Current children cumulated vsize (KiB) 533568
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 29695
/proc/meminfo: memFree=30739168/32770624 swapFree=0/486444
[pid=29429] ppid=29426 vsize=534624 CPUtime=2502.26 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 619889 0 0 0 250174 52 0 0 20 0 1 0 40396272 547454976 127377 18446744073709551615 4194304 7396336 140728410996896 140728410991432 5162982 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133656 127377 790 782 0 126672 0
Current children cumulated CPU time (s) 2502.26
Current children cumulated vsize (KiB) 534624
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 29697
/proc/meminfo: memFree=30739172/32770624 swapFree=0/486460
[pid=29429] ppid=29426 vsize=534888 CPUtime=2519.96 cores=0,2,4,6
/proc/29429/stat : 29429 (MistralXCSP) R 29426 29429 4057 0 -1 4202496 620384 0 0 0 251944 52 0 0 20 0 1 0 40396272 547725312 127486 18446744073709551615 4194304 7396336 140728410996896 140728410991432 4547381 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 21397504 140728411001268 140728411001417 140728411001417 140728411004873 0
/proc/29429/statm: 133722 127486 790 782 0 126738 0
Current children cumulated CPU time (s) 2519.96
Current children cumulated vsize (KiB) 534888
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 29429 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.97
CPU user time (s): 2519.45
CPU system time (s): 0.522028
CPU usage (%): 99.9986
Max. virtual memory (cumulated for all children) (KiB): 534888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.45
system time used= 0.522028
maximum resident set size= 510092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 620411
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= 165
involuntary context switches= 2680
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.26089 second user time and 9.69796 second system time
The end