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-4261320-1502399758/watcher-4261320-1502399758 -o /tmp/evaluation-result-4261320-1502399758/solver-4261320-1502399758 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 182195815 HOME/instance-4261320-1502399758.xml
pid=3117
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.08 2.03 2.05 3/189 3120
/proc/meminfo: memFree=31141228/32770624 swapFree=0/435916
[pid=3120] ppid=3117 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3120/stat : 3120 (runsolver) D 3117 3120 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 139628682 24240128 108 18446744073709551615 4194304 4338465 140721759485552 140721759483192 140664405025495 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26099712 140721759490187 140721759490633 140721759490633 140721759494090 0
/proc/3120/statm: 5918 108 54 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 3120
/proc/meminfo: memFree=31141228/32770624 swapFree=0/435916
[pid=3120] ppid=3117 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3120/stat : 3120 (runsolver) D 3117 3120 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 139628682 24240128 108 18446744073709551615 4194304 4338465 140721759485552 140721759483192 140664405025495 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 26099712 140721759490187 140721759490633 140721759490633 140721759494090 0
/proc/3120/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200781 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 3120
/proc/meminfo: memFree=31141228/32770624 swapFree=0/435916
[pid=3120] ppid=3117 vsize=45484 CPUtime=0.08 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 5533 0 0 0 8 0 0 0 20 0 1 0 139628682 46575616 5013 18446744073709551615 4194304 7396336 140727042503712 140727042493488 6024384 0 0 1 0 0 0 0 17 6 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 11371 5013 669 782 0 4387 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 45484
[startup+0.300775 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 3120
/proc/meminfo: memFree=31141228/32770624 swapFree=0/435916
[pid=3120] ppid=3117 vsize=45484 CPUtime=0.18 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 5543 0 0 0 18 0 0 0 20 0 1 0 139628682 46575616 5013 18446744073709551615 4194304 7396336 140727042503712 140727042493488 140212917825922 0 0 1 0 0 0 0 17 6 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 11371 5013 669 782 0 4387 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 45484
[startup+0.700277 s]
/proc/loadavg: 2.08 2.03 2.05 3/189 3120
/proc/meminfo: memFree=31141228/32770624 swapFree=0/435916
[pid=3120] ppid=3117 vsize=45748 CPUtime=0.58 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 5627 0 0 0 58 0 0 0 20 0 1 0 139628682 46845952 5145 18446744073709551615 4194304 7396336 140727042503712 140727042492520 6029532 0 0 1 0 0 0 0 17 2 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 11437 5145 710 782 0 4453 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 45748
[startup+1.50028 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 3121
/proc/meminfo: memFree=31123968/32770624 swapFree=0/435636
[pid=3120] ppid=3117 vsize=46768 CPUtime=1.38 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 5864 0 0 0 138 0 0 0 20 0 1 0 139628682 47890432 5343 18446744073709551615 4194304 7396336 140727042503712 140727042494312 6195438 0 0 1 0 0 0 0 17 2 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 11692 5343 717 782 0 4708 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 46768
[startup+3.10028 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 3121
/proc/meminfo: memFree=31122976/32770624 swapFree=0/435636
[pid=3120] ppid=3117 vsize=48852 CPUtime=2.99 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 8452 0 0 0 298 1 0 0 20 0 1 0 139628682 50024448 5873 18446744073709551615 4194304 7396336 140727042503712 140727042494312 5882985 0 0 1 0 0 0 0 17 2 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 12213 5873 717 782 0 5229 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 48852
[startup+6.30028 s]
/proc/loadavg: 2.08 2.03 2.05 3/190 3121
/proc/meminfo: memFree=31117344/32770624 swapFree=0/435956
[pid=3120] ppid=3117 vsize=54328 CPUtime=6.18 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 11784 0 0 0 617 1 0 0 20 0 1 0 139628682 55631872 7280 18446744073709551615 4194304 7396336 140727042503712 140727042494456 140212917228774 0 0 1 0 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 13582 7280 726 782 0 6598 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 54328
[startup+12.7003 s]
/proc/loadavg: 1.99 2.01 2.04 3/190 3121
/proc/meminfo: memFree=31098184/32770624 swapFree=0/435952
[pid=3120] ppid=3117 vsize=71772 CPUtime=12.58 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 21863 0 0 0 1256 2 0 0 20 0 1 0 139628682 73494528 11650 18446744073709551615 4194304 7396336 140727042503712 140727042494264 6009364 0 0 1 0 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 17943 11650 726 782 0 10959 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 71772
[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 2.04 3/190 3121
/proc/meminfo: memFree=31077272/32770624 swapFree=0/435956
[pid=3120] ppid=3117 vsize=92032 CPUtime=25.38 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 42398 0 0 0 2534 4 0 0 20 0 1 0 139628682 94240768 16733 18446744073709551615 4194304 7396336 140727042503712 140727042498376 4249504 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23008 16733 765 782 0 16024 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 92032
[startup+51.1003 s]
/proc/loadavg: 1.99 2.01 2.04 3/190 3122
/proc/meminfo: memFree=31076672/32770624 swapFree=0/435956
[pid=3120] ppid=3117 vsize=92164 CPUtime=50.96 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 44075 0 0 0 5092 4 0 0 20 0 1 0 139628682 94375936 16793 18446744073709551615 4194304 7396336 140727042503712 140727042498344 4581498 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23041 16793 765 782 0 16057 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 92164
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 3124
/proc/meminfo: memFree=31081856/32770624 swapFree=0/435968
[pid=3120] ppid=3117 vsize=92296 CPUtime=102.16 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 44846 0 0 0 10212 4 0 0 20 0 1 0 139628682 94511104 16815 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4581738 0 0 1 16386 0 0 0 17 0 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16815 765 782 0 16090 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 92296
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 3126
/proc/meminfo: memFree=31081744/32770624 swapFree=0/435992
[pid=3120] ppid=3117 vsize=92296 CPUtime=162.15 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 45608 0 0 0 16211 4 0 0 20 0 1 0 139628682 94511104 16821 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4543870 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16821 765 782 0 16090 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 92296
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/186 3129
/proc/meminfo: memFree=31082208/32770624 swapFree=0/435996
[pid=3120] ppid=3117 vsize=92296 CPUtime=222.15 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 45978 0 0 0 22211 4 0 0 20 0 1 0 139628682 94511104 16825 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4581731 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16825 765 782 0 16090 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 92296
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3130
/proc/meminfo: memFree=31082316/32770624 swapFree=0/436008
[pid=3120] ppid=3117 vsize=92296 CPUtime=282.15 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 46349 0 0 0 28210 5 0 0 20 0 1 0 139628682 94511104 16829 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4249471 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16829 765 782 0 16090 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 92296
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3194
/proc/meminfo: memFree=31059220/32770624 swapFree=0/436036
[pid=3120] ppid=3117 vsize=92296 CPUtime=342.14 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 46726 0 0 0 34209 5 0 0 20 0 1 0 139628682 94511104 16831 18446744073709551615 4194304 7396336 140727042503712 140727042498264 5699040 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16831 765 782 0 16090 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 92296
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3196
/proc/meminfo: memFree=31054952/32770624 swapFree=0/436044
[pid=3120] ppid=3117 vsize=92296 CPUtime=402.13 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 47103 0 0 0 40208 5 0 0 20 0 1 0 139628682 94511104 16836 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4582338 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16836 765 782 0 16090 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 92296
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 3198
/proc/meminfo: memFree=31055076/32770624 swapFree=0/436048
[pid=3120] ppid=3117 vsize=92296 CPUtime=462.13 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 47480 0 0 0 46208 5 0 0 20 0 1 0 139628682 94511104 16837 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4581731 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16837 765 782 0 16090 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 92296
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 3215
/proc/meminfo: memFree=31051064/32770624 swapFree=0/436044
[pid=3120] ppid=3117 vsize=92296 CPUtime=522.12 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 47857 0 0 0 52207 5 0 0 20 0 1 0 139628682 94511104 16837 18446744073709551615 4194304 7396336 140727042503712 140727042498264 4407280 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16837 765 782 0 16090 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 92296
[startup+582.3 s]
/proc/loadavg: 1.96 2.00 2.03 3/188 3217
/proc/meminfo: memFree=31051124/32770624 swapFree=0/436060
[pid=3120] ppid=3117 vsize=92296 CPUtime=582.12 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 48236 0 0 0 58207 5 0 0 20 0 1 0 139628682 94511104 16838 18446744073709551615 4194304 7396336 140727042503712 140727042498264 5607556 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23074 16838 765 782 0 16090 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 92296
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3269
/proc/meminfo: memFree=31052992/32770624 swapFree=0/436272
[pid=3120] ppid=3117 vsize=92692 CPUtime=1602.05 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 56239 0 0 0 160200 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4581459 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 92692
[startup+1662.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/185 3271
/proc/meminfo: memFree=31053244/32770624 swapFree=0/436284
[pid=3120] ppid=3117 vsize=92692 CPUtime=1662.04 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 56711 0 0 0 166199 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4581746 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 92692
[startup+1722.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 3288
/proc/meminfo: memFree=31049272/32770624 swapFree=0/436304
[pid=3120] ppid=3117 vsize=92692 CPUtime=1722.04 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 57183 0 0 0 172199 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5586157 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1722.04
Current children cumulated vsize (KiB) 92692
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 3290
/proc/meminfo: memFree=31049044/32770624 swapFree=0/436324
[pid=3120] ppid=3117 vsize=92692 CPUtime=1782.04 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 57660 0 0 0 178199 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5839021 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1782.04
Current children cumulated vsize (KiB) 92692
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3292
/proc/meminfo: memFree=31051908/32770624 swapFree=0/436332
[pid=3120] ppid=3117 vsize=92692 CPUtime=1842.03 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 58137 0 0 0 184198 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4581576 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1842.03
Current children cumulated vsize (KiB) 92692
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 3294
/proc/meminfo: memFree=31052408/32770624 swapFree=0/436348
[pid=3120] ppid=3117 vsize=92692 CPUtime=1902.03 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 58607 0 0 0 190198 5 0 0 20 0 1 0 139628682 94916608 16939 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4581738 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16939 765 782 0 16189 0
Current children cumulated CPU time (s) 1902.03
Current children cumulated vsize (KiB) 92692
[startup+1962.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/185 3296
/proc/meminfo: memFree=31052492/32770624 swapFree=0/436356
[pid=3120] ppid=3117 vsize=92692 CPUtime=1962.02 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 59090 0 0 0 196197 5 0 0 20 0 1 0 139628682 94916608 16940 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4320512 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16940 765 782 0 16189 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 92692
[startup+2022.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/184 3298
/proc/meminfo: memFree=31052632/32770624 swapFree=0/436352
[pid=3120] ppid=3117 vsize=92692 CPUtime=2022.02 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 59568 0 0 0 202197 5 0 0 20 0 1 0 139628682 94916608 16940 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5586214 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16940 765 782 0 16189 0
Current children cumulated CPU time (s) 2022.02
Current children cumulated vsize (KiB) 92692
[startup+2082.3 s]
/proc/loadavg: 1.92 1.98 2.03 3/184 3300
/proc/meminfo: memFree=31052480/32770624 swapFree=0/436360
[pid=3120] ppid=3117 vsize=92692 CPUtime=2082.02 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 60047 0 0 0 208197 5 0 0 20 0 1 0 139628682 94916608 16940 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5839021 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16940 765 782 0 16189 0
Current children cumulated CPU time (s) 2082.02
Current children cumulated vsize (KiB) 92692
[startup+2142.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 3302
/proc/meminfo: memFree=31052592/32770624 swapFree=0/436364
[pid=3120] ppid=3117 vsize=92692 CPUtime=2142.01 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 60527 0 0 0 214196 5 0 0 20 0 1 0 139628682 94916608 16941 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5586259 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16941 765 782 0 16189 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 92692
[startup+2202.31 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 3305
/proc/meminfo: memFree=31052540/32770624 swapFree=0/436376
[pid=3120] ppid=3117 vsize=92692 CPUtime=2202.01 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 61008 0 0 0 220196 5 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5649694 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 92692
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3307
/proc/meminfo: memFree=31053040/32770624 swapFree=0/436392
[pid=3120] ppid=3117 vsize=92692 CPUtime=2262 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 61488 0 0 0 226195 5 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4249696 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 92692
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 3323
/proc/meminfo: memFree=31049312/32770624 swapFree=0/436400
[pid=3120] ppid=3117 vsize=92692 CPUtime=2322 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 61968 0 0 0 232195 5 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4581691 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 92692
[startup+2382.3 s]
/proc/loadavg: 1.95 1.97 2.03 3/188 3325
/proc/meminfo: memFree=31048800/32770624 swapFree=0/436412
[pid=3120] ppid=3117 vsize=92692 CPUtime=2381.99 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 62443 0 0 0 238194 5 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4249495 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2381.99
Current children cumulated vsize (KiB) 92692
[startup+2442.3 s]
/proc/loadavg: 1.96 1.97 2.03 3/185 3327
/proc/meminfo: memFree=31052040/32770624 swapFree=0/436428
[pid=3120] ppid=3117 vsize=92692 CPUtime=2441.99 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 62918 0 0 0 244193 6 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5839021 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2441.99
Current children cumulated vsize (KiB) 92692
[startup+2502.3 s]
/proc/loadavg: 2.18 2.04 2.05 3/184 3329
/proc/meminfo: memFree=31052324/32770624 swapFree=0/436436
[pid=3120] ppid=3117 vsize=92692 CPUtime=2501.99 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 63399 0 0 0 250193 6 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 5575964 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 92692
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.20 2.05 2.05 3/184 3331
/proc/meminfo: memFree=31052200/32770624 swapFree=0/436456
[pid=3120] ppid=3117 vsize=92692 CPUtime=2519.69 cores=0,2,4,6
/proc/3120/stat : 3120 (MistralXCSP) R 3117 3120 4525 0 -1 4202496 63874 0 0 0 251963 6 0 0 20 0 1 0 139628682 94916608 16942 18446744073709551615 4194304 7396336 140727042503712 140727042497992 4379213 0 0 1 16386 0 0 0 17 4 0 0 10 0 0 9496464 9501696 11677696 140727042511283 140727042511432 140727042511432 140727042514889 0
/proc/3120/statm: 23173 16942 765 782 0 16189 0
Current children cumulated CPU time (s) 2519.69
Current children cumulated vsize (KiB) 92692
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 3120 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.7
CPU user time (s): 2519.63
CPU system time (s): 0.061995
CPU usage (%): 99.9879
Max. virtual memory (cumulated for all children) (KiB): 92692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.63
system time used= 0.061995
maximum resident set size= 67788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63908
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= 31
involuntary context switches= 4178
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.68451 second user time and 10.5277 second system time
The end