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-4242315-1502092773/watcher-4242315-1502092773 -o /tmp/evaluation-result-4242315-1502092773/solver-4242315-1502092773 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242315-1502092773.xml
pid=4346
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.05 4/180 4349
/proc/meminfo: memFree=31465804/32770624 swapFree=0/384416
[pid=4349] ppid=4346 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/4349/stat : 4349 (runsolver) D 4346 4349 21827 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 11473024 24240128 106 18446744073709551615 4194304 4338465 140726934583936 140726934581576 139685266789079 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 24018944 140726934585498 140726934585930 140726934585930 140726934589386 0
/proc/4349/statm: 5918 106 53 36 0 2156 0
[startup+0.100165 s]
/proc/loadavg: 2.01 2.02 2.05 4/180 4349
/proc/meminfo: memFree=31465804/32770624 swapFree=0/384416
[pid=4349] ppid=4346 vsize=27916 CPUtime=0 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 1189 0 0 0 0 0 0 0 20 0 1 0 11473024 28585984 1030 18446744073709551615 4194304 5970956 140729269914080 140729269910728 5389957 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 6979 1030 709 434 0 343 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 27916
[startup+0.200268 s]
/proc/loadavg: 2.01 2.02 2.05 4/180 4349
/proc/meminfo: memFree=31465804/32770624 swapFree=0/384416
[pid=4349] ppid=4346 vsize=29068 CPUtime=0.1 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 1548 0 0 0 10 0 0 0 20 0 1 0 11473024 29765632 1370 18446744073709551615 4194304 5970956 140729269914080 140729269910728 140566978808805 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 7267 1370 783 434 0 631 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29068
[startup+0.300246 s]
/proc/loadavg: 2.01 2.02 2.05 4/180 4349
/proc/meminfo: memFree=31465804/32770624 swapFree=0/384416
[pid=4349] ppid=4346 vsize=30428 CPUtime=0.2 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 1892 0 0 0 20 0 0 0 20 0 1 0 11473024 31158272 1711 18446744073709551615 4194304 5970956 140729269914080 140729269910728 140566978808805 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 7607 1711 783 434 0 971 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 30428
[startup+0.700218 s]
/proc/loadavg: 2.01 2.02 2.05 4/180 4349
/proc/meminfo: memFree=31465804/32770624 swapFree=0/384416
[pid=4349] ppid=4346 vsize=35980 CPUtime=0.59 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 3267 0 0 0 59 0 0 0 20 0 1 0 11473024 36843520 3100 18446744073709551615 4194304 5970956 140729269914080 140729269907912 140566978808805 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 8995 3100 783 434 0 2359 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 35980
[startup+1.50022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4350
/proc/meminfo: memFree=31451404/32770624 swapFree=0/384428
[pid=4349] ppid=4346 vsize=47044 CPUtime=1.4 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 6016 0 0 0 139 1 0 0 20 0 1 0 11473024 48173056 5834 18446744073709551615 4194304 5970956 140729269914080 140729269907912 140566978804542 0 0 1 0 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 11761 5834 783 434 0 5125 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 47044
[startup+3.10022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4350
/proc/meminfo: memFree=31089008/32770624 swapFree=0/384428
[pid=4349] ppid=4346 vsize=532652 CPUtime=3 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 77770 0 0 0 289 11 0 0 20 0 1 0 11473024 545435648 110731 18446744073709551615 4194304 5970956 140729269914080 140729269910904 4964366 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133163 110731 832 434 0 126527 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 532652
[startup+6.30022 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4350
/proc/meminfo: memFree=31025428/32770624 swapFree=0/384436
[pid=4349] ppid=4346 vsize=532652 CPUtime=6.2 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 84270 0 0 0 609 11 0 0 20 0 1 0 11473024 545435648 110756 18446744073709551615 4194304 5970956 140729269914080 140729269911416 5070304 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133163 110756 832 434 0 126527 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 532652
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4350
/proc/meminfo: memFree=31025096/32770624 swapFree=0/384440
[pid=4349] ppid=4346 vsize=532652 CPUtime=12.6 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 91087 0 0 0 1248 12 0 0 20 0 1 0 11473024 545435648 110761 18446744073709551615 4194304 5970956 140729269914080 140729269911416 4908341 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133163 110761 832 434 0 126527 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 532652
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4350
/proc/meminfo: memFree=31024088/32770624 swapFree=0/384456
[pid=4349] ppid=4346 vsize=532652 CPUtime=25.39 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 97600 0 0 0 2527 12 0 0 20 0 1 0 11473024 545435648 110762 18446744073709551615 4194304 5970956 140729269914080 140729269911416 5070976 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133163 110762 832 434 0 126527 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 532652
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4351
/proc/meminfo: memFree=31023892/32770624 swapFree=0/384464
[pid=4349] ppid=4346 vsize=532788 CPUtime=50.98 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 100215 0 0 0 5086 12 0 0 20 0 1 0 11473024 545574912 110764 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5052093 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110764 832 434 0 126561 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 532788
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4353
/proc/meminfo: memFree=31024408/32770624 swapFree=0/384496
[pid=4349] ppid=4346 vsize=532788 CPUtime=102.18 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 104674 0 0 0 10206 12 0 0 20 0 1 0 11473024 545574912 110768 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4961388 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110768 832 434 0 126561 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 532788
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4355
/proc/meminfo: memFree=31025032/32770624 swapFree=0/384524
[pid=4349] ppid=4346 vsize=532788 CPUtime=162.17 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 106724 0 0 0 16205 12 0 0 20 0 1 0 11473024 545574912 110796 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5071026 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110796 832 434 0 126561 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 532788
[startup+222.306 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 4417
/proc/meminfo: memFree=30334652/32770624 swapFree=0/384556
[pid=4349] ppid=4346 vsize=532788 CPUtime=222.18 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 107651 0 0 0 22205 13 0 0 20 0 1 0 11473024 545574912 110796 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5069735 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110796 832 434 0 126561 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 532788
[startup+282.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 4433
/proc/meminfo: memFree=30329328/32770624 swapFree=0/384624
[pid=4349] ppid=4346 vsize=532788 CPUtime=282.17 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 108834 0 0 0 28204 13 0 0 20 0 1 0 11473024 545574912 110796 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5069728 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110796 832 434 0 126561 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 532788
[startup+342.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 4435
/proc/meminfo: memFree=30327440/32770624 swapFree=0/384640
[pid=4349] ppid=4346 vsize=532788 CPUtime=342.16 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 109783 0 0 0 34203 13 0 0 20 0 1 0 11473024 545574912 110857 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964248 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110857 832 434 0 126561 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 532788
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 4437
/proc/meminfo: memFree=30331032/32770624 swapFree=0/384652
[pid=4349] ppid=4346 vsize=532788 CPUtime=402.16 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 110672 0 0 0 40203 13 0 0 20 0 1 0 11473024 545574912 110857 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4967778 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110857 832 434 0 126561 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 532788
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 4439
/proc/meminfo: memFree=30330408/32770624 swapFree=0/384672
[pid=4349] ppid=4346 vsize=532788 CPUtime=462.16 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 111545 0 0 0 46203 13 0 0 20 0 1 0 11473024 545574912 110857 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4967825 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110857 832 434 0 126561 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 532788
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/181 4441
/proc/meminfo: memFree=30330988/32770624 swapFree=0/384700
[pid=4349] ppid=4346 vsize=532788 CPUtime=522.15 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 112427 0 0 0 52202 13 0 0 20 0 1 0 11473024 545574912 110857 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5070976 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110857 832 434 0 126561 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 532788
[startup+582.3 s]
/proc/loadavg: 2.10 2.02 2.05 3/181 4444
/proc/meminfo: memFree=30330248/32770624 swapFree=0/384724
[pid=4349] ppid=4346 vsize=532788 CPUtime=582.15 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 113252 0 0 0 58202 13 0 0 20 0 1 0 11473024 545574912 110857 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110857 832 434 0 126561 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 532788
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 4531
/proc/meminfo: memFree=30326676/32770624 swapFree=0/385268
[pid=4349] ppid=4346 vsize=532788 CPUtime=1542.1 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 127156 0 0 0 154197 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964575 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1542.1
Current children cumulated vsize (KiB) 532788
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4533
/proc/meminfo: memFree=30329988/32770624 swapFree=0/385300
[pid=4349] ppid=4346 vsize=532788 CPUtime=1602.09 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 128006 0 0 0 160196 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4968160 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1602.09
Current children cumulated vsize (KiB) 532788
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 4535
/proc/meminfo: memFree=30329872/32770624 swapFree=0/385312
[pid=4349] ppid=4346 vsize=532788 CPUtime=1662.09 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 128851 0 0 0 166196 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5098928 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1662.09
Current children cumulated vsize (KiB) 532788
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4537
/proc/meminfo: memFree=30330240/32770624 swapFree=0/385324
[pid=4349] ppid=4346 vsize=532788 CPUtime=1722.09 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 129659 0 0 0 172196 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5071026 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1722.09
Current children cumulated vsize (KiB) 532788
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4539
/proc/meminfo: memFree=30329936/32770624 swapFree=0/385356
[pid=4349] ppid=4346 vsize=532788 CPUtime=1782.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 130393 0 0 0 178195 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964310 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 532788
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4541
/proc/meminfo: memFree=30330432/32770624 swapFree=0/385368
[pid=4349] ppid=4346 vsize=532788 CPUtime=1842.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 131128 0 0 0 184195 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5052062 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1842.08
Current children cumulated vsize (KiB) 532788
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4543
/proc/meminfo: memFree=30330276/32770624 swapFree=0/385380
[pid=4349] ppid=4346 vsize=532788 CPUtime=1902.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 132036 0 0 0 190195 13 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5243322 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1902.08
Current children cumulated vsize (KiB) 532788
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4545
/proc/meminfo: memFree=30330400/32770624 swapFree=0/385392
[pid=4349] ppid=4346 vsize=532788 CPUtime=1962.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 132845 0 0 0 196194 14 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5070994 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 1962.08
Current children cumulated vsize (KiB) 532788
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4547
/proc/meminfo: memFree=30330248/32770624 swapFree=0/385416
[pid=4349] ppid=4346 vsize=532788 CPUtime=2022.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 133645 0 0 0 202194 14 0 0 20 0 1 0 11473024 545574912 110863 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964389 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110863 832 434 0 126561 0
Current children cumulated CPU time (s) 2022.08
Current children cumulated vsize (KiB) 532788
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/184 4563
/proc/meminfo: memFree=30326992/32770624 swapFree=0/385448
[pid=4349] ppid=4346 vsize=532788 CPUtime=2082.08 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 134654 0 0 0 208194 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964363 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2082.08
Current children cumulated vsize (KiB) 532788
[startup+2142.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 4565
/proc/meminfo: memFree=30326896/32770624 swapFree=0/385484
[pid=4349] ppid=4346 vsize=532788 CPUtime=2142.07 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 135565 0 0 0 214193 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4964366 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2142.07
Current children cumulated vsize (KiB) 532788
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 4567
/proc/meminfo: memFree=30330116/32770624 swapFree=0/385480
[pid=4349] ppid=4346 vsize=532788 CPUtime=2202.07 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 136464 0 0 0 220193 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5071000 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2202.07
Current children cumulated vsize (KiB) 532788
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4569
/proc/meminfo: memFree=30330708/32770624 swapFree=0/385488
[pid=4349] ppid=4346 vsize=532788 CPUtime=2262.06 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 137375 0 0 0 226192 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5098928 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 532788
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4571
/proc/meminfo: memFree=30330996/32770624 swapFree=0/385492
[pid=4349] ppid=4346 vsize=532788 CPUtime=2322.06 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 138221 0 0 0 232192 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 5242679 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2322.06
Current children cumulated vsize (KiB) 532788
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4574
/proc/meminfo: memFree=30330304/32770624 swapFree=0/385524
[pid=4349] ppid=4346 vsize=532788 CPUtime=2382.06 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 139003 0 0 0 238192 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4908215 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2382.06
Current children cumulated vsize (KiB) 532788
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4575
/proc/meminfo: memFree=30330448/32770624 swapFree=0/385536
[pid=4349] ppid=4346 vsize=532788 CPUtime=2400.06 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 139240 0 0 0 239992 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4961194 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 532788
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 4349 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 4575
/proc/meminfo: memFree=30330448/32770624 swapFree=0/385536
[pid=4349] ppid=4346 vsize=532788 CPUtime=2400.06 cores=1,3,5,7
/proc/4349/stat : 4349 (cosoco) R 4346 4349 21827 0 -1 4202496 139240 0 0 0 239992 14 0 0 20 0 1 0 11473024 545574912 110866 18446744073709551615 4194304 5970956 140729269914080 140729269910840 4961194 0 0 1 8405026 0 0 0 17 3 0 0 8 0 0 8070896 8075904 16867328 140729269920199 140729269920334 140729269920334 140729269923790 0
/proc/4349/statm: 133197 110866 832 434 0 126561 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 532788
Child status: 1
Real time (s): 2400.31
CPU time (s): 2400.08
CPU user time (s): 2399.93
CPU system time (s): 0.147992
CPU usage (%): 99.9903
Max. virtual memory (cumulated for all children) (KiB): 532788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.93
system time used= 0.147992
maximum resident set size= 443512
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139367
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= 52
involuntary context switches= 798
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.55217 second user time and 7.9865 second system time
The end