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-4259892-1502029824/watcher-4259892-1502029824 -o /tmp/evaluation-result-4259892-1502029824/solver-4259892-1502029824 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502014298-25934 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4259892-1502029824.xml
pid=29610
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: 2.02 2.02 2.05 3/185 29613
/proc/meminfo: memFree=31542616/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29613/stat : 29613 (runsolver) D 29610 29613 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 50797652 24240128 106 18446744073709551615 4194304 4338465 140723376818448 140723376816088 140629619274455 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 39890944 140723376820417 140723376820809 140723376820809 140723376824266 0
/proc/29613/statm: 5918 106 53 36 0 2156 0
[startup+0.101063 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29613
/proc/meminfo: memFree=31542616/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=26776 CPUtime=0.03 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1014 0 0 0 3 0 0 0 20 0 1 0 50797652 27418624 825 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5025570 0 0 1 8405026 0 0 0 17 6 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 26776
[startup+0.201103 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29613
/proc/meminfo: memFree=31542616/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=26776 CPUtime=0.13 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1014 0 0 0 13 0 0 0 20 0 1 0 50797652 27418624 825 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4947621 0 0 1 8405026 0 0 0 17 6 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 26776
[startup+0.301065 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29613
/proc/meminfo: memFree=31542616/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=26776 CPUtime=0.23 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1014 0 0 0 23 0 0 0 20 0 1 0 50797652 27418624 825 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4946999 0 0 1 8405026 0 0 0 17 6 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 26776
[startup+0.700191 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29613
/proc/meminfo: memFree=31542616/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=26776 CPUtime=0.63 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1014 0 0 0 63 0 0 0 20 0 1 0 50797652 27418624 825 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025380 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 26776
[startup+1.5002 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31543112/32770624 swapFree=0/313052
[pid=29613] ppid=29610 vsize=26776 CPUtime=1.43 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1014 0 0 0 143 0 0 0 20 0 1 0 50797652 27418624 825 18446744073709551615 4194304 5747388 140725512224624 140725512222152 4947632 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 825 729 380 0 112 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 26776
[startup+3.10021 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542632/32770624 swapFree=0/313052
[pid=29613] ppid=29610 vsize=26776 CPUtime=3.03 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1055 0 0 0 303 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 4948940 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 26776
[startup+6.3002 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542540/32770624 swapFree=0/313060
[pid=29613] ppid=29610 vsize=26776 CPUtime=6.22 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1096 0 0 0 622 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5025413 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 26776
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542292/32770624 swapFree=0/313064
[pid=29613] ppid=29610 vsize=26776 CPUtime=12.62 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1120 0 0 0 1262 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5025361 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 26776
[startup+25.5002 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542168/32770624 swapFree=0/313064
[pid=29613] ppid=29610 vsize=26776 CPUtime=25.42 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1185 0 0 0 2542 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5121146 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 26776
[startup+51.1002 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29615
/proc/meminfo: memFree=31542168/32770624 swapFree=0/313064
[pid=29613] ppid=29610 vsize=26776 CPUtime=51.02 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1243 0 0 0 5102 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5025409 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 26776
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 29617
/proc/meminfo: memFree=31542144/32770624 swapFree=0/313080
[pid=29613] ppid=29610 vsize=26776 CPUtime=102.22 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1267 0 0 0 10222 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 4995197 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 26776
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29619
/proc/meminfo: memFree=31541920/32770624 swapFree=0/313092
[pid=29613] ppid=29610 vsize=26776 CPUtime=162.21 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1308 0 0 0 16221 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4949032 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 26776
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29621
/proc/meminfo: memFree=31542504/32770624 swapFree=0/313108
[pid=29613] ppid=29610 vsize=26776 CPUtime=222.21 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1349 0 0 0 22221 0 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4947143 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 26776
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 29639
/proc/meminfo: memFree=31537492/32770624 swapFree=0/313128
[pid=29613] ppid=29610 vsize=26776 CPUtime=282.2 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1390 0 0 0 28219 1 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 4948148 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 26776
[startup+342.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/185 29702
/proc/meminfo: memFree=31541996/32770624 swapFree=0/313204
[pid=29613] ppid=29610 vsize=26776 CPUtime=342.19 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1431 0 0 0 34218 1 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5118336 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 26776
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/186 29826
/proc/meminfo: memFree=31541340/32770624 swapFree=0/313288
[pid=29613] ppid=29610 vsize=26776 CPUtime=402.18 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1455 0 0 0 40217 1 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4947445 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 26776
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29950
/proc/meminfo: memFree=31542396/32770624 swapFree=0/313396
[pid=29613] ppid=29610 vsize=26776 CPUtime=462.18 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1479 0 0 0 46217 1 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025361 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 26776
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 29952
/proc/meminfo: memFree=31541532/32770624 swapFree=0/313420
[pid=29613] ppid=29610 vsize=26776 CPUtime=522.18 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1503 0 0 0 52216 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025409 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 26776
[startup+582.3 s]
/proc/loadavg: 1.97 2.01 2.04 3/184 30016
/proc/meminfo: memFree=31540228/32770624 swapFree=0/313464
[pid=29613] ppid=29610 vsize=26776 CPUtime=582.18 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1527 0 0 0 58216 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4949275 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 26776
[startup+642.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/186 30020
/proc/meminfo: memFree=31539428/32770624 swapFree=0/313512
[pid=29613] ppid=29610 vsize=26776 CPUtime=642.17 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1568 0 0 0 64215 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5025570 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 26776
[startup+702.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/186 30023
/proc/meminfo: memFree=31539388/32770624 swapFree=0/313552
[pid=29613] ppid=29610 vsize=26776 CPUtime=702.17 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1607 0 0 0 70215 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 5000090 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 26776
[startup+762.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 30027
/proc/meminfo: memFree=31538760/32770624 swapFree=0/313556
[pid=29613] ppid=29610 vsize=26776 CPUtime=762.17 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1631 0 0 0 76215 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512222152 4949028 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 26776
[startup+822.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/187 30029
/proc/meminfo: memFree=31539148/32770624 swapFree=0/313572
[pid=29613] ppid=29610 vsize=26776 CPUtime=822.16 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1672 0 0 0 82214 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025570 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 26776
[startup+882.306 s]
/proc/loadavg: 2.06 2.06 2.05 3/190 30044
/proc/meminfo: memFree=31535308/32770624 swapFree=0/313604
[pid=29613] ppid=29610 vsize=26776 CPUtime=882.16 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1713 0 0 0 88214 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025344 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 26776
[startup+942.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/187 30046
/proc/meminfo: memFree=31537592/32770624 swapFree=0/313628
[pid=29613] ppid=29610 vsize=26776 CPUtime=942.14 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1737 0 0 0 94212 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4947632 0 0 1 8405026 0 0 0 17 0 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 26776
[startup+1002.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/186 30048
/proc/meminfo: memFree=31537872/32770624 swapFree=0/313680
[pid=29613] ppid=29610 vsize=26776 CPUtime=1002.14 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1778 0 0 0 100212 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025344 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 26776
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29613 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1024 s]
/proc/loadavg: 2.01 2.04 2.05 3/184 30049
/proc/meminfo: memFree=31537872/32770624 swapFree=0/313684
[pid=29613] ppid=29610 vsize=26776 CPUtime=1023.84 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 102382 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025344 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1023.84
Current children cumulated vsize (KiB) 26776
[startup+1036.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1036.64 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 103662 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4948396 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1036.64
Current children cumulated vsize (KiB) 26776
[startup+1043.2 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1043.04 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104302 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4949648 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1043.04
Current children cumulated vsize (KiB) 26776
[startup+1044.8 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1044.64 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104462 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025392 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1044.64
Current children cumulated vsize (KiB) 26776
[startup+1045.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1045.44 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104542 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4946988 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1045.44
Current children cumulated vsize (KiB) 26776
[startup+1046.4 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1046.24 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104622 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4948935 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1046.24
Current children cumulated vsize (KiB) 26776
[startup+1046.6 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1046.44 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104642 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 5025587 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1046.44
Current children cumulated vsize (KiB) 26776
[startup+1046.7 s]
/proc/loadavg: 2.00 2.04 2.05 3/184 30050
/proc/meminfo: memFree=31538100/32770624 swapFree=0/313692
[pid=29613] ppid=29610 vsize=26776 CPUtime=1046.54 cores=0,2,4,6
/proc/29613/stat : 29613 (cosoco) R 29610 29613 25100 0 -1 4202496 1802 0 0 0 104652 2 0 0 20 0 1 0 50797652 27418624 855 18446744073709551615 4194304 5747388 140725512224624 140725512211896 4946829 0 0 1 8405026 0 0 0 17 4 0 0 6 0 0 7845728 7850568 30126080 140725512229358 140725512229453 140725512229453 140725512232910 0
/proc/29613/statm: 6694 855 756 380 0 112 0
Current children cumulated CPU time (s) 1046.54
Current children cumulated vsize (KiB) 26776
Child status: 0
Real time (s): 1046.78
CPU time (s): 1046.64
CPU user time (s): 1046.61
CPU system time (s): 0.026997
CPU usage (%): 99.9861
Max. virtual memory (cumulated for all children) (KiB): 26776
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1046.61
system time used= 0.026997
maximum resident set size= 3500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1859
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= 6
involuntary context switches= 1230
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.65105 second user time and 3.36456 second system time
The end