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-3718720-1338272473/watcher-3718720-1338272473 -o /tmp/evaluation-result-3718720-1338272473/solver-3718720-1338272473 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718720-1338272473.opb PrimePower CARD.DP ./CryptoMiniSat
running on 4 cores: 1,3,5,7
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: 2.00 2.00 1.92 3/180 11298
/proc/meminfo: memFree=28259216/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/11298/stat : 11298 (python) D 11296 11298 10753 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293372144 15642624 527 33554432000 4194304 5683644 140736153606192 140736153592104 215143498640 0 0 16781312 2 18446744072100748580 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 3819 527 312 364 0 261 0
[startup+0.0559739 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 11298
/proc/meminfo: memFree=28259216/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16468 CPUtime=0.01 cores=1,3,5,7
/proc/11298/stat : 11298 (python) R 11296 11298 10753 0 -1 4202496 1136 0 0 0 1 0 0 0 20 0 1 0 293372144 16863232 955 33554432000 4194304 5683644 140736153606192 140736153588824 215143499136 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4109 947 392 364 0 551 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16468
[startup+0.100279 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 11298
/proc/meminfo: memFree=28259216/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 11298
/proc/meminfo: memFree=28259216/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.700332 s]
/proc/loadavg: 2.00 2.00 1.92 3/180 11298
/proc/meminfo: memFree=28259216/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+1.5005 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11303
/proc/meminfo: memFree=28023372/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=733356 CPUtime=1.38 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 94360 0 0 0 87 51 0 0 20 0 1 0 293372155 750956544 79703 33554432000 4194304 4943705 140733489802000 140733489800912 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/11303/statm: 183339 79703 357 183 0 179709 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 785392
[startup+3.10049 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11303
/proc/meminfo: memFree=27848648/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=1165228 CPUtime=2.84 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 141607 0 0 0 202 82 0 0 20 0 1 0 293372155 1193193472 126950 33554432000 4194304 4943705 140733489802000 140733489800272 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 14 0 0
/proc/11303/statm: 291307 126950 357 183 0 287677 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 1217264
[startup+6.30048 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11303
/proc/meminfo: memFree=27515096/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=1861804 CPUtime=6.03 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 217803 0 0 0 475 128 0 0 20 0 1 0 293372155 1906487296 203146 33554432000 4194304 4943705 140733489802000 140733489800912 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 14 0 0
/proc/11303/statm: 465451 203146 357 183 0 461821 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 1913840
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11303
/proc/meminfo: memFree=27042028/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=2837932 CPUtime=12.35 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 324567 0 0 0 1041 194 0 0 20 0 1 0 293372155 2906042368 309910 33554432000 4194304 4943705 140733489802000 140733489800272 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 23 0 0
/proc/11303/statm: 709483 309910 357 183 0 705853 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 2889968
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11303
/proc/meminfo: memFree=26459744/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=4090540 CPUtime=25.07 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 461571 0 0 0 2227 280 0 0 20 0 1 0 293372155 4188712960 446914 33554432000 4194304 4943705 140733489802000 140733489800912 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 30 0 0
/proc/11303/statm: 1022635 446914 357 183 0 1019005 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 4142576
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11304
/proc/meminfo: memFree=25783624/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/11301/stat : 11301 (python) S 11300 11298 10753 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293372152 17145856 1059 33554432000 4194304 5683644 140736756897728 140736756895576 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11301/statm: 4186 1059 429 364 0 628 0
[pid=11302] ppid=11301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11302/stat : 11302 (sh) S 11301 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372155 9367552 268 33554432000 4194304 5064252 140735491421344 140735491420048 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11302/statm: 2287 268 226 213 0 72 0
[pid=11303] ppid=11302 vsize=5620652 CPUtime=50.46 cores=1,3,5,7
/proc/11303/stat : 11303 (PBPASSolver-817) R 11302 11298 10753 0 -1 4202496 628927 0 0 0 4659 387 0 0 20 0 1 0 293372155 5755547648 614270 33554432000 4194304 4943705 140733489802000 140733489800912 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 48 0 0
/proc/11303/statm: 1405163 614270 357 183 0 1401533 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 5672688
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.92 3/185 11304
/proc/meminfo: memFree=25040428/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=0.02 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153604040 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11300] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11300/stat : 11300 (sh) S 11298 11298 10753 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293372152 9367552 267 33554432000 4194304 5064252 140733209916512 140733209915216 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11300/statm: 2287 267 226 213 0 72 0
[pid=11301] ppid=11300 vsize=16744 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.02 1.97 3/183 11405
/proc/meminfo: memFree=25518584/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240268 CPUtime=1021.54 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 192653 0 0 0 102057 97 0 0 20 0 1 0 293400191 2294034432 508888 33554432000 4194304 4734972 140734035402448 140734035394472 4326573 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560067 508888 401 132 0 554967 0
Current children cumulated CPU time (s) 1300.62
Current children cumulated vsize (KiB) 2266412
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 11405
/proc/meminfo: memFree=25508272/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2239920 CPUtime=1081.52 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 192963 0 0 0 108054 98 0 0 20 0 1 0 293400191 2293678080 506622 33554432000 4194304 4734972 140734035402448 140734035394632 4327639 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 559980 506622 401 132 0 554880 0
Current children cumulated CPU time (s) 1360.6
Current children cumulated vsize (KiB) 2266064
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/183 11405
/proc/meminfo: memFree=25453724/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2239920 CPUtime=1141.52 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 192974 0 0 0 114054 98 0 0 20 0 1 0 293400191 2293678080 508253 33554432000 4194304 4734972 140734035402448 140734035394472 4327579 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 559980 508253 401 132 0 554880 0
Current children cumulated CPU time (s) 1420.6
Current children cumulated vsize (KiB) 2266064
[startup+1482.3 s]
/proc/loadavg: 2.05 2.02 1.98 3/183 11405
/proc/meminfo: memFree=25462396/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2239920 CPUtime=1201.5 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 193167 0 0 0 120051 99 0 0 20 0 1 0 293400191 2293678080 509451 33554432000 4194304 4734972 140734035402448 140734035394472 4241804 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 559980 509451 401 132 0 554880 0
Current children cumulated CPU time (s) 1480.58
Current children cumulated vsize (KiB) 2266064
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/183 11405
/proc/meminfo: memFree=25392020/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240108 CPUtime=1261.48 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 193392 0 0 0 126049 99 0 0 20 0 1 0 293400191 2293870592 507275 33554432000 4194304 4734972 140734035402448 140734035394472 4327715 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560027 507275 401 132 0 554927 0
Current children cumulated CPU time (s) 1540.56
Current children cumulated vsize (KiB) 2266252
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.98 3/183 11406
/proc/meminfo: memFree=25358200/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240108 CPUtime=1321.47 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 193396 0 0 0 132048 99 0 0 20 0 1 0 293400191 2293870592 509126 33554432000 4194304 4734972 140734035402448 140734035394616 4327761 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560027 509126 401 132 0 554927 0
Current children cumulated CPU time (s) 1600.55
Current children cumulated vsize (KiB) 2266252
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 11406
/proc/meminfo: memFree=25311912/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240108 CPUtime=1381.46 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 194004 0 0 0 138045 101 0 0 20 0 1 0 293400191 2293870592 509638 33554432000 4194304 4734972 140734035402448 140734035394472 4327775 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560027 509638 401 132 0 554927 0
Current children cumulated CPU time (s) 1660.54
Current children cumulated vsize (KiB) 2266252
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 11406
/proc/meminfo: memFree=25284076/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2305648 CPUtime=1441.45 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 194082 0 0 0 144044 101 0 0 20 0 1 0 293400191 2360983552 510738 33554432000 4194304 4734972 140734035402448 140734035394472 4327096 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 576412 510738 401 132 0 571312 0
Current children cumulated CPU time (s) 1720.53
Current children cumulated vsize (KiB) 2331792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/184 11409
/proc/meminfo: memFree=25260824/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240176 CPUtime=1501.44 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 194597 0 0 0 150042 102 0 0 20 0 1 0 293400191 2293940224 507185 33554432000 4194304 4734972 140734035402448 140734035394472 4326687 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560044 507185 401 132 0 554944 0
Current children cumulated CPU time (s) 1780.52
Current children cumulated vsize (KiB) 2266320
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 1.98 3/183 11409
/proc/meminfo: memFree=25259256/32873844 swapFree=7372/7372
[pid=11298] ppid=11296 vsize=16996 CPUtime=279.08 cores=1,3,5,7
/proc/11298/stat : 11298 (python) S 11296 11298 10753 0 -1 4202496 1405 1034607 0 0 1 1 14142 13764 20 0 1 0 293372144 17403904 1081 33554432000 4194304 5683644 140736153606192 140736153603736 215143499136 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11298/statm: 4249 1081 429 364 0 691 0
[pid=11305] ppid=11298 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11305/stat : 11305 (sh) S 11298 11298 10753 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400190 9367552 267 33554432000 4194304 5064252 140737201411504 140737201410208 215143310926 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11305/statm: 2287 267 226 213 0 72 0
[pid=11306] ppid=11305 vsize=2240176 CPUtime=1520.95 cores=1,3,5,7
/proc/11306/stat : 11306 (CryptoMiniSat) R 11305 11298 10753 0 -1 4202496 194598 0 0 0 151993 102 0 0 20 0 1 0 293400191 2293940224 507697 33554432000 4194304 4734972 140734035402448 140734035394472 4327859 0 0 16781312 2 0 0 0 17 3 0 0 6 0 0
/proc/11306/statm: 560044 507697 401 132 0 554944 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2266320
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 11298 and gives
# childrusage.ru_utime.tv_sec=141
# childrusage.ru_utime.tv_usec=440497
# childrusage.ru_stime.tv_sec=137
# childrusage.ru_stime.tv_usec=664071
# CPU time returned by wait4() is 279.105
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.82
CPU time (s): 1800.03
CPU user time (s): 1661.36
CPU system time (s): 138.67
CPU usage (%): 99.9005
Max. virtual memory (cumulated for all children) (KiB): 7878288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.44
system time used= 137.664
maximum resident set size= 3781600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1036865
page faults= 0
swaps= 0
block input operations= 0
block output operations= 775304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303
involuntary context switches= 292
runsolver used 3.90141 second user time and 10.4144 second system time
The end