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-4260024-1502037335/watcher-4260024-1502037335 -o /tmp/evaluation-result-4260024-1502037335/solver-4260024-1502037335 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502014511-21395 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260024-1502037335.xml
pid=27727
running on 4 cores: 0,2,4,6
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: 1.92 2.00 2.04 2/183 27730
/proc/meminfo: memFree=31739064/32770624 swapFree=0/330996
[pid=27730] ppid=27727 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27730/stat : 27730 (runsolver) D 27727 27730 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 5927225 24240128 108 18446744073709551615 4194304 4338465 140721908281104 140721908278744 139804005667543 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 33980416 140721908285634 140721908286026 140721908286026 140721908289482 0
/proc/27730/statm: 5918 108 54 36 0 2156 0
[startup+0.100198 s]
/proc/loadavg: 1.92 2.00 2.04 2/183 27730
/proc/meminfo: memFree=31739064/32770624 swapFree=0/330996
[pid=27730] ppid=27727 vsize=27188 CPUtime=0.01 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1094 0 0 0 1 0 0 0 20 0 1 0 5927225 27840512 891 18446744073709551615 4194304 5747388 140723752023488 140723752020136 4894030 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 891 720 380 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 27188
[startup+0.200329 s]
/proc/loadavg: 1.92 2.00 2.04 2/183 27730
/proc/meminfo: memFree=31739064/32770624 swapFree=0/330996
[pid=27730] ppid=27727 vsize=27188 CPUtime=0.11 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1095 0 0 0 11 0 0 0 20 0 1 0 5927225 27840512 891 18446744073709551615 4194304 5747388 140723752023488 140723752020136 4894030 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 891 720 380 0 215 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 27188
[startup+0.300318 s]
/proc/loadavg: 1.92 2.00 2.04 2/183 27730
/proc/meminfo: memFree=31739064/32770624 swapFree=0/330996
[pid=27730] ppid=27727 vsize=27188 CPUtime=0.21 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1095 0 0 0 21 0 0 0 20 0 1 0 5927225 27840512 891 18446744073709551615 4194304 5747388 140723752023488 140723752020136 4949488 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 891 720 380 0 215 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 27188
[startup+0.700278 s]
/proc/loadavg: 1.92 2.00 2.04 2/183 27730
/proc/meminfo: memFree=31739064/32770624 swapFree=0/330996
[pid=27730] ppid=27727 vsize=27188 CPUtime=0.61 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1095 0 0 0 61 0 0 0 20 0 1 0 5927225 27840512 891 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4911440 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 891 720 380 0 215 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 27188
[startup+1.50027 s]
/proc/loadavg: 1.92 2.00 2.04 3/184 27731
/proc/meminfo: memFree=31738432/32770624 swapFree=0/331008
[pid=27730] ppid=27727 vsize=27188 CPUtime=1.41 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1095 0 0 0 141 0 0 0 20 0 1 0 5927225 27840512 891 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4915000 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 891 720 380 0 215 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 27188
[startup+3.10028 s]
/proc/loadavg: 1.92 2.00 2.04 3/184 27731
/proc/meminfo: memFree=31738060/32770624 swapFree=0/331008
[pid=27730] ppid=27727 vsize=27188 CPUtime=3.01 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1200 0 0 0 301 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4893956 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 27188
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.04 3/184 27731
/proc/meminfo: memFree=31737808/32770624 swapFree=0/331016
[pid=27730] ppid=27727 vsize=27188 CPUtime=6.21 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1309 0 0 0 621 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4918989 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 27188
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/182 27731
/proc/meminfo: memFree=31739220/32770624 swapFree=0/331032
[pid=27730] ppid=27727 vsize=27188 CPUtime=12.61 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1414 0 0 0 1261 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4893991 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 27188
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 27732
/proc/meminfo: memFree=31740600/32770624 swapFree=0/331044
[pid=27730] ppid=27727 vsize=27188 CPUtime=25.41 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1624 0 0 0 2541 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4892817 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 27188
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 27732
/proc/meminfo: memFree=31740848/32770624 swapFree=0/331044
[pid=27730] ppid=27727 vsize=27188 CPUtime=51 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1734 0 0 0 5100 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4915364 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 27188
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/181 27734
/proc/meminfo: memFree=31740972/32770624 swapFree=0/331088
[pid=27730] ppid=27727 vsize=27188 CPUtime=102.2 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1839 0 0 0 10220 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4911980 0 0 1 8405026 0 0 0 17 2 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 27188
[startup+162.3 s]
/proc/loadavg: 1.93 1.98 2.03 3/181 27736
/proc/meminfo: memFree=31740972/32770624 swapFree=0/331112
[pid=27730] ppid=27727 vsize=27188 CPUtime=162.19 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 1944 0 0 0 16219 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4894030 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 27188
[startup+222.306 s]
/proc/loadavg: 1.97 1.99 2.03 3/181 27739
/proc/meminfo: memFree=31741096/32770624 swapFree=0/331144
[pid=27730] ppid=27727 vsize=27188 CPUtime=222.19 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2049 0 0 0 22219 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4917609 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 27188
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 27741
/proc/meminfo: memFree=31741112/32770624 swapFree=0/331180
[pid=27730] ppid=27727 vsize=27188 CPUtime=282.18 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2154 0 0 0 28218 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4919090 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 27188
[startup+342.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/181 27743
/proc/meminfo: memFree=31740848/32770624 swapFree=0/331208
[pid=27730] ppid=27727 vsize=27188 CPUtime=342.18 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2259 0 0 0 34218 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4892740 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 27188
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 27746
/proc/meminfo: memFree=31740992/32770624 swapFree=0/331236
[pid=27730] ppid=27727 vsize=27188 CPUtime=402.18 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2364 0 0 0 40218 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4915034 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 27188
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/181 27748
/proc/meminfo: memFree=31740992/32770624 swapFree=0/331272
[pid=27730] ppid=27727 vsize=27188 CPUtime=462.18 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2469 0 0 0 46218 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 5126738 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 27188
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 27764
/proc/meminfo: memFree=31735984/32770624 swapFree=0/331324
[pid=27730] ppid=27727 vsize=27188 CPUtime=522.17 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2574 0 0 0 52217 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 5000064 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 27188
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 27766
/proc/meminfo: memFree=31736228/32770624 swapFree=0/331376
[pid=27730] ppid=27727 vsize=27188 CPUtime=582.17 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 2679 0 0 0 58217 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4917621 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 27188
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27811
/proc/meminfo: memFree=31740672/32770624 swapFree=0/331864
[pid=27730] ppid=27727 vsize=27188 CPUtime=1482.13 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4180 0 0 0 148213 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4949508 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1482.13
Current children cumulated vsize (KiB) 27188
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27813
/proc/meminfo: memFree=31740564/32770624 swapFree=0/331896
[pid=27730] ppid=27727 vsize=27188 CPUtime=1542.14 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4267 0 0 0 154214 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4894124 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 27188
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 27815
/proc/meminfo: memFree=31740552/32770624 swapFree=0/331920
[pid=27730] ppid=27727 vsize=27188 CPUtime=1602.13 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4354 0 0 0 160213 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 5000046 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 27188
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27817
/proc/meminfo: memFree=31740708/32770624 swapFree=0/331952
[pid=27730] ppid=27727 vsize=27188 CPUtime=1662.13 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4459 0 0 0 166213 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4894030 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1662.13
Current children cumulated vsize (KiB) 27188
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27833
/proc/meminfo: memFree=31736240/32770624 swapFree=0/332012
[pid=27730] ppid=27727 vsize=27188 CPUtime=1722.13 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4546 0 0 0 172213 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4892736 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1722.13
Current children cumulated vsize (KiB) 27188
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 27835
/proc/meminfo: memFree=31736128/32770624 swapFree=0/332048
[pid=27730] ppid=27727 vsize=27188 CPUtime=1782.12 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4651 0 0 0 178212 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4995197 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 27188
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 27858
/proc/meminfo: memFree=31736548/32770624 swapFree=0/332084
[pid=27730] ppid=27727 vsize=27188 CPUtime=1842.12 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4738 0 0 0 184212 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4892873 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 27188
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 27861
/proc/meminfo: memFree=31738660/32770624 swapFree=0/332128
[pid=27730] ppid=27727 vsize=27188 CPUtime=1902.12 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4825 0 0 0 190212 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 5118347 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1902.12
Current children cumulated vsize (KiB) 27188
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27863
/proc/meminfo: memFree=31739524/32770624 swapFree=0/332152
[pid=27730] ppid=27727 vsize=27188 CPUtime=1962.12 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 4930 0 0 0 196212 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4912706 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 1962.12
Current children cumulated vsize (KiB) 27188
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27866
/proc/meminfo: memFree=31739764/32770624 swapFree=0/332188
[pid=27730] ppid=27727 vsize=27188 CPUtime=2022.11 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5010 0 0 0 202211 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4919075 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 27188
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27868
/proc/meminfo: memFree=31739508/32770624 swapFree=0/332220
[pid=27730] ppid=27727 vsize=27188 CPUtime=2082.12 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5088 0 0 0 208212 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4949516 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2082.12
Current children cumulated vsize (KiB) 27188
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27870
/proc/meminfo: memFree=31739260/32770624 swapFree=0/332252
[pid=27730] ppid=27727 vsize=27188 CPUtime=2142.11 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5195 0 0 0 214211 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4917456 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2142.11
Current children cumulated vsize (KiB) 27188
[startup+2202.31 s]
/proc/loadavg: 2.13 2.05 2.05 3/181 27937
/proc/meminfo: memFree=31684844/32770624 swapFree=0/332328
[pid=27730] ppid=27727 vsize=27188 CPUtime=2202.11 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5284 0 0 0 220211 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4893982 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2202.11
Current children cumulated vsize (KiB) 27188
[startup+2262.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 27939
/proc/meminfo: memFree=31685000/32770624 swapFree=0/332368
[pid=27730] ppid=27727 vsize=27188 CPUtime=2262.11 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5373 0 0 0 226211 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4893991 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2262.11
Current children cumulated vsize (KiB) 27188
[startup+2322.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 27956
/proc/meminfo: memFree=31680988/32770624 swapFree=0/332416
[pid=27730] ppid=27727 vsize=27188 CPUtime=2322.1 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5478 0 0 0 232210 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4911045 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2322.1
Current children cumulated vsize (KiB) 27188
[startup+2382.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 27982
/proc/meminfo: memFree=31679256/32770624 swapFree=0/332500
[pid=27730] ppid=27727 vsize=27188 CPUtime=2382.1 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5558 0 0 0 238210 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4919031 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2382.1
Current children cumulated vsize (KiB) 27188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 27982
/proc/meminfo: memFree=31679256/32770624 swapFree=0/332508
[pid=27730] ppid=27727 vsize=27188 CPUtime=2400.01 cores=0,2,4,6
/proc/27730/stat : 27730 (cosoco) R 27727 27730 20633 0 -1 4202496 5638 0 0 0 240001 0 0 0 20 0 1 0 5927225 27840512 937 18446744073709551615 4194304 5747388 140723752023488 140723752021016 4917470 0 0 1 8405026 0 0 0 17 4 0 0 8 0 0 7845728 7850568 20045824 140723752026607 140723752026702 140723752026702 140723752030158 0
/proc/27730/statm: 6797 937 761 380 0 215 0
Current children cumulated CPU time (s) 2400.01
Current children cumulated vsize (KiB) 27188
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 27730 sig 9
??? kill -27730 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.02
CPU user time (s): 2400.01
CPU system time (s): 0.003999
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 27188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.01
system time used= 0.003999
maximum resident set size= 3824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5691
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= 10
involuntary context switches= 806
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.84209 second user time and 7.96775 second system time
The end