runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3718897-1338269133/watcher-3718897-1338269133 -o /tmp/evaluation-result-3718897-1338269133/solver-3718897-1338269133 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718897-1338269133.opb PrimePower CARD.SN ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.98 1.22 0.51 2/178 25064
/proc/meminfo: memFree=28040040/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=15308 CPUtime=0 cores=0,2,4,6
/proc/25064/stat : 25064 (python) R 25062 25064 24925 0 -1 4202496 643 0 0 0 0 0 0 0 20 0 1 0 293038955 15675392 536 33554432000 4194304 5683644 140736529682960 140736529668872 239872783563 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 3827 542 316 364 0 269 0
[startup+0.090848 s]
/proc/loadavg: 1.98 1.22 0.51 2/178 25064
/proc/meminfo: memFree=28040040/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.100295 s]
/proc/loadavg: 1.98 1.22 0.51 2/178 25064
/proc/meminfo: memFree=28040040/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300284 s]
/proc/loadavg: 1.98 1.22 0.51 2/178 25064
/proc/meminfo: memFree=28040040/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700291 s]
/proc/loadavg: 1.98 1.22 0.51 2/178 25064
/proc/meminfo: memFree=28040040/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50043 s]
/proc/loadavg: 1.98 1.22 0.51 3/183 25069
/proc/meminfo: memFree=28009484/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=61772 CPUtime=1.39 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 171798 0 0 0 76 63 0 0 20 0 1 0 293038965 63254528 9744 33554432000 4194304 4943705 140736343132752 140736343129888 4270812 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/25069/statm: 15443 10256 329 183 0 11813 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 113800
[startup+3.10045 s]
/proc/loadavg: 1.98 1.23 0.52 3/183 25069
/proc/meminfo: memFree=27977028/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=83532 CPUtime=2.99 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 260541 0 0 0 167 132 0 0 20 0 1 0 293038965 85536768 10879 33554432000 4194304 4943705 140736343132752 140736343129888 4270755 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/25069/statm: 20883 10879 329 183 0 17253 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 135560
[startup+6.30039 s]
/proc/loadavg: 1.98 1.23 0.52 3/183 25069
/proc/meminfo: memFree=27936144/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=112204 CPUtime=6.19 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 379060 0 0 0 344 275 0 0 20 0 1 0 293038965 114896896 20464 33554432000 4194304 4943705 140736343132752 140736343129888 4270812 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/25069/statm: 28051 20976 329 183 0 24421 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 164232
[startup+12.7004 s]
/proc/loadavg: 1.98 1.25 0.54 3/183 25069
/proc/meminfo: memFree=27894332/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=152524 CPUtime=12.59 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 547615 0 0 0 699 560 0 0 20 0 1 0 293038965 156184576 25856 33554432000 4194304 4943705 140736343132752 140736343129888 4270755 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/25069/statm: 38131 25856 329 183 0 34501 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 204552
[startup+25.5004 s]
/proc/loadavg: 1.99 1.28 0.55 3/183 25069
/proc/meminfo: memFree=27207960/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=1698220 CPUtime=25.39 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 899600 0 0 0 1478 1061 0 0 20 0 1 0 293038965 1738977280 197242 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/25069/statm: 424555 197242 357 183 0 420925 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 1750248
[startup+51.1003 s]
/proc/loadavg: 1.99 1.33 0.59 3/183 25070
/proc/meminfo: memFree=25656520/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=5231276 CPUtime=50.66 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 1286028 0 0 0 3760 1306 0 0 20 0 1 0 293038965 5356826624 583670 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 26 0 0
/proc/25069/statm: 1307819 583670 357 183 0 1304189 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 5283304
[startup+102.306 s]
/proc/loadavg: 1.99 1.44 0.67 3/183 25070
/proc/meminfo: memFree=24191224/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=8410284 CPUtime=101.34 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 1633732 0 0 0 8600 1534 0 0 20 0 1 0 293038965 8612130816 938574 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 76 0 0
/proc/25069/statm: 2102571 938574 357 183 0 2098941 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 8462312
[startup+162.3 s]
/proc/loadavg: 1.99 1.54 0.75 3/183 25070
/proc/meminfo: memFree=22977288/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=11026860 CPUtime=160.61 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 1919923 0 0 0 14332 1729 0 0 20 0 1 0 293038965 11291504640 1238586 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 136 0 0
/proc/25069/statm: 2756715 1238586 357 183 0 2753085 0
Current children cumulated CPU time (s) 160.63
Current children cumulated vsize (KiB) 11078888
[startup+222.3 s]
/proc/loadavg: 1.99 1.62 0.82 3/183 25070
/proc/meminfo: memFree=21967768/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=13135532 CPUtime=220.01 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 2150561 0 0 0 20123 1878 0 0 20 0 1 0 293038965 13450784768 1483046 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 193 0 0
/proc/25069/statm: 3283883 1483046 357 183 0 3280253 0
Current children cumulated CPU time (s) 220.03
Current children cumulated vsize (KiB) 13187560
[startup+282.3 s]
/proc/loadavg: 1.99 1.69 0.89 3/184 25073
/proc/meminfo: memFree=21079248/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=14976428 CPUtime=279.43 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 2351911 0 0 0 25934 2009 0 0 20 0 1 0 293038965 15335862272 1698218 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 246 0 0
/proc/25069/statm: 3744107 1698218 357 183 0 3740477 0
Current children cumulated CPU time (s) 279.45
Current children cumulated vsize (KiB) 15028456
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+312.8 s]
/proc/loadavg: 1.99 1.72 0.93 3/184 25073
/proc/meminfo: memFree=20678440/32873844 swapFree=7384/7384
[pid=25064] ppid=25062 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/25064/stat : 25064 (python) S 25062 25064 24925 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293038955 17399808 1081 33554432000 4194304 5683644 140736529682960 140736529680808 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25064/statm: 4248 1081 429 364 0 690 0
[pid=25066] ppid=25064 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25066/stat : 25066 (sh) S 25064 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038962 9367552 266 33554432000 4194304 5064252 140735115471888 140735115470592 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25066/statm: 2287 266 226 213 0 72 0
[pid=25067] ppid=25066 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/25067/stat : 25067 (python) S 25066 25064 24925 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293038962 17141760 1059 33554432000 4194304 5683644 140737089849712 140737089847560 239873115520 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25067/statm: 4185 1059 429 364 0 627 0
[pid=25068] ppid=25067 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25068/stat : 25068 (sh) S 25067 25064 24925 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038965 9367552 267 33554432000 4194304 5064252 140734893711456 140734893710160 239872927310 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25068/statm: 2287 267 226 213 0 72 0
[pid=25069] ppid=25068 vsize=15822508 CPUtime=309.66 cores=0,2,4,6
/proc/25069/stat : 25069 (PBPASSolver-817) R 25068 25064 24925 0 -1 4202496 2444453 0 0 0 28896 2070 0 0 20 0 1 0 293038965 16202248192 1797670 33554432000 4194304 4943705 140736343132752 140736343131664 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 273 0 0
/proc/25069/statm: 3955627 1797670 357 183 0 3951997 0
Current children cumulated CPU time (s) 309.68
Current children cumulated vsize (KiB) 15874536
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25064 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.044993
# while last known CPU time is 309.68
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 312.818
CPU time (s): 309.68
CPU user time (s): 288.98
CPU system time (s): 20.7
CPU usage (%): 98.9967
Max. virtual memory (cumulated for all children) (KiB): 15874536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.012998
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
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= 171
involuntary context switches= 3
runsolver used 0.734888 second user time and 1.60575 second system time
The end