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-4261502-1502367039/watcher-4261502-1502367039 -o /tmp/evaluation-result-4261502-1502367039/solver-4261502-1502367039 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1298063526 HOME/instance-4261502-1502367039.xml
pid=27318
running on 4 cores: 1,3,5,7
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.01 2.05 3/180 27321
/proc/meminfo: memFree=31264936/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27321/stat : 27321 (runsolver) D 27318 27321 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38924712 24240128 106 18446744073709551615 4194304 4338465 140737325312768 140737325310408 140692750861015 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 24809472 140737325314187 140737325314634 140737325314634 140737325318090 0
/proc/27321/statm: 5918 106 53 36 0 2156 0
[startup+0.100275 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 27321
/proc/meminfo: memFree=31264936/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=29892 CPUtime=0.03 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 1324 0 0 0 3 0 0 0 20 0 1 0 38924712 30609408 1132 18446744073709551615 4194304 7396336 140731932086976 140731932076752 6195392 0 0 1 0 0 0 0 17 7 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 7473 1132 681 782 0 489 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29892
[startup+0.200271 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 27321
/proc/meminfo: memFree=31264936/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=30016 CPUtime=0.13 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 1351 0 0 0 13 0 0 0 20 0 1 0 38924712 30736384 1192 18446744073709551615 4194304 7396336 140731932086976 140731932077640 6205625 0 0 1 0 0 0 0 17 7 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 7504 1192 712 782 0 520 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 30016
[startup+0.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 27321
/proc/meminfo: memFree=31264936/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=30160 CPUtime=0.23 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 1385 0 0 0 23 0 0 0 20 0 1 0 38924712 30883840 1192 18446744073709551615 4194304 7396336 140731932086976 140731932077512 139916430039623 0 0 1 0 0 0 0 17 7 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 7540 1192 712 782 0 556 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 30160
[startup+0.700222 s]
/proc/loadavg: 2.00 2.01 2.05 3/180 27321
/proc/meminfo: memFree=31264936/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=30672 CPUtime=0.63 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 1516 0 0 0 63 0 0 0 20 0 1 0 38924712 31408128 1356 18446744073709551615 4194304 7396336 140731932086976 140731932077512 6203796 0 0 1 0 0 0 0 17 1 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 7668 1356 713 782 0 684 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 30672
[startup+1.50022 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 27322
/proc/meminfo: memFree=31261780/32770624 swapFree=0/482412
[pid=27321] ppid=27318 vsize=31592 CPUtime=1.43 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 1774 0 0 0 143 0 0 0 20 0 1 0 38924712 32350208 1613 18446744073709551615 4194304 7396336 140731932086976 140731932077800 6181754 0 0 1 0 0 0 0 17 1 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 7898 1613 713 782 0 914 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 31592
[startup+3.10023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 27322
/proc/meminfo: memFree=31254748/32770624 swapFree=0/482452
[pid=27321] ppid=27318 vsize=48716 CPUtime=3.03 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 6877 0 0 0 302 1 0 0 20 0 1 0 38924712 49885184 5646 18446744073709551615 4194304 7396336 140731932086976 140731932077800 5921985 0 0 1 0 0 0 0 17 1 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 12179 5646 713 782 0 5195 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 48716
[startup+6.30023 s]
/proc/loadavg: 1.92 2.00 2.04 3/181 27322
/proc/meminfo: memFree=31241432/32770624 swapFree=0/482204
[pid=27321] ppid=27318 vsize=53320 CPUtime=6.23 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 9152 0 0 0 622 1 0 0 20 0 1 0 38924712 54599680 6774 18446744073709551615 4194304 7396336 140731932086976 140731932077576 6195392 0 0 1 0 0 0 0 17 1 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 13330 6774 713 782 0 6346 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 53320
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 27322
/proc/meminfo: memFree=31230024/32770624 swapFree=0/482196
[pid=27321] ppid=27318 vsize=63500 CPUtime=12.62 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 14286 0 0 0 1261 1 0 0 20 0 1 0 38924712 65024000 9348 18446744073709551615 4194304 7396336 140731932086976 140731932076936 6012970 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 15875 9348 713 782 0 8891 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 63500
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 27323
/proc/meminfo: memFree=31216208/32770624 swapFree=0/482204
[pid=27321] ppid=27318 vsize=78556 CPUtime=25.43 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 19983 0 0 0 2541 2 0 0 20 0 1 0 38924712 80441344 13085 18446744073709551615 4194304 7396336 140731932086976 140731932077576 139916429575410 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 19639 13085 713 782 0 12655 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 78556
[startup+51.1003 s]
/proc/loadavg: 1.96 2.00 2.04 3/181 27323
/proc/meminfo: memFree=31182588/32770624 swapFree=0/482224
[pid=27321] ppid=27318 vsize=111588 CPUtime=51.03 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 36316 0 0 0 5099 4 0 0 20 0 1 0 38924712 114266112 21308 18446744073709551615 4194304 7396336 140731932086976 140731932077576 139916424131320 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 27897 21308 713 782 0 20913 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 111588
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 27326
/proc/meminfo: memFree=31127700/32770624 swapFree=0/482248
[pid=27321] ppid=27318 vsize=165700 CPUtime=102.24 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 51070 0 0 0 10218 6 0 0 20 0 1 0 38924712 169676800 34865 18446744073709551615 4194304 7396336 140731932086976 140731932077720 4566039 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 41425 34865 713 782 0 34441 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 165700
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 27328
/proc/meminfo: memFree=31052672/32770624 swapFree=0/482272
[pid=27321] ppid=27318 vsize=240276 CPUtime=162.23 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 70940 0 0 0 16214 9 0 0 20 0 1 0 38924712 246042624 53490 18446744073709551615 4194304 7396336 140731932086976 140731932077720 6205672 0 0 1 0 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 60069 53490 713 782 0 53085 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 240276
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 27344
/proc/meminfo: memFree=30960988/32770624 swapFree=0/482336
[pid=27321] ppid=27318 vsize=327600 CPUtime=222.24 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 98655 0 0 0 22212 12 0 0 20 0 1 0 38924712 335462400 75261 18446744073709551615 4194304 7396336 140731932086976 140731932077720 5605136 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75261 732 782 0 74916 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 327600
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 27371
/proc/meminfo: memFree=30959464/32770624 swapFree=0/482336
[pid=27321] ppid=27318 vsize=327600 CPUtime=282.24 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 98655 0 0 0 28212 12 0 0 20 0 1 0 38924712 335462400 75261 18446744073709551615 4194304 7396336 140731932086976 140731932082328 5575964 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75261 732 782 0 74916 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 327600
[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 27373
/proc/meminfo: memFree=30959896/32770624 swapFree=0/482352
[pid=27321] ppid=27318 vsize=327600 CPUtime=342.25 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 112495 0 0 0 34212 13 0 0 20 0 1 0 38924712 335462400 75261 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4581738 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75261 732 782 0 74916 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 327600
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 27375
/proc/meminfo: memFree=30962880/32770624 swapFree=0/482368
[pid=27321] ppid=27318 vsize=327600 CPUtime=402.25 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 112503 0 0 0 40212 13 0 0 20 0 1 0 38924712 335462400 75261 18446744073709551615 4194304 7396336 140731932086976 140731932082328 5605136 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75261 732 782 0 74916 0
Current children cumulated CPU time (s) 402.25
Current children cumulated vsize (KiB) 327600
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 27377
/proc/meminfo: memFree=30962024/32770624 swapFree=0/482384
[pid=27321] ppid=27318 vsize=327600 CPUtime=462.25 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 112944 0 0 0 46212 13 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4581738 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 462.25
Current children cumulated vsize (KiB) 327600
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27379
/proc/meminfo: memFree=30962272/32770624 swapFree=0/482396
[pid=27321] ppid=27318 vsize=327600 CPUtime=522.26 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 113352 0 0 0 52213 13 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249698 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 327600
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27381
/proc/meminfo: memFree=30963032/32770624 swapFree=0/482392
[pid=27321] ppid=27318 vsize=327600 CPUtime=582.26 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 113793 0 0 0 58213 13 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249698 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 582.26
Current children cumulated vsize (KiB) 327600
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27506
/proc/meminfo: memFree=30796908/32770624 swapFree=0/482636
[pid=27321] ppid=27318 vsize=327600 CPUtime=1662.37 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 121434 0 0 0 166224 13 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249451 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 327600
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 27509
/proc/meminfo: memFree=30796900/32770624 swapFree=0/482660
[pid=27321] ppid=27318 vsize=327600 CPUtime=1722.39 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 121844 0 0 0 172225 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 5575964 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1722.39
Current children cumulated vsize (KiB) 327600
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27511
/proc/meminfo: memFree=30796804/32770624 swapFree=0/482664
[pid=27321] ppid=27318 vsize=327600 CPUtime=1782.4 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 122283 0 0 0 178226 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320832 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 327600
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27513
/proc/meminfo: memFree=30796812/32770624 swapFree=0/482672
[pid=27321] ppid=27318 vsize=327600 CPUtime=1842.4 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 122693 0 0 0 184226 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 5575964 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1842.4
Current children cumulated vsize (KiB) 327600
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27516
/proc/meminfo: memFree=30796936/32770624 swapFree=0/482664
[pid=27321] ppid=27318 vsize=327600 CPUtime=1902.41 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 123132 0 0 0 190227 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320974 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1902.41
Current children cumulated vsize (KiB) 327600
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27518
/proc/meminfo: memFree=30797008/32770624 swapFree=0/482668
[pid=27321] ppid=27318 vsize=327600 CPUtime=1962.41 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 123542 0 0 0 196227 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249511 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 1962.41
Current children cumulated vsize (KiB) 327600
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27535
/proc/meminfo: memFree=30793576/32770624 swapFree=0/482680
[pid=27321] ppid=27318 vsize=327600 CPUtime=2022.42 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 123981 0 0 0 202228 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320974 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2022.42
Current children cumulated vsize (KiB) 327600
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 27537
/proc/meminfo: memFree=30793328/32770624 swapFree=0/482700
[pid=27321] ppid=27318 vsize=327600 CPUtime=2082.43 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 124391 0 0 0 208229 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 5605120 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2082.43
Current children cumulated vsize (KiB) 327600
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27539
/proc/meminfo: memFree=30796132/32770624 swapFree=0/482712
[pid=27321] ppid=27318 vsize=327600 CPUtime=2142.43 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 124830 0 0 0 214229 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320974 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2142.43
Current children cumulated vsize (KiB) 327600
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27541
/proc/meminfo: memFree=30796460/32770624 swapFree=0/482728
[pid=27321] ppid=27318 vsize=327600 CPUtime=2202.45 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 125240 0 0 0 220231 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320839 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2202.45
Current children cumulated vsize (KiB) 327600
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 27543
/proc/meminfo: memFree=30796460/32770624 swapFree=0/482728
[pid=27321] ppid=27318 vsize=327600 CPUtime=2262.45 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 125679 0 0 0 226231 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249698 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2262.45
Current children cumulated vsize (KiB) 327600
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27545
/proc/meminfo: memFree=30796476/32770624 swapFree=0/482748
[pid=27321] ppid=27318 vsize=327600 CPUtime=2322.45 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 126089 0 0 0 232231 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249511 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2322.45
Current children cumulated vsize (KiB) 327600
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27547
/proc/meminfo: memFree=30796832/32770624 swapFree=0/482748
[pid=27321] ppid=27318 vsize=327600 CPUtime=2382.46 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 126528 0 0 0 238232 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320974 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2382.46
Current children cumulated vsize (KiB) 327600
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27549
/proc/meminfo: memFree=30796832/32770624 swapFree=0/482752
[pid=27321] ppid=27318 vsize=327600 CPUtime=2442.46 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 126938 0 0 0 244232 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4249511 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2442.46
Current children cumulated vsize (KiB) 327600
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27551
/proc/meminfo: memFree=30796584/32770624 swapFree=0/482768
[pid=27321] ppid=27318 vsize=327600 CPUtime=2502.47 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 127377 0 0 0 250233 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320974 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2502.47
Current children cumulated vsize (KiB) 327600
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27551
/proc/meminfo: memFree=30796584/32770624 swapFree=0/482764
[pid=27321] ppid=27318 vsize=327600 CPUtime=2520.07 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 127787 0 0 0 251993 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320622 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 327600
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 27321 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27551
/proc/meminfo: memFree=30796584/32770624 swapFree=0/482764
[pid=27321] ppid=27318 vsize=327600 CPUtime=2520.07 cores=1,3,5,7
/proc/27321/stat : 27321 (MistralXCSP) R 27318 27321 4057 0 -1 4202496 127787 0 0 0 251993 14 0 0 20 0 1 0 38924712 335462400 75609 18446744073709551615 4194304 7396336 140731932086976 140731932082328 4320622 0 0 1 16386 0 0 0 17 3 0 0 6 0 0 9496464 9501696 23445504 140731932094899 140731932095049 140731932095049 140731932098505 0
/proc/27321/statm: 81900 75609 732 782 0 74916 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 327600
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.08
CPU user time (s): 2519.94
CPU system time (s): 0.142014
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 327600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.94
system time used= 0.142014
maximum resident set size= 302456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 127825
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= 34
involuntary context switches= 754
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.73645 second user time and 9.82605 second system time
The end