runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3371078-1305432891/watcher-3371078-1305432891 -o /tmp/evaluation-result-3371078-1305432891/solver-3371078-1305432891 -C 4800 -W 1300 -M 15500 plingeling -t 4 HOME/instance-3371078-1305432891.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.15 4.38 5.82 5/328 1073
/proc/meminfo: memFree=23669820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=9008 CPUtime=0 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) R 1071 1073 390 0 -1 4202496 341 1260 0 0 0 0 0 0 25 0 1 0 654889590 9224192 270 33554432000 4194304 4417452 140733677323888 18446744073709551615 244446639070 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/1073/statm: 2252 270 147 55 0 138 0
[startup+0.0350499 s]
/proc/loadavg: 4.15 4.38 5.82 5/328 1073
/proc/meminfo: memFree=23669820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=13600 CPUtime=0.02 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) R 1071 1073 390 0 -1 4202496 1542 1260 0 0 2 0 0 0 25 0 1 0 654889590 13926400 1423 33554432000 4194304 4417452 140733677323888 18446744073709551615 244446945024 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/1073/statm: 3400 1423 148 55 0 1286 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 13600
[startup+0.192984 s]
/proc/loadavg: 4.15 4.38 5.82 5/328 1073
/proc/meminfo: memFree=23669820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=69568 CPUtime=0.5 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 5433 1260 0 0 50 0 0 0 25 0 5 0 654889590 71237632 5197 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 17392 5207 176 55 0 15278 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 69568
[startup+0.300965 s]
/proc/loadavg: 4.15 4.38 5.82 5/328 1073
/proc/meminfo: memFree=23669820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=69028 CPUtime=0.94 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 8811 1260 0 0 93 1 0 0 25 0 5 0 654889590 70684672 5041 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 17257 5041 177 55 0 15143 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 69028
[startup+0.700889 s]
/proc/loadavg: 4.15 4.38 5.82 5/328 1073
/proc/meminfo: memFree=23669820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=79432 CPUtime=2.53 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 11674 1260 0 0 252 1 0 0 25 0 5 0 654889590 81338368 7645 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 19858 7645 180 55 0 17744 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 79432
[startup+1.50074 s]
/proc/loadavg: 4.45 4.44 5.83 9/333 1083
/proc/meminfo: memFree=23681568/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=84732 CPUtime=5.72 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 13850 1260 0 0 571 1 0 0 25 0 5 0 654889590 86765568 8970 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 21183 8970 180 55 0 19069 0
[pid=1073/tid=1080] ppid=1071 vsize=84732 CPUtime=1.41 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 1307 1260 0 0 141 0 0 0 25 0 5 0 654889599 86765568 8970 33554432000 4194304 4417452 140733677323888 18446744073709551615 4249143 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=84732 CPUtime=1.4 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 1643 1260 0 0 140 0 0 0 25 0 5 0 654889599 86765568 8970 33554432000 4194304 4417452 140733677323888 18446744073709551615 4249110 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=84732 CPUtime=1.41 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 1542 1260 0 0 141 0 0 0 25 0 5 0 654889599 86765568 8970 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=84732 CPUtime=1.4 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 4732 1260 0 0 140 0 0 0 25 0 5 0 654889599 86765568 8970 33554432000 4194304 4417452 140733677323888 18446744073709551615 18446744073699065863 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.72
Current children cumulated vsize (KiB) 84732
[startup+3.10044 s]
/proc/loadavg: 4.45 4.44 5.83 9/333 1083
/proc/meminfo: memFree=23783628/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=91220 CPUtime=12.1 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 21016 1260 0 0 1208 2 0 0 25 0 5 0 654889590 93409280 10592 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 22805 10592 180 55 0 20691 0
[pid=1073/tid=1080] ppid=1071 vsize=91220 CPUtime=3.01 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 1878 1260 0 0 301 0 0 0 25 0 5 0 654889599 93409280 10592 33554432000 4194304 4417452 140733677323888 18446744073709551615 4249305 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=91220 CPUtime=2.99 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 2214 1260 0 0 299 0 0 0 25 0 5 0 654889599 93409280 10592 33554432000 4194304 4417452 140733677323888 18446744073709551615 4249519 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=91220 CPUtime=3.01 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 1680 1260 0 0 301 0 0 0 25 0 5 0 654889599 93409280 10592 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=91220 CPUtime=3.01 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 10618 1260 0 0 300 1 0 0 25 0 5 0 654889599 93409280 10592 33554432000 4194304 4417452 140733677323888 18446744073709551615 4250532 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.1
Current children cumulated vsize (KiB) 91220
[startup+6.30085 s]
/proc/loadavg: 4.45 4.44 5.83 7/331 1083
/proc/meminfo: memFree=23725264/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=101180 CPUtime=24.87 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 30387 1260 0 0 2483 4 0 0 25 0 5 0 654889590 103608320 13082 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 25295 13082 180 55 0 23181 0
[pid=1073/tid=1080] ppid=1071 vsize=101180 CPUtime=6.21 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 1878 1260 0 0 621 0 0 0 25 0 5 0 654889599 103608320 13082 33554432000 4194304 4417452 140733677323888 18446744073709551615 4236331 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=101180 CPUtime=6.15 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 2214 1260 0 0 615 0 0 0 25 0 5 0 654889599 103608320 13082 33554432000 4194304 4417452 140733677323888 18446744073709551615 4258241 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=101180 CPUtime=6.21 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 2776 1260 0 0 621 0 0 0 25 0 5 0 654889599 103608320 13082 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=101180 CPUtime=6.21 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 18893 1260 0 0 618 3 0 0 25 0 5 0 654889599 103608320 13082 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.87
Current children cumulated vsize (KiB) 101180
[startup+12.7007 s]
/proc/loadavg: 5.00 4.56 5.85 9/333 1120
/proc/meminfo: memFree=24943128/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=134512 CPUtime=50.41 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 51657 1260 0 0 5034 7 0 0 25 0 5 0 654889590 137740288 21415 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 33628 21415 180 55 0 31514 0
[pid=1073/tid=1080] ppid=1071 vsize=134512 CPUtime=12.61 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 1878 1260 0 0 1261 0 0 0 25 0 5 0 654889599 137740288 21415 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=134512 CPUtime=12.48 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 2214 1260 0 0 1248 0 0 0 25 0 5 0 654889599 137740288 21415 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=134512 CPUtime=12.6 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 7812 1260 0 0 1260 0 0 0 25 0 5 0 654889599 137740288 21415 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=134512 CPUtime=12.61 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 35127 1260 0 0 1255 6 0 0 25 0 5 0 654889599 137740288 21415 33554432000 4194304 4417452 140733677323888 18446744073709551615 4365023 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 134512
[startup+25.5003 s]
/proc/loadavg: 5.46 4.67 5.87 9/333 1121
/proc/meminfo: memFree=24796024/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=173588 CPUtime=101.47 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 82319 1260 0 0 10135 12 0 0 25 0 5 0 654889590 177754112 31184 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 43397 31184 180 55 0 41283 0
[pid=1073/tid=1080] ppid=1071 vsize=173588 CPUtime=25.4 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 5955 1260 0 0 2540 0 0 0 25 0 5 0 654889599 177754112 31184 33554432000 4194304 4417452 140733677323888 18446744073709551615 4236393 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=173588 CPUtime=25.14 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 7179 1260 0 0 2514 0 0 0 25 0 5 0 654889599 177754112 31184 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366472 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=173588 CPUtime=25.4 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 12159 1260 0 0 2539 1 0 0 25 0 5 0 654889599 177754112 31184 33554432000 4194304 4417452 140733677323888 18446744073709551615 4236409 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=173588 CPUtime=25.4 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 52400 1260 0 0 2532 8 0 0 25 0 5 0 654889599 177754112 31184 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 173588
[startup+51.1005 s]
/proc/loadavg: 6.46 4.99 5.94 9/333 1121
/proc/meminfo: memFree=24524600/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=264204 CPUtime=203.62 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 140974 1260 0 0 20341 21 0 0 25 0 5 0 654889590 270544896 53838 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 66051 53838 180 55 0 63937 0
[pid=1073/tid=1080] ppid=1071 vsize=264204 CPUtime=51.01 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 19208 1260 0 0 5099 2 0 0 25 0 5 0 654889599 270544896 53838 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364634 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=264204 CPUtime=50.49 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 21460 1260 0 0 5046 3 0 0 25 0 5 0 654889599 270544896 53838 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364752 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=264204 CPUtime=51.01 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 25400 1260 0 0 5098 3 0 0 25 0 5 0 654889599 270544896 53838 33554432000 4194304 4417452 140733677323888 18446744073709551615 4309936 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=264204 CPUtime=51.01 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 70280 1260 0 0 5090 11 0 0 25 0 5 0 654889599 270544896 53838 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364798 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.62
Current children cumulated vsize (KiB) 264204
[startup+102.312 s]
/proc/loadavg: 7.52 5.51 6.07 9/333 1123
/proc/meminfo: memFree=24355756/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=418244 CPUtime=407.94 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 257251 1260 0 0 40755 39 0 0 25 0 5 0 654889590 428281856 92368 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104561 92368 180 55 0 102447 0
[pid=1073/tid=1080] ppid=1071 vsize=418244 CPUtime=102.23 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 37446 1260 0 0 10218 5 0 0 25 0 5 0 654889599 428281856 92368 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=418244 CPUtime=101.16 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 45232 1260 0 0 10110 6 0 0 25 0 5 0 654889599 428281856 92368 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366400 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=418244 CPUtime=102.21 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 58195 1260 0 0 10214 7 0 0 25 0 5 0 654889599 428281856 92368 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364817 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=418244 CPUtime=102.23 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 111752 1260 0 0 10204 19 0 0 25 0 5 0 654889599 428281856 92368 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 418244
Solver just ended. Dumping a history of the last processes samples
[startup+115.101 s]
/proc/loadavg: 7.60 5.59 6.09 9/333 1123
/proc/meminfo: memFree=24219100/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=462616 CPUtime=458.96 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 280632 1260 0 0 45854 42 0 0 25 0 5 0 654889590 473718784 103461 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 115654 103461 180 55 0 113540 0
[pid=1073/tid=1080] ppid=1071 vsize=462616 CPUtime=115.01 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 40594 1260 0 0 11496 5 0 0 25 0 5 0 654889599 473718784 103461 33554432000 4194304 4417452 140733677323888 18446744073709551615 4306366 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=462616 CPUtime=113.84 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 54422 1260 0 0 11376 8 0 0 25 0 5 0 654889599 473718784 103461 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=462616 CPUtime=115.01 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 69238 1260 0 0 11492 9 0 0 25 0 5 0 654889599 473718784 103461 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364881 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=462616 CPUtime=115.01 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 111752 1260 0 0 11482 19 0 0 25 0 5 0 654889599 473718784 103461 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 458.96
Current children cumulated vsize (KiB) 462616
[startup+127.901 s]
/proc/loadavg: 7.69 5.71 6.12 9/333 1123
/proc/meminfo: memFree=24138620/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=455948 CPUtime=510.03 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 308329 1260 0 0 50956 47 0 0 25 0 5 0 654889590 466890752 101794 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 113987 101794 180 55 0 111873 0
[pid=1073/tid=1080] ppid=1071 vsize=455948 CPUtime=127.82 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 49936 1260 0 0 12775 7 0 0 25 0 5 0 654889599 466890752 101794 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=455948 CPUtime=126.49 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 61078 1260 0 0 12640 9 0 0 25 0 5 0 654889599 466890752 101794 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=455948 CPUtime=127.8 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 78541 1260 0 0 12770 10 0 0 25 0 5 0 654889599 466890752 101794 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364604 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=455948 CPUtime=127.81 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 114148 1260 0 0 12762 19 0 0 25 0 5 0 654889599 466890752 101794 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364838 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 510.03
Current children cumulated vsize (KiB) 455948
[startup+131.101 s]
/proc/loadavg: 7.71 5.75 6.13 9/333 1123
/proc/meminfo: memFree=24179044/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=416112 CPUtime=522.79 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 318825 1260 0 0 52231 48 0 0 25 0 5 0 654889590 426098688 91835 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104028 91835 180 55 0 101914 0
[pid=1073/tid=1080] ppid=1071 vsize=416112 CPUtime=131.02 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 49936 1260 0 0 13095 7 0 0 25 0 5 0 654889599 426098688 91835 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366099 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=416112 CPUtime=129.66 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 65430 1260 0 0 12956 10 0 0 25 0 5 0 654889599 426098688 91835 33554432000 4194304 4417452 140733677323888 18446744073709551615 4353557 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=416112 CPUtime=131 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 80589 1260 0 0 13090 10 0 0 25 0 5 0 654889599 426098688 91835 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364533 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=416112 CPUtime=131.01 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13082 19 0 0 25 0 5 0 654889599 426098688 91835 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364579 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 522.79
Current children cumulated vsize (KiB) 416112
[startup+132.7 s]
/proc/loadavg: 7.71 5.75 6.13 9/333 1123
/proc/meminfo: memFree=24168008/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=417280 CPUtime=529.18 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 323213 1260 0 0 52869 49 0 0 25 0 5 0 654889590 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104320 92127 180 55 0 102206 0
[pid=1073/tid=1080] ppid=1071 vsize=417280 CPUtime=132.61 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 51984 1260 0 0 13254 7 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=417280 CPUtime=131.25 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 65722 1260 0 0 13115 10 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366065 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=417280 CPUtime=132.6 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 82637 1260 0 0 13249 11 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364641 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=417280 CPUtime=132.61 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13242 19 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364854 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 529.18
Current children cumulated vsize (KiB) 417280
[startup+133.501 s]
/proc/loadavg: 7.71 5.75 6.13 9/333 1123
/proc/meminfo: memFree=24166520/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=417280 CPUtime=532.37 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 325261 1260 0 0 53188 49 0 0 25 0 5 0 654889590 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104320 92127 180 55 0 102206 0
[pid=1073/tid=1080] ppid=1071 vsize=417280 CPUtime=133.41 cores=1,3,5,7
/proc/1073/task/1080/stat : 1080 (plingeling) R 1071 1073 390 0 -1 4202560 51984 1260 0 0 13334 7 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364827 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=1073/tid=1081] ppid=1071 vsize=417280 CPUtime=132.04 cores=1,3,5,7
/proc/1073/task/1081/stat : 1081 (plingeling) R 1071 1073 390 0 -1 4202560 65722 1260 0 0 13194 10 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364650 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=1073/tid=1082] ppid=1071 vsize=417280 CPUtime=133.4 cores=1,3,5,7
/proc/1073/task/1082/stat : 1082 (plingeling) R 1071 1073 390 0 -1 4202560 84685 1260 0 0 13329 11 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4366048 0 0 4096 17442 0 0 0 -1 1 0 0 0
[pid=1073/tid=1083] ppid=1071 vsize=417280 CPUtime=133.41 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13322 19 0 0 25 0 5 0 654889599 427294720 92127 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364765 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 532.37
Current children cumulated vsize (KiB) 417280
[startup+134.301 s]
/proc/loadavg: 7.71 5.75 6.13 7/331 1123
/proc/meminfo: memFree=24115820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=417280 CPUtime=534.51 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 325262 1260 0 0 53402 49 0 0 15 0 2 0 654889590 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104320 92128 181 55 0 102206 0
[pid=1073/tid=1083] ppid=1071 vsize=417280 CPUtime=134.21 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13402 19 0 0 25 0 2 0 654889599 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364645 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 534.51
Current children cumulated vsize (KiB) 417280
[startup+134.501 s]
/proc/loadavg: 7.71 5.75 6.13 7/331 1123
/proc/meminfo: memFree=24115820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=417280 CPUtime=534.71 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 325262 1260 0 0 53422 49 0 0 15 0 2 0 654889590 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104320 92128 181 55 0 102206 0
[pid=1073/tid=1083] ppid=1071 vsize=417280 CPUtime=134.41 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13422 19 0 0 25 0 2 0 654889599 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364727 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 534.71
Current children cumulated vsize (KiB) 417280
[startup+134.601 s]
/proc/loadavg: 7.71 5.75 6.13 7/331 1123
/proc/meminfo: memFree=24115820/32951124 swapFree=44485764/67111528
[pid=1073] ppid=1071 vsize=417280 CPUtime=534.81 cores=1,3,5,7
/proc/1073/stat : 1073 (plingeling) S 1071 1073 390 0 -1 4202496 325262 1260 0 0 53432 49 0 0 15 0 2 0 654889590 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 244458747877 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/1073/statm: 104320 92128 181 55 0 102206 0
[pid=1073/tid=1083] ppid=1071 vsize=417280 CPUtime=134.51 cores=1,3,5,7
/proc/1073/task/1083/stat : 1083 (plingeling) R 1071 1073 390 0 -1 4202560 118244 1260 0 0 13432 19 0 0 25 0 2 0 654889599 427294720 92128 33554432000 4194304 4417452 140733677323888 18446744073709551615 4364821 0 0 4096 17442 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 534.81
Current children cumulated vsize (KiB) 417280
Child status: 10
Real time (s): 134.648
CPU time (s): 534.874
CPU user time (s): 534.36
CPU system time (s): 0.513921
CPU usage (%): 397.239
Max. virtual memory (cumulated for all children) (KiB): 462616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 534.36
system time used= 0.513921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 326536
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= 117
involuntary context switches= 2394
runsolver used 0.414936 second user time and 0.979851 second system time
The end