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-3729454-1338713982/watcher-3729454-1338713982 -o /tmp/evaluation-result-3729454-1338713982/solver-3729454-1338713982 -C 1800 -W 1900 -M 15500 python HOME/solve HOME/etc/borg-mix+class.dec.pickle HOME/instance-3729454-1338713982.opb -seed 1803945547 -budget 1800
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.38 1.85 1.66 3/191 3334
/proc/meminfo: memFree=31201812/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/3334/stat : 3334 (python) R 3332 3334 2614 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 337523193 15749120 628 33554432000 4194304 5683644 140737233599520 140737233540008 240565175184 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 3845 628 333 364 0 287 0
[startup+0.0361841 s]
/proc/loadavg: 2.38 1.85 1.66 3/191 3334
/proc/meminfo: memFree=31201812/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=19084 CPUtime=0.02 cores=1,3,5,7
/proc/3334/stat : 3334 (python) R 3332 3334 2614 0 -1 4202496 1385 0 0 0 1 1 0 0 20 0 1 0 337523193 19542016 1139 33554432000 4194304 5683644 140737233599520 140737233530024 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 4771 1140 430 364 0 695 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 19084
[startup+0.100217 s]
/proc/loadavg: 2.38 1.85 1.66 3/191 3334
/proc/meminfo: memFree=31201812/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=92396 CPUtime=0.07 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 3070 0 1 0 5 2 0 0 20 0 1 0 337523193 94613504 2527 33554432000 4194304 5683644 140737233599520 140737233551992 240565175680 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 23099 2527 816 364 0 1621 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 92396
[startup+0.300223 s]
/proc/loadavg: 2.38 1.85 1.66 3/191 3334
/proc/meminfo: memFree=31201812/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=166948 CPUtime=0.22 cores=1,3,5,7
/proc/3334/stat : 3334 (python) R 3332 3334 2614 0 -1 4202496 6561 1009 1 0 16 6 0 0 20 0 1 0 337523193 170954752 4351 33554432000 4194304 5683644 140737233599520 140737233503752 139854101700134 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 41737 4351 1227 364 0 3290 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 166948
[startup+0.700228 s]
/proc/loadavg: 2.38 1.85 1.66 3/191 3334
/proc/meminfo: memFree=31201812/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 357244
[startup+1.50028 s]
/proc/loadavg: 2.38 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31172432/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 735 0 0 0 0 0 0 0 20 0 1 0 337523249 288219136 5638 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 5 0 0 0 0 0
/proc/3340/statm: 70366 5638 341 364 0 5589 0
[pid=3342] ppid=3340 vsize=7848 CPUtime=0.93 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1827 0 0 0 84 9 0 0 20 0 1 0 337523249 8036352 1578 33554432000 134512640 136422188 4290178544 4290176268 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 1962 1578 213 467 0 1493 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 646556
[startup+3.10028 s]
/proc/loadavg: 2.38 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31171680/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 738 0 0 0 0 0 0 0 20 0 1 0 337523249 288219136 5638 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5638 341 364 0 5589 0
[pid=3342] ppid=3340 vsize=7976 CPUtime=2.53 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1867 0 0 0 230 23 0 0 20 0 1 0 337523249 8167424 1618 33554432000 134512640 136422188 4290178544 4290176268 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 1994 1618 213 467 0 1525 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 646684
[startup+6.30028 s]
/proc/loadavg: 2.35 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31169076/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337523249 288219136 5661 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5661 364 364 0 5589 0
[pid=3342] ppid=3340 vsize=8104 CPUtime=5.73 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1903 0 0 0 518 55 0 0 20 0 1 0 337523249 8298496 1654 33554432000 134512640 136422188 4290178544 4290175868 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 2026 1654 213 467 0 1557 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 646812
Solver just ended. Dumping a history of the last processes samples
[startup+7.10028 s]
/proc/loadavg: 2.35 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31172796/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337523249 288219136 5661 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5661 364 364 0 5589 0
[pid=3342] ppid=3340 vsize=8232 CPUtime=6.52 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1922 0 0 0 591 61 0 0 20 0 1 0 337523249 8429568 1673 33554432000 134512640 136422188 4290178544 4290175868 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 2058 1673 213 467 0 1589 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 646940
[startup+7.50028 s]
/proc/loadavg: 2.35 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31172796/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 872 0 0 0 0 0 0 0 20 0 1 0 337523249 288219136 5661 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5661 364 364 0 5589 0
[pid=3342] ppid=3340 vsize=8232 CPUtime=6.93 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1922 0 0 0 628 65 0 0 20 0 1 0 337523249 8429568 1673 33554432000 134512640 136422188 4290178544 4290175868 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 2058 1673 213 467 0 1589 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 646940
[startup+7.7065 s]
/proc/loadavg: 2.35 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31172548/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0.01 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 878 0 0 0 1 0 0 0 20 0 1 0 337523249 288219136 5661 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5661 364 364 0 5589 0
[pid=3342] ppid=3340 vsize=8232 CPUtime=7.13 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1922 0 0 0 646 67 0 0 20 0 1 0 337523249 8429568 1673 33554432000 134512640 136422188 4290178544 4290176268 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 2058 1673 213 467 0 1589 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.57
Current children cumulated vsize (KiB) 646940
[startup+7.80031 s]
/proc/loadavg: 2.35 1.85 1.66 3/195 3342
/proc/meminfo: memFree=31172548/32873844 swapFree=7116/7116
[pid=3334] ppid=3332 vsize=357244 CPUtime=0.43 cores=1,3,5,7
/proc/3334/stat : 3334 (python) S 3332 3334 2614 0 -1 4202496 10519 1009 1 0 33 10 0 0 20 0 2 0 337523193 365817856 7203 33554432000 4194304 5683644 140737233599520 140737233594352 240568558861 0 0 16781312 33554434 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3334/statm: 89311 7203 1900 364 0 24534 0
[pid=3340] ppid=3334 vsize=281464 CPUtime=0.01 cores=1,3,5,7
/proc/3340/stat : 3340 (python) S 3334 3334 2614 0 -1 4202560 878 0 0 0 1 0 0 0 20 0 1 0 337523249 288219136 5661 33554432000 4194304 5683644 140737233599520 140737233590608 240565191080 0 0 16781312 33554946 18446744071580425449 0 0 17 3 0 0 0 0 0
/proc/3340/statm: 70366 5661 364 364 0 5589 0
[pid=3342] ppid=3340 vsize=8232 CPUtime=7.23 cores=1,3,5,7
/proc/3342/stat : 3342 (pbct-0.1.2-linu) R 3340 3342 3342 0 -1 4202496 1922 0 0 0 655 68 0 0 20 0 1 0 337523249 8429568 1673 33554432000 134512640 136422188 4290178544 4290176268 135874785 0 0 16781312 16387 0 0 0 17 1 0 0 0 0 0
/proc/3342/statm: 2058 1673 213 467 0 1589 0
[pid=3334/tid=3341] ppid=3332 vsize=357244 CPUtime=0 cores=1,3,5,7
/proc/3334/task/3341/stat : 3341 (python) S 3332 3334 2614 0 -1 4202560 26 1009 0 0 0 0 0 0 20 0 2 0 337523249 365817856 7203 33554432000 4194304 5683644 140737233599520 139853928473136 240568555296 0 0 16781312 33554434 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 646940
Child status: 0
Real time (s): 7.84647
CPU time (s): 7.74382
CPU user time (s): 6.93994
CPU system time (s): 0.803877
CPU usage (%): 98.6917
Max. virtual memory (cumulated for all children) (KiB): 646940
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.93994
system time used= 0.803877
maximum resident set size= 28956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19083
page faults= 1
swaps= 0
block input operations= 0
block output operations= 448
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1016
involuntary context switches= 50
runsolver used 0.015997 second user time and 0.041993 second system time
The end