runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3172540-1304061284/watcher-3172540-1304061284 -o /tmp/evaluation-result-3172540-1304061284/solver-3172540-1304061284 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3172540-1304061284.cnf
running on 4 cores: 0,2,4,6
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: 7.47 7.98 8.03 2/175 22615
/proc/meminfo: memFree=13856800/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=24212 CPUtime=0 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 1319 0 0 0 0 0 0 0 18 0 1 0 517729348 24793088 1258 33554432000 4194304 4797429 140735365476848 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22614/statm: 6053 1265 341 148 0 982 0
[startup+0.00877291 s]
/proc/loadavg: 7.47 7.98 8.03 2/175 22615
/proc/meminfo: memFree=13856800/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=26448 CPUtime=0 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 1832 0 0 0 0 0 0 0 18 0 1 0 517729348 27082752 1705 33554432000 4194304 4797429 140735365476848 18446744073709551615 270612807872 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22614/statm: 6612 1716 341 148 0 1541 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 26448
[startup+0.100792 s]
/proc/loadavg: 7.47 7.98 8.03 2/175 22615
/proc/meminfo: memFree=13856800/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=98092 CPUtime=0.09 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 15613 0 0 0 7 2 0 0 18 0 1 0 517729348 100446208 12297 33554432000 4194304 4797429 140735365476848 18446744073709551615 4432951 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22614/statm: 24523 12297 348 148 0 19452 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 98092
[startup+0.300769 s]
/proc/loadavg: 7.47 7.98 8.03 2/175 22615
/proc/meminfo: memFree=13856800/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=115796 CPUtime=0.29 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 21618 0 0 0 26 3 0 0 18 0 1 0 517729348 118575104 17994 33554432000 4194304 4797429 140735365476848 18446744073709551615 270612777874 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/22614/statm: 28949 17994 348 148 0 23878 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 115796
[startup+0.700622 s]
/proc/loadavg: 7.47 7.98 8.03 2/175 22615
/proc/meminfo: memFree=13856800/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=824296 CPUtime=1.6 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 32513 0 0 0 149 11 0 0 17 0 4 0 517729348 844079104 26296 33554432000 4194304 4797429 140735365476848 18446744073709551615 270613215775 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 206074 26296 385 148 0 201003 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 824296
[startup+1.50048 s]
/proc/loadavg: 7.47 7.98 8.03 11/184 22637
/proc/meminfo: memFree=13701912/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=836892 CPUtime=4.79 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 40279 0 0 0 461 18 0 0 18 0 4 0 517729348 856977408 33844 33554432000 4194304 4797429 140735365476848 18446744073709551615 4394962 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 209223 33844 410 148 0 204152 0
[pid=22614/tid=22635] ppid=22611 vsize=836892 CPUtime=1.09 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 4452 0 0 0 106 3 0 0 18 0 4 0 517729386 856977408 33844 33554432000 4194304 4797429 140735365476848 18446744073709551615 4259014 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=836892 CPUtime=1.09 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 4181 0 0 0 105 4 0 0 18 0 4 0 517729386 856977408 33844 33554432000 4194304 4797429 140735365476848 18446744073709551615 4425640 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=836892 CPUtime=1.09 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 3579 0 0 0 107 2 0 0 18 0 4 0 517729386 856977408 33844 33554432000 4194304 4797429 140735365476848 18446744073709551615 4331618 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 836892
[startup+3.1002 s]
/proc/loadavg: 7.47 7.98 8.03 9/184 22637
/proc/meminfo: memFree=13677608/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=836892 CPUtime=11.17 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 43738 0 0 0 1098 19 0 0 22 0 4 0 517729348 856977408 37288 33554432000 4194304 4797429 140735365476848 18446744073709551615 4423635 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 209223 37288 412 148 0 204152 0
[pid=22614/tid=22635] ppid=22611 vsize=836892 CPUtime=2.68 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 5316 0 0 0 265 3 0 0 22 0 4 0 517729386 856977408 37288 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424846 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=836892 CPUtime=2.68 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 5063 0 0 0 264 4 0 0 21 0 4 0 517729386 856977408 37288 33554432000 4194304 4797429 140735365476848 18446744073709551615 4377065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=836892 CPUtime=2.7 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 4429 0 0 0 267 3 0 0 22 0 4 0 517729386 856977408 37288 33554432000 4194304 4797429 140735365476848 18446744073709551615 4422982 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.17
Current children cumulated vsize (KiB) 836892
[startup+6.30063 s]
/proc/loadavg: 7.51 7.98 8.03 9/184 22637
/proc/meminfo: memFree=13633464/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=850196 CPUtime=23.93 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 53702 0 0 0 2368 25 0 0 25 0 4 0 517729348 870600704 47100 33554432000 4194304 4797429 140735365476848 18446744073709551615 4389702 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 212549 47101 416 148 0 207478 0
[pid=22614/tid=22635] ppid=22611 vsize=850196 CPUtime=5.87 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) S 22611 22614 22486 0 -1 4202560 7483 0 0 0 582 5 0 0 18 0 4 0 517729386 870600704 47101 33554432000 4194304 4797429 140735365476848 18446744073709551615 270613215726 0 0 4096 2 18446604445428637824 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=850196 CPUtime=5.86 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 6748 0 0 0 580 6 0 0 17 0 4 0 517729386 870600704 47101 33554432000 4194304 4797429 140735365476848 18446744073709551615 270612766677 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=850196 CPUtime=5.89 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 8501 0 0 0 585 4 0 0 18 0 4 0 517729386 870600704 47101 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 23.93
Current children cumulated vsize (KiB) 850196
[startup+12.7005 s]
/proc/loadavg: 7.55 7.98 8.02 9/184 22637
/proc/meminfo: memFree=13586028/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=856728 CPUtime=49.48 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 64949 0 0 0 4916 32 0 0 25 0 4 0 517729348 877289472 51745 33554432000 4194304 4797429 140735365476848 18446744073709551615 4423077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 214182 51746 417 148 0 209111 0
[pid=22614/tid=22635] ppid=22611 vsize=856728 CPUtime=12.26 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 9860 0 0 0 1219 7 0 0 25 0 4 0 517729386 877289472 51746 33554432000 4194304 4797429 140735365476848 18446744073709551615 4428520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=856728 CPUtime=12.21 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 8936 0 0 0 1212 9 0 0 25 0 4 0 517729386 877289472 51746 33554432000 4194304 4797429 140735365476848 18446744073709551615 4491744 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=856728 CPUtime=12.29 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 10070 0 0 0 1225 4 0 0 25 0 4 0 517729386 877289472 51746 33554432000 4194304 4797429 140735365476848 18446744073709551615 270612807324 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 856728
[startup+25.5002 s]
/proc/loadavg: 7.65 7.98 8.02 9/184 22638
/proc/meminfo: memFree=13539028/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=865624 CPUtime=100.61 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 75897 0 0 0 10025 36 0 0 25 0 4 0 517729348 886398976 61107 33554432000 4194304 4797429 140735365476848 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 216406 61107 417 148 0 211335 0
[pid=22614/tid=22635] ppid=22611 vsize=865624 CPUtime=25.07 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 12364 0 0 0 2499 8 0 0 25 0 4 0 517729386 886398976 61107 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=865624 CPUtime=24.94 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 10354 0 0 0 2485 9 0 0 25 0 4 0 517729386 886398976 61107 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=865624 CPUtime=25.09 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 10951 0 0 0 2504 5 0 0 25 0 4 0 517729386 886398976 61107 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 100.61
Current children cumulated vsize (KiB) 865624
[startup+51.1007 s]
/proc/loadavg: 7.77 7.98 8.02 9/184 22638
/proc/meminfo: memFree=13508580/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=874784 CPUtime=202.86 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 91993 0 0 0 20245 41 0 0 25 0 4 0 517729348 895778816 64721 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 218696 64721 419 148 0 213625 0
[pid=22614/tid=22635] ppid=22611 vsize=874784 CPUtime=50.67 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 13801 0 0 0 5058 9 0 0 25 0 4 0 517729386 895778816 64721 33554432000 4194304 4797429 140735365476848 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=874784 CPUtime=50.39 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 11807 0 0 0 5030 9 0 0 25 0 4 0 517729386 895778816 64721 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=874784 CPUtime=50.69 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 12465 0 0 0 5064 5 0 0 25 0 4 0 517729386 895778816 64721 33554432000 4194304 4797429 140735365476848 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 202.86
Current children cumulated vsize (KiB) 874784
[startup+102.307 s]
/proc/loadavg: 7.96 8.00 8.02 9/184 22640
/proc/meminfo: memFree=13462388/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=895572 CPUtime=407.4 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 117745 0 0 0 40690 50 0 0 25 0 4 0 517729348 917065728 68600 33554432000 4194304 4797429 140735365476848 18446744073709551615 4341204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 223893 68600 420 148 0 218822 0
[pid=22614/tid=22635] ppid=22611 vsize=895572 CPUtime=101.87 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 18437 0 0 0 10177 10 0 0 25 0 4 0 517729386 917065728 68600 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=895572 CPUtime=101.31 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 15831 0 0 0 10121 10 0 0 25 0 4 0 517729386 917065728 68600 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=895572 CPUtime=101.9 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 17190 0 0 0 10183 7 0 0 25 0 4 0 517729386 917065728 68600 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.4
Current children cumulated vsize (KiB) 895572
[startup+162.301 s]
/proc/loadavg: 8.04 8.01 8.02 9/184 22641
/proc/meminfo: memFree=13407564/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=907644 CPUtime=647.06 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 144572 0 0 0 64646 60 0 0 25 0 4 0 517729348 929427456 78407 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567873 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 226911 78407 420 148 0 221840 0
[pid=22614/tid=22635] ppid=22611 vsize=907644 CPUtime=161.87 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 22857 0 0 0 16175 12 0 0 25 0 4 0 517729386 929427456 78407 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=907644 CPUtime=160.99 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 18613 0 0 0 16088 11 0 0 25 0 4 0 517729386 929427456 78407 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424750 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=907644 CPUtime=161.89 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 21244 0 0 0 16181 8 0 0 25 0 4 0 517729386 929427456 78407 33554432000 4194304 4797429 140735365476848 18446744073709551615 4415689 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 647.06
Current children cumulated vsize (KiB) 907644
[startup+222.3 s]
/proc/loadavg: 8.07 8.03 8.02 9/184 22643
/proc/meminfo: memFree=13377416/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=919472 CPUtime=886.73 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 174987 0 0 0 88600 73 0 0 25 0 4 0 517729348 941539328 82419 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 229868 82419 420 148 0 224797 0
[pid=22614/tid=22635] ppid=22611 vsize=919472 CPUtime=221.87 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 27480 0 0 0 22174 13 0 0 25 0 4 0 517729386 941539328 82419 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=919472 CPUtime=220.66 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 20595 0 0 0 22054 12 0 0 25 0 4 0 517729386 941539328 82419 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=919472 CPUtime=221.89 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 22519 0 0 0 22180 9 0 0 25 0 4 0 517729386 941539328 82419 33554432000 4194304 4797429 140735365476848 18446744073709551615 4495559 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 886.73
Current children cumulated vsize (KiB) 919472
[startup+282.301 s]
################
# More data... #
################
[pid=22614] ppid=22611 vsize=952236 CPUtime=2564.47 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 375872 0 0 0 256288 159 0 0 25 0 4 0 517729348 975089664 101047 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568069 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 238059 101047 420 148 0 232988 0
[pid=22614/tid=22635] ppid=22611 vsize=952236 CPUtime=641.88 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 45698 0 0 0 64170 18 0 0 25 0 4 0 517729386 975089664 101047 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=952236 CPUtime=638.36 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 40289 0 0 0 63817 19 0 0 25 0 4 0 517729386 975089664 101047 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=952236 CPUtime=641.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 39786 0 0 0 64175 16 0 0 25 0 4 0 517729386 975089664 101047 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2564.47
Current children cumulated vsize (KiB) 952236
[startup+702.3 s]
/proc/loadavg: 8.14 8.09 8.03 9/184 22656
/proc/meminfo: memFree=13202716/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=957176 CPUtime=2804.12 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 380655 0 0 0 280251 161 0 0 25 0 4 0 517729348 980148224 104847 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 239294 104847 420 148 0 234223 0
[pid=22614/tid=22635] ppid=22611 vsize=957176 CPUtime=701.88 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 47434 0 0 0 70169 19 0 0 25 0 4 0 517729386 980148224 104847 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=957176 CPUtime=698.03 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 41988 0 0 0 69783 20 0 0 25 0 4 0 517729386 980148224 104847 33554432000 4194304 4797429 140735365476848 18446744073709551615 4351897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=957176 CPUtime=701.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 41134 0 0 0 70175 16 0 0 25 0 4 0 517729386 980148224 104847 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2804.12
Current children cumulated vsize (KiB) 957176
[startup+762.307 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 22657
/proc/meminfo: memFree=13227628/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=965464 CPUtime=3043.82 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 394583 0 0 0 304216 166 0 0 25 0 4 0 517729348 988635136 99671 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424970 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 241366 99671 420 148 0 236295 0
[pid=22614/tid=22635] ppid=22611 vsize=965464 CPUtime=761.88 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 50252 0 0 0 76168 20 0 0 25 0 4 0 517729386 988635136 99671 33554432000 4194304 4797429 140735365476848 18446744073709551615 4523861 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=965464 CPUtime=757.71 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 44745 0 0 0 75750 21 0 0 25 0 4 0 517729386 988635136 99671 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567873 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=965464 CPUtime=761.92 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 43735 0 0 0 76175 17 0 0 25 0 4 0 517729386 988635136 99671 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3043.82
Current children cumulated vsize (KiB) 965464
[startup+822.3 s]
/proc/loadavg: 8.09 8.09 8.03 9/184 22659
/proc/meminfo: memFree=13232692/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=966688 CPUtime=3283.47 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 427124 0 0 0 328165 182 0 0 25 0 4 0 517729348 989888512 99987 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424642 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 241672 99987 420 148 0 236601 0
[pid=22614/tid=22635] ppid=22611 vsize=966688 CPUtime=821.87 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 52606 0 0 0 82166 21 0 0 25 0 4 0 517729386 989888512 99987 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=966688 CPUtime=817.37 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 48147 0 0 0 81715 22 0 0 25 0 4 0 517729386 989888512 99987 33554432000 4194304 4797429 140735365476848 18446744073709551615 4524456 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=966688 CPUtime=821.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 46927 0 0 0 82173 18 0 0 25 0 4 0 517729386 989888512 99987 33554432000 4194304 4797429 140735365476848 18446744073709551615 4429730 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3283.47
Current children cumulated vsize (KiB) 966688
[startup+882.301 s]
/proc/loadavg: 8.07 8.08 8.03 9/184 22660
/proc/meminfo: memFree=13197716/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=967164 CPUtime=3523.15 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 454885 0 0 0 352119 196 0 0 25 0 4 0 517729348 990375936 103977 33554432000 4194304 4797429 140735365476848 18446744073709551615 4423072 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 241791 103977 420 148 0 236720 0
[pid=22614/tid=22635] ppid=22611 vsize=967164 CPUtime=881.86 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 53717 0 0 0 88164 22 0 0 25 0 4 0 517729386 990375936 103977 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=967164 CPUtime=877.05 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 49793 0 0 0 87682 23 0 0 25 0 4 0 517729386 990375936 103977 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=967164 CPUtime=881.9 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 48652 0 0 0 88172 18 0 0 25 0 4 0 517729386 990375936 103977 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3523.15
Current children cumulated vsize (KiB) 967164
[startup+942.301 s]
/proc/loadavg: 8.06 8.08 8.03 9/184 22662
/proc/meminfo: memFree=13188272/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=973220 CPUtime=3762.82 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 480376 0 0 0 376072 210 0 0 25 0 4 0 517729348 996577280 106073 33554432000 4194304 4797429 140735365476848 18446744073709551615 4351897 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 243305 106073 420 148 0 238234 0
[pid=22614/tid=22635] ppid=22611 vsize=973220 CPUtime=941.86 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 54406 0 0 0 94164 22 0 0 25 0 4 0 517729386 996577280 106073 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=973220 CPUtime=936.72 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 50962 0 0 0 93649 23 0 0 25 0 4 0 517729386 996577280 106073 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=973220 CPUtime=941.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 49615 0 0 0 94171 20 0 0 25 0 4 0 517729386 996577280 106073 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568069 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3762.82
Current children cumulated vsize (KiB) 973220
[startup+1002.3 s]
/proc/loadavg: 8.06 8.08 8.02 9/184 22664
/proc/meminfo: memFree=13191856/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=978464 CPUtime=4002.48 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 507467 0 0 0 400025 223 0 0 25 0 4 0 517729348 1001947136 103758 33554432000 4194304 4797429 140735365476848 18446744073709551615 4258789 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 244616 103758 420 148 0 239545 0
[pid=22614/tid=22635] ppid=22611 vsize=978464 CPUtime=1001.85 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 57408 0 0 0 100162 23 0 0 25 0 4 0 517729386 1001947136 103758 33554432000 4194304 4797429 140735365476848 18446744073709551615 4258789 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=978464 CPUtime=996.39 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 51683 0 0 0 99616 23 0 0 25 0 4 0 517729386 1001947136 103758 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=978464 CPUtime=1001.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 50507 0 0 0 100171 20 0 0 25 0 4 0 517729386 1001947136 103758 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568160 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4002.48
Current children cumulated vsize (KiB) 978464
[startup+1062.3 s]
/proc/loadavg: 8.13 8.09 8.03 9/184 22665
/proc/meminfo: memFree=13174608/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=980264 CPUtime=4242.17 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 534930 0 0 0 423983 234 0 0 25 0 4 0 517729348 1003790336 107327 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424967 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 245066 107327 420 148 0 239995 0
[pid=22614/tid=22635] ppid=22611 vsize=980264 CPUtime=1061.84 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 59358 0 0 0 106161 23 0 0 25 0 4 0 517729386 1003790336 107327 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=980264 CPUtime=1056.08 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 55250 0 0 0 105584 24 0 0 25 0 4 0 517729386 1003790336 107327 33554432000 4194304 4797429 140735365476848 18446744073709551615 4493708 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=980264 CPUtime=1061.91 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 52716 0 0 0 106170 21 0 0 25 0 4 0 517729386 1003790336 107327 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4242.17
Current children cumulated vsize (KiB) 980264
[startup+1122.3 s]
/proc/loadavg: 8.12 8.09 8.03 9/184 22667
/proc/meminfo: memFree=13180424/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=980296 CPUtime=4481.84 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 560920 0 0 0 447936 248 0 0 25 0 4 0 517729348 1003823104 107422 33554432000 4194304 4797429 140735365476848 18446744073709551615 4331602 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 245074 107422 420 148 0 240003 0
[pid=22614/tid=22635] ppid=22611 vsize=980296 CPUtime=1121.84 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 60352 0 0 0 112160 24 0 0 25 0 4 0 517729386 1003823104 107422 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=980296 CPUtime=1115.75 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 56917 0 0 0 111550 25 0 0 25 0 4 0 517729386 1003823104 107422 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=980296 CPUtime=1121.92 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 54581 0 0 0 112170 22 0 0 25 0 4 0 517729386 1003823104 107422 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4481.84
Current children cumulated vsize (KiB) 980296
[startup+1182.3 s]
/proc/loadavg: 8.04 8.07 8.02 9/184 22668
/proc/meminfo: memFree=13125964/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=981340 CPUtime=4721.52 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 583390 0 0 0 471892 260 0 0 25 0 4 0 517729348 1004892160 116651 33554432000 4194304 4797429 140735365476848 18446744073709551615 4424452 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 245335 116651 420 148 0 240264 0
[pid=22614/tid=22635] ppid=22611 vsize=981340 CPUtime=1181.83 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 60854 0 0 0 118159 24 0 0 25 0 4 0 517729386 1004892160 116651 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=981340 CPUtime=1175.44 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 57956 0 0 0 117518 26 0 0 25 0 4 0 517729386 1004892160 116651 33554432000 4194304 4797429 140735365476848 18446744073709551615 4332752 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=981340 CPUtime=1181.92 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 55431 0 0 0 118170 22 0 0 25 0 4 0 517729386 1004892160 116651 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568103 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4721.52
Current children cumulated vsize (KiB) 981340
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202 s]
/proc/loadavg: 8.03 8.06 8.02 5/179 22670
/proc/meminfo: memFree=13409464/32951124 swapFree=67111528/67111528
[pid=22614] ppid=22611 vsize=981364 CPUtime=4800.23 cores=0,2,4,6
/proc/22614/stat : 22614 (techdemo) R 22611 22614 22486 0 -1 4202496 591435 0 0 0 479759 264 0 0 25 0 4 0 517729348 1004916736 111503 33554432000 4194304 4797429 140735365476848 18446744073709551615 4351600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/22614/statm: 245341 111503 420 148 0 240270 0
[pid=22614/tid=22635] ppid=22611 vsize=981364 CPUtime=1201.54 cores=0,2,4,6
/proc/22614/task/22635/stat : 22635 (techdemo) R 22611 22614 22486 0 -1 4202560 61088 0 0 0 120130 24 0 0 25 0 4 0 517729386 1004916736 111503 33554432000 4194304 4797429 140735365476848 18446744073709551615 4567894 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=22614/tid=22636] ppid=22611 vsize=981364 CPUtime=1195.03 cores=0,2,4,6
/proc/22614/task/22636/stat : 22636 (techdemo) R 22611 22614 22486 0 -1 4202560 58059 0 0 0 119477 26 0 0 25 0 4 0 517729386 1004916736 111503 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568088 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=22614/tid=22637] ppid=22611 vsize=981364 CPUtime=1201.62 cores=0,2,4,6
/proc/22614/task/22637/stat : 22637 (techdemo) R 22611 22614 22486 0 -1 4202560 55695 0 0 0 120140 22 0 0 25 0 4 0 517729386 1004916736 111503 33554432000 4194304 4797429 140735365476848 18446744073709551615 4568009 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 981364
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.03
CPU time (s): 4800.28
CPU user time (s): 4797.61
CPU system time (s): 2.66659
CPU usage (%): 399.347
Max. virtual memory (cumulated for all children) (KiB): 1092792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.66659
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 591437
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= 25492
involuntary context switches= 23481
runsolver used 1.92271 second user time and 4.6103 second system time
The end